کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951711 | 1441485 | 2017 | 52 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Relaxing real-time order in opacity and linearizability
ترجمه فارسی عنوان
نظم زمان واقعی آرامش بخش در کدورت و خطی پذیری
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In this paper we introduce two families of safety properties: â¢-opacity and â¢-linearizability. The new properties relax (to a various degree) the real-time order requirement on transaction execution in opacity and, analogically, the real-time order requirement on operation execution in linearizability. This way we can formalize the guarantees provided by a wide class of strongly consistent replicated systems for which opacity and linearizability are too strong. We show the formal relationship between â¢-opacity and â¢-linearizability which allows us to directly compare semantics of transactional and non-transactional systems and, in particular, opacity and linearizability in their original definitions. We also illustrate how the new properties can be used by proving correctness of Deferred Update Replication, a well known optimistic concurrency control scheme. We show that it satisfies update-real-time opacity, a member of the â¢-opacity family, which allows read-only and aborted transactions to operate on stale (but still consistent) data.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Parallel and Distributed Computing - Volume 100, February 2017, Pages 57-70
Journal: Journal of Parallel and Distributed Computing - Volume 100, February 2017, Pages 57-70
نویسندگان
Tadeusz Kobus, Maciej KokociÅski, PaweÅÂ T. Wojciechowski,