mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

about summary refs log tree commit diff stats

path: root/101run_sandboxed.cc

	Commit message (Expand)	Author	Age	Files	Lines
*	5001 - drop the :(scenario) DSL	Kartik Agaram	2019-03-12	1	-177/+246
*	4995	Kartik Agaram	2019-03-06	1	-1/+2
*	4994	Kartik Agaram	2019-03-03	1	-1/+1
*	4993	Kartik Agaram	2019-03-03	1	-3/+2
*	4987 - support `browse_trace` tool in SubX	Kartik Agaram	2019-02-25	1	-3/+9
*	4421	Kartik Agaram	2018-07-26	1	-1/+1
*	4266 - space for alloc-id in heap allocations	Kartik Agaram	2018-06-24	1	-51/+86
*	4258 - undo 4257	Kartik Agaram	2018-06-15	1	-67/+44
*	4257 - abortive attempt at safe fat pointers	Kartik Agaram	2018-06-15	1	-44/+67
*	4088	Kartik K. Agaram	2017-10-21	1	-1/+1
*	3966	Kartik K. Agaram	2017-07-09	1	-1/+1
*	3907 - standardize test failure messages	Kartik K. Agaram	2017-06-15	1	-2/+2
*	3888 - beginnings of a profiler	Kartik K. Agaram	2017-05-28	1	-0/+5
*	3805	Kartik K. Agaram	2017-03-20	1	-3/+45
*	3803	Kartik K. Agaram	2017-03-20	1	-1/+0
*	3802 - more accurate sandbox results	Kartik K. Agaram	2017-03-20	1	-1/+21
*	3801	Kartik K. Agaram	2017-03-20	1	-5/+5
*	3730	Kartik K. Agaram	2017-01-06	1	-0/+8
*	3705 - switch to tested file-system primitives	Kartik K. Agaram	2016-12-11	1	-1/+1
*	3561	Kartik K. Agaram	2016-10-22	1	-2/+2
*	3409	Kartik K. Agaram	2016-09-22	1	-0/+4
*	3408	Kartik K. Agaram	2016-09-22	1	-11/+1
*	3390	Kartik K. Agaram	2016-09-17	1	-5/+5
*	3389	Kartik K. Agaram	2016-09-17	1	-3/+3
*	3388	Kartik K. Agaram	2016-09-17	1	-1/+1
*	3385	Kartik K. Agaram	2016-09-17	1	-16/+16
*	3379	Kartik K. Agaram	2016-09-17	1	-4/+4
*	3377	Kartik K. Agaram	2016-09-17	1	-25/+25
*	3374	Kartik K. Agaram	2016-09-16	1	-10/+10
*	3367	Kartik K. Agaram	2016-09-15	1	-8/+24
*	3269	Kartik K. Agaram	2016-08-28	1	-1/+0
*	3230	Kartik K. Agaram	2016-08-20	1	-0/+518

s="w"> use an exclusive-container. container list:_elem [ value:_elem next:address:shared:list:_elem ] recipe push x:_elem, in:address:shared:list:_elem -> in:address:shared:list:_elem [ local-scope load-ingredients result:address:shared:list:_elem <- new {(list _elem): type} val:address:_elem <- get-address *result, value:offset *val <- copy x next:address:address:shared:list:_elem <- get-address *result, next:offset *next <- copy in reply result # needed explicitly because we need to replace 'in' with 'result' ] recipe first in:address:shared:list:_elem -> result:_elem [ local-scope load-ingredients result <- get *in, value:offset ] recipe rest in:address:shared:list:_elem -> result:address:shared:list:_elem/contained-in:in [ local-scope load-ingredients result <- get *in, next:offset ] scenario list-handling [ run [ 1:address:shared:list:number <- push 3, 0 1:address:shared:list:number <- push 4, 1:address:shared:list:number 1:address:shared:list:number <- push 5, 1:address:shared:list:number 2:number <- first 1:address:shared:list:number 1:address:shared:list:number <- rest 1:address:shared:list:number 3:number <- first 1:address:shared:list:number 1:address:shared:list:number <- rest 1:address:shared:list:number 4:number <- first 1:address:shared:list:number 1:address:shared:list:number <- rest 1:address:shared:list:number ] memory-should-contain [ 1 <- 0 # empty to empty, dust to dust.. 2 <- 5 3 <- 4 4 <- 3 ] ] recipe to-text in:address:shared:list:_elem -> result:address:shared:array:character [ local-scope #? $print [to text: list], 10/newline load-ingredients buf:address:shared:buffer <- new-buffer 80 buf <- to-buffer in, buf result <- buffer-to-array buf ] # variant of 'to-text' which stops printing after a few elements (and so is robust to cycles) recipe to-text-line in:address:shared:list:_elem -> result:address:shared:array:character [ local-scope #? $print [to text line: list], 10/newline load-ingredients buf:address:shared:buffer <- new-buffer 80 buf <- to-buffer in, buf, 6 # max elements to display result <- buffer-to-array buf ] recipe to-buffer in:address:shared:list:_elem, buf:address:shared:buffer -> buf:address:shared:buffer [ local-scope #? $print [to buffer: list], 10/newline load-ingredients { break-if in buf <- append buf, 48/0 reply } # append in.value to buf val:_elem <- get *in, value:offset buf <- append buf, val # now prepare next next:address:shared:list:_elem <- rest in nextn:number <- copy next #? buf <- append buf, nextn reply-unless next space:character <- copy 32/space buf <- append buf, space:character s:address:shared:array:character <- new [-> ] n:number <- length *s buf <- append buf, s # and recurse remaining:number, optional-ingredient-found?:boolean <- next-ingredient { break-if optional-ingredient-found? # unlimited recursion buf <- to-buffer next, buf reply } { break-unless remaining # limited recursion remaining <- subtract remaining, 1 buf <- to-buffer next, buf, remaining reply } # past recursion depth; insert ellipses and stop s:address:shared:array:character <- new [...] append buf, s ] scenario stash-on-list-converts-to-text [ run [ x:address:shared:list:number <- push 4, 0 x <- push 5, x x <- push 6, x stash [foo foo], x ] trace-should-contain [ app: foo foo 6 -> 5 -> 4 ] ] scenario stash-handles-list-with-cycle [ run [ x:address:shared:list:number <- push 4, 0 y:address:address:shared:list:number <- get-address *x, next:offset *y <- copy x stash [foo foo], x ] trace-should-contain [ app: foo foo 4 -> 4 -> 4 -> 4 -> 4 -> 4 -> 4 -> ... ] ]