Module read_then_write 

Coordinator-side support machinery for (frontend) read-then write.

TODO(aljoscha): Write submission still goes through the coordinator. In the long run we want a group-commit task that runs independently, so that session tasks can submit write requests to it directly.

Enums

DependencyPolicy 🔒

Which dependency rules a read-then-write is held to.

Functions

enqueue 🔒

Adds id to the worklist the first time it is seen, enforcing the dependency bound.

validate_read_then_write_dependencies 🔒

Validates all transitive dependencies of a read-then-write selection.