Commit graph

6101 commits

Author SHA1 Message Date
Gareth Rees
8a16ef48eb Todo was done: replace it with cross-reference to design.
Copied from Perforce
 Change: 187788
 ServerID: perforce.ravenbrook.com
2015-03-18 20:54:28 +00:00
Gareth Rees
a6ca2d9e52 Todo was done: replace it with cross-reference to design.
Copied from Perforce
 Change: 187787
 ServerID: perforce.ravenbrook.com
2015-03-18 20:49:59 +00:00
Gareth Rees
0c0551456b Wording improvements.
Copied from Perforce
 Change: 187733
 ServerID: perforce.ravenbrook.com
2015-02-16 21:37:44 +00:00
Gareth Rees
89d1e01915 Add design.mps.exec-env from //info.ravenbrook.com/project/mps/import/2001-09-27/mminfo/doc/design/mps/exec-env/index.txt and bring it up to date; move design.mps.writef from old to current.
Copied from Perforce
 Change: 187693
 ServerID: perforce.ravenbrook.com
2015-02-06 16:50:04 +00:00
Gareth Rees
fb7794dd06 Keep glossary index up to date.
Copied from Perforce
 Change: 187682
 ServerID: perforce.ravenbrook.com
2015-02-06 09:50:24 +00:00
Gareth Rees
e4473eb283 Add glossary entry for "bitmap marking".
Copied from Perforce
 Change: 187681
 ServerID: perforce.ravenbrook.com
2015-02-06 09:50:00 +00:00
Gareth Rees
d8f6ac25ed Explain constraints on assertion handlers.
Copied from Perforce
 Change: 187660
 ServerID: perforce.ravenbrook.com
2015-02-04 09:50:39 +00:00
Gareth Rees
ca8c2ae824 Merge commpre.nmk and commpost.nmk into comm.nmk.
Copied from Perforce
 Change: 187528
 ServerID: perforce.ravenbrook.com
2014-11-29 16:43:45 +00:00
Gareth Rees
1ba6b0814d Testrun.sh now takes the suite via the -s option. this means that you can run a single test case.
testrun.sh now takes a "runner" via the -r option. You can pass something like "noaslr" to run all the test cases with ASLR turned off.

Copied from Perforce
 Change: 187496
 ServerID: perforce.ravenbrook.com
2014-11-08 10:05:05 +00:00
Gareth Rees
0b1bec15f8 Count the number of calls to make, for help with setting watchpoints.
Copied from Perforce
 Change: 187491
 ServerID: perforce.ravenbrook.com
2014-11-07 14:52:26 +00:00
Gareth Rees
9b452d00cc Vmarenagrow now passes on the result code from vmchunkcreate, instead of substituting resresource under the circumstances described in job003899.
Copied from Perforce
 Change: 187489
 ServerID: perforce.ravenbrook.com
2014-11-07 14:04:35 +00:00
Gareth Rees
a7b32f4efc Use gc_start messages to count collections.
Copied from Perforce
 Change: 187487
 ServerID: perforce.ravenbrook.com
2014-11-07 13:20:49 +00:00
Gareth Rees
adb6631e7e Use gc_start messages to robustly determine whether a collection started (rather than the unreliable mps_collections).
Copied from Perforce
 Change: 187485
 ServerID: perforce.ravenbrook.com
2014-11-07 10:41:51 +00:00
Gareth Rees
b6d8cd9e16 All references have ranks, not just roots.
Copied from Perforce
 Change: 187484
 ServerID: perforce.ravenbrook.com
2014-11-07 10:34:22 +00:00
Gareth Rees
96e83161cb Release notes for release 1.110.0.
Copied from Perforce
 Change: 187482
 ServerID: perforce.ravenbrook.com
2014-11-07 09:41:38 +00:00
Gareth Rees
d5ca3dd653 Documentation corrections and improvements.
Copied from Perforce
 Change: 187479
 ServerID: perforce.ravenbrook.com
2014-11-06 22:54:40 +00:00
Gareth Rees
4ff7916121 Explain how to run the smoke tests on windows.
Copied from Perforce
 Change: 187475
 ServerID: perforce.ravenbrook.com
2014-11-06 15:31:52 +00:00
Gareth Rees
c3ca6e36d1 Remove redundant pfmdefs from windows makefiles.
Explain how to write a Windows makefile when porting the MPS.

Copied from Perforce
 Change: 187473
 ServerID: perforce.ravenbrook.com
2014-11-06 15:28:40 +00:00
Gareth Rees
a122b26109 Deprecate mps_mv_free_size, mps_mv_size, mps_mvff_free_size, mps_mvff_size, mps_mvt_free_size and mps_mvt_size.
Move most of the deprecated material to a new chapter of the manual (to avoid clutter and confusion) and ensure that each deprecated symbol has a recommendation for what to do instead.

Copied from Perforce
 Change: 187471
 ServerID: perforce.ravenbrook.com
2014-11-06 14:56:15 +00:00
Gareth Rees
5315baa846 The "remember" parameters to arenaexposeremember is a boolean, not an integer.
Copied from Perforce
 Change: 187467
 ServerID: perforce.ravenbrook.com
2014-11-06 12:03:18 +00:00
Gareth Rees
e0658be613 New design document design.mps.an explains the design of generic modules.
Copied from Perforce
 Change: 187450
 ServerID: perforce.ravenbrook.com
2014-11-02 16:54:28 +00:00
Gareth Rees
70f065f187 Rename "testpoll" to "testpollnone" (because the old name was misleading: this tests the configuration *without* polling).
Copied from Perforce
 Change: 187449
 ServerID: perforce.ravenbrook.com
2014-11-02 16:52:52 +00:00
Gareth Rees
c17a20740c Better explanation of what buffermodelogging does.
Copied from Perforce
 Change: 187445
 ServerID: perforce.ravenbrook.com
2014-11-01 10:23:19 +00:00
Gareth Rees
df5f53ba08 Remove a transgression by using poolalignment(pool) instead of pool->alignment.
Copied from Perforce
 Change: 187444
 ServerID: perforce.ravenbrook.com
2014-11-01 10:22:58 +00:00
Gareth Rees
cdf1f7d4b8 Change file type of new design documents to ktext.
Copied from Perforce
 Change: 187410
 ServerID: perforce.ravenbrook.com
2014-10-26 15:31:36 +00:00
Gareth Rees
a7c1993c43 Minor documentation improvements.
Copied from Perforce
 Change: 187407
 ServerID: perforce.ravenbrook.com
2014-10-26 12:44:58 +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