diff options
Diffstat (limited to 'new.arc')
| -rw-r--r-- | new.arc | 29 |
1 files changed, 22 insertions, 7 deletions
diff --git a/new.arc b/new.arc index 88a41263..1a31712c 100644 --- a/new.arc +++ b/new.arc @@ -1,14 +1,29 @@ -;; simple slab allocator. Intended only to carve out isolated memory for -;; different threads/routines as they request. +; Memory management primitive. (= Allocator_start 1000) ; lower locations reserved +; memory map: 0-2 for convenience numbers +; for these, address == value always; never modify them +(= Zero 0) +(= One 1) +(= Two 2) +; memory map: 3 for root custodian (size 1) +; 'new' will allocate from custodians. Custodians will be arranged in trees, +; each node knowing its parent. The root custodian controls all memory +; allocations. And it's located at.. +(= Root_custodian 3) + (enq (fn () - (run `(((Root_allocator_pointer location) <- literal ,Allocator_start)))) + (run `(((,Zero integer) <- literal 0) + ((,One integer) <- literal 1) + ((,Two integer) <- literal 2) + ((,Root_custodian location) <- literal ,Allocator_start)))) initialization-fns*) +;; simple slab allocator. Intended only to carve out isolated memory for +;; different threads/routines as they request. +; memory map: 4-5 locals for slab allocator (init-fn new - ((2 integer-address) <- copy (Root_allocator_pointer integer)) - ((3 integer) <- literal 1) - ((Root_allocator_pointer integer) <- add (Root_allocator_pointer integer) (3 integer)) - (reply (2 integer-address))) + ((4 integer-address) <- copy (3 location)) + ((3 location) <- add (3 location) (1 integer)) + (reply (4 integer-address))) |