I feel like the bitset any check might not be sufficient to guarantee linearizability (since it sequentially goes through each byte, one might be originally set, gets unset during the operation BEFORE the sweep gets there, while another is set AFTER the sweep has passed.
I feel like the bitset
anycheck might not be sufficient to guarantee linearizability (since it sequentially goes through each byte, one might be originally set, gets unset during the operation BEFORE the sweep gets there, while another is set AFTER the sweep has passed.