کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875151 | 1441582 | 2018 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On the semantics and implementation of replicated data types
ترجمه فارسی عنوان
در معناشناسی و اجرای انواع داده تکراری
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
نوع داده تکرار شده، مشخصات، صحت پیاده سازی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Replicated data types (rdts) concern the specification and implementation of data structures handled by replicated data stores, i.e., distributed data stores that maintain copies of the same data item on multiple devices. A distinctive feature of rdts is that the behaviour of an operation depends on the state of the replica over which it performs, and hence, its result may differ from replica to replica. ly, rdts are specified in terms of two relations, visibility and arbitration. The former establishes whether an operation observes the effects of the execution of another operation, the latter is a total order on operations used to resolve conflicts between operations executed concurrently over different replicas. Traditionally, an operation of an rdt is specified as a function mapping a visibility and an arbitration into the expected result of the operation. This paper recasts such standard approaches into a denotational framework in which a data type is a function mapping visibility into admissible arbitrations. This characterisation provides a more abstract view of rdts that (i) highlights some implicit assumptions shared in operational approaches to specification; (ii) accommodates underspecification and refinement; (iii) enables a direct characterisation of the correct implementations of an rdt in terms of a simulation relation between the states of a concrete implementation and of the abstract one determined by the specification.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 167, 1 December 2018, Pages 91-113
Journal: Science of Computer Programming - Volume 167, 1 December 2018, Pages 91-113
نویسندگان
Fabio Gadducci, Hernán Melgratti, Christian Roldán,