weaselab/conflict-set
1
Fork 1
Code Issues 5 Pull Requests Actions 1 Packages Releases 13 Activity
1,068 Commits 9 Branches 13 Tags
msan-ci
Commit Graph
10 Commits
Author SHA1 Message Date
weaselbotandandrew 971deb477c Keep Python key buffers alive in WriteRange/ReadRange
CI / release (arm64, ubuntu-latest-arm64) (pull_request) Successful in 3m22s
Details
CI / pre-commit (pull_request) Successful in 2m5s
Details
CI / test (-DCMAKE_BUILD_TYPE=Debug, debug) (pull_request) Successful in 3m38s
Details
CI / test (-DCMAKE_CXX_FLAGS=-DUSE_64_BIT=1, 64-bit-versions) (pull_request) Successful in 3m32s
Details
CI / test (-DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++, gcc) (pull_request) Successful in 3m40s
Details
CI / test (-DUSE_SIMD_FALLBACK=ON, simd-fallback) (pull_request) Successful in 3m28s
Details
CI / release (amd64, ubuntu-latest-amd64) (pull_request) Successful in 4m53s
Details
CI / coverage (pull_request) Successful in 3m40s
Details 
`write()` and `read()` created _Key objects from ephemeral ctypes arrays
backed by local bytearray objects. Once the helpers returned, those local
variables were freed, leaving the C library with dangling pointers when
addWrites()/check() later read the keys.

Store the backing bytearray on the returned WriteRange/ReadRange objects
as private `_begin_buf` / `_end_buf` attributes. Python keeps them alive
for the lifetime of the range object, so the C pointer is always valid.

Closes #42
 2026-06-22 14:09:18 -04:00
weaselbotandandrew 742d920aa1 Set restype=None for void-returning C functions in conflict_set.py
CI / release (arm64, ubuntu-latest-arm64) (pull_request) Successful in 3m28s
Details
CI / pre-commit (pull_request) Successful in 2m14s
Details
CI / test (-DCMAKE_BUILD_TYPE=Debug, debug) (pull_request) Successful in 3m39s
Details
CI / test (-DCMAKE_CXX_FLAGS=-DUSE_64_BIT=1, 64-bit-versions) (pull_request) Successful in 3m33s
Details
CI / test (-DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++, gcc) (pull_request) Successful in 3m44s
Details
CI / test (-DUSE_SIMD_FALLBACK=ON, simd-fallback) (pull_request) Successful in 3m32s
Details
CI / release (amd64, ubuntu-latest-amd64) (pull_request) Failing after 4m25s
Details
CI / coverage (pull_request) Failing after 3m20s
Details 
ConflictSet_check, ConflictSet_addWrites, ConflictSet_setOldestVersion,
and ConflictSet_destroy return void in C, but the Python wrapper left
their ctypes restype at the default c_int. Set restype = None for each
to match the C API contract and avoid undefined behavior from reading
the return register of void functions.
 2026-06-21 19:25:27 -04:00
andrew 2c0adf4a8b Fix test-only bug in script test 
Previously conflict_set.py only worked for checking one read conflict
per call
 2024-06-25 19:20:19 -07:00
andrew 64a98c529c Fix conflict_set.py bug, and add full inner words test
Tests / Clang total: 1091, passed: 1091
Details
Clang |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Details
Tests / SIMD fallback total: 1091, passed: 1091
Details
Tests / Release [gcc] total: 1091, passed: 1091
Details
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Details
Tests / Release [gcc,aarch64] total: 817, passed: 817
Details
Tests / Coverage total: 818, passed: 818
Details
weaselab/conflict-set/pipeline/head This commit looks good
Details 
Apparently all bytes were 0
 2024-04-17 14:11:26 -07:00
andrew 309d315956 Add DebugConflictSet, which asserts using skip list as a reference
Tests / Clang total: 1090, passed: 1090
Details
Clang |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Details
Tests / SIMD fallback total: 1090, passed: 1090
Details
Tests / Release [gcc] total: 1090, passed: 1090
Details
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Details
Tests / Release [gcc,aarch64] total: 818, failed: 1, passed: 817
Details
Tests / Coverage total: 817, passed: 817
Details
weaselab/conflict-set/pipeline/head There was a failure building this commit
Details 
CC #23
 2024-04-17 12:08:39 -07:00
andrew 85db1a8786 Allow to choose implementation in python wrapper 
And fix a few minor bugs to make the python tests pass for skip_list.

CC #23
 2024-04-17 12:08:28 -07:00
andrew 738de01cb4 Add getBytes to conflict_set.py
Tests / Clang total: 1096, passed: 1096
Details
Clang |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Details
Tests / SIMD fallback total: 1096, passed: 1096
Details
Tests / Release [gcc] total: 1096, passed: 1096
Details
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Details
Tests / Release [gcc,aarch64] total: 824, passed: 824
Details
Tests / Coverage total: 823, passed: 823
Details
weaselab/conflict-set/pipeline/head This commit looks good
Details
2024-04-08 17:33:51 -07:00
andrew 193b1926ff Fix python type annotation
Tests / Clang total: 1096, passed: 1096
Details
Clang |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Details
Tests / SIMD fallback total: 1096, passed: 1096
Details
Tests / Release [gcc] total: 1096, passed: 1096
Details
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Details
Tests / Release [gcc,aarch64] total: 824, passed: 824
Details
Tests / Coverage total: 823, passed: 823
Details
weaselab/conflict-set/pipeline/head This commit looks good
Details
2024-04-07 22:28:40 -07:00
andrew 1534e10b75 Fix macos shared library name in conflict_set.py
weaselab/conflict-set/pipeline/head There was a failure building this commit
Details
2024-04-04 16:17:06 -07:00
andrew 5cf45d1c35 Preliminary support for writing tests in python 2024-04-04 15:58:57 -07:00