diff options
| author | Cliff Click <cliffc@acm.org> | 2026-09-29 13:08:30 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-09-29 13:08:30 -0700 |
| commit | b475b072b38db7f46406ed6128fffe3e15a6e7ac (patch) | |
| tree | 4690b23b117f29003801212bbbf7d89322adb9a3 /chapter10a/README.md | |
| parent | a8558640bd9e3391134577db3c53737273135bf9 (diff) | |
| download | Simple-b475b072b38db7f46406ed6128fffe3e15a6e7ac.tar.gz Simple-b475b072b38db7f46406ed6128fffe3e15a6e7ac.zip | |
forward port lazy memory to ch11
Diffstat (limited to 'chapter10a/README.md')
| -rw-r--r-- | chapter10a/README.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/chapter10a/README.md b/chapter10a/README.md index 70a09f8d..47fd5ad6 100644 --- a/chapter10a/README.md +++ b/chapter10a/README.md @@ -37,7 +37,11 @@ different fields are independent. Chapter 10b will remove it. | `Store` | Memory, pointer, field name, value | The updated whole-memory state | | `Load` | Memory, pointer, field name | The value of the field | | `Start` | External entry | Control, initial memory, and `arg` | -| `Return` | Control, result, memory | Completion with all preceding effects retained | +| `Return` | Control, memory, result | Completion with all preceding effects retained | + +For nodes consuming or producing both control and memory, control occupies slot +0 and memory slot 1. Start's outputs are `{ctrl, $mem, arg}`; Return's inputs +are `{ctrl, $mem, result}`. The memory edge is a dependency, not a copy of the heap. The graph determines the legal execution order. In hardware, a Store updates physical memory |