Richard Brooksby
07a1290f3e
Eliminating closure_size from area scanners and root registration functions, as it isn't all that useful.
...
Copied from Perforce
Change: 189491
ServerID: perforce.ravenbrook.com
2016-03-01 15:59:06 +00:00
Richard Brooksby
f9743bb9f4
Updating scheme example to demonstrate mps_root_create_area rather than deprecated mps_root_create_table.
...
Copied from Perforce
Change: 189488
ServerID: perforce.ravenbrook.com
2016-03-01 15:11:39 +00:00
Richard Brooksby
cce61c51de
Removing assumption that area scanners take pointers to words. the client is at liberty to encode references in other ways.
...
Copied from Perforce
Change: 189484
ServerID: perforce.ravenbrook.com
2016-03-01 13:57:13 +00:00
Richard Brooksby
2f025ea5d2
Deprecating table roots.
...
Copied from Perforce
Change: 189483
ServerID: perforce.ravenbrook.com
2016-03-01 13:36:30 +00:00
Richard Brooksby
0b8f2dea16
Fixing references to mps_root_create_stack to mps_root_create_thread.
...
Copied from Perforce
Change: 189480
ServerID: perforce.ravenbrook.com
2016-03-01 13:16:46 +00:00
Richard Brooksby
998a11b45a
Catch-up merge from master sources to branch/2015-09-04/stack.
...
Copied from Perforce
Change: 189370
ServerID: perforce.ravenbrook.com
2016-02-27 00:54:00 +00:00
Richard Brooksby
2de01f7d2d
Improving detail of design.mps.bootstrap.land.sol and cross-referencing from source code.
...
Copied from Perforce
Change: 189345
ServerID: perforce.ravenbrook.com
2016-02-25 23:43:50 +00:00
Richard Brooksby
b26e5cc27d
Merging branch/2015-08-11/policy into master sources.
...
Copied from Perforce
Change: 189330
ServerID: perforce.ravenbrook.com
2016-02-25 21:46:11 +00:00
Richard Brooksby
6a15535df6
Removing unused function arenascannable.
...
Reinstate when needed. See <https://info.ravenbrook.com/mail/2016/02/17/13-05-54/0/ >.
Copied from Perforce
Change: 189292
ServerID: perforce.ravenbrook.com
2016-02-25 17:09:09 +00:00
Richard Brooksby
8a4e5ab290
Moving scanning accounting to tracescanarea and creating analogous formatscan.
...
Copied from Perforce
Change: 189325
ServerID: perforce.ravenbrook.com
2016-02-19 12:11:50 +00:00
Richard Brooksby
b771a2112a
Implementing mps_root_create_area_tagged as documented.
...
Copied from Perforce
Change: 189324
ServerID: perforce.ravenbrook.com
2016-02-19 00:23:54 +00:00
Richard Brooksby
6e062e10bd
Miscellaneous scanning documentation fixes from review.
...
Copied from Perforce
Change: 189323
ServerID: perforce.ravenbrook.com
2016-02-19 00:15:23 +00:00
Richard Brooksby
fd957d9eab
Miscellaneous root documentation fixes from review.
...
Copied from Perforce
Change: 189322
ServerID: perforce.ravenbrook.com
2016-02-19 00:10:12 +00:00
Richard Brooksby
890b7ddeb1
Clarifying that the pointer passed to thread root registration is the cold end of the stack.
...
Copied from Perforce
Change: 189321
ServerID: perforce.ravenbrook.com
2016-02-18 23:57:54 +00:00
Richard Brooksby
266228be7c
Renaming "bottom" and "top" of stack to "cold" and "hot" end, to prevent confusion about descending stacks.
...
Correcting design documentation relating to stacks.
Referencing hot and cold end concepts from glossary entry for control stacks.
Copied from Perforce
Change: 189320
ServerID: perforce.ravenbrook.com
2016-02-18 23:49:58 +00:00
Richard Brooksby
f84e1d8f7e
Fixing leftover sizeof(addr) that should've been changed to sizeof(word).
...
Copied from Perforce
Change: 189319
ServerID: perforce.ravenbrook.com
2016-02-18 21:22:05 +00:00
Richard Brooksby
ed561e855a
Avoid possible type pun hazard of jump buffer by casting to void *.
...
Copied from Perforce
Change: 189318
ServerID: perforce.ravenbrook.com
2016-02-18 21:18:05 +00:00
Richard Brooksby
0245c09885
Fixing indentation of case labels.
...
Copied from Perforce
Change: 189317
ServerID: perforce.ravenbrook.com
2016-02-18 21:12:28 +00:00
Richard Brooksby
845e0bedb6
Lifting closure structure out of areascanunion and using for rootfun as well. clarifying checking of same.
...
Copied from Perforce
Change: 189316
ServerID: perforce.ravenbrook.com
2016-02-18 21:12:00 +00:00
Richard Brooksby
724307ce1e
Removing check that pattern fits within mask, as this restricts the generality of scan_area.
...
Copied from Perforce
Change: 189315
ServerID: perforce.ravenbrook.com
2016-02-18 21:07:58 +00:00
Richard Brooksby
8366a15a3e
Fixing design documentation of mutatorfaultcontextscan.
...
Copied from Perforce
Change: 189314
ServerID: perforce.ravenbrook.com
2016-02-18 21:00:38 +00:00
Richard Brooksby
5ba0a765cc
Renaming variable _p to p, as it was left over from an earlier name clash by mistake.
...
Copied from Perforce
Change: 189313
ServerID: perforce.ravenbrook.com
2016-02-18 20:54:35 +00:00
Richard Brooksby
44664b7cc7
Removing check that pattern fits within mask, as this restricts the generality of scan_area.
...
Copied from Perforce
Change: 189312
ServerID: perforce.ravenbrook.com
2016-02-18 20:49:21 +00:00
Richard Brooksby
8a62ebbd66
Explaining why code in scan.c is written outside the mps interface.
...
Copied from Perforce
Change: 189311
ServerID: perforce.ravenbrook.com
2016-02-18 20:06:06 +00:00
Richard Brooksby
ec134b4eb0
Removing argument identifiers from prototype of mps_root_create_table_tagged.
...
Copied from Perforce
Change: 189310
ServerID: perforce.ravenbrook.com
2016-02-18 19:59:44 +00:00
Richard Brooksby
0f8bee3762
Detabifying code and restructuredtext files.
...
Copied from Perforce
Change: 189309
ServerID: perforce.ravenbrook.com
2016-02-18 19:58:13 +00:00
Richard Brooksby
c015827c36
Catch-up merge from master sources.
...
Copied from Perforce
Change: 189265
ServerID: perforce.ravenbrook.com
2016-02-17 11:04:51 +00:00
Richard Brooksby
325fbc0f15
Backing out changelist 187528 as it removed most of the flags from the c compiler command line on windows.
...
Copied from Perforce
Change: 189253
ServerID: perforce.ravenbrook.com
2016-02-16 17:46:27 +00:00
Richard Brooksby
137dc6a505
Backing out changelist 187528 as it removed most of the flags from the c compiler command line on windows.
...
Copied from Perforce
Change: 189253
ServerID: perforce.ravenbrook.com
2016-02-16 17:46:27 +00:00
Richard Brooksby
fd45719968
Reducing the number of root union variants using a nested union. detabifying.
...
Copied from Perforce
Change: 189247
ServerID: perforce.ravenbrook.com
2016-02-16 16:27:57 +00:00
Richard Brooksby
5ab2ac2aab
Minor tidying up of the manual.
...
Copied from Perforce
Change: 189246
ServerID: perforce.ravenbrook.com
2016-02-16 16:27:20 +00:00
Richard Brooksby
855719a568
Documenting mps_root_create_area and mps_root_create_area_tagged.
...
Copied from Perforce
Change: 189243
ServerID: perforce.ravenbrook.com
2016-02-16 16:03:28 +00:00
Richard Brooksby
e014bf6aeb
Cross-referencing area scanners documentation from root topic that mentions them.
...
Copied from Perforce
Change: 189238
ServerID: perforce.ravenbrook.com
2016-02-16 14:41:40 +00:00
Richard Brooksby
0327e5ff27
Documenting area scanners.
...
Copied from Perforce
Change: 189233
ServerID: perforce.ravenbrook.com
2016-02-16 13:55:32 +00:00
Richard Brooksby
3ad63e43f1
Catch up merge from master sources.
...
Copied from Perforce
Change: 189228
ServerID: perforce.ravenbrook.com
2016-02-16 12:37:25 +00:00
Richard Brooksby
ffcded6544
Merge branch 'branch/2015-09-04/stack' of ssh://perforce.ravenbrook.com:1622/mps into stack
...
Copied from Perforce
Change: 189222
ServerID: perforce.ravenbrook.com
2016-02-16 11:55:09 +00:00
Richard Brooksby
3ec32b9a96
Fixing build for ansi.
...
Copied from Perforce
Change: 189221
ServerID: perforce.ravenbrook.com
2016-02-16 11:54:39 +00:00
Richard Brooksby
e5cc472798
Probably fixing build for pelles c (untested).
...
Copied from Perforce
Change: 189216
ServerID: perforce.ravenbrook.com
2016-02-16 11:53:15 +00:00
Richard Brooksby
9da5d74f1c
Fixing build for windows.
...
Copied from Perforce
Change: 189215
ServerID: perforce.ravenbrook.com
2016-02-16 11:40:17 +00:00
Richard Brooksby
c08c579ef1
Adding scan.c to xcode project.
...
Copied from Perforce
Change: 189220
ServerID: perforce.ravenbrook.com
2016-02-16 01:01:32 +00:00
Richard Brooksby
7e04c0f137
Fixing build for os x.
...
Copied from Perforce
Change: 189210
ServerID: perforce.ravenbrook.com
2016-02-16 00:55:23 +00:00
Richard Brooksby
553093f3ed
Documenting thread root registration functions.
...
Copied from Perforce
Change: 189207
ServerID: perforce.ravenbrook.com
2016-02-16 00:34:10 +00:00
Richard Brooksby
4f9d662103
Bringing scheme example up to date with interface changes.
...
Copied from Perforce
Change: 189206
ServerID: perforce.ravenbrook.com
2016-02-15 23:39:24 +00:00
Richard Brooksby
525e7dc95b
Making mps_root_create_thread a convenience function for the common case.
...
Copied from Perforce
Change: 189205
ServerID: perforce.ravenbrook.com
2016-02-15 23:30:12 +00:00
Richard Brooksby
6da9d98d98
Using an array rather than a stack for tagtest to get reliable results.
...
Copied from Perforce
Change: 189204
ServerID: perforce.ravenbrook.com
2016-02-15 19:42:44 +00:00
Richard Brooksby
8140fab4dd
Creating general mps_root_create_thread and renaming mps_root_create_stack as a specialised version of it, mps_root_create_thread_tagged.
...
Copied from Perforce
Change: 189198
ServerID: perforce.ravenbrook.com
2016-02-15 19:12:59 +00:00
Richard Brooksby
a759889048
Reimplementing mps_root_create_reg in terms of rootcreatethreadtagged and abolishing rootreg. yay!
...
Copied from Perforce
Change: 189197
ServerID: perforce.ravenbrook.com
2016-02-15 18:19:30 +00:00
Richard Brooksby
53ce574bfe
Renaming rootreg_masked to rootthread_tagged with corresponding changes to other identifiers.
...
Copied from Perforce
Change: 189196
ServerID: perforce.ravenbrook.com
2016-02-15 17:57:06 +00:00
Richard Brooksby
2ad27f73b1
Lifting stack and register area scanner into mps interface to allow generalisation of stack format.
...
Copied from Perforce
Change: 189195
ServerID: perforce.ravenbrook.com
2016-02-15 17:46:45 +00:00
Richard Brooksby
9d0ae49fc9
Fixing case label indents.
...
Copied from Perforce
Change: 189194
ServerID: perforce.ravenbrook.com
2016-02-15 17:32:12 +00:00