liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
2007 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

In this thesis a replication protocol - PRiDe - is presented, which supports optimistic replication in distributed real-time databases with deterministic detection and forward resolution of transaction conflicts. The protocol is designed to emphasize node autonomy, allowing individual applications to proceed without being affected by distributed operation. For conflict management, PRiDe groups distributed operations into generations of logically concurrent and potentially conflicting operations. Conflicts between operations in a generation can be resolved with no need for coordination among nodes, and it is shown that nodes eventually converge to mutually consistent states. A generic framework for conflict resolution is presented that allows semantics-based conflict resolution policies and application-specific compensation procedures to be plugged in by the database designer and application developer.

It is explained how transaction semantics are supported by the protocol, and how applications can tolerate exposure to temporary database inconsistencies. Transactions can detect inconsistent reads and compensate for inconsistencies through callbacks to application-specific compensation procedures. A tool - VADer - has been constructed, which allows database designers and application programmers to quickly construct prototype applications, conflict resolution policies and compensation procedures. VADer can be used to simulate application and database behavior, and supports run-time visualization of relationships between concurrent transactions. Thus, VADer assists the application programmer in conquering the complexity inherent in optimistic replication and forward conflict resolution.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2007. , 262 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1150
Keyword [en]
Distributed Systems, Real-Time Systems, Databases, Replication, Optimistic Protocol, Conflict Resolution
National Category
Computer Science
URN: urn:nbn:se:liu:diva-10317ISBN: 978-91-85895-27-4OAI: diva2:17054
Public defence
2007-12-17, D201, Högskolan i Skövde, Högskolevägen 2, Hus D, Skövde, 13:15 (English)
Available from: 2007-11-23 Created: 2007-11-23 Last updated: 2009-05-15

Open Access in DiVA

cover(773 kB)31 downloads
File information
File name COVER01.pdfFile size 773 kBChecksum SHA-1
Type coverMimetype application/pdf
fulltext(1546 kB)1410 downloads
File information
File name FULLTEXT01.pdfFile size 1546 kBChecksum SHA-1
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information ScienceThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1410 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 3726 hits
ReferencesLink to record
Permanent link

Direct link