search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
576 stars 33 forks source link

Recursive spin lock support and spin lock bugs fixes #222

Closed avpotapov00 closed 1 year ago

avpotapov00 commented 1 year ago

Closes #219 #218 and adds recursive spin-locks support.