Commit Graph

777 Commits

Author SHA1 Message Date
3750aa7b5b Vendor valgrind headers
All checks were successful
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
28e61340f4 Add valgrind annotations
All checks were successful
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
07839b4687 Fix class-memaccess warning
All checks were successful
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
ed29ea0e61 Fix fdb-patch.txt
All checks were successful
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
af269ff208 Use a free list
All checks were successful
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
7e6652003b Remove vestigial arena 2024-02-21 12:06:57 -08:00
48d96ac79a Only pass key to addPointWrite
All checks were successful
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
a341b36f63 Detect singleton key ranges
All checks were successful
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
e706aad989 Remove byteswap include
All checks were successful
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
4cbbeab55d Remove dead code
All checks were successful
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
06f92722f0 Add license
All checks were successful
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
b82885e4c4 Add fdb patch
All checks were successful
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
1efc787805 Add README.md 2024-02-20 13:13:48 -08:00
ae5277bf78 Interleave checking left and right side
All checks were successful
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
c4e18d71a2 CheckRangeRightSide struct 2024-02-20 11:12:10 -08:00
33390af817 CheckRangeLeftSide struct 2024-02-20 11:04:12 -08:00
79987a2f55 Fix use of uninitialized memory
All checks were successful
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
01a29b69b1 Explain assert 2024-02-19 16:25:15 -08:00
cb2f66b4b7 Remove a check from setOldestVersion 2024-02-19 16:20:04 -08:00
c9baa80212 Implement setOldestVersion 2024-02-19 15:58:59 -08:00
939b791e01 Paper tinkering 2024-02-19 13:29:16 -08:00
deb85f5645 Add callgrind client requests 2024-02-18 20:11:33 -08:00
69ce3e2a20 Update project description 2024-02-18 19:47:54 -08:00
79390b806c Don't repeat common prefix search in addWriteRange
All checks were successful
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
cb31f4c25b Fix bugs
All checks were successful
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
9a72f133a9 Add prefix queries to bench 2024-02-16 21:42:04 -08:00
0799aea3e8 Move newly test-only code 2024-02-16 18:35:28 -08:00
69a1b9099d Share common prefix search in addWriteRange 2024-02-16 17:50:21 -08:00
c20d0c5581 Move addWriteRange into its own function 2024-02-16 17:15:35 -08:00
e956c526b2 Draft paper introduction 2024-02-16 16:27:55 -08:00
eb96833eb0 Use sparse scan under a threshold
All checks were successful
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
4506b460eb Speed up maxBetweenExclusive 2024-02-15 17:03:19 -08:00
e30922ab9c Update corpus 2024-02-15 16:14:03 -08:00
642003fe4f Remove dead code
All checks were successful
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
4325d89cf2 Implement checkRangeRightSide 2024-02-15 15:00:16 -08:00
ab9c9a57fa Implement checkRangeLeftSide 2024-02-15 14:33:12 -08:00
d565f75e0e Share search of common prefix
All checks were successful
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
5a2b734d16 Match planned order better 2024-02-15 11:47:01 -08:00
c2193fdba0 Implement new checkRangeRead idea 2024-02-15 11:37:08 -08:00
98dccf5c23 WIP checkLeftOfPyramid seems to be correct 2024-02-14 17:01:00 -08:00
838d08c70b WIP checkRightOfPyramid seems to be correct 2024-02-14 16:11:57 -08:00
c9b35241e1 Factor out "maxRightOf" 2024-02-14 12:05:33 -08:00
c131398af6 Remove dead code 2024-02-14 11:37:11 -08:00
0d9e184bac Prepare to skip right of c in "left side of pyramid" 2024-02-13 18:49:24 -08:00
2793edf07d Make ascend/descend + iter updates more consistent 2024-02-13 16:37:55 -08:00
57585ba800 Add some const's 2024-02-13 15:48:08 -08:00
eef3c9e8d0 Track lcp as loop invariant 2024-02-13 15:37:14 -08:00
86978c057e Inline nextPhysical and nextSibling in checkRangeRead 2024-02-13 14:43:12 -08:00
961fb18066 Resume firstGeq search from within tree 2024-02-13 12:08:13 -08:00
3aa081a9ce Add short-circuiting back to checkRangeRead 2024-02-13 11:53:43 -08:00