Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
A probe effect in concurrent programs
Software—Practice & Experience
Modeling concurrency with partial orders
International Journal of Parallel Programming
Inevitability in concurrent systems
Information Processing Letters
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Temporal logic and causality in concurrent systems
International Conference on Concurrency on Concurrency 88
Debugging concurrent processes: a case study
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Global events and global breakpoints in distributed systems
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Partial orders for parallel debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A graphical representation of concurrent processes
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Recovery in distributed systems using optimistic message logging and check-pointing
Journal of Algorithms
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interleaving set temporal logic
Theoretical Computer Science
On the development of reactive systems
Logics and models of concurrent systems
Efficient execution replay technique for distributed memory architectures
EDMCC2 Proceedings of the 2nd European conference on Distributed memory computing
Exploiting locality in maintaining potential causality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
Concerning the size of logical clocks in distributed systems
Information Processing Letters
The causal ordering abstraction and a simple way to implement it
Information Processing Letters
Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
An efficient implementation of vector clocks
Information Processing Letters
Global conditions in debugging distributed programs
Journal of Parallel and Distributed Computing
Optimal tracing and replay for debugging message-passing parallel programs
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Recording distributed snapshots based on casual order of message delivery
Information Processing Letters
Causal controversy at Le Mont St.-Michel
ACM SIGOPS Operating Systems Review
Efficient algorithms for distributed snapshots and global virtual time approximation
Journal of Parallel and Distributed Computing - Special issue on parallel and discrete event simulation
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Journal of the ACM (JACM)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communications of the ACM
Sacrificing serializability to attain high availability of data in an unreliable network
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Debugging Multithreaded Programs with MPD
IEEE Software
Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory
Proceedings of the 3rd International Workshop on Distributed Algorithms
A New Algorithm to Implement Causal Ordering
Proceedings of the 3rd International Workshop on Distributed Algorithms
Detection of Global State Predicates
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Interval Approximations of Message Causality in Distributed Executions
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
Detection of Unstable Predicates in Distributed Programs
Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Arithmetic + Logic + Geometry = Concurrency
LATIN '92 Proceedings of the 1st Latin American Symposium on Theoretical Informatics
Efficient solutions to the replicated log and dictionary problems
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Concurrent common knowledge: defining agreement for asynchronous systems
Distributed Computing
Verification of distributed programs using representative interleaving sequences
Distributed Computing
Local and temporal predicates in distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Clock Trees: Logical Clocks for Programs with Nested Parallelism
IEEE Transactions on Software Engineering
Wireless Networks - Special issue: mobile computing and networking: selected papers from MobiCom '96
Efficient evaluation of causality relations between nonatomic events
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Using structural characteristics for autonomous operation
ACM SIGOPS Operating Systems Review
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Critical causality in distributed virtual environments
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
On-the-fly calculation and verification of consistent steering transactions
Proceedings of the 2001 ACM/IEEE conference on Supercomputing
High-Level Views of Distributed Executions: Convex Abstract Events
Automated Software Engineering
Concurrent single stepping in event-visualization tools
Cluster Computing
The Journal of Supercomputing
On the minimal information to encode timestamps in distributed computations
Information Processing Letters
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
Consistency Issues in Distributed Checkpoints
IEEE Transactions on Software Engineering
TRaDe: Data Race Detection for Java
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Capturing Causality by Compressed Vector Clock in Real-Time Group Editors
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
The Congenial Talking Philosophers Problem in Computer Networks (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
Guaranteed Mutually Consistent Checkpointing in Distributed Computations
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Timestamping Algorithms: A Characterization and a Few Properties
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Self-Organizing Hierarchical Cluster Timestamps
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Performance Evaluation of Plausible Clocks
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
(Im)Possibilities of Predicate Detection in Crash-Affected Systems
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization
WG '00 Proceedings of the 26th International Workshop on Graph-Theoretic Concepts in Computer Science
A framework algorithm for dynamic, centralized dimension-bounded timestamps
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Strong and weak virtual synchrony in Horus
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
The Hash History Approach for Reconciling Mutual Inconsistency
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
A Hierarchical Cluster Algorithm for Dynamic, Centralized Timestamps
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Multiversioning and Logging in the Grasshopper Kernel Persistent Store
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Causality tracking in causal message-logging protocols
Distributed Computing
Characterization and delivery of directly coupled causal messages in distributed systems
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Batch based cancellation: a rollback optimal cancellation scheme in time warp simulations
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Causality and the spatial-temporal ordering in mobile systems
Mobile Networks and Applications
Proceedings of the 35th conference on Winter simulation: driving innovation
Detecting global predicates in distributed systems with clocks
Distributed Computing
Plausible clocks: constant size logical clocks for distributed systems
Distributed Computing
Causality and atomicity in distributed computations
Distributed Computing
Detection of global predicates: techniques and their limitations
Distributed Computing
The power of logical clock abstractions
Distributed Computing
Subscription propagation in highly-available publish/subscribe middleware
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Efficient detection of a class of stable properties
Distributed Computing
Mobi_Causal: a protocol for causal message ordering in mobile computing systems
ACM SIGMOBILE Mobile Computing and Communications Review
A Performance Analysis Tool for Interactive Applications on the Grid
International Journal of High Performance Computing Applications
Vector time and causality among abstract events in distributed computations
Distributed Computing
Causality-Based Predicate Detection across Space and Time
IEEE Transactions on Computers
Proceedings of the 33rd annual international symposium on Computer Architecture
On consistency and network latency in distributed interactive applications: a survey--part I
Presence: Teleoperators and Virtual Environments
Sapphire: Statistical Characterization and Model-Based Adaptation of Networked Applications
IEEE Transactions on Parallel and Distributed Systems
Critical causal order of events in distributed virtual environments
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern
IEEE Transactions on Computers
TRaDe, a topological approach to on-the-fly race detection in java programs
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Temporal Predicate Detection Using Synchronized Clocks
IEEE Transactions on Computers
Dcv: a causality detection approach for large-scale dynamic collaboration environments
Proceedings of the 2007 international ACM conference on Supporting group work
Automated Rule-Based Diagnosis through a Distributed Monitor System
IEEE Transactions on Dependable and Secure Computing
Improving causality logging in mobile computing networks
ACM SIGMOBILE Mobile Computing and Communications Review
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
Data-stream-based global event monitoring using pairwise interactions
Journal of Parallel and Distributed Computing
Communication analysis of distributed programs
Scientific Programming - Parallel/High-Performance Object-Oriented Scientific Computing (POOSC '05), Glasgow, UK, 25 July 2005
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Debugging and testing middleware with aspect-based control-flow and causal patterns
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
An eclipse-based tool for symbolic debugging of distributed object systems
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A query language for understanding component interactions in production systems
Proceedings of the 24th ACM International Conference on Supercomputing
Modelization of a communication protocol for CSCW systems using coloured petri nets
CDVE'05 Proceedings of the Second international conference on Cooperative Design, Visualization, and Engineering
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
Analysis of interval-based global state detection
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Theoretical Computer Science
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
The potential dangers of causal consistency and an explicit solution
Proceedings of the Third ACM Symposium on Cloud Computing
Extending the scope of the controlled logical clock
Cluster Computing
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Hi-index | 0.01 |
The paper shows that characterizing the causal relationship between significant events is an important but non-trivial aspect for understanding the behavior of distributed programs. An introduction to the notion of causality and its relation to logical time is given; some fundamental results concerning the characterization of causality are presented. Recent work on the detection of causal relationships in distributed computations is surveyed. The issue of observing distributed computations in a causally consistent way and the basic problems of detecting global predicates are discussed. To illustrate the major difficulties, some typical monitoring and debugging approaches are assessed, and it is demonstrated how their feasibility is severely limited by the fundamental problem to master the complexity of causal relationships.