Gareth Rees
5559f36540
Fix indentation of second clause of license.
2020-08-30 10:13:06 +01:00
Gareth Rees
5165d75267
Use https: instead of http: when linking to the ravenbrook web site.
2020-08-30 10:13:03 +01:00
Peter Jackson
1d00afac81
Publish licence updates in code directory.
...
Publish minor changes to readme and configure files in main directory.
Main directory and code directory licence texts are now fully updated.
Copied from Perforce
Change: 196994
2020-06-11 17:05:40 +01:00
Gareth Rees
1442df6958
Revert change 196178, submitted on wrong branch.
...
Copied from Perforce
Change: 196185
2019-06-05 10:36:50 +01:00
Gareth Rees
b46461edb5
Restore assembly code (removed in change 194595) for spilling callee-save registers on fr and li platforms.
...
Copied from Perforce
Change: 196178
2019-06-04 14:09:05 +01:00
Gareth Rees
fd8eba1528
Update urls (mostly http -> https).
...
Copied from Perforce
Change: 195858
2018-12-10 13:07:41 +00:00
Gareth Rees
0b324c158b
Use tags with dots; regularize design references from code.
...
Copied from Perforce
Change: 195761
2018-11-29 17:12:29 +00:00
Gareth Rees
eb34c8c1ea
Assert that stackhot gives us an address that's warmer than the jump buffer, as suggested by nb.
...
Copied from Perforce
Change: 194594
2018-07-11 15:02:19 +01:00
Gareth Rees
353768d313
Fix issues identified in review by gdr < https://info.ravenbrook.com/mail/2018/07/07/15-54-49/0/ >
...
Copied from Perforce
Change: 194494
2018-07-07 19:23:58 +01:00
Richard Brooksby
f14c66ed54
Removing incorrect assertion the stack pointers are word aligned.
...
Updating comments to refer to tags within design documents.
Copied from Perforce
Change: 189639
ServerID: perforce.ravenbrook.com
2016-03-04 13:58:53 +00:00
Richard Brooksby
57cec90d6a
Renaming design.mps.ss to design.mps.stack-scan.
...
Copied from Perforce
Change: 189607
ServerID: perforce.ravenbrook.com
2016-03-04 11:54:19 +00:00
Richard Brooksby
275adfe651
Storing the pointer to the stack frame where setjmp was invoked, rather than the address of the jump buffer, as the hot end of the mutator state, because callee-save registered might be stored on either side of the jump buffer by the compiler.
...
Removing the unnecessary assumption that the stack ends are word-aligned.
Copied from Perforce
Change: 189582
ServerID: perforce.ravenbrook.com
2016-03-03 17:12:43 +00:00
Richard Brooksby
883f73fc04
Scanning the whole stack context on every platform using portable code, because on no platform can we assume that any registers never contain references.
...
Copied from Perforce
Change: 189570
ServerID: perforce.ravenbrook.com
2016-03-03 02:10:58 +00:00
Richard Brooksby
f11eb2ef8c
Catch-up merge from master sources to branch/2014-10-26/sc.
...
Includes hairy merging of stack manipulation code and may need further work on each platform.
Copied from Perforce
Change: 189545
ServerID: perforce.ravenbrook.com
2016-03-02 17:55:25 +00:00
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
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
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
a3fdda4678
Lifting and generalising area scanners to allow flexible tagging schemes.
...
Copied from Perforce
Change: 189189
ServerID: perforce.ravenbrook.com
2016-02-15 15:30:08 +00:00
Richard Brooksby
d8d5ebbe91
Separating arenaenter from stack_context_begin and arenaleave from stack_context_end as they are not conceptually nested that way.
...
Copied from Perforce
Change: 189446
ServerID: perforce.ravenbrook.com
2016-02-12 15:22:34 +00:00
Gareth Rees
edf30c06b4
New function mps_root_create_reg_masked applies a mask and pattern test to all words in registers and on the stack when scanning them. this supports tagged references in these locations.
...
Consistently use the type "Word *" for pointers into the stack or into saved registers.
Remove TraceScanAreaTagged.
Copied from Perforce
Change: 188231
ServerID: perforce.ravenbrook.com
2015-09-04 12:22:03 +01:00
Gareth Rees
b1b3863e8a
Address review comments from rb in < https://info.ravenbrook.com/mail/2015/08/07/14-48-14/0/ >
...
Copied from Perforce
Change: 188112
ServerID: perforce.ravenbrook.com
2015-08-10 17:22:31 +01:00
Gareth Rees
cfb45d5423
Make sure we satisfy design.mps.sc.req.setjmp!
...
Improve organization of design.
Copied from Perforce
Change: 187434
ServerID: perforce.ravenbrook.com
2014-10-31 15:34:11 +00:00
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
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
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
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
Richard Brooksby
858e4ac0ac
Partial merge of branch/2012-07-23/cet-transform, excluding cet-specific parts.
...
Copied from Perforce
Change: 179309
ServerID: perforce.ravenbrook.com
2012-09-06 17:17:18 +01:00
Richard Brooksby
78ef580722
Eliminating "impl" type tags and replacing them with uri-style file references.
...
Copied from Perforce
Change: 29900
ServerID: perforce.ravenbrook.com
2002-06-07 17:34:59 +01:00
Richard Brooksby
a0f676c8e1
Adding forward reference to licenses from copyright notices.
...
Adding licenses to a couple of files I missed.
Copied from Perforce
Change: 29837
ServerID: perforce.ravenbrook.com
2002-06-06 11:56:19 +01:00
Richard Brooksby
4301a6db0a
Adding licenses to source code files.
...
Copied from Perforce
Change: 29836
ServerID: perforce.ravenbrook.com
2002-06-06 11:44:23 +01:00
Richard Brooksby
c0bb4cd3cd
Removing hopenames from the master sources.
...
This change will be integrated but ignored (-ay) to the gg-epcore/union sources, so that they retain HopeNames.
Copied from Perforce
Change: 24911
ServerID: perforce.ravenbrook.com
2001-12-07 13:19:25 +00:00
Richard Brooksby
3d5e2ca85f
Adding hopenames back into the master sources, so that they can be included in the union sources along with the id keywords.
...
This was achieved by partially undoing changelist 24817, including an accidental corruption of eventgen.pl.
Copied from Perforce
Change: 24877
ServerID: perforce.ravenbrook.com
2001-12-06 18:14:02 +00:00
Richard Brooksby
b824e1c406
Updating copyright messages to say copyright 2001 ravenbrook throughout.
...
Adding some missing copyright messages.
Copied from Perforce
Change: 24818
ServerID: perforce.ravenbrook.com
2001-12-05 16:18:43 +00:00
Richard Brooksby
2589307099
Changing hopename keywords to id keywords throughout, to work with perforce.
...
Copied from Perforce
Change: 24817
ServerID: perforce.ravenbrook.com
2001-12-05 16:05:52 +00:00
Richard Brooksby
492dd3c684
Merging changes from union to masters. this incorporates pekka's updates: tuning and a type in amcsshe.c and some adding some missing checks in arenavm.c. it also brings our cope of their hopenames up to date.
...
Copied from Perforce
Change: 24815
ServerID: perforce.ravenbrook.com
2001-12-05 15:48:24 +00:00
Nick Barnes
7acfca905d
Branch imports for masters.
...
Copied from Perforce
Change: 23678
ServerID: perforce.ravenbrook.com
2001-10-31 14:40:56 +00:00