Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments

Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments

This technical report complements the paper entitled “Scalable error isolation for distributed systems” published at USENIX NSDI 15.

Bibliographic Details
Main Authors:	Behrens, Diogo, Serafini, Marco, Arnautov, Sergei, Junqueira, Flavio, Fetzer, Christof
Other Authors:	Technische Universität Dresden, Fakultät Informatik
Format:	Others
Language:	English
Published:	Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2016
Subjects:	hardware errors arbitrary state corruption data corruption error isolation distributed systems Byzantine fault tolerance Hardwarefehler Datenkorruption Fehlerisolierung Byzantinischen Fehlertoleranz ddc:004 rvk:SS 5514
Online Access:	http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-203622 http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-203622 http://www.qucosa.de/fileadmin/data/qucosa/documents/20362/TR-final-pdfa.pdf

Similar Items

Error isolation in distributed systems
by: Behrens, Diogo
Published: (2016)

Comprehensive Backend Support for Local Memory Fault Tolerance
by: Rink, Norman Alexander, et al.
Published: (2016)

SHAP — Scalable Multi-Core Java Bytecode Processor
by: Zabel, Martin, et al.
Published: (2012)

XASM - A Generic and Retargetable Assembler
by: Kaufmann, Marco
Published: (2012)

Robust Surface Triangulation of Points with Normal Information
by: König, Sören, et al.
Published: (2014)

Robust Surface Reconstruction from Point Clouds
by: König, Sören, et al.
Published: (2014)

Probabilistic Analysis of Low-Criticality Execution
by: Küttler, Martin, et al.
Published: (2018)

Analytische Beschreibung von Ereignisabhängigkeiten in neuronalen Systemen
by: Schulze, Rainer W.
Published: (2012)

An Overview of Language Support for Modular Event-driven Programming
by: Malakuti, Somayeh
Published: (2015)

Technisch orientierte Modellierung der Erregungsausbreitung in neuronalen Systemen
by: Schulze, Rainer W.
Published: (2012)

Design of the Bastei OS Architecture
by: Feske, Norman, et al.
Published: (2012)

An Embedded Garbage Collection Module with Support for Multiple Mutators and Weak References
by: Preußer, Thomas B., et al.
Published: (2012)

Massiv parallele Systeme, Teil 2: Topologiesynthese für ausgewählte Referenzmuster
by: Schulze, Rainer W.
Published: (2012)

Massiv parallele Systeme, Teil 1: Topologieanalyse für ausgewählte Referenzmuster
by: Schulze, Rainer W.
Published: (2012)

Discrete Fractional Clock Generation for Systems-on-FPGA
by: Preußer, Thomas B., et al.
Published: (2012)

Pure and O-Substitution
by: Maletti, Andreas
Published: (2012)

Some Undecidability Results related to the Star Problem in Trace Monoids
by: Kirsten, Daniel
Published: (2012)

Autonomic Computing
Published: (2017)

Background of the Analysis of a Fully-Scalable Digital Fractional Clock Divider
by: Preußer, Thomas B.
Published: (2012)

Architecture of an Intelligent Test Error Detection Agent
by: Kirmse, Matthias, et al.
Published: (2012)

Wechselwirkungen in einem Zellularen Beobachtungsgebiet - dargestellt am Beispiel einer Neuronenpopulation
by: Schulze, Rainer W.
Published: (2012)

The SHAP Microarchitecture and Java Virtual Machine
by: Preußer, Thomas B., et al.
Published: (2012)

Entwurf und Realisierung eines Informationssystems zur Prozeßdatenverwaltung und -verarbeitung im durchgängigen Halbleitertechnologieprozeß
by: Gratz, Achim, et al.
Published: (2012)

Inclusion Diagrams for Classes of Deterministic Bottom-up Tree-to-Tree-Series Transformations
by: Maletti, Andreas
Published: (2012)

A Connection between the Star Problem and the Finite Power Property in Trace Monoids
by: Kirsten, Daniel
Published: (2012)

The wisent Parser Generator
by: Preußer, Thomas
Published: (2012)

Quantification and Classification of Cortical Perfusion during Ischemic Strokes by Intraoperative Thermal Imaging
by: Hoffmann, Nico, et al.
Published: (2018)

Approaching Concept Drift by Context Feature Partitioning
by: Hoffmann, Nico, et al.
Published: (2012)

Vektoranalytische Beschreibung eines diskret Massiven Systems
by: Schulze, Rainer W.
Published: (2012)

Communication Overhead of Network Coding Schemes Secure against Pollution Attacks
by: Franz, Elke, et al.
Published: (2012)

Operating System Support for Redundant Multithreading
by: Döbel, Björn
Published: (2014)

Technische Berichte
Published: (2012)

Putting Queens in Carry Chains
by: Preußer, Thomas B., et al.
Published: (2012)

Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ
Published: (2012)

Konzeption eines dreistufigen Transfers für die maschinelle Übersetzung natürlicher Sprachen
by: Laube, Annett, et al.
Published: (2012)

A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions
by: Buchholz, Peter, et al.
Published: (2013)

Concept-Oriented Model and Nested Partially Ordered Sets
by: Savinov, Alexandr
Published: (2014)

Software Based Fault Tolerance Against Byzantine Failures
by: Goutam Kumar Saha
Published: (2006-12-01)

THE JOINT IMPACT OF STOCK MARKET AND CORRUPTION ON ECONOMIC GROWTH AND DEVELOPMENT IN NIGERIA: EVIDENCE FROM COINTEGRATION AND VECM ANALYSIS
by: Ibraheem Kamaldeen Nageri, et al.
Published: (2015-11-01)

Selective Core Boosting: The Return of the Turbo Button
by: Wamhoff, Jons-Tobias, et al.
Published: (2013)