aboutsummaryrefslogtreecommitdiffstats
path: root/docs/research/048-immutable-read-write-overlap.md
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-10-05 07:53:22 +0100
committereunhhu <[email protected]>2026-10-05 07:53:22 +0100
commit6c641903b089d81fb193c3949ccc677b701bc55b (patch)
tree31aa8442c04bebeccb414838ebccf186ea5eb062 /docs/research/048-immutable-read-write-overlap.md
parent2dc0a4df9485c0a4c08859ad81f41d6efab98dd5 (diff)
downloadpure-6c641903b089d81fb193c3949ccc677b701bc55b.tar.gz
pure-6c641903b089d81fb193c3949ccc677b701bc55b.zip
Read a tree's items in compiled code from a run the frame keeps, start a run at the finger's leaf, and move indices only for a list an index refers to (021)
- The frame keeps the run compiled code read a tree's item from last (the list as it was: its version); an item it holds is read from its column, else pure_run_item takes the item's run and steps. - pure_list_run starts at the leaf the finger keeps when it holds the position (a slice found by key just before): no second descent; the run after it is found from the root (PureRun.pathless). - LIST_APPEND and LIST_REMOVE move index states only for a list one refers to. - A search (core only): 89 ms compiled (answers the executor's).
Diffstat (limited to 'docs/research/048-immutable-read-write-overlap.md')
0 files changed, 0 insertions, 0 deletions