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

2140 commits

Author SHA1 Message Date
Richard Brooksby
f2864ea179 Improving commentary: the mutator is suspended, not the arena. 
Copied from Perforce
 Change: 190352
 ServerID: perforce.ravenbrook.com
 2016-03-23 17:55:22 +00:00
Richard Brooksby
25bfc7b131 Responding to review by nb <https://info.ravenbrook.com/mail/2016/03/22/17-19-03/0/>. 
Copied from Perforce
 Change: 190349
 ServerID: perforce.ravenbrook.com
 2016-03-23 17:31:59 +00:00
Richard Brooksby
bcd30514d9 Forgot shieldhold/shieldrelease in tracecondemnzones. caught by hot builds of amcssth. 
Copied from Perforce
 Change: 190344
 ServerID: perforce.ravenbrook.com
 2016-03-23 15:48:58 +00:00
Richard Brooksby
33cb1b0596 Improving commentary in response to nb <https://info.ravenbrook.com/mail/2016/03/22/17-19-03/0/>. 
Copied from Perforce
 Change: 190339
 ServerID: perforce.ravenbrook.com
 2016-03-23 14:37:54 +00:00
Richard Brooksby
8bfd101b34 Responding to review by gdr <https://info.ravenbrook.com/mail/2016/03/21/21-05-49/0/>. 
Copied from Perforce
 Change: 190336
 ServerID: perforce.ravenbrook.com
 2016-03-23 14:23:14 +00:00
Richard Brooksby
e711121e82 Moving quicksort's workspace off the stack to limit mps stack usage. 
Copied from Perforce
 Change: 190332
 ServerID: perforce.ravenbrook.com
 2016-03-23 13:47:55 +00:00
Richard Brooksby
88affc312f Added discussion of when it might be good to resume the mutator early in design.mps.shield.improv.resume. 
Copied from Perforce
 Change: 190329
 ServerID: perforce.ravenbrook.com
 2016-03-23 13:11:19 +00:00
Richard Brooksby
541ca77662 Counting shield holds and releases, to ensure they are nested correctly. 
Counting the number of unsynced segments in order to check consistency.
Moving the extra shield hold for request.dylan.160098 around actual whitening, and adding a matching shield release.

Copied from Perforce
 Change: 190321
 ServerID: perforce.ravenbrook.com
 2016-03-23 11:59:57 +00:00
Richard Brooksby
3ed0bc9440 Reorganising shield design and updating. 
Renaming ShieldSuspend to ShieldHold and ShieldResume to ShieldRelease to reduce confusion.

Copied from Perforce
 Change: 190320
 ServerID: perforce.ravenbrook.com
 2016-03-23 08:20:29 +00:00
Richard Brooksby
9f9c201bd0 Backing out accidental change to check.h. 
Copied from Perforce
 Change: 190263
 ServerID: perforce.ravenbrook.com
 2016-03-21 10:42:21 +00:00
Richard Brooksby
67211a0565 Catch-up merge from master sources to branch/2016-03-11/shield-coalesce to pick up xcode build fix. 
Copied from Perforce
 Change: 190257
 ServerID: perforce.ravenbrook.com
 2016-03-21 10:09:29 +00:00
Richard Brooksby
7731df6456 Fixing language standard to c89 for the mps, except mpseventsql which uses c99 extensions such as strtoull. 
Copied from Perforce
 Change: 190254
 ServerID: perforce.ravenbrook.com
 2016-03-21 10:06:23 +00:00
Richard Brooksby
72cf3ef8ed Catch-up merge from master sources to branch/2016-03-11/shield-coalesce. 
Copied from Perforce
 Change: 190248
 ServerID: perforce.ravenbrook.com
 2016-03-20 15:58:20 +00:00
Richard Brooksby
fb9124c389 Consistent use of -std=c89 for gcc and clang on all platforms. 
Copied from Perforce
 Change: 190243
 ServerID: perforce.ravenbrook.com
 2016-03-20 15:57:52 +00:00
Richard Brooksby
ac41c10c30 Fixing compiler warnings. 
Copied from Perforce
 Change: 190237
 ServerID: perforce.ravenbrook.com
 2016-03-20 12:46:50 +00:00
Richard Brooksby
e4c8905bee Catch-up merge from master sources to branch/2016-03-11/shield-coalesce. 
Copied from Perforce
 Change: 190234
 ServerID: perforce.ravenbrook.com
 2016-03-20 12:46:55 +00:00
Richard Brooksby
73aec7aff3 Reinstate -ansi flag on strict clang builds, which somehow got lost. 
Copied from Perforce
 Change: 190233
 ServerID: perforce.ravenbrook.com
 2016-03-20 12:43:13 +00:00
Richard Brooksby
52857f843f Fixing splitting and merging for queued segments. 
Copied from Perforce
 Change: 190228
 ServerID: perforce.ravenbrook.com
 2016-03-20 01:22:15 +00:00
Richard Brooksby
7d0cc19ca3 Tearing down shield correctly. 
Copied from Perforce
 Change: 190225
 ServerID: perforce.ravenbrook.com
 2016-03-20 01:01:54 +00:00
Richard Brooksby
b66267ec5c Renaming shield cache to shield queue. 
Copied from Perforce
 Change: 190220
 ServerID: perforce.ravenbrook.com
 2016-03-20 00:46:59 +00:00
Richard Brooksby
f3bde6fd39 Promoting shield to first class structure. 
Copied from Perforce
 Change: 190219
 ServerID: perforce.ravenbrook.com
 2016-03-20 00:32:43 +00:00
Richard Brooksby
3e8c49f8b6 More documentation, tidying up, and cross-referencing. 
Copied from Perforce
 Change: 190205
 ServerID: perforce.ravenbrook.com
 2016-03-19 15:12:12 +00:00
Richard Brooksby
19bfc654e7 Tidying up, especially special assertions. 
Copied from Perforce
 Change: 190204
 ServerID: perforce.ravenbrook.com
 2016-03-19 14:47:54 +00:00
Richard Brooksby
e98b36c984 Fixing missing cache flag reset when a single entry is removed in low memory situations. 
Copied from Perforce
 Change: 190199
 ServerID: perforce.ravenbrook.com
 2016-03-19 14:11:26 +00:00
Richard Brooksby
1f361c4fc7 Separating flag for segment in shield cache from depth, clarifying code and optimising segfree somewhat. 
Copied from Perforce
 Change: 190194
 ServerID: perforce.ravenbrook.com
 2016-03-19 13:42:09 +00:00
Richard Brooksby
28c9da0066 Avoid shield flush when finishing a segment that isn't in the cache. 
Copied from Perforce
 Change: 190193
 ServerID: perforce.ravenbrook.com
 2016-03-19 10:19:14 +00:00
Richard Brooksby
6d4aca1182 Updating shield design and actually checking invariants in code. 
Copied from Perforce
 Change: 190192
 ServerID: perforce.ravenbrook.com
 2016-03-19 10:15:10 +00:00
Richard Brooksby
47899aff29 Importing good random number generator from testlib for use in quicksort and perhaps later in cuckoo hashing. 
Copied from Perforce
 Change: 190191
 ServerID: perforce.ravenbrook.com
 2016-03-19 08:57:27 +00:00
Richard Brooksby
dce6e063d1 Deferring non-urgent fixmes to todos. 
Copied from Perforce
 Change: 190190
 ServerID: perforce.ravenbrook.com
 2016-03-19 08:34:30 +00:00
Richard Brooksby
e602cb98c5 Adding xci3ll.gmk to make it easier to test 32-bit builds on os x. 
Copied from Perforce
 Change: 190184
 ServerID: perforce.ravenbrook.com
 2016-03-18 15:37:53 +00:00
Richard Brooksby
4bddebc903 Writing a clearer quicksort with assertions. 
Copied from Perforce
 Change: 190181
 ServerID: perforce.ravenbrook.com
 2016-03-18 14:50:11 +00:00
Richard Brooksby
b6622d0356 Design documentation, commentary, and code tidying. 
Copied from Perforce
 Change: 190172
 ServerID: perforce.ravenbrook.com
 2016-03-17 20:04:26 +00:00
Richard Brooksby
40221476cc Tidying up quicksort into an mpm utility. 
Copied from Perforce
 Change: 190171
 ServerID: perforce.ravenbrook.com
 2016-03-17 19:26:45 +00:00
Richard Brooksby
85702809fa Replacing qsort with an iterative implementation. 
Copied from Perforce
 Change: 190166
 ServerID: perforce.ravenbrook.com
 2016-03-17 18:22:08 +00:00
Richard Brooksby
7880c31aa9 Shield cache that grows. improving commentary. 
Copied from Perforce
 Change: 190160
 ServerID: perforce.ravenbrook.com
 2016-03-17 16:55:14 +00:00
Richard Brooksby
bd9ef4dcf2 Catch-up merge from master sources to branch/2016-03-11/shield-coalesce. 
Copied from Perforce
 Change: 190150
 ServerID: perforce.ravenbrook.com
 2016-03-17 13:53:40 +00:00
Richard Brooksby
d7923e66ff Allocate the shield cache. also improve commentary quite a bit. 
Copied from Perforce
 Change: 190147
 ServerID: perforce.ravenbrook.com
 2016-03-17 13:37:40 +00:00
Richard Brooksby
44f80af1ec Merging branch mps/branch/2016-03-13/without-reservation into master sources. 
Copied from Perforce
 Change: 190106
 ServerID: perforce.ravenbrook.com
 2016-03-15 13:19:27 +00:00
Richard Brooksby
cea2c8c73f Updates from review by dl <https://info.ravenbrook.com/mail/2016/03/15/12-36-53/0/>. 
Copied from Perforce
 Change: 190105
 ServerID: perforce.ravenbrook.com
 2016-03-15 13:02:40 +00:00
Richard Brooksby
339445436b Catch-up merge from master sources to branch/2014-10-13/format. 
Copied from Perforce
 Change: 190060
 ServerID: perforce.ravenbrook.com
 2016-03-15 10:02:21 +00:00
Richard Brooksby
d54be414d9 Merging branch/2016-03-12/pause into the master sources. 
Copied from Perforce
 Change: 190053
 ServerID: perforce.ravenbrook.com
 2016-03-15 06:31:08 +00:00
Richard Brooksby
f0c95255b4 Don't return to the mutator if there's an emergency. 
Clarifying "more time" and what we do if there's isn't.

Copied from Perforce
 Change: 190050
 ServerID: perforce.ravenbrook.com
 2016-03-15 06:25:53 +00:00
Richard Brooksby
f607db19fb Justifying the default pause time. 
Copied from Perforce
 Change: 190049
 ServerID: perforce.ravenbrook.com
 2016-03-15 06:04:42 +00:00
Richard Brooksby
55baffae57 Removing obsolete comment about the reservoir. 
Copied from Perforce
 Change: 190043
 ServerID: perforce.ravenbrook.com
 2016-03-15 05:04:38 +00:00
Richard Brooksby
cf77c160a4 Removing reservoir-related events. 
Copied from Perforce
 Change: 190041
 ServerID: perforce.ravenbrook.com
 2016-03-15 04:54:19 +00:00
Gareth Rees
2a3c4e0590 Address points made by rb in review <https://info.ravenbrook.com/mail/2016/03/14/18-48-19/0/> 
Copied from Perforce
 Change: 190031
 ServerID: perforce.ravenbrook.com
 2016-03-14 20:10:14 +00:00
Richard Brooksby
7983d71d3c Catch-up merge from master sources to branch/2015-08-25/tradeoff. 
Copied from Perforce
 Change: 190024
 ServerID: perforce.ravenbrook.com
 2016-03-14 10:02:10 +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
cc6262ae66 Basic removal of the reservoir pool from code and design. 
Copied from Perforce
 Change: 190000
 ServerID: perforce.ravenbrook.com
 2016-03-13 20:32:24 +00:00
Gareth Rees
618a040531 Remove duplicate file entries in the xcode project. 
Copied from Perforce
 Change: 189952
 ServerID: perforce.ravenbrook.com
 2016-03-13 12:06:38 +00:00