]> Repositorios git - scryer-prolog.git/commit
switch Rcu to the arcu crate
authorBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 12:49:19 +0000 (14:49 +0200)
committerBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 12:49:19 +0000 (14:49 +0200)
commitd87400afa0fef3edffd6295c747e27b229ee7c9d
tree202bfe512b3fa7e66bab5ca1b00c221fe431c1f0
parentfcb41542c3a113a99b1821e249e5ffcc9c80c873
switch Rcu to the arcu crate

The arcu crate is a more general implementation of the Rcu I implemented in here in scryer. It contains some bug-fixes regarding race-conditions in the Rcu update function, which could cause leaks and uses after free.

Source of the problem was the Relaxed load/strore/update of the reference count in side the Arc not being properly ordered with other load/stores.
Cargo.lock
Cargo.toml
src/arena.rs
src/atom_table.rs
src/lib.rs
src/rcu.rs [deleted file]