Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Tadeusz Kobus"'
Publikováno v:
Journal of Parallel and Distributed Computing.
Publikováno v:
IEEE Transactions on Parallel and Distributed Systems. 33:1338-1356
In this article we study the properties of distributed systems that mix eventual and strong consistency. We formalize such systems through acute cloud types (ACTs), abstractions similar to conflict-free replicated data types (CRDTs), which by default
In this paper we introduce Jiffy, the first lock-free, linearizable ordered key-value index that offers both (1) batch updates, which are put and remove operations that are executed atomically, and (2) consistent snapshots used by, e.g., range scan o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b68e6ee418ce41889882d1cbfbb5d0e
Publikováno v:
IEEE Transactions on Parallel and Distributed Systems. 28:891-904
In the paper, we analyze and experimentally compare two popular replication schemes relying on atomic broadcast: state machine replication (SMR) and deferred update replication (DUR). We estimate the lower bounds on the time of executing requests by
Publikováno v:
Journal of Parallel and Distributed Computing. 100:57-70
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 req
Publikováno v:
PODC
In this paper we study the properties of eventually consistent distributed systems that feature arbitrarily complex semantics and mix eventual and strong consistency. These systems execute requests in a highly-available, weakly-consistent fashion, bu
We propose Hybrid Transactional Replication (HTR), a novel replication scheme for highly dependable services. It combines two schemes: a transaction is executed either optimistically by only one service replica in the deferred update mode (DU), or de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::661659ab70cb87846e112ec3431b300a
Publikováno v:
PODC
Eventually consistent linearizability (ec-linearizability) is a new correctness condition for eventually consistent distributed systems (modeled as shared objects). Unlike the existing definitions of eventual consistency, ec-linearizability is suitab
Publikováno v:
Transactional Memory. Foundations, Algorithms, Tools, and Applications ISBN: 9783319147192
Transactional Memory
Transactional Memory
Transactional replication is a new enabling technology for service replication. Service replication means that a service runs on a group of processes (service replicas) that work together to execute requests issued by external clients. The characteri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98d6659f75053abf4dfb74b1a55ebaa4
https://doi.org/10.1007/978-3-319-14720-8_15
https://doi.org/10.1007/978-3-319-14720-8_15
Publikováno v:
SRDS
In this paper we propose executive deferred update replication (EDUR), a novel algorithm for multi-primary replication of transactional memory and databases. EDUR streamlines transaction certification (i.e., checking for conflicts between concurrent