FRSH_CPP_BEGIN_DECLS
+// this global variable is assigned by frsh_distributed_init()
+extern frsh_resource_id_t THE_FRSH_CPU_ID;
+
/**
* @defgroup distributed Distributed module
*
* @ingroup distributed
*
* Using the core services of FRSH, contracts may be negotiated in a
- * single step.
+ * single step.
*
* An alternative two-step negotiation process is introduced in the
* distribution module: the first step involves the reservation of the
* resources, but without the right to use them, and the second step
- * is the commitment to use those resources.
+ * is the commitment to use those resources.
*
* The rationale behind this approach is that in distributed systems,
* when a distributed transaction is being negotiated the system
/**
* frsh_vres_commit_reservation()
- *
+ *
* Commit the resources reserved for a virtual resource through a
* frsh_contract_negotiate_reservation operation. The effects of
* subsequent calls to frsh_contract_negotiate_reservation and