Module pravega_client::sync

Pravega synchronization primitives.

Pravega uses synchronizer to synchronize the shared state in different readers. Synchronizer is essentially an optimistic lock. It compares the client state with the server state and only updates the server if the comparison is true. If server state doesn’t match the client state, synchronizer will call a user defined callback function to update the client state and do the CAS again. The atomicity of CAS is guaranteed on the server side.

More details.

Modules

• synchronizer
• table

Structs

• Synchronizer
  Provide a map that is synchronized across different processes.
• Table
  Table is the client implementation of Table Segment in Pravega. Table Segment is a key-value table based on Pravega segment.