Zobrazeno 1 - 10
of 175
pro vyhledávání: '"Jard, Claude"'
To implement a linearizable shared memory in synchronous message-passing systems it is necessary to wait for a time linear to the uncertainty in the latency of the network for both read and write operations. Waiting only for one of them suffices for
Externí odkaz:
http://arxiv.org/abs/1607.06258
It has been proved that to implement a linearizable shared memory in synchronous message-passing systems it is necessary to wait for a time proportional to the uncertainty in the latency of the network for both read and write operations, while waitin
Externí odkaz:
http://arxiv.org/abs/1607.05596
In distributed systems where strong consistency is costly when not impossible, causal consistency provides a valuable abstraction to represent program executions as partial orders. In addition to the sequential program order of each computing entity,
Externí odkaz:
http://arxiv.org/abs/1603.04199
This article presents a signature-free distributed algorithm which builds an atomic read/write shared memory on top of an $n$-process asynchronous message-passing system in which up to $t
Externí odkaz:
http://arxiv.org/abs/1604.08161
This article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events. The concurrent semantics we obtain is based on asymmetric l
Externí odkaz:
http://arxiv.org/abs/1505.06299
Data replication is essential to ensure reliability, availability and fault-tolerance of massive distributed applications over large scale systems such as the Internet. However, these systems are prone to partitioning, which by Brewer's CAP theorem [
Externí odkaz:
http://arxiv.org/abs/1501.02175
In large scale systems such as the Internet, replicating data is an essential feature in order to provide availability and fault-tolerance. Attiya and Welch proved that using strong consistency criteria such as atomicity is costly as each operation m
Externí odkaz:
http://arxiv.org/abs/1501.02165
Publikováno v:
In Theoretical Computer Science 21 August 2014 546:52-62
Autor:
Jard, Claude
Th. doct.-ing.--Inform.--Rennes 1, 1984. N°: 173.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb36106932x