Skip to main content
Article thumbnail
Location of Repository

Brief announcement: On speculative replication of transactional systems

By Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho and Luís Rodrigues


We define the problem of speculative processing in a replicated transactional system layered on top of an optimistic atomic broadcast service. A realistic model is considered in which transactions ’ read and write sets are not a priori known and transactions ’ data access patterns may vary depending on the observed snapshot. We formalize a set of correctness and optimality properties ensuring the minimality and completeness of the set of explored serialization orders within the replicated transactional system

Topics: Serialization Theory, Atomic Broadcast
Publisher: ACM
Year: 2010
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.