Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects

Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu

Abstract: Strong linearizability is a variant of linearizability and is more suitable for verification. In this paper we investigate the following two problems: (1) for which deterministic sequential specifications there exist linearizable but not strongly linearizable objects; (2) can we capture any violation scheme of strong linearizability for practical objects that are linearizable but not strongly linearizable.