search

kaist-cp / smr-benchmark

SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
http://cp.kaist.ac.kr/gc
MIT License
36 stars 5 forks source link

Update Artifacts for CIRC(PLDI'24) and HP-BRCU(SPAA'24) #47

Closed powergee closed 5 months ago

powergee commented 5 months ago
powergee commented 5 months ago

위에 남겨주신 comments와 더불어, cargo fmt, cargo check, cargo audit, cargo test 등을 돌리는 GitHub Actions를 추가했습니다.

powergee commented 5 months ago

PEBR NMTree bug: https://github.com/kaist-cp/smr-benchmark/blob/main/src/pebr/natarajan_mittal_tree.rs#L546-L559 Fix: https://github.com/powergee/pebr-benchmark/commit/5215f0475b7cf25c65d866348296d02d582314ed

PEBR NMTree에서 clean-up phase 도중의 ejection으로 인해, deletion이 성공했음에도 None을 반환할 수 있게 되는 문제를 해결했습니다.