mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-23 07:12:12 -07:00
Code Issues Projects Releases Wiki Activity
6876 commits 248 branches 194 tags 1.1 GiB
Commit graph

69 commits

Author SHA1 Message Date
Gareth Rees
af0f431eda Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
Peter Jackson
4de2606846 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
4eda4e85c7 Use tags with dots; regularize design references from code. 
Copied from Perforce
 Change: 195761
 2018-11-29 17:12:29 +00:00
Gareth Rees
317cc9a5a6 Catch-up merge from master sources at changelevel 194484 to branch/2014-10-26/sc. 
Copied from Perforce
 Change: 194487
 2018-07-06 21:42:35 +01:00
Gareth Rees
89b1b02ee5 Add a case for rootthread to rootcheck. 
Add test coverage for mps_root_create_thread_scanned and mps_root_create_area; improve coverage for mps_root_create_area_tagged, mps_scan_area_tagged, mps_scan_area.

Copied from Perforce
 Change: 192111
 ServerID: perforce.ravenbrook.com
 2016-09-04 11:56:09 +01:00
Richard Brooksby
f8af9acea9 Catch-up merge from master sources to branch/2014-10-26/sc. 
Copied from Perforce
 Change: 190118
 ServerID: perforce.ravenbrook.com
 2016-03-16 17:36:35 +00:00
Richard Brooksby
1025b28674 Eliminating withreservoirpermit and all its variants. 
Copied from Perforce
 Change: 190005
 ServerID: perforce.ravenbrook.com
 2016-03-13 21:04:01 +00:00
Richard Brooksby
fe38494cc6 Catch-up merge from master sources to branch/2014-10-26/sc. 
Copied from Perforce
 Change: 189865
 ServerID: perforce.ravenbrook.com
 2016-03-11 14:56:59 +00:00
Gareth Rees
7a9c0d09fc Check root mode argument to root creation functions. 
Copied from Perforce
 Change: 189708
 ServerID: perforce.ravenbrook.com
 2016-03-07 15:26:57 +00:00
Richard Brooksby
bb8869368c 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
a8f518584f Improving very old comments. 
Copied from Perforce
 Change: 189523
 ServerID: perforce.ravenbrook.com
 2016-03-02 09:47:01 +00:00
Richard Brooksby
14774ccd06 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
b929dbbe4c 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
6413f3bc27 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
44f4a046ff Fixing indentation of case labels. 
Copied from Perforce
 Change: 189317
 ServerID: perforce.ravenbrook.com
 2016-02-18 21:12:28 +00:00
Richard Brooksby
d295d93dde 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
d2d85d8951 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
a63e366c59 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
4487895475 Detabifying code and restructuredtext files. 
Copied from Perforce
 Change: 189309
 ServerID: perforce.ravenbrook.com
 2016-02-18 19:58:13 +00:00
Richard Brooksby
3cde5d865c 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
7464a68949 Documenting thread root registration functions. 
Copied from Perforce
 Change: 189207
 ServerID: perforce.ravenbrook.com
 2016-02-16 00:34:10 +00:00
Richard Brooksby
c1918bc79b 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
b384334a32 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
ab41d5c4f7 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
fe206feb2d 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
5c4eba9f7a Fixing case label indents. 
Copied from Perforce
 Change: 189194
 ServerID: perforce.ravenbrook.com
 2016-02-15 17:32:12 +00:00
Richard Brooksby
7238921356 Generalising roottable to rootarea and using it to implement mps_root_create_table_* and mps_root_create_area. 
Copied from Perforce
 Change: 189193
 ServerID: perforce.ravenbrook.com
 2016-02-15 17:30:45 +00:00
Richard Brooksby
fb6c150ba2 Generalising roottable_masked to rootarea_tagged and lifting scanner assumption. 
Copied from Perforce
 Change: 189192
 ServerID: perforce.ravenbrook.com
 2016-02-15 16:56:42 +00:00
Richard Brooksby
ae80015f4b Lifting assumptions about area scanners closer to interface. 
Copied from Perforce
 Change: 189191
 ServerID: perforce.ravenbrook.com
 2016-02-15 16:46:09 +00:00
Richard Brooksby
7df6c140f8 Generalising tracescanarea to be a checking wrapper for all area scanners. 
Copied from Perforce
 Change: 189190
 ServerID: perforce.ravenbrook.com
 2016-02-15 15:44:57 +00:00
Richard Brooksby
85a2d8683f 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
31870a9b95 Renaming tracescanareamasked to tracescanareatagged 
Copied from Perforce
 Change: 189133
 ServerID: perforce.ravenbrook.com
 2016-02-11 20:39:57 +00:00
Richard Brooksby
b2bc211404 Adding mps_root_create_table_tagged as an interface to more generally tagged roots. 
Deprecating the less general mps_root_create_table_masked.

Copied from Perforce
 Change: 189131
 ServerID: perforce.ravenbrook.com
 2016-02-11 20:28:39 +00:00
Richard Brooksby
aff58a3f60 Catch up merge from master sources. 
Copied from Perforce
 Change: 189130
 ServerID: perforce.ravenbrook.com
 2016-02-10 21:10:25 +00:00
Richard Brooksby
76aa6cd16c Adding description code for rootreg_masked to rootdescribe. 
Copied from Perforce
 Change: 189105
 ServerID: perforce.ravenbrook.com
 2016-02-04 23:16:17 +00:00
Gareth Rees
144990c99d Add accesssetcheck and check accessset arguments. 
Copied from Perforce
 Change: 188251
 ServerID: perforce.ravenbrook.com
 2015-09-04 20:15:36 +01:00
Gareth Rees
5af0bf9f01 Correct type for rootcreateregmasked. 
Copied from Perforce
 Change: 188233
 ServerID: perforce.ravenbrook.com
 2015-09-04 12:28:49 +01:00
Gareth Rees
ea6250898a 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
7aa39ee1b7 The table of references passed to mps_root_create_table must be word-aligned. 
Explain why mps_root_create_fmt doesn't check the alignment of base and limit.

Copied from Perforce
 Change: 187947
 ServerID: perforce.ravenbrook.com
 2015-06-15 22:12:42 +01:00
Gareth Rees
6c68b07a3d 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
e38d608024 Assert if you try to create a pool using a format from another arena, a pool using a chain from another arena, or a root using a thread from another arena. 
Copied from Perforce
 Change: 187268
 ServerID: perforce.ravenbrook.com
 2014-10-14 22:21:43 +01:00
Gareth Rees
2d0f425428 Ensure that code of the form if (condition) statement; is split over two lines, so that it is possible to set a breakpoint on the statement in a debugger. 
This change was agreed in 1997 (see <https://info.ravenbrook.com/project/mps/mail/1997/08/19/13-44/0.txt>), so it's about time it was implemented.

Copied from Perforce
 Change: 187071
 ServerID: perforce.ravenbrook.com
 2014-09-27 22:57:02 +01:00
Gareth Rees
10afd0ee3b Cast all arguments to the writef function to make it easy to check that none of the necessary casts have been omitted. 
New macro WriteFYesNo makes it easy to describe a Boolean.
Describe more structure elements for ABQ, Arena, Buffer, Format, MFS, Root, Seg.

Copied from Perforce
 Change: 187063
 ServerID: perforce.ravenbrook.com
 2014-09-27 12:49:30 +01:00
Gareth Rees
bf97a59af1 Catch-up merge from master sources @186564 to branch/2014-06-11/grain. 
Copied from Perforce
 Change: 186572
 ServerID: perforce.ravenbrook.com
 2014-06-13 15:30:46 +01:00
Gareth Rees
41e2d84377 Rename "arena alignment" to "arena grain size" to avoid confusion with ordinary structure alignment. 
Copied from Perforce
 Change: 186503
 ServerID: perforce.ravenbrook.com
 2014-06-11 17:13:03 +01:00
Gareth Rees
add3e4bf93 Consistent order stream, depth. 
Copied from Perforce
 Change: 186001
 ServerID: perforce.ravenbrook.com
 2014-05-11 18:30:23 +01:00
Gareth Rees
c44f2d6a20 Correct indentation of describe output by passing depth parameter to describe functions and to writef. 
Call Describe functions from test cases so that we get coverage.

Copied from Perforce
 Change: 186000
 ServerID: perforce.ravenbrook.com
 2014-05-11 18:20:38 +01:00
Gareth Rees
4ed8190265 Back out change 185626 (violates the design.mps.writef.snazzy). 
Copied from Perforce
 Change: 185941
 ServerID: perforce.ravenbrook.com
 2014-05-02 12:44:31 +01:00
Gareth Rees
d83fbf6b09 Correct indentation of describe output. 
Copied from Perforce
 Change: 185626
 ServerID: perforce.ravenbrook.com
 2014-04-17 13:36:42 +01:00
Gareth Rees
bcea6812fc Improve control over checking: 
1. Where Type is a pointer type with a signature, replace CHECKL(TypeCheck(val)) with CHECKD(Type, val).
2. Where Type is a pointer type with no signature, replace CHECKL(TypeCheck(val)) with CHECKD_NOSIG(Type, val).
3. Where Type is a pointer type with a signature, but the structure is not visible at point of checking, replace CHECKL(TypeCheck(val)) with CHECKD_NOSIG(Type, val). Reference <design/check/#.hidden-type>
4. Make BTCheck extern and use it where possible.
5. Replace AVER(TypeCheck(val)) with AVERT(Type, val).

Copied from Perforce
 Change: 185263
 ServerID: perforce.ravenbrook.com
 2014-04-06 22:51:05 +01:00