Changes between Version 21 and Version 22 of Libraries
- Timestamp:
- 06/09/23 02:26:21 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Libraries
v21 v22 132 132 133 133 * `$system void $write_set_push()` 134 * Pushes a new entry (i.e. an empty `$mem`) onto the write stack of the calling process. Each process maintains a write stack. A write to a memory location will cause the memory location being added to the top entry of the write stack, if the stack is non-empty.134 * Pushes a new entry (i.e. an empty `$mem`) onto the write stack of the calling process. Each process maintains a write stack. A stack entry is a `$mem` object. A write to a memory location will cause the memory location being added to the top entry of the write stack, if the stack is non-empty. 135 135 * `$system $mem $write_set_pop()` 136 136 * Pops and returns the top entry of the write stack of the calling process. … … 138 138 * Returns the top entry of the write stack of the calling process. 139 139 * `$system void $read_set_push()` 140 * Pushes a new entry (i.e. an empty `$mem`) onto the read stack of the calling process. Each process maintains a read stack. Reading a memory location will cause the memory location being added to the top entry of the read stack, if the stack is non-empty.140 * Pushes a new entry (i.e. an empty `$mem`) onto the read stack of the calling process. Each process maintains a read stack. A stack entry is a `$mem` object. Reading a memory location will cause the memory location being added to the top entry of the read stack, if the stack is non-empty. 141 141 * `$system $mem $read_set_pop()` 142 142 * Pops and returns the top entry of the read stack of the calling process.
