Richard Brooksby
33b28efbdb
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
d161c0e4ee
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
20f558f64a
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
0f3a469fa7
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
4204f99d67
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
f8a79ec8e4
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
5bc87114ea
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
cf0ac842bc
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
460f12cd75
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
0e95c7ece8
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
7ec5dac2bb
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
b77bb395da
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
e8c2a85e82
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
394b28a73b
Fixing compiler warnings.
...
Copied from Perforce
Change: 190237
ServerID: perforce.ravenbrook.com
2016-03-20 12:46:50 +00:00
Richard Brooksby
548bdb35a2
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
cc0b4af900
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
5e62e27402
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
a03174304d
Tearing down shield correctly.
...
Copied from Perforce
Change: 190225
ServerID: perforce.ravenbrook.com
2016-03-20 01:01:54 +00:00
Richard Brooksby
b97bd74013
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
e09dbaab0f
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
ff0b6d1379
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
ca6aa07632
Tidying up, especially special assertions.
...
Copied from Perforce
Change: 190204
ServerID: perforce.ravenbrook.com
2016-03-19 14:47:54 +00:00
Richard Brooksby
d280ff5c04
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
ff69c9af04
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
2c69ff0ce5
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
9172773f9c
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
20a34ca17f
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
ed69abbd66
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
bb206eec14
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
536960d061
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
91a08048b7
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
eb8b31f059
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
4d889230f9
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
8df13d0bff
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
641cdc164c
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
662a1b1b9b
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
9583c0f68a
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
684126cebf
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
26da5b46b0
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
d4a055f70b
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
78aa13019d
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
069dbc4e97
Justifying the default pause time.
...
Copied from Perforce
Change: 190049
ServerID: perforce.ravenbrook.com
2016-03-15 06:04:42 +00:00
Richard Brooksby
effbe427e2
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
f9e7db4a87
Removing reservoir-related events.
...
Copied from Perforce
Change: 190041
ServerID: perforce.ravenbrook.com
2016-03-15 04:54:19 +00:00
Gareth Rees
e034e7aeea
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
abb59fd3c8
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
07987ab579
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
ca7dcd913e
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
21a1f56a69
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
Gareth Rees
7ac2719739
Turn on keyword expansion.
...
Copied from Perforce
Change: 189936
ServerID: perforce.ravenbrook.com
2016-03-13 01:36:34 +00:00