Runs the garbage collector at a client site. Updates the global context.

Generates a heartbeat message at a client site. Only required to improve the performance of garbage collection.

TODO: Generates an inverse operation concurrent to all following operations. It should be sufficient to just take the inverted operation’s timestamp, increment it, and use that as the inverse operation’s timestamp.

Generates a new operation message from a sequence of primitive operations at a client site. The PO sequence CO is assumed to be a valid operation on the current feature model. No operation may be generated when the system is frozen due to conflict.

Creates a compound operation from the PO sequence, then updates the global context. OPTIMIZE: Because generation happens atomically with processing and application, some optimizations are possible: Because CO was generated on the most recent CDAG and HB (and there is also only one CG, otherwise the system is frozen so no conflicts in CP are possible) CP(CO) = all operations in CDAG and HB, so this can be implemented faster than CDAG-insert (whereas the CIP can not be optimized easily).

Calls the MOVIC algorithm with the new operation after the CDAG, HB and CC have been updated. OPTIMIZE: We know (see above), that at generation time there is only one CG and CO has been generated and valid (and targeted at that CG), i.e., the new MCGS will simply be MCGS = {old-CG + {CO}} (CO conjoined on the old CG).

Returns the (updated) combined effect and the generated operation message.

Initializes global context for a new client site in a star topology. Called when the site is ready to generate and receive operations and the server has transmitted the initial context.

Initializes global context for a new client site in a star topology. Resets the global context.

Receives a message at a client site. Returns the (updated) combined effect.

Resolves a conflict to a given version. Returns the (updated) combined effect.