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

blob: 1bbaa057daf5570f3147335157d319afd317246d (plain) (tree)

3c435756 ^

5ba4eab4 ^

3c435756 ^

d77a5ccc ^

3c435756 ^

d77a5ccc ^

56ce5577 ^

d77a5ccc ^

3c435756 ^

56ce5577 ^

3c435756 ^

c6e1041f ^

d77a5ccc ^

c6e1041f ^

2d05f43c ^

3c435756 ^

84ca523f ^

36f616b5 ^

bb1a1ac2 ^

51530916 ^

6e1eeeeb ^

36f616b5 ^

51530916 ^

1ba81b0f ^

5f05e954 ^

6e1eeeeb ^

36f616b5 ^

1ba81b0f ^

51530916 ^

6573fe1f ^

6e1eeeeb ^

b39ceb27 ^

26785f2a ^

b39ceb27 ^

8f249677 ^

b39ceb27 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-26 19:46:46 +0000

-space:space <- copy 10/unsafe 23 1:num <- copy 23 24 ] 25 +mem: storing 23 in location 13 26 27 :(scenario lookup_sidesteps_default_space) 28 def <a href='000organization.cc.html#L113'>main</a> [ 29 # pretend pointer from outside (2000 reserved for refcount) 30 2001:num <- copy 34 31 # pretend address:array:location; in practice we'll use 'new' 32 1000:num <- copy 0 # refcount 33 1001:num <- copy 5 # length 34 # actual start of this recipe 35 default-space:space <- copy 1000/unsafe 36 1:&:num <- copy 2000/unsafe # even local variables always contain raw addresses 37 8:num/raw <- copy *1:&:num 38 ] 39 +mem: storing 34 in location 8 40 41 //: precondition: disable name conversion for 'default-space' 42 43 :(scenario convert_names_passes_default_space) 44 % Hide_errors = true; 45 def <a href='000organization.cc.html#L113'>main</a> [ 46 default-space:num, x:num <- copy 0, 1 47 ] 48 +name: assign x 1 49 -name: assign default-space 1 50 51 :(before "End <a href='042name.cc.html#L99'>is_disqualified</a> Special-cases") 52 if (x.name == "default-space") 53 x.initialized = true; 54 :(before "End <a href='042name.cc.html#L163'>is_special_name</a> Special-cases") 55 if (s == "default-space") return true; 56 57 //: core implementation 58 59 :(before "End call Fields") 60 int default_space; 61 :(before "End call Constructor") 62 default_space = 0; 63 64 :(before "Begin canonize(x) Lookups") 65 <a href='043space.cc.html#L67'>absolutize</a>(x); 66 :(code) 67 void <a href='043space.cc.html#L67'>absolutize</a>(reagent& x) { 68 if (<a href='022arithmetic.cc.html#L108'>is_raw</a>(x) || is_dummy(x)) return; 69 if (x.name == "default-space") return; 70 if (!x.initialized) 71 ¦ <a href='003trace.cc.html#L168'>raise</a> << to_original_string(<a href='026call.cc.html#L87'>current_instruction</a>()) << ": reagent not initialized: '" << x.original_string << "'\n" << <a href='003trace.cc.html#L197'>end</a>(); 72 x.<a href='010vm.cc.html#L65'>set_value</a>(<a href='043space.cc.html#L82'>address</a>(x.value, <a href='043space.cc.html#L78'>space_base</a>(x))); 73 x.properties.push_back(pair<string, string_tree*>("raw", NULL)); 74 assert(<a href='022arithmetic.cc.html#L108'>is_raw</a>(x)); 75 } 76 77 //: hook replaced in a later layer 78 int <a href='043space.cc.html#L78'>space_base</a>(const reagent& x) { 79 return <a href='026call.cc.html#L81'>current_call</a>().default_space ? (<a href='026call.cc.html#L81'>current_call</a>().default_space+/*skip refcount*/1) : 0; 80 } 81 82 int <a href='043space.cc.html#L82'>address</a>(int offset, int base) { 83 assert(offset >= 0); 84 if (base == 0) return offset; // raw 85 int size = <a href='001help.cc.html#L229'>get_or_insert</a>(Memory, base); 86 if (offset >= size) { 87 ¦ // todo: test 88 ¦ <a href='003trace.cc.html#L168'>raise</a> << <a href='026call.cc.html#L85'>current_recipe_name</a>() << ": location " << offset << " is out of bounds " << size << " at " << base << '\n' << <a href='003trace.cc.html#L197'>end</a>(); 89 ¦ <a href='003trace.cc.html#L165'>DUMP</a>(""); 90 ¦ exit(1); 91 ¦ return 0; 92 } 93 return base + /*skip length*/1 + offset; 94 } 95 96 //: reads and writes to the 'default-space' variable have special behavior 97 98 :(after "Begin Preprocess write_memory(x, data)") 99 if (x.name == "default-space") { 100 if (!scalar(data) || !is_mu_space(x)) 101 ¦ <a href='003trace.cc.html#L168'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(<a href='026call.cc.html#L85'>current_recipe_name</a>()) << "'default-space' should be of type <a href='043space.cc.html#L82'>address</a>:array:location, but is " << <a href='028call_return.cc.html#L163'>to_string</a>(x.type) << '\n' << <a href='003trace.cc.html#L197'>end</a>(); 102 <a href='026call.cc.html#L81'>current_call</a>().default_space = data.at(0); 103 return; 104 } 105 :(code) 106 bool <a href='043space.cc.html#L106'>is_mu_space</a>(reagent/*copy*/ x) { 107 canonize_type(x); 108 if (!is_compound_type_starting_with(x.type, "address")) return false; 109 drop_from_type(x, "address"); 110 if (!is_compound_type_starting_with(x.type, "array")) return false; 111 drop_from_type(x, "array"); 112 return x.type && x.type->atom && x.type->name == "location"; 113 } 114 115 :(scenario get_default_space) 116 def <a href='000organization.cc.html#L113'>main</a> [ 117 default-space:space <- copy 10/unsafe 118 1:space/raw <- copy default-space:space 119 ] 120 +mem: storing 10 in location 1 121 122 :(after "Begin Preprocess read_memory(x)") 123 if (x.name == "default-space") { 124 vector<double> result; 125 result.push_back(<a href='026call.cc.html#L81'>current_call</a>().default_space); 126 return result; 127 } 128 129 //:: fix 'get' 130 131 :(scenario lookup_sidesteps_default_space_in_get) 132 def <a href='000organization.cc.html#L113'>main</a> [ 133 # pretend pointer to container from outside (2000 reserved for refcount) 134 2001:num <- copy 34 135 2002:num <- copy 35 136 # pretend address:array:location; in practice we'll use 'new' 137 1000:num <- copy 0 # refcount 138 1001:num <- copy 5 # length 139 # actual start of this recipe 140 default-space:space <- copy 1000/unsafe 141 1:&:point <- copy 2000/unsafe 142 9:num/raw <- get *1:&:point, 1:offset 143 ] 144 +mem: storing 35 in location 9 145 146 :(before "Read element" following "case GET:") 147 element.properties.push_back(pair<string, string_tree*>("raw", NULL)); 148 149 //:: fix 'index' 150 151 :(scenario lookup_sidesteps_default_space_in_index) 152 def <a href='000organization.cc.html#L113'>main</a> [ 153 # pretend pointer to array from outside (2000 reserved for refcount) 154 2001:num <- copy 2 # length 155 2002:num <- copy 34 156 2003:num <- copy 35 157 # pretend address:array:location; in practice we'll use 'new' 158 1000:num <- copy 0 # refcount 159 1001:num <- copy 5 # length 160 # actual start of this recipe 161 default-space:space <- copy 1000/unsafe 162 1:&:@:num <- copy 2000/unsafe 163 9:num/raw <- index *1:&:@:num, 1 164 ] 165 +mem: storing 35 in location 9 166 167 :(before "Read element" following "case INDEX:") 168 element.properties.push_back(pair<string, string_tree*>("raw", NULL)); 169 170 //:: 'local-scope' is a convenience operation to automatically deduce 171 //:: the amount of space to allocate in a default space with names 172 173 :(scenario local_scope) 174 def <a href='000organization.cc.html#L113'>main</a> [ 175 local-scope 176 x:num <- copy 0 177 y:num <- copy 3 178 ] 179 # allocate space for x and y, as well as the chaining slot at 0 180 +mem: array length is 3 181 182 :(before "End <a href='042name.cc.html#L99'>is_disqualified</a> Special-cases") 183 if (x.name == "number-of-locals") 184 x.initialized = true; 185 :(before "End <a href='042name.cc.html#L163'>is_special_name</a> Special-cases") 186 if (s == "number-of-locals") return true; 187 188 :(before "End Rewrite Instruction(curr, <a href='010vm.cc.html#L19'>recipe</a> result)") 189 // rewrite 'local-scope' to 190 // ``` 191 // default-space:space <- new location:type, number-of-locals:literal 192 // ``` 193 // where number-of-locals is Name[recipe][""] 194 if (curr.name == "local-scope") { 195 <a href='043space.cc.html#L198'>rewrite_default_space_instruction</a>(curr); 196 } 197 :(code) 198 void <a href='043space.cc.html#L198'>rewrite_default_space_instruction</a>(instruction& curr) { 199 if (!curr.ingredients.empty()) 200 ¦ <a href='003trace.cc.html#L168'>raise</a> << "'" << to_original_string(curr) << "' can't take any ingredients\n" << end(); 201 curr.name = "new"; 202 curr.ingredients.push_back(reagent("location:type")); 203 curr.ingredients.push_back(reagent("number-of-locals:literal")); 204 if (!curr.products.empty()) 205 ¦ <a href='003trace.cc.html#L168'>raise</a> << "new-default-space can't take any results\n" << end(); 206 curr.products.push_back(reagent("default-space:space")); 207 } 208 :(after "Begin Preprocess read_memory(x)") 209 if (x.name == "number-of-locals") { 210 vector<double> result; 211 result.push_back(Name[get(Recipe_ordinal, <a href='026call.cc.html#L85'>current_recipe_name</a>())][""]); 212 if (result.back() == 0) 213 ¦ <a href='003trace.cc.html#L168'>raise</a> << "no space allocated for default-space in <a href='010vm.cc.html#L19'>recipe</a> " << <a href='026call.cc.html#L85'>current_recipe_name</a>() << "; are you using names?\n" << <a href='003trace.cc.html#L197'>end</a>(); 214 return result; 215 } 216 :(after "Begin Preprocess write_memory(x, data)") 217 if (x.name == "number-of-locals") { 218 <a href='003trace.cc.html#L168'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(<a href='026call.cc.html#L85'>current_recipe_name</a>()) << "can't write to special name 'number-of-locals'\n" << end(); 219 return; 220 } 221 222 //:: try to reclaim the default-space when a recipe returns 223 224 :(scenario local_scope_reclaimed_on_return) 225 def <a href='000organization.cc.html#L113'>main</a> [ 226 1:num <- foo 227 2:num <- foo 228 3:bool <- equal 1:num, 2:num 229 ] 230 def foo [ 231 local-scope 232 result:num <- copy default-space:space 233 return result:num 234 ] 235 # both calls to foo should have received the same default-space 236 +mem: storing 1 in location 3 237 238 //: todo: do this in a transform, rather than magically in the 'return' instruction 239 :(after "Falling Through End Of Recipe") 240 <a href='043space.cc.html#L244'>reclaim_default_space</a>(); 241 :(after "Begin Return") 242 <a href='043space.cc.html#L244'>reclaim_default_space</a>(); 243 :(code) 244 void <a href='043space.cc.html#L244'>reclaim_default_space</a>() { 245 if (!Reclaim_memory) return; 246 reagent default_space("default-space:<a href='043space.cc.html#L82'>address</a>:array:location"); 247 <a href='036refcount.cc.html#L59'>decrement_any_refcounts</a>(default_space); 248 } 249 :(after "Begin Decrement Refcounts(canonized_x)") 250 if (<a href='043space.cc.html#L106'>is_mu_space</a>(canonized_x)) { 251 int space_address = (canonized_x.name == "default-space") ? <a href='026call.cc.html#L81'>current_call</a>().default_space : <a href='001help.cc.html#L229'>get_or_insert</a>(Memory, canonized_x.value); 252 if (space_address == 0) return; 253 // this branch relies on global state 254 string recipe_name; 255 if (has_property(canonized_x, "names")) { 256 ¦ assert(property(canonized_x, "names")->atom); 257 ¦ recipe_name = property(canonized_x, "names")->value; 258 } 259 else { 260 ¦ if (canonized_x.name != "default-space") 261 ¦ ¦ cerr << <a href='026call.cc.html#L85'>current_recipe_name</a>() << ": " << <a href='028call_return.cc.html#L163'>to_string</a>(canonized_x) << '\n'; 262 ¦ assert(canonized_x.name == "default-space"); 263 ¦ recipe_name = <a href='026call.cc.html#L85'>current_recipe_name</a>(); 264 } 265 const <a href='010vm.cc.html#L14'>recipe_ordinal</a> space_recipe_ordinal = get(Recipe_ordinal, recipe_name); 266 const recipe& space_recipe = get(Recipe, space_recipe_ordinal); 267 if (canonized_x.name == "default-space" && !has_property(canonized_x, "names") && !starts_by_setting_default_space(space_recipe)) return; 268 // Reclaim Space(space_address, space_recipe_ordinal, space_recipe) 269 <a href='036refcount.cc.html#L68'>decrement_refcount</a>(space_address, canonized_x.type->right, 270 ¦ ¦ /*refcount*/1 + /*array length*/1 + /*number-of-locals*/Name[space_recipe_ordinal][""]); 271 return; 272 } 273 :(code) 274 bool <a href='043space.cc.html#L274'>starts_by_setting_default_space</a>(const recipe& r) { 275 return !r.steps.empty() 276 ¦ ¦ && !r.steps.at(0).products.empty() 277 ¦ ¦ && r.steps.at(0).products.at(0).name == "default-space"; 278 } 279 280 //: 281 282 :(scenario local_scope_reclaims_locals) 283 def <a href='000organization.cc.html#L113'>main</a> [ 284 local-scope 285 x:text <- new [abc] 286 ] 287 # x 288 +mem: automatically abandoning 1004 289 # local-scope 290 +mem: automatically abandoning 1000 291 292 :(before "Reclaim Space(space_address, space_recipe_ordinal, space_recipe)") 293 if (<a href='001help.cc.html#L229'>get_or_insert</a>(Memory, space_address) <= 1) { 294 set<string> reclaimed_locals; 295 <a href='003trace.cc.html#L161'>trace</a>("mem") << "trying to reclaim locals" << <a href='003trace.cc.html#L197'>end</a>(); 296 // update any refcounts for variables in the space -- in the context of the space 297 call_stack calls_stash = <a href='043space.cc.html#L318'>save_call_stack</a>(space_address, space_recipe_ordinal); 298 Current_routine->calls.swap(calls_stash); 299 // no early returns until we restore 'calls' below 300 for (int i = /*leave default space for last*/1; i < <a href='001help.cc.html#L141'>SIZE</a>(space_recipe.steps); ++i) { 301 ¦ const instruction& inst = space_recipe.steps.at(i); 302 ¦ for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.products); ++i) { 303 ¦ ¦ reagent/*copy*/ product = inst.products.at(i); 304 ¦ ¦ if (reclaimed_locals.find(product.name) != reclaimed_locals.<a href='003trace.cc.html#L197'>end</a>()) continue; 305 ¦ ¦ reclaimed_locals.insert(product.name); 306 ¦ ¦ // local variables only 307 ¦ ¦ if (has_property(product, "lookup")) continue; 308 ¦ ¦ if (has_property(product, "raw")) continue; // tests often want to check such locations after they run 309 ¦ ¦ // End Checks For Reclaiming Locals 310 ¦ ¦ <a href='003trace.cc.html#L161'>trace</a>("mem") << "trying to reclaim local " << product.original_string << <a href='003trace.cc.html#L197'>end</a>(); 311 ¦ ¦ canonize(product); 312 ¦ ¦ <a href='036refcount.cc.html#L59'>decrement_any_refcounts</a>(product); 313 ¦ } 314 } 315 Current_routine->calls.swap(calls_stash); // restore 316 } 317 :(code) 318 call_stack <a href='043space.cc.html#L318'>save_call_stack</a>(int space_address, <a href='010vm.cc.html#L14'>recipe_ordinal</a> space_recipe_ordinal) { 319 call dummy_call(space_recipe_ordinal); 320 dummy_call.default_space = space_address; 321 call_stack result; 322 result.push_front(dummy_call); 323 return result; 324 } 325 326 :(scenario local_variables_can_outlive_call) 327 def <a href='000organization.cc.html#L113'>main</a> [ 328 local-scope 329 x:&:num <- new num:type 330 y:space <- copy default-space:space 331 ] 332 -mem: automatically abandoning 1005 333 334 //: 335 336 :(scenario local_scope_does_not_reclaim_escaping_locals) 337 def <a href='000organization.cc.html#L113'>main</a> [ 338 1:text <- foo 339 ] 340 def foo [ 341 local-scope 342 x:text <- new [abc] 343 return x:text 344 ] 345 # local-scope 346 +mem: automatically abandoning 1000 347 # x 348 -mem: automatically abandoning 1004 349 350 :(after "Begin Return") // before reclaiming default-space 351 <a href='043space.cc.html#L353'>increment_refcounts_of_return_ingredients</a>(ingredients); 352 :(code) 353 void <a href='043space.cc.html#L353'>increment_refcounts_of_return_ingredients</a>(const vector<vector<double> >& ingredients) { 354 assert(<a href='026call.cc.html#L87'>current_instruction</a>().operation == RETURN); 355 if (<a href='001help.cc.html#L141'>SIZE</a>(Current_routine->calls) == 1) // no caller to receive result 356 ¦ return; 357 const instruction& caller_instruction = <a href='026call.cc.html#L86'>to_instruction</a>(*++Current_routine->calls.begin()); 358 for (int i = 0; i < min(<a href='001help.cc.html#L141'>SIZE</a>(<a href='026call.cc.html#L87'>current_instruction</a>().ingredients), <a href='001help.cc.html#L141'>SIZE</a>(caller_instruction.products)); ++i) { 359 ¦ if (!is_dummy(caller_instruction.products.at(i))) { 360 ¦ ¦ // no need to canonize ingredient because we ignore its value 361 ¦ ¦ <a href='036refcount.cc.html#L41'>increment_any_refcounts</a>(<a href='026call.cc.html#L87'>current_instruction</a>().ingredients.at(i), ingredients.at(i)); 362 ¦ } 363 } 364 } 365 366 //: 367 368 :(scenario local_scope_frees_up_addresses_inside_containers) 369 container foo [ 370 x:num 371 y:&:num 372 ] 373 def <a href='000organization.cc.html#L113'>main</a> [ 374 local-scope 375 x:&:num <- new number:type 376 y:foo <- merge 34, x:&:num 377 # x and y are both cleared when main returns 378 ] 379 +mem: automatically abandoning 1006 380 381 :(scenario local_scope_returns_addresses_inside_containers) 382 container foo [ 383 x:num 384 y:&:num 385 ] 386 def f [ 387 local-scope 388 x:&:num <- new number:type 389 *x:&:num <- copy 12 390 y:foo <- merge 34, x:&:num 391 # since y is 'escaping' f, it should not be cleared 392 return y:foo 393 ] 394 def <a href='000organization.cc.html#L113'>main</a> [ 395 1:foo <- f 396 3:num <- get 1:foo, x:offset 397 4:&:num <- get 1:foo, y:offset 398 5:num <- copy *4:&:num 399 1:foo <- <a href='001help.cc.html#L221'>put</a> 1:foo, y:offset, 0 400 4:&:num <- copy 0 401 ] 402 +mem: storing 34 in location 1 403 +mem: storing 1006 in location 2 404 +mem: storing 34 in location 3 405 # refcount of 1:foo shouldn't include any stray ones from f 406 +run: {4: ("address" "number")} <- get {1: "foo"}, {y: "offset"} 407 +mem: incrementing refcount of 1006: 1 -> 2 408 # 1:foo wasn't abandoned/cleared 409 +run: {5: "number"} <- copy {4: ("address" "number"), "lookup": ()} 410 +mem: storing 12 in location 5 411 +run: {1: "foo"} <- <a href='001help.cc.html#L221'>put</a> {1: "foo"}, {y: "offset"}, {0: "literal"} 412 +mem: decrementing refcount of 1006: 2 -> 1 413 +run: {4: ("address" "number")} <- copy {0: "literal"} 414 +mem: decrementing refcount of 1006: 1 -> 0 415 +mem: automatically abandoning 1006 416 417 :(scenario local_scope_claims_return_values_when_not_saved) 418 def f [ 419 local-scope 420 x:&:num <- new number:type 421 return x:&:num 422 ] 423 def <a href='000organization.cc.html#L113'>main</a> [ 424 f # doesn't save result 425 ] 426 # x reclaimed 427 +mem: automatically abandoning 1004 428 # f's local scope reclaimed 429 +mem: automatically abandoning 1000 430 431 //:: all recipes must set default-space one way or another 432 433 :(before "End Globals") 434 bool Hide_missing_default_space_errors = true; 435 :(before "End Checks") 436 Transform.push_back(check_default_space); // idempotent 437 :(code) 438 void check_default_space(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 439 if (Hide_missing_default_space_errors) return; // skip previous core tests; this is only for Mu code 440 const recipe& caller = get(Recipe, r); 441 // End check_default_space Special-cases 442 // assume recipes with only numeric addresses know what they're doing (usually tests) 443 if (!contains_non_special_name(r)) return; 444 <a href='003trace.cc.html#L161'>trace</a>(9991, "transform") << "--- check that <a href='010vm.cc.html#L19'>recipe</a> " << caller.name << " sets default-space" << <a href='003trace.cc.html#L197'>end</a>(); 445 if (caller.steps.empty()) return; 446 if (!starts_by_setting_default_space(caller)) 447 ¦ <a href='003trace.cc.html#L168'>raise</a> << caller.name << " does not seem to start with 'local-scope' or 'default-space'\n" << <a href='003trace.cc.html#L197'>end</a>(); 448 } 449 :(after "Load Mu Prelude") 450 Hide_missing_default_space_errors = false; 451 :(after "Test Runs") 452 Hide_missing_default_space_errors = true; 453 :(after "Running Main") 454 Hide_missing_default_space_errors = false; 455 456 :(code) 457 bool contains_non_special_name(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 458 for (map<string, int>::iterator p = Name[r].begin(); p != Name[r].<a href='003trace.cc.html#L197'>end</a>(); ++p) { 459 ¦ if (p->first.empty()) continue; 460 ¦ if (p->first.find("stash_") == 0) continue; // generated by rewrite_stashes_to_text (cross-layer) 461 ¦ if (!is_special_name(p->first)) 462 ¦ ¦ return true; 463 } 464 return false; 465 } 466 467 // reagent comparison -- only between reagents in a single recipe 468 bool operator==(const reagent& a, const reagent& b) { 469 if (a.name != b.name) return false; 470 if (property(a, "space") != property(b, "space")) return false; 471 return true; 472 } 473 474 bool operator<(const reagent& a, const reagent& b) { 475 int aspace = 0, bspace = 0; 476 if (has_property(a, "space")) aspace = <a href='002test.cc.html#L91'>to_integer</a>(property(a, "space")->value); 477 if (has_property(b, "space")) bspace = <a href='002test.cc.html#L91'>to_integer</a>(property(b, "space")->value); 478 if (aspace != bspace) return aspace < bspace; 479 return a.name < b.name; 480 } </pre> </body> </html>