Testing for linearizability
Linearizability is a well-established correctness condition for concurrent datatypes. Informally, a concurrent datatype is linearizable if operation calls appear to have an effect, one at a time, in an order that is consistent with a sequential (specification) datatype, with each operation taking ef...
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Journal article |
| Foilsithe / Cruthaithe: |
John Wiley and Sons, Ltd
2016
|