This commit is contained in:
Mark Canlas 2022-11-14 17:43:06 -05:00
parent 5d37a80c95
commit c0c074a6dd

View File

@ -4,4 +4,6 @@
- writing a value does two things
1. establishes a fungible "init" phase (where we can take advantage of accumulator sharing)
2. allows read-leases for some known scope
- shared initialization can happen with constants but can also be shared with read side effects
- is the spec for reading from a register descriable as data? e.g. are these two requests semantically equal vs independent side-effects
- but what then is a write lease and how is it finite?