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

83 commits

Author SHA1 Message Date
Gareth Rees
d6b83892af Remove unused pool class attributes. 
Bring method descriptions up to date in pool class design.

Copied from Perforce
 Change: 186446
 ServerID: perforce.ravenbrook.com
 2014-06-08 19:54:24 +01:00
Gareth Rees
b8c39883ea Pass and check special closure values unused_pointer, unused_size instead of null, 0. 
Copied from Perforce
 Change: 186352
 ServerID: perforce.ravenbrook.com
 2014-05-29 15:28:33 +01:00
Gareth Rees
d98336d308 Catch-up merge from master sources @186335 to branch/2014-03-30/addrset. 
Copied from Perforce
 Change: 186348
 ServerID: perforce.ravenbrook.com
 2014-05-29 14:58:50 +01:00
Gareth Rees
e35f3b1b6c Fix problems identified by dl in review <https://info.ravenbrook.com/mail/2014/05/23/12-44-54/0/>. 
Copied from Perforce
 Change: 186300
 ServerID: perforce.ravenbrook.com
 2014-05-25 20:49:22 +01:00
Gareth Rees
5f848d0404 Split land iteration into two functions, one which deletes ranges, the other which does not. 
Copied from Perforce
 Change: 186298
 ServerID: perforce.ravenbrook.com
 2014-05-25 19:26:48 +01:00
Gareth Rees
ac89be6519 Ignore or use the result of landiterate. 
Copied from Perforce
 Change: 186166
 ServerID: perforce.ravenbrook.com
 2014-05-18 22:50:22 +01:00
Gareth Rees
0bbc3befd8 Remove unused macros ("unless" and "when"). 
Copied from Perforce
 Change: 186120
 ServerID: perforce.ravenbrook.com
 2014-05-15 17:35:27 +01:00
Gareth Rees
883f4a4c3f Catch-up merge from master sources @186077 to branch/2014-03-30/addrset. 
Copied from Perforce
 Change: 186081
 ServerID: perforce.ravenbrook.com
 2014-05-13 16:21:39 +01:00
Gareth Rees
4c655eba6a Fix rash build on os x by adding the unused attribute to functions declared static that are not called in the rash variety. 
Copied from Perforce
 Change: 185915
 ServerID: perforce.ravenbrook.com
 2014-05-01 12:18:00 +01:00
Gareth Rees
0abdd8ae47 Catch-up merge from master/...@185556 to branch/2014-03-30/addrset. 
Copied from Perforce
 Change: 185563
 ServerID: perforce.ravenbrook.com
 2014-04-15 13:14:50 +01:00
Gareth Rees
e933748bd6 Mvt does not actually need to use gcsegs: in fact, gcsegs create difficulties because buffers need to be detached. so switch to using ordinary segs just like mvff. 
Copied from Perforce
 Change: 185556
 ServerID: perforce.ravenbrook.com
 2014-04-15 12:41:10 +01:00
Gareth Rees
b70e268929 Fix problems found by coverity. see <https://info.ravenbrook.com/mail/2014/04/10/23-23-42/0/> for full analysis. 
Copied from Perforce
 Change: 185445
 ServerID: perforce.ravenbrook.com
 2014-04-11 00:26:48 +01:00
Gareth Rees
51aac4e32d No keyword arguments needed in these cbsfastlandclass initializations. 
Copied from Perforce
 Change: 185329
 ServerID: perforce.ravenbrook.com
 2014-04-08 00:13:50 +01:00
Gareth Rees
3d1db4eab6 Use cbs subclasses to implement the fast-find and find-in-zones features. this avoids the need to control behaviour by passing booleans, and it means that there is no wasted space in the cbs block structure when these features are not used. 
Bring splay tree design up to date; add missing diagrams; move it to the "current" section of the manual.

Copied from Perforce
 Change: 185294
 ServerID: perforce.ravenbrook.com
 2014-04-07 15:36:18 +01:00
Gareth Rees
0c2cd2ab6d Catch-up merge from master sources to branch/2014-03-30/addrset. 
Copied from Perforce
 Change: 185288
 ServerID: perforce.ravenbrook.com
 2014-04-07 15:02:09 +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
Gareth Rees
306401504d Check classes after defining them. 
Copied from Perforce
 Change: 185228
 ServerID: perforce.ravenbrook.com
 2014-04-04 12:51:07 +01:00
Gareth Rees
7e0a53106b Fix file-at-a-time compilation. 
Copied from Perforce
 Change: 185210
 ServerID: perforce.ravenbrook.com
 2014-04-03 15:01:53 +01:00
Gareth Rees
b9e2c81084 Test the failover module (both always and never failing over). 
Fix result code bug in failoverInsert.
Test all result codes in fotest.
Tidy up code and documentation.

Copied from Perforce
 Change: 185207
 ServerID: perforce.ravenbrook.com
 2014-04-03 14:46:58 +01:00
Gareth Rees
a3055d56c0 New module failover implements a fail-over allocator as a land class. 
Use Failover in MVT and MVFF.
Test Failover in landtest.
Implementation of LandFindInZones for Freelist (untested).
Remove signature from RangeStruct so we can embed it without a space cost.

Copied from Perforce
 Change: 185196
 ServerID: perforce.ravenbrook.com
 2014-04-03 12:52:23 +01:00
Gareth Rees
6ef8e57b1f Turn freelist into a land class. 
Copied from Perforce
 Change: 185155
 ServerID: perforce.ravenbrook.com
 2014-04-02 14:01:18 +01:00
Gareth Rees
e5bc35b28f Avoid type puns. 
Copied from Perforce
 Change: 185151
 ServerID: perforce.ravenbrook.com
 2014-04-02 12:16:38 +01:00
Gareth Rees
10c511ff58 Landiargs -> liargs for terseness and consistency. 
Copied from Perforce
 Change: 185147
 ServerID: perforce.ravenbrook.com
 2014-04-01 23:39:03 +01:00
Gareth Rees
042f9c5f14 First pass at implementation of lands (collections of address ranges). 100% boilerplate! 
Copied from Perforce
 Change: 185131
 ServerID: perforce.ravenbrook.com
 2014-04-01 19:51:55 +01:00
Gareth Rees
c7b793143d Fix review comments from dl <https://info.ravenbrook.com/mail/2014/03/25/17-44-56/0/>. 
Add __attribute__((__format__(printf))) to functions that take a printf-compatible format string (when building using GCC or Clang), so that format string mistakes can be detected statically.

Copied from Perforce
 Change: 185021
 ServerID: perforce.ravenbrook.com
 2014-03-26 12:27:35 +00:00
Gareth Rees
c94be13bdf Improved support for pelles c: 
* Refactor nmake files so that a compiler-specific makefile is included; move Microsoft Visual C-specific options to mv.nmk.
* Add nmake files for Pelles (w3i3pc.nmk and pc.nmk).
* Rename spw3i3mv.c to spw3i3.c and spw3i6mv.c to spw3i6.c since these are also used by Pelles C.
* Make reasonable changes to the source code to avoid warnings from Pelles C:
** check results of function calls;
** avoid useless return values;
** undef max before defining it;
** ensure printf formats are checkable;
** move notreached() assertions to the end of blocks;
** suppress warnings in cases where the code shouldn't be changed ("Unreachable code", "Inline assembly code is not portable", "Structured Exception Handling is not portable").

Copied from Perforce
 Change: 184977
 ServerID: perforce.ravenbrook.com
 2014-03-24 18:23:29 +00:00
Richard Brooksby
cd19bda000 Tidying up interfaces to cbsinit and cbsfindinzones. 
Documenting assumptions about CBS block allocation used by the arena.

Copied from Perforce
 Change: 184593
 ServerID: perforce.ravenbrook.com
 2014-02-28 10:30:32 +00:00
Richard Brooksby
fc720aff46 Eliminating complex zonedcbs adt and reintroducing a cbs with zone summaries. removing the default “high” segment preference, that caused the cbs trees to unbalance, and isn’t required outside of ep. considerable reduction in code and speed up, now at parity with master on test xc/release/gcbench -x 1234 amc 
Copied from Perforce
 Change: 184587
 ServerID: perforce.ravenbrook.com
 2014-02-28 00:35:05 +00:00
Richard Brooksby
6e46485dce Catch-up merge from master, mainly to pick up gcbench fixes. 
Copied from Perforce
 Change: 184504
 ServerID: perforce.ravenbrook.com
 2014-02-25 01:29:12 +00:00
Richard Brooksby
f85124fac3 Detaching buffers from segments before freeing them in mvt. 
Copied from Perforce
 Change: 184389
 ServerID: perforce.ravenbrook.com
 2014-02-19 13:58:37 +00:00
Richard Brooksby
4dff43a172 Catch-up merge from master, mainly to pick up spare-ring merge. 
Copied from Perforce
 Change: 184365
 ServerID: perforce.ravenbrook.com
 2014-02-18 13:47:49 +00:00
Richard Brooksby
c915c5abe7 Merging branch //info.ravenbrook.com/project/mps/branch/2014-01-29/mps-chain-zones/... into master. 
Copied from Perforce
 Change: 184342
 ServerID: perforce.ravenbrook.com
 2014-02-14 15:15:07 +00:00
Richard Brooksby
142063f059 Abolishing vmarenaalloc and its horrible relatives. 
Removing redundant SegPref structures from pools that only ever used the default.
Abolishing the VMNZ arena class, to be replaced with an option to ArenaCreate.

Copied from Perforce
 Change: 184293
 ServerID: perforce.ravenbrook.com
 2014-02-04 18:10:53 +00:00
Richard Brooksby
f2c70fe37a Clarifying a comment. 
Copied from Perforce
 Change: 184262
 ServerID: perforce.ravenbrook.com
 2014-01-31 13:50:16 +00:00
Richard Brooksby
070f7784dd Refactored implementation of preferenced allocation policy from vm arena to general purpose arena. 
Eliminating SegPrefExpress in most places, especially where there wasn’t really any preference.
Eliminating special case knowledge about garbage collection from the arena.

Copied from Perforce
 Change: 184279
 ServerID: perforce.ravenbrook.com
 2014-01-30 18:08:10 +00:00
Richard Brooksby
02962f64ca Eliminating dodgy use of *segprefdefault() which could lead to implicit calls to memcpy. 
Copied from Perforce
 Change: 184217
 ServerID: perforce.ravenbrook.com
 2014-01-29 15:13:22 +00:00
Gareth Rees
902c10954b Merge branch/2013-05-17/emergency into the master sources. 
This change refactors MVTBufferFill and makes related improvements to improve the clarity of the code.

Copied from Perforce
 Change: 183935
 ServerID: perforce.ravenbrook.com
 2014-01-10 18:52:08 +00:00
Gareth Rees
1049386b6f Make improvements (mostly to comments) based on reviews: 
https://info.ravenbrook.com/mail/2014/01/10/15-57-50/0/
https://info.ravenbrook.com/mail/2014/01/10/15-40-47/0/

Copied from Perforce
 Change: 183932
 ServerID: perforce.ravenbrook.com
 2014-01-10 18:18:06 +00:00
Gareth Rees
d943faa62b Don't call mvtsegfree from mvtfinish: we don't know whether or not there was any fragmented (unavailable) space in this segment, and so we can't keep the accounting correct. add assertion in mvtsegfree that detects incorrect accounting. 
Copied from Perforce
 Change: 183610
 ServerID: perforce.ravenbrook.com
 2013-10-30 13:15:09 +00:00
Richard Brooksby
17cf0ad76d Rewriting mvtbufferfill to separate out its various attempts to allocate memory and clarify their relationships. mvtbufferfill itself now clearly spells out the methods it applies and its fallbacks. this reveals quite a few questions which i have noted with fixmes and todos. 
Copied from Perforce
 Change: 182642
 ServerID: perforce.ravenbrook.com
 2013-06-08 18:38:03 +01:00
Gareth Rees
ccbf5341e8 Mvtfinish must make the structure invalid first. 
Add comment explaining choice of GCSegClass.

Copied from Perforce
 Change: 182608
 ServerID: perforce.ravenbrook.com
 2013-06-07 15:39:07 +01:00
Gareth Rees
ddf49ff7e9 Mvt takes configurable alignment via a keyword argument. 
Copied from Perforce
 Change: 182605
 ServerID: perforce.ravenbrook.com
 2013-06-07 14:45:14 +01:00
Gareth Rees
4232dc3125 Tidying up in anticipation of review. 
Copied from Perforce
 Change: 182524
 ServerID: perforce.ravenbrook.com
 2013-06-04 23:49:48 +01:00
Gareth Rees
86abc26355 Avoid "variable may be used uninitialized" warning from visual c. 
Copied from Perforce
 Change: 182517
 ServerID: perforce.ravenbrook.com
 2013-06-04 20:41:19 +01:00
Gareth Rees
fbf674c3ed Mvt now fails over from a cbs to a freelist. 
Update test cases and design accordingly.

Copied from Perforce
 Change: 182509
 ServerID: perforce.ravenbrook.com
 2013-06-04 18:16:32 +01:00
Gareth Rees
67ab8d1385 New test case "fotest" for fail-over of cbs to freelist in mvff. (plus stub for mvt.) need some testing hooks in mvff and mvt for getting the cbs. 
This reveals a couple of bugs in MVFF: (i) if CBSDelete fails, this might be because the block is actually on the Freelist instead; (ii) we can't SegFree before calling FreelistDelete because the Freelist needs access to the memory in order to read its pointers.

Copied from Perforce
 Change: 182500
 ServerID: perforce.ravenbrook.com
 2013-06-04 16:51:24 +01:00
Gareth Rees
71a2c572a0 Use range objects in the cbs interface instead of base, limit pairs. the idea is that freelist and cbs should offer similar interfaces so that the testing code can be shared. 
Copied from Perforce
 Change: 182364
 ServerID: perforce.ravenbrook.com
 2013-05-31 16:29:26 +01:00
Gareth Rees
e7559cf22f Rename the enumeration cbsfinddelete to finddelete in anticipation of it being shared between cbs and new freelist module. 
Since ABQDisposition enumeration only has two values, it's better to use Bool.

Copied from Perforce
 Change: 182347
 ServerID: perforce.ravenbrook.com
 2013-05-31 00:09:33 +01:00
Gareth Rees
ae5a06f21b Fix review comments from <https://info.ravenbrook.com/mail/2013/05/28/22-21-11/0/>: 
* Rename RangeOverlap to RangesOverlap.
* MVFF shouldn't assume that CBSInsert and CBSDelete can't fail.
* Remove unused function mps_mvff_stat.
* Don't call range methods in RangeCheck.
* RangeInit can't fail, so return void.

Copied from Perforce
 Change: 182297
 ServerID: perforce.ravenbrook.com
 2013-05-29 12:19:19 +01:00
Gareth Rees
46ca22c648 Fix review comments from rb in <https://info.ravenbrook.com/mail/2013/05/23/18-17-17/0/> 
Copied from Perforce
 Change: 182149
 ServerID: perforce.ravenbrook.com
 2013-05-24 00:48:19 +01:00