Richard Brooksby
bbf2feaa1b
Documenting `rangesetbase and rangesetlimit`.
...
Copied from Perforce
Change: 190463
ServerID: perforce.ravenbrook.com
2016-03-27 16:33:27 +01:00
Richard Brooksby
9e9844fc38
Simplifying local cbsblock to block.
...
Copied from Perforce
Change: 190462
ServerID: perforce.ravenbrook.com
2016-03-27 16:33:27 +01:00
Richard Brooksby
3bd8997b8c
Converting cbs blocks to use ranges.
...
Copied from Perforce
Change: 190461
ServerID: perforce.ravenbrook.com
2016-03-27 16:33:27 +01:00
Richard Brooksby
22c2f8b190
Branching master to branch/2016-03-27/cbs-tidy.
...
Copied from Perforce
Change: 190454
ServerID: perforce.ravenbrook.com
2016-03-27 16:33:39 +01:00
Richard Brooksby
595654400c
Fixing the position of the ravenbrook url in the licences in design documents.
...
Copied from Perforce
Change: 190434
ServerID: perforce.ravenbrook.com
2016-03-27 11:14:27 +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
9f4c22587b
Mentioning freebsd with clang/llvm support in the readme.txt.
...
Copied from Perforce
Change: 190389
ServerID: perforce.ravenbrook.com
2016-03-24 17:49:06 +00:00
Richard Brooksby
7e171374db
Fixing syntax error in detection of freebsd with clang.
...
Copied from Perforce
Change: 190385
ServerID: perforce.ravenbrook.com
2016-03-24 12:44:53 +00:00
Richard Brooksby
e6d90acdf2
Running autoreconf to get freebsd with clang into the configure script.
...
Copied from Perforce
Change: 190384
ServerID: perforce.ravenbrook.com
2016-03-24 12:42:27 +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
81364f445d
Merging branch/2016-03-11/shield-coalesce into master sources.
...
Copied from Perforce
Change: 190376
ServerID: perforce.ravenbrook.com
2016-03-24 11:47:37 +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
7bfafc4e2d
Miscellaneous corrections to shield design.
...
Promoting shield design from "old" to "current" in the manual.
Copied from Perforce
Change: 190369
ServerID: perforce.ravenbrook.com
2016-03-24 10:29:54 +00:00
Richard Brooksby
85aa5bc2c6
Writing release note about shield coalescing.
...
Copied from Perforce
Change: 190364
ServerID: perforce.ravenbrook.com
2016-03-24 03:35:58 +00:00
Richard Brooksby
e6e8467ede
Adding release note about write barrier deferral.
...
Copied from Perforce
Change: 190358
ServerID: perforce.ravenbrook.com
2016-03-24 03:25:28 +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
810e5baba3
Improving markup of cross-references.
...
Copied from Perforce
Change: 190351
ServerID: perforce.ravenbrook.com
2016-03-23 17:54:43 +00:00
Richard Brooksby
5bb8283960
Design document formatting fix.
...
Copied from Perforce
Change: 190350
ServerID: perforce.ravenbrook.com
2016-03-23 17:35:25 +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
244380ba51
Clarifying definition of "exposed".
...
Copied from Perforce
Change: 190326
ServerID: perforce.ravenbrook.com
2016-03-23 12:55:07 +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
59691bf185
Clarifying that padding object sizes won't match pool object sizes.
...
Copied from Perforce
Change: 190242
ServerID: perforce.ravenbrook.com
2016-03-20 15:48:08 +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