 andrew
|
aaf0283f66
|
Prefer getChild to getChildGeq in happy path
Saves instructions according to cachegrind
|
2024-02-23 12:12:01 -08:00 |
|
|
andrew
|
259f47664a
|
Save some instructions in getOrCreateChild
Tests / Release [gcc] total: 471, passed: 471
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/35//gcc">weaselab » conflict-set » main #35</a>
Tests / Coverage total: 469, passed: 469
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-22 22:46:08 -08:00 |
|
|
andrew
|
9a47f2d03a
|
Fixed missed usages of longestCommonPrefixPartialKey
Tests / Release [gcc] total: 471, passed: 471
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/34//gcc">weaselab » conflict-set » main #34</a>
Tests / Coverage total: 469, passed: 469
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-22 16:24:26 -08:00 |
|
|
andrew
|
b5d5085fd5
|
Add precondition back to firstNeqStride
|
2024-02-22 16:16:42 -08:00 |
|
|
andrew
|
40dca168ba
|
Add precondition to longestCommonPrefixPartialKey
Tests / Release [gcc] total: 471, passed: 471
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/33//gcc">weaselab » conflict-set » main #33</a>
Tests / Coverage total: 469, passed: 469
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-22 16:07:20 -08:00 |
|
|
andrew
|
7a8233ac61
|
More unnesting
|
2024-02-22 15:50:54 -08:00 |
|
|
andrew
|
3c93b9a3ce
|
Unnest some in checkPointRead
|
2024-02-22 15:43:13 -08:00 |
|
|
andrew
|
c16feda9f8
|
Use longestCommonPrefixPartialKey in SearchStepWise
|
2024-02-22 15:41:39 -08:00 |
|
|
andrew
|
4c3e7aef30
|
Save a few instructions in SearchStepWise
|
2024-02-22 15:30:24 -08:00 |
|
|
andrew
|
7f5598af2b
|
Save a few instructions in addWriteRange
|
2024-02-22 15:25:50 -08:00 |
|
|
andrew
|
8016d44c04
|
Use simple loop for longestCommonPrefixPartialKey
The benchmark has this as faster
|
2024-02-22 14:49:04 -08:00 |
|
|
andrew
|
505c060a28
|
Use longestCommonPrefixPartialKey in insert
|
2024-02-22 14:46:52 -08:00 |
|
|
andrew
|
608b4fb6c7
|
Remove some branches
|
2024-02-22 14:29:24 -08:00 |
|
|
andrew
|
0fbc8b0190
|
Use longestCommonPrefix on partial keys
|
2024-02-22 13:57:00 -08:00 |
|
|
andrew
|
125ce88268
|
Suppress gcc warning
Accept that our usage is non-portable: https://stackoverflow.com/questions/3129916/what-is-wrong-with-this-use-of-offsetof
|
2024-02-22 12:37:14 -08:00 |
|
|
andrew
|
3a5db2d2ac
|
Share some Node4/16 and Node48/256 implementations
This cuts down on the number of instructions (confirmed with
cachegrind). Also avoid initializing some memory unnecessarily.
|
2024-02-22 12:31:10 -08:00 |
|
|
andrew
|
bd5d0259d9
|
Update corpus
|
2024-02-21 22:13:57 -08:00 |
|
|
andrew
|
09782ba833
|
Fix O(k^2) behavior when begin is a prefix of end
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/32//gcc">weaselab » conflict-set » main #32</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-21 20:11:37 -08:00 |
|
|
andrew
|
0cb16c384f
|
Fix include path
|
2024-02-21 16:48:33 -08:00 |
|
|
andrew
|
3750aa7b5b
|
Vendor valgrind headers
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/31//gcc">weaselab » conflict-set » main #31</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
This is encouraged according to https://valgrind.org/docs/manual/manual-core-adv.html#manual-core-adv.clientreq
|
2024-02-21 16:15:40 -08:00 |
|
|
andrew
|
28e61340f4
|
Add valgrind annotations
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/30//gcc">weaselab » conflict-set » main #30</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
This appears to affect the binary (how else could it possibly work??),
but the microbenchmarks don't show a difference
|
2024-02-21 15:58:01 -08:00 |
|
|
andrew
|
07839b4687
|
Fix class-memaccess warning
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|4|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/29//gcc">weaselab » conflict-set » main #29</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
The lifetime of T ended, so it's appropriate to treat it as a void*
|
2024-02-21 15:27:46 -08:00 |
|
|
andrew
|
ed29ea0e61
|
Fix fdb-patch.txt
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|4|0|4|0|:zzz:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/28//gcc">weaselab » conflict-set » main #28</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
Turns out the include path was wrong it only worked before accidentally
|
2024-02-21 15:23:10 -08:00 |
|
|
andrew
|
af269ff208
|
Use a free list
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|4|4|0|0|:-1:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/27//gcc">weaselab » conflict-set » main #27</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
malloc and free were showing up in profiles of fdbserver
|
2024-02-21 13:51:02 -08:00 |
|
|
andrew
|
7e6652003b
|
Remove vestigial arena
|
2024-02-21 12:06:57 -08:00 |
|
|
andrew
|
48d96ac79a
|
Only pass key to addPointWrite
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/26//gcc">weaselab » conflict-set » main #26</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-20 23:16:03 -08:00 |
|
|
andrew
|
a341b36f63
|
Detect singleton key ranges
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/25//gcc">weaselab » conflict-set » main #25</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-20 23:09:03 -08:00 |
|
|
andrew
|
e706aad989
|
Remove byteswap include
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/24//gcc">weaselab » conflict-set » main #24</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-20 16:01:20 -08:00 |
|
|
andrew
|
4cbbeab55d
|
Remove dead code
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/23//gcc">weaselab » conflict-set » main #23</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-20 15:30:07 -08:00 |
|
|
andrew
|
06f92722f0
|
Add license
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/22//gcc">weaselab » conflict-set » main #22</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-20 13:22:22 -08:00 |
|
|
andrew
|
b82885e4c4
|
Add fdb patch
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/21//gcc">weaselab » conflict-set » main #21</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-20 13:15:37 -08:00 |
|
|
andrew
|
1efc787805
|
Add README.md
|
2024-02-20 13:13:48 -08:00 |
|
|
andrew
|
ae5277bf78
|
Interleave checking left and right side
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/20//gcc">weaselab » conflict-set » main #20</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-20 11:28:58 -08:00 |
|
|
andrew
|
c4e18d71a2
|
CheckRangeRightSide struct
|
2024-02-20 11:12:10 -08:00 |
|
|
andrew
|
33390af817
|
CheckRangeLeftSide struct
|
2024-02-20 11:04:12 -08:00 |
|
|
andrew
|
79987a2f55
|
Fix use of uninitialized memory
Tests / Release [gcc] total: 583, passed: 583
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/19//gcc">weaselab » conflict-set » main #19</a>
Tests / Coverage total: 581, passed: 581
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-19 16:48:40 -08:00 |
|
|
andrew
|
01a29b69b1
|
Explain assert
|
2024-02-19 16:25:15 -08:00 |
|
|
andrew
|
cb2f66b4b7
|
Remove a check from setOldestVersion
|
2024-02-19 16:20:04 -08:00 |
|
|
andrew
|
c9baa80212
|
Implement setOldestVersion
|
2024-02-19 15:58:59 -08:00 |
|
|
andrew
|
939b791e01
|
Paper tinkering
|
2024-02-19 13:29:16 -08:00 |
|
|
andrew
|
deb85f5645
|
Add callgrind client requests
|
2024-02-18 20:11:33 -08:00 |
|
|
andrew
|
69ce3e2a20
|
Update project description
|
2024-02-18 19:47:54 -08:00 |
|
|
andrew
|
79390b806c
|
Don't repeat common prefix search in addWriteRange
Tests / Release [gcc] total: 423, passed: 423
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/18//gcc">weaselab » conflict-set » main #18</a>
Tests / Coverage total: 421, passed: 421
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-18 10:43:41 -08:00 |
|
|
andrew
|
cb31f4c25b
|
Fix bugs
Tests / Release [gcc] total: 423, passed: 423
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/17//gcc">weaselab » conflict-set » main #17</a>
Tests / Coverage total: 421, passed: 421
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-17 22:09:00 -08:00 |
|
|
andrew
|
9a72f133a9
|
Add prefix queries to bench
|
2024-02-16 21:42:04 -08:00 |
|
|
andrew
|
0799aea3e8
|
Move newly test-only code
|
2024-02-16 18:35:28 -08:00 |
|
|
andrew
|
69a1b9099d
|
Share common prefix search in addWriteRange
|
2024-02-16 17:50:21 -08:00 |
|
|
andrew
|
c20d0c5581
|
Move addWriteRange into its own function
|
2024-02-16 17:15:35 -08:00 |
|
|
andrew
|
e956c526b2
|
Draft paper introduction
|
2024-02-16 16:27:55 -08:00 |
|
|
andrew
|
eb96833eb0
|
Use sparse scan under a threshold
Tests / Release [gcc] total: 375, passed: 375
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/16//gcc">weaselab » conflict-set » main #16</a>
Tests / Coverage total: 373, passed: 373
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-15 17:20:25 -08:00 |
|
|
andrew
|
4506b460eb
|
Speed up maxBetweenExclusive
|
2024-02-15 17:03:19 -08:00 |
|
|
andrew
|
e30922ab9c
|
Update corpus
|
2024-02-15 16:14:03 -08:00 |
|
|
andrew
|
642003fe4f
|
Remove dead code
Tests / Release [gcc] total: 363, passed: 363
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/15//gcc">weaselab » conflict-set » main #15</a>
Tests / Coverage total: 361, passed: 361
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-15 15:03:33 -08:00 |
|
|
andrew
|
4325d89cf2
|
Implement checkRangeRightSide
|
2024-02-15 15:00:16 -08:00 |
|
|
andrew
|
ab9c9a57fa
|
Implement checkRangeLeftSide
|
2024-02-15 14:33:12 -08:00 |
|
|
andrew
|
d565f75e0e
|
Share search of common prefix
Tests / Release [gcc] total: 363, passed: 363
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/14//gcc">weaselab » conflict-set » main #14</a>
Tests / Coverage total: 361, passed: 361
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-15 11:54:34 -08:00 |
|
|
andrew
|
5a2b734d16
|
Match planned order better
|
2024-02-15 11:47:01 -08:00 |
|
|
andrew
|
c2193fdba0
|
Implement new checkRangeRead idea
|
2024-02-15 11:37:08 -08:00 |
|
|
andrew
|
98dccf5c23
|
WIP checkLeftOfPyramid seems to be correct
|
2024-02-14 17:01:00 -08:00 |
|
|
andrew
|
838d08c70b
|
WIP checkRightOfPyramid seems to be correct
|
2024-02-14 16:11:57 -08:00 |
|
|
andrew
|
c9b35241e1
|
Factor out "maxRightOf"
|
2024-02-14 12:05:33 -08:00 |
|
|
andrew
|
c131398af6
|
Remove dead code
|
2024-02-14 11:37:11 -08:00 |
|
|
andrew
|
0d9e184bac
|
Prepare to skip right of c in "left side of pyramid"
|
2024-02-13 18:49:24 -08:00 |
|
|
andrew
|
2793edf07d
|
Make ascend/descend + iter updates more consistent
|
2024-02-13 16:37:55 -08:00 |
|
|
andrew
|
57585ba800
|
Add some const's
|
2024-02-13 15:48:08 -08:00 |
|
|
andrew
|
eef3c9e8d0
|
Track lcp as loop invariant
|
2024-02-13 15:37:14 -08:00 |
|
|
andrew
|
86978c057e
|
Inline nextPhysical and nextSibling in checkRangeRead
|
2024-02-13 14:43:12 -08:00 |
|
|
andrew
|
961fb18066
|
Resume firstGeq search from within tree
|
2024-02-13 12:08:13 -08:00 |
|
|
andrew
|
3aa081a9ce
|
Add short-circuiting back to checkRangeRead
|
2024-02-13 11:53:43 -08:00 |
|
|
andrew
|
1059f2a237
|
Use std::countr_zero
|
2024-02-12 17:33:02 -08:00 |
|
|
andrew
|
d5bde56921
|
Range reads are slow with dense keys
Tests / Release [gcc] total: 363, passed: 363
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/13//gcc">weaselab » conflict-set » main #13</a>
Tests / Coverage total: 361, passed: 361
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-12 15:46:56 -08:00 |
|
|
andrew
|
f8acc5ee86
|
Use longestCommonPrefix instead of strinc in checkRangeRead
|
2024-02-12 15:00:46 -08:00 |
|
|
andrew
|
ad14db5d7c
|
Add skiplist
|
2024-02-12 12:43:36 -08:00 |
|
|
andrew
|
d60da4c087
|
Add benchmark
Tests / Release [gcc] total: 363, passed: 363
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/12//gcc">weaselab » conflict-set » main #12</a>
Tests / Coverage total: 361, passed: 361
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-11 09:26:03 -08:00 |
|
|
andrew
|
0cae645c17
|
Fix always true condition
Tests / Release [gcc] total: 363, passed: 363
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|1|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/11//gcc">weaselab » conflict-set » main #11</a>
Tests / Coverage total: 361, passed: 361
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-10 15:34:02 -08:00 |
|
|
andrew
|
2929a341db
|
Whitelist __stack_chk_fail
Tests / Release [gcc] total: 363, passed: 363
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|1|1|0|0|:-1:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/7//gcc">weaselab » conflict-set » main #7</a>
Tests / Coverage total: 361, passed: 361
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-09 23:03:44 -08:00 |
|
|
andrew
|
35a3289ab9
|
Simplify and fix bugs
Tests / Release [gcc] total: 363, failed: 2, passed: 361
Tests / Coverage total: 361, passed: 361
weaselab/conflict-set/pipeline/head There was a failure building this commit
|
2024-02-09 22:45:38 -08:00 |
|
|
andrew
|
418bab61f5
|
Fix some bugs. Still buggy. Keep fuzzing
|
2024-02-09 18:47:08 -08:00 |
|
|
andrew
|
ddca6e8511
|
Rely on bitSet for child existence in Node48
|
2024-02-09 18:14:07 -08:00 |
|
|
andrew
|
f961947e33
|
Share one arena across batch
|
2024-02-09 17:57:29 -08:00 |
|
|
andrew
|
855d72d9a7
|
Oversize search path buffer
Tests / Release [gcc] total: 361, failed: 2, passed: 359
Tests / Coverage total: 359, passed: 359
weaselab/conflict-set/pipeline/head There was a failure building this commit
|
2024-02-09 17:47:10 -08:00 |
|
|
andrew
|
daa04129ac
|
Track search path. Looks clean!
|
2024-02-09 17:45:37 -08:00 |
|
|
andrew
|
593657c9aa
|
Remove duplicate code
|
2024-02-09 15:32:06 -08:00 |
|
|
andrew
|
d1ee3d8b69
|
Bring back nextSibling
|
2024-02-09 15:26:54 -08:00 |
|
|
andrew
|
80a79aab1f
|
Still need a better way identify left/right sidedness
|
2024-02-09 15:17:37 -08:00 |
|
|
andrew
|
f3e7279c2c
|
Do less work
|
2024-02-09 13:10:40 -08:00 |
|
|
andrew
|
403608c794
|
WIP just need to identify nodes on begin -> end path
|
2024-02-09 12:51:09 -08:00 |
|
|
andrew
|
8e918acc05
|
Remove dead code
|
2024-02-09 11:51:51 -08:00 |
|
|
andrew
|
d320fb6eee
|
Remove dead code
|
2024-02-08 14:59:27 -08:00 |
|
|
andrew
|
2bd1bf93a9
|
Check indices between left and right after they diverge
|
2024-02-08 14:50:53 -08:00 |
|
|
andrew
|
b018ccc3ae
|
Add TODO
Tests / Release [gcc] total: 361, failed: 2, passed: 359
Tests / Coverage total: 359, passed: 359
weaselab/conflict-set/pipeline/head There was a failure building this commit
|
2024-02-08 10:16:31 -08:00 |
|
|
andrew
|
d388f6488d
|
Remove dead code
|
2024-02-08 10:13:53 -08:00 |
|
|
andrew
|
b663325991
|
Update corpus
|
2024-02-08 10:06:23 -08:00 |
|
|
andrew
|
968e03403d
|
Revert to linear range checking, but keep short-circuiting
|
2024-02-08 10:05:22 -08:00 |
|
|
andrew
|
2cbb6e0170
|
Short-circuiting, efficient checkRangeRead
|
2024-02-07 16:31:54 -08:00 |
|
|
andrew
|
9363d7866c
|
Specify maxVersion meaning
|
2024-02-07 15:33:15 -08:00 |
|
|
andrew
|
855b7fa069
|
Prepare for new invariant
|
2024-02-07 13:44:46 -08:00 |
|
|
andrew
|
98124d5493
|
Sublinear read range checking
Tests / Release [gcc] total: 337, passed: 337
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/6//gcc">weaselab » conflict-set » main #6</a>
Tests / Coverage total: 335, passed: 335
weaselab/conflict-set/pipeline/head This commit looks good
Still slow though
|
2024-02-06 16:52:20 -08:00 |
|
|
andrew
|
6be23803a3
|
Add standalone bench target
|
2024-02-06 15:03:54 -08:00 |
|
|
andrew
|
9a80c96533
|
Short circuit point reads based on maxVersion
Tests / Release [gcc] total: 337, passed: 337
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/5//gcc">weaselab » conflict-set » main #5</a>
Tests / Coverage total: 335, passed: 335
weaselab/conflict-set/pipeline/head This commit looks good
|
2024-02-06 14:38:39 -08:00 |
|