Our paper with Olya Ohrimenko (https://t.co/VlLZcIlsHK) on "Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations" will appear in Information&Computation, a formal treatment of consistency and fork-linearizability. Prepri
1,615 followers
155 followers
ParMarkSplit: A Parallel Mark-Split Garbage Collector Based on a Lock-Free Skip-List http://t.co/ToIi2BDmCf GCのために何故SkipListなのかわからん。気になる。
1,720 followers
ParMarkSplit: A Parallel Mark-Split Garbage Collector Based on a Lock-Free Skip-List http://t.co/ToIi2BDmCf GCのために何故SkipListなのかわからん。気になる。
773 followers
ParMarkSplit: A Parallel Mark-Split Garbage Collector Based on a Lock-Free Skip-List http://t.co/ToIi2BDmCf GCのために何故SkipListなのかわからん。気になる。