Expand description
Ordered memory-dependence construction over abstract objects and byte ranges.
Exact ranges are represented by an interval partition whose size is bounded
by access endpoints, not by the number of bytes in an object. An exact
access touching k live segments takes O((k + 1) log S + D) time, where
S is the number of segments and D is the number of dependencies emitted.
Storage is O(S + R), where R is the unresolved readers retained for WAR
edges. Unknown-object operations intentionally scan one object; UnknownAll
operations scan all currently represented objects.
Structsยง
- Memory
Dependency Tracker - Incrementally records the dependencies required to preserve source-order memory semantics. Returned edges include RAW, WAR, and WAW, but never an edge solely between two reads.