Gareth Rees
7a0ffd56fd
Fix issues identified in review by gdr < https://info.ravenbrook.com/mail/2018/07/06/09-16-30/0/ >
...
Copied from Perforce
Change: 194464
2018-07-06 10:40:23 +01:00
Richard Brooksby
282a5eceee
Moving the vm arena's spare ring nodes into the spare pages themselves, allowing the size of page descriptors to be reduced.
...
Copied from Perforce
Change: 190590
ServerID: perforce.ravenbrook.com
2016-03-31 19:38:31 +01:00
Richard Brooksby
4cb09a6d47
Cherry-picking low-risk fix for job003880. see < https://info.ravenbrook.com/mail/2016/03/29/20-23-20/0/ >.
...
Copied from Perforce
Change: 190579
ServerID: perforce.ravenbrook.com
2016-03-31 12:30:00 +01:00
Richard Brooksby
0d7f8273fd
Reducing over-ambitious random alignment increases in apss test.
...
Copied from Perforce
Change: 190575
ServerID: perforce.ravenbrook.com
2016-03-31 09:28:41 +01:00
Richard Brooksby
61dc9d8345
Cross-referencing comment about non-working debugging aps to job003995.
...
Copied from Perforce
Change: 190477
ServerID: perforce.ravenbrook.com
2016-03-27 21:17:53 +01:00
Richard Brooksby
7c1e988d2b
Documenting and checking constraints on mps_key_align on manual pools.
...
Copied from Perforce
Change: 190472
ServerID: perforce.ravenbrook.com
2016-03-27 20:48:38 +01:00
Richard Brooksby
1d8377136a
Correcting return type of zonesetofrange to a zoneset.
...
Copied from Perforce
Change: 190395
ServerID: perforce.ravenbrook.com
2016-03-24 21:59:39 +00:00
Richard Brooksby
ff35af0f15
Merging branch/2016-03-13/defer-write-barrier into master sources.
...
Copied from Perforce
Change: 190380
ServerID: perforce.ravenbrook.com
2016-03-24 12:07:20 +00:00
Richard Brooksby
681886a8ac
Catch-up merge from master sources to branch/2016-03-11/shield-coalesce.
...
Copied from Perforce
Change: 190373
ServerID: perforce.ravenbrook.com
2016-03-24 11:08:24 +00:00
Richard Brooksby
397f3713f9
Fixing build errors on windows (w3i6mv).
...
tagtest was missing from makefiles.
Implicit conversion warning from Clock to double.
Copied from Perforce
Change: 190372
ServerID: perforce.ravenbrook.com
2016-03-24 11:04:58 +00:00
Richard Brooksby
4e0557e20e
Improving shieldflushentries to allow for delayed protection changes on shieldlower.
...
Copied from Perforce
Change: 190363
ServerID: perforce.ravenbrook.com
2016-03-23 19:03:00 +00:00
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
405aed6b34
Bracketing out unused stringequal and tidying up stringlength.
...
Copied from Perforce
Change: 190333
ServerID: perforce.ravenbrook.com
2016-03-23 13:54:22 +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
dd96d7cc5c
Responding to review by gdr < https://info.ravenbrook.com/mail/2016/03/21/20-20-15/0/ >.
...
Copied from Perforce
Change: 190307
ServerID: perforce.ravenbrook.com
2016-03-22 16:32:10 +00:00
Richard Brooksby
12ae6d018a
Updates from review by nb < https://info.ravenbrook.com/mail/2016/03/21/18-36-14/0/ >.
...
Copied from Perforce
Change: 190304
ServerID: perforce.ravenbrook.com
2016-03-22 15:20:56 +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
5f16b84c25
Catch-up merge from master sources to branch/2016-03-13/defer-write-barrier.
...
Copied from Perforce
Change: 190258
ServerID: perforce.ravenbrook.com
2016-03-21 10:23:46 +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
b720a44d65
Improving design document with references and separating ideas from current implementation.
...
Copied from Perforce
Change: 190214
ServerID: perforce.ravenbrook.com
2016-03-19 23:31:00 +00:00
Richard Brooksby
b8c51be19d
Tidying up and adding cross references to shiny new design document.
...
Copied from Perforce
Change: 190213
ServerID: perforce.ravenbrook.com
2016-03-19 23:07:53 +00:00
Richard Brooksby
1efb458183
Removing bogus todo.
...
Copied from Perforce
Change: 190212
ServerID: perforce.ravenbrook.com
2016-03-19 19:40:00 +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
7ee20c87a6
Catch-up merge from master sources to branch/2016-03-13/defer-write-barrier.
...
Copied from Perforce
Change: 190175
ServerID: perforce.ravenbrook.com
2016-03-17 20:14:47 +00:00