[concurrency-interest] Concurrent algorithms verification

Yubin Ruan ablacktshirt at gmail.com
Fri Nov 3 22:12:57 EDT 2017


Hi Nikita,
Thanks for your sharing.

2017-11-04 5:47 GMT+08:00 Nikita Koval via Concurrency-interest
<concurrency-interest at cs.oswego.edu>:
> Hi All,
>
> I think it would be interesting for you. I have developed a special tool,
> Lin-Check, for testing concurrent data structures for correctness. The
> approach is based on linearization definition and the tool tries to find
> non-linearizable execution with specified operations, using a specially
> crafted test to produce lots of different executions. The execution is

AFAIK, being a correct concurrent data structure does not imply
linearization consistency.

Yubin


More information about the Concurrency-interest mailing list