|
58a50e2056
|
Improve RootSet documentation
|
2024-05-03 16:39:30 -07:00 |
|
|
971aabea6e
|
Prepare for firstGeq to be safe on foreign threads
|
2024-05-03 16:17:06 -07:00 |
|
|
99760176a6
|
Describe perf benefit of reusing iterator from same version
|
2024-05-02 21:24:05 -07:00 |
|
|
0727a1ebe7
|
Improve thread-safety documentation
|
2024-05-02 21:23:46 -07:00 |
|
|
eba1c2ce2a
|
Add some thread-safety guarantees to interface
|
2024-05-02 18:20:55 -07:00 |
|
|
15b9b6495a
|
Fix wrong order of arguments to update
|
2024-05-02 16:44:23 -07:00 |
|
|
65429ebd0a
|
Implement insert
|
2024-05-02 15:34:19 -07:00 |
|
|
adc376a573
|
Linux fixes + bug fix in bitset size calculation
|
2024-05-02 14:35:22 -07:00 |
|
|
bd826ac42c
|
Remove unnecessary cast
|
2024-05-01 17:32:47 -07:00 |
|
|
26c66bcefb
|
Return this from addref for Entry
|
2024-05-01 17:24:48 -07:00 |
|
|
791030dc3a
|
Print clear-related metadata for printInOrder
|
2024-05-01 17:18:02 -07:00 |
|
|
9dbd9e028a
|
Fix bugs found by exercising the code
|
2024-05-01 17:10:14 -07:00 |
|
|
3713e5e5bb
|
Implement rotate. Not tested
|
2024-05-01 16:43:10 -07:00 |
|
|
77f4663bc8
|
Add RootSet
|
2024-05-01 15:52:40 -07:00 |
|
|
11e6278766
|
Use hash of key as priority. Vendor xxhash v0.8.2
|
2024-05-01 14:17:26 -07:00 |
|
|
72cb7a70bf
|
Check for OOM
|
2024-05-01 13:06:52 -07:00 |
|
|
8831498bfb
|
Document operator* result lifetime
|
2024-05-01 12:42:48 -07:00 |
|
|
a14f208c39
|
Change entry representation to reduce number of entries
|
2024-05-01 12:40:26 -07:00 |
|
|
0e0c225c52
|
PUBLIC -> PRIVATE
It doesn't really matter tbh
|
2024-04-30 16:41:57 -07:00 |
|
|
357af07090
|
Remove roaring
|
2024-04-30 16:40:32 -07:00 |
|
|
5fc72a294d
|
Use our own bitset
|
2024-04-30 16:39:24 -07:00 |
|
|
c607f77b3b
|
Specify memory ordering
|
2024-04-30 15:57:20 -07:00 |
|
|
327489be04
|
Make versioned_map a c library
|
2024-04-30 15:57:09 -07:00 |
|
|
6944807d0b
|
Initial garbage collector implementation
|
2024-04-30 14:46:36 -07:00 |
|
|
91cb16bdc0
|
Draft header
|
2024-04-30 11:39:34 -07:00 |
|