dc.contributor.author | Nicolaou, Nicolas C. | en |
dc.contributor.author | Fernández Anta, Antonio | en |
dc.contributor.author | Georgiou, Chryssis | en |
dc.contributor.editor | Avresky D.R. | en |
dc.contributor.editor | Gkoulalas-Divanis A. | en |
dc.contributor.editor | Di Sanzo P. | en |
dc.contributor.editor | Avresky D.R. | en |
dc.contributor.editor | Pellegrini A. | en |
dc.creator | Nicolaou, Nicolas C. | en |
dc.creator | Fernández Anta, Antonio | en |
dc.creator | Georgiou, Chryssis | en |
dc.date.accessioned | 2019-11-13T10:41:31Z | |
dc.date.available | 2019-11-13T10:41:31Z | |
dc.date.issued | 2016 | |
dc.identifier.isbn | 978-1-5090-3216-7 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54638 | |
dc.description.abstract | An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide precise guarantees on the consistent evolution of the version (and thus value) of an object. This new property is suitable for a variety of distributed objects, including concurrent file objects, that demand operations to manipulate the latest version of the object. To preserve the order of versions, traditional approaches use locking, compare-and-swap (CAS), or linked-load/conditional-store (LL/SC) primitives to allow a single modification at a time on such objects. Such primitives however can be used to solve consensus, and thus are impossible to be implemented in an asynchronous, message-passing environment with failures. Coverability, relaxes the strong requirements imposed by stronger primitives, and allows us to define and implement consistent versioning in the aforementioned adversarial environment. In particular, coverability allows multiple operations to modify the same version of an object concurrently, leading to a set of different versions. Given an order of operations, coverability properties specify a single version in that set that any subsequent operation may modify, preserving this way the consistent evolution of the object. We first define versioned objects and then provide the specification of coverability. We then combine coverability with atomic guarantees to yield coverable atomic read/write registers | en |
dc.description.abstract | we show that coverable registers cannot be implemented by similar types of registers, such as ranked-registers. Next, we show how coverable registers may be implemented by modifying an existing MWMR atomic register implementation, and we continue by showing that coverable registers may be used to implement basic (weak) read-modify-write and file objects. © 2016 IEEE. | en |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en |
dc.source | Proceedings - 2016 IEEE 15th International Symposium on Network Computing and Applications, NCA 2016 | en |
dc.source | 15th IEEE International Symposium on Network Computing and Applications, NCA 2016 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85010332850&doi=10.1109%2fNCA.2016.7778622&partnerID=40&md5=5bbcccd3da74c986ae9209720d80746a | |
dc.subject | Traditional approaches | en |
dc.subject | Message passing | en |
dc.subject | Atoms | en |
dc.subject | Atomic register | en |
dc.subject | Read/Write registers | en |
dc.subject | Distributed objects | en |
dc.subject | Adversarial environments | en |
dc.subject | Compare and swaps | en |
dc.subject | Concurrent objects | en |
dc.subject | Locks (fasteners) | en |
dc.subject | Multiple operations | en |
dc.title | Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/NCA.2016.7778622 | |
dc.description.startingpage | 224 | |
dc.description.endingpage | 231 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: Akamai Technologies, Inc. | en |
dc.description.notes | IEEE Computer Society Technical Committee on Distributed Processing (TCDP) | en |
dc.description.notes | International Research Institute on Autonomic Network Computing (IRIANC) | en |
dc.description.notes | Conference code: 125361</p> | en |
dc.contributor.orcid | Georgiou, Chryssis [0000-0003-4360-0260] | |
dc.contributor.orcid | Fernández Anta, Antonio [0000-0001-6501-2377] | |
dc.gnosis.orcid | 0000-0003-4360-0260 | |
dc.gnosis.orcid | 0000-0001-6501-2377 | |