search

ocaml-multicore / kcas

Software Transactional Memory for OCaml
https://ocaml-multicore.github.io/kcas/
ISC License
109 stars 11 forks source link

Add explicit validation support #67

Closed polytypic closed 1 year ago

polytypic commented 1 year ago

This PR adds explicit validation support to allow users to guard against read skew (torn reads) before relying on multi-location invariants.