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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Restoring Consistency after Network Partitions
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0003-1916-3398
2007 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

The software industry is facing a great challenge. While systems get more complex and distributed across the world, users are becoming more dependent on their availability. As systems increase in size and complexity so does the risk that some part will fail. Unfortunately, it has proven hard to tackle faults in distributed systems without a rigorous approach. Therefore, it is crucial that the scientific community can provide answers to how distributed computer systems can continue functioning despite faults.

Our contribution in this thesis is regarding a special class of faults which occurs whennetwork links fail in such a way that parts of the network become isolated, such faults are termed network partitions. We consider the problem of how systems that have integrity constraints on data can continue operating in presence of a network partition. Such a system must act optimistically while the network is split and then perform a some kind of reconciliation to restore consistency afterwards.

We have formally described four reconciliation algorithms and proven them correct. The novelty of these algorithms lies in the fact that they can restore consistency after network partitions in a system with integrity constraints and that one of the protocols allows the system to provide service during the reconciliation. We have implemented and evaluated the algorithms using simulation and as part of a partition-tolerant CORBA middleware. The results indicate that it pays off to act optimistically and that it is worthwhile to provide service during reconciliation.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2007. , 111 p.
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1331
Keyword [en]
distributed systems, fault tolerance, network partitions, dependability, integrity constraints
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-9913ISBN: 978-91-85895-89-2 (print)OAI: oai:DiVA.org:liu-9913DiVA: diva2:24228
Presentation
2007-10-16, Visionen, Hus B, Campus Valla, Linköpings universitet, Linköping, 14:15 (English)
Opponent
Supervisors
Available from: 2007-10-03 Created: 2007-10-03 Last updated: 2015-03-02

Open Access in DiVA

cover(115 kB)61 downloads
File information
File name COVER01.pdfFile size 115 kBChecksum SHA-1
1c0e2ae09b77e38f22fbf885633e48637b5a825e6bbca8b444b5310d927e3d501c184233
Type coverMimetype application/pdf
fulltext(893 kB)873 downloads
File information
File name FULLTEXT01.pdfFile size 893 kBChecksum SHA-1
b94d8d071559805bc9e931c66379c65353d0129256673cef073180dba1e2b056d984930f
Type fulltextMimetype application/pdf

Authority records BETA

Asplund, Mikael

Search in DiVA

By author/editor
Asplund, Mikael
By organisation
RTSLAB - Real-Time Systems LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 873 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 565 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf