blob: 8cb4bb41a964e3c4e9fde3b13f952e7ea334ed4a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(load "mu.arc")
(load "new.arc")
(reset)
;? (prn memory*)
(if (~iso memory*.Root_custodian Allocator_start)
(prn "F - allocator initialized"))
(reset)
(add-fns
'((main
((x integer-address) <- new)
((x integer-address deref) <- literal 34))))
(run function*!main)
;? (prn memory*)
(if (~iso memory*.Root_custodian (+ Allocator_start 1))
(prn "F - 'new' increments allocator pointer"))
(if (~iso memory*.Allocator_start 34)
(prn "F - 'new' returns old location"))
; other tests to express:
; no other function can increment the pointer
; no later clause can increment the pointer after this base clause
; multiple threads/routines can't call the allocator at once
|