Synchronizer

Interface to the DART synchronizer

@safe

interface Synchronizer {

}

Members

empty bool empty(): Checks if the syncronizer is empty
finish void finish(): This function is called when the SynchronizationFiber run-function finishes
query const(HiRPC.Receiver) query(const(HiRPC.Sender) request): Recommend to put a yield the SynchronizationFiber between send and receive between the DART's
record void record(RecordFactory.Recorder recorder): Stores the add and remove actions in the journal replay log file
removeRecursive void removeRecursive(Rims rims): This function is called when whole branches doesn't exist in the foreign DART and need to be removed in the local DART
set void set(DART owner, DART.SynchronizationFiber fiber, HiRPC hirpc): Called in by the SynchronizationFiber constructor which enable the query function to yield the run function in SynchronizationFiber

interfaces