From b475b072b38db7f46406ed6128fffe3e15a6e7ac Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Tue, 29 Sep 2026 13:08:30 -0700 Subject: forward port lazy memory to ch11 --- chapter10a/README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'chapter10a/README.md') 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 -- cgit v1.2.3