Gareth Rees
d0dfea0bf6
Stack context is saved by stack_context_save, not just by stack_context_begin.
...
Copied from Perforce
Change: 187430
ServerID: perforce.ravenbrook.com
2014-10-31 15:28:33 +00:00
Gareth Rees
ba98e611a4
Fix typo; document the assumptions used by stackscan.
...
Copied from Perforce
Change: 187428
ServerID: perforce.ravenbrook.com
2014-10-31 15:19:49 +00:00
Gareth Rees
45db0ef1bf
Better cross-reference.
...
Copied from Perforce
Change: 187426
ServerID: perforce.ravenbrook.com
2014-10-31 15:10:00 +00:00
Gareth Rees
87eeceac03
Avoid copying out design into the code -- keep things in one place.
...
No need for a prototype for StackScanInner.
Explain the fragility of the analysis and how we cope with it.
Copied from Perforce
Change: 187425
ServerID: perforce.ravenbrook.com
2014-10-31 15:07:36 +00:00
Gareth Rees
9828da1b11
Fix compilation on windows.
...
Copied from Perforce
Change: 187424
ServerID: perforce.ravenbrook.com
2014-10-31 14:39:51 +00:00
Gareth Rees
8ae4684c37
Check the result of calling setjmp.
...
Avoid "might be clobbered by ‘longjmp’ or ‘vfork’" error from gcc.
Explain why we don't use assembly language to spill the registers.
Copied from Perforce
Change: 187423
ServerID: perforce.ravenbrook.com
2014-10-31 14:09:40 +00:00
Gareth Rees
d4ecd173e0
Better reference for setjmp.h.
...
Copied from Perforce
Change: 187413
ServerID: perforce.ravenbrook.com
2014-10-26 22:24:39 +00:00
Gareth Rees
4126fe1d73
Save mutator context on entry to the mps.
...
Copied from Perforce
Change: 187412
ServerID: perforce.ravenbrook.com
2014-10-26 22:18:57 +00:00
Gareth Rees
fb03ef4f62
Branching master to branch/2014-10-26/sc.
...
Copied from Perforce
Change: 187404
ServerID: perforce.ravenbrook.com
2014-10-26 11:09:49 +00:00
Gareth Rees
c1fe4521a2
Ssw3i6.asm was deleted in change 179213.
...
Copied from Perforce
Change: 187402
ServerID: perforce.ravenbrook.com
2014-10-26 00:53:45 +01:00
Gareth Rees
9926492d9a
Add a section to the guide explaining how to implement malloc and free.
...
Copied from Perforce
Change: 187399
ServerID: perforce.ravenbrook.com
2014-10-25 22:31:07 +01:00
Gareth Rees
eced8cbdad
Mmqa test function/227.c now passes.
...
Update test README to mention which function to breakpoint.
Copied from Perforce
Change: 187397
ServerID: perforce.ravenbrook.com
2014-10-25 20:03:44 +01:00
Gareth Rees
0b9c9398db
Compress the implementations.
...
Copied from Perforce
Change: 187388
ServerID: perforce.ravenbrook.com
2014-10-24 21:51:29 +01:00
Gareth Rees
49dce40017
Update requirements and .issue.an based on discussion with rb.
...
Copied from Perforce
Change: 187387
ServerID: perforce.ravenbrook.com
2014-10-24 21:42:36 +01:00
Gareth Rees
45b244442e
Fix typos and links; amc no longer varies pool->fix.
...
Copied from Perforce
Change: 187384
ServerID: perforce.ravenbrook.com
2014-10-24 12:38:04 +01:00
Gareth Rees
e00ab0e31b
In mpmcheck, assert that stackprobedepth words will fit into a page, so that we find out if design.mps.sp.sol.depth.constraint is ever violated.
...
Format methods must have bounded stack usage for stack probing to be effective, so document this in the manual (picking the arbitrary value 64 for the bound, which should be more than enough).
Copied from Perforce
Change: 187382
ServerID: perforce.ravenbrook.com
2014-10-24 10:54:27 +01:00
Gareth Rees
a960f642f1
Analysis justifying the value of stackprobedepth.
...
Copied from Perforce
Change: 187380
ServerID: perforce.ravenbrook.com
2014-10-24 10:16:28 +01:00
Gareth Rees
2999378191
Write "number of words per page" rather than "page size" to make it clear how depth relates to size.
...
Compress the implementation section.
Copied from Perforce
Change: 187378
ServerID: perforce.ravenbrook.com
2014-10-24 09:15:01 +01:00
Gareth Rees
1c59f81f40
Remove otiose "this document describes the".
...
Add "anyone porting the MPS to a new platform" to the readership of design documents that they might need to consult.
Copied from Perforce
Change: 187377
ServerID: perforce.ravenbrook.com
2014-10-24 09:10:18 +01:00
Gareth Rees
57a37559b9
Bring memory protection design up to date and move from old to current.
...
Copied from Perforce
Change: 187375
ServerID: perforce.ravenbrook.com
2014-10-23 23:57:22 +01:00
Gareth Rees
aa5ee59759
Design of the stack probe module.
...
Copied from Perforce
Change: 187373
ServerID: perforce.ravenbrook.com
2014-10-23 23:23:00 +01:00
Gareth Rees
afd1eb0779
Design of the stack and register scanning module.
...
Copied from Perforce
Change: 187370
ServerID: perforce.ravenbrook.com
2014-10-23 21:41:51 +01:00
Gareth Rees
a302cffa9c
Correct name of splaytreefind.
...
Copied from Perforce
Change: 187368
ServerID: perforce.ravenbrook.com
2014-10-23 15:20:31 +01:00
Gareth Rees
49ed75e897
Add index terms for protection mutator context design.
...
Copied from Perforce
Change: 187367
ServerID: perforce.ravenbrook.com
2014-10-23 15:20:16 +01:00
Gareth Rees
99d49b2a80
More design.
...
Copied from Perforce
Change: 187365
ServerID: perforce.ravenbrook.com
2014-10-23 14:25:52 +01:00
Gareth Rees
41bebb2d25
Add link to testhr.
...
vmam was merged into vm.
Copied from Perforce
Change: 187363
ServerID: perforce.ravenbrook.com
2014-10-23 13:56:52 +01:00
Gareth Rees
5a5bd584e1
Design of the protection mutator context module.
...
Copied from Perforce
Change: 187362
ServerID: perforce.ravenbrook.com
2014-10-23 13:44:24 +01:00
Gareth Rees
8fc70f9b4a
Design for the protection mutator context module.
...
Copied from Perforce
Change: 187360
ServerID: perforce.ravenbrook.com
2014-10-23 12:42:36 +01:00
Gareth Rees
dc314c2100
Merge vman design into vm; add designs for vmix and vmw3.
...
Link to POSIX and Windows documentation from thread-manager design.
Copied from Perforce
Change: 187357
ServerID: perforce.ravenbrook.com
2014-10-22 22:44:13 +01:00
Gareth Rees
0d75f05cd3
Complete design.mps.thread-manager and move it from old to current.
...
Better description of protection mutator context module in the "porting" chapter.
The generic thread manager mustn't assert that there is only one thread -- this would break design.mps.thread-manager.req.register.multi.
Copied from Perforce
Change: 187354
ServerID: perforce.ravenbrook.com
2014-10-22 20:42:56 +01:00
Gareth Rees
3c634eb2fa
Fix comment and add reference to design.
...
Copied from Perforce
Change: 187352
ServerID: perforce.ravenbrook.com
2014-10-22 20:16:14 +01:00
Gareth Rees
7de068c21b
Use aver(testt) when the arena lock is not held.
...
Copied from Perforce
Change: 187351
ServerID: perforce.ravenbrook.com
2014-10-22 20:14:01 +01:00
Gareth Rees
8b37792e4c
Fix typos, improve the language.
...
Copied from Perforce
Change: 187349
ServerID: perforce.ravenbrook.com
2014-10-22 13:59:18 +01:00
Gareth Rees
c8ec2ade84
Complete the vman (generic virtual mapping) design; move it from old to current.
...
Copied from Perforce
Change: 187348
ServerID: perforce.ravenbrook.com
2014-10-22 13:46:43 +01:00
Gareth Rees
72ddb8ec6e
Simplify platform makefile for xci6ll.
...
Copied from Perforce
Change: 187347
ServerID: perforce.ravenbrook.com
2014-10-22 13:46:11 +01:00
Gareth Rees
f07fbd9c15
Simplify the platform makefile for lii3gc.gmk.
...
Copied from Perforce
Change: 187346
ServerID: perforce.ravenbrook.com
2014-10-22 13:45:20 +01:00
Gareth Rees
9e042f8580
Simplify the platform makefile on fri3gc. no need for -wno-strict-aliasing any more -- the mps is type-pun clean.
...
Copied from Perforce
Change: 187344
ServerID: perforce.ravenbrook.com
2014-10-22 13:26:53 +01:00
Gareth Rees
f1fc0a8e6e
Bring ananmv.nmk up to date.
...
Copied from Perforce
Change: 187343
ServerID: perforce.ravenbrook.com
2014-10-22 13:16:57 +01:00
Gareth Rees
1f66a0df6c
Simply platform makefiles for lii6gc and lii6ll.
...
Copied from Perforce
Change: 187342
ServerID: perforce.ravenbrook.com
2014-10-22 13:11:29 +01:00
Gareth Rees
d1bd063d70
Complete the vm design (and refactor it in terms of requirements), and move it from old to current.
...
Copied from Perforce
Change: 187340
ServerID: perforce.ravenbrook.com
2014-10-22 12:59:30 +01:00
Gareth Rees
e9e4b538ea
Add section on porting strategy.
...
Copied from Perforce
Change: 187338
ServerID: perforce.ravenbrook.com
2014-10-22 11:14:59 +01:00
Gareth Rees
c4a8263daa
Need to update the documentation.
...
Copied from Perforce
Change: 187336
ServerID: perforce.ravenbrook.com
2014-10-22 00:25:27 +01:00
Gareth Rees
45a7d94f30
The multi-threaded testing module is not for inclusion in mps.c or mpmpf, so don't include it in the list of modules that need porting.
...
Copied from Perforce
Change: 187335
ServerID: perforce.ravenbrook.com
2014-10-22 00:08:46 +01:00
Gareth Rees
f0e75e0b5f
Section title must be "document history" exactly if the manual inclusion is to work.
...
Copied from Perforce
Change: 187333
ServerID: perforce.ravenbrook.com
2014-10-21 23:57:00 +01:00
Gareth Rees
6078b4a362
Update copy-pasted paragraph.
...
Copied from Perforce
Change: 187332
ServerID: perforce.ravenbrook.com
2014-10-21 23:56:06 +01:00
Gareth Rees
6014d97022
Finish incomplete sentence.
...
Copied from Perforce
Change: 187331
ServerID: perforce.ravenbrook.com
2014-10-21 23:52:45 +01:00
Gareth Rees
48cf00b714
Lock design is now up to date.
...
Copied from Perforce
Change: 187330
ServerID: perforce.ravenbrook.com
2014-10-21 23:46:48 +01:00
Gareth Rees
0b1de76159
Chapter on "porting the mps".
...
Copied from Perforce
Change: 187329
ServerID: perforce.ravenbrook.com
2014-10-21 23:45:58 +01:00
Gareth Rees
1cee8f6bb0
Typo fixes and updates.
...
Copied from Perforce
Change: 187328
ServerID: perforce.ravenbrook.com
2014-10-21 23:42:05 +01:00
Gareth Rees
b77e0d87dd
Add "contributing" section to the manual.
...
Copied from Perforce
Change: 187327
ServerID: perforce.ravenbrook.com
2014-10-21 23:41:02 +01:00