SOSP2021

Regular Sequential Serializability and Regular Sequential Consistency

Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd

被引用 4 次

摘要

Strictly serializable (linearizable) services appear to execute transactions (operations) sequentially, in an order consistent with real time. This restricts a transaction's (operation's) possible return values and in turn, simplifies application programming. In exchange, strictly serializable (linearizable) services perform worse than those with weaker consistency. But switching to such services can break applications.