Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
Low cost management of replicated data in fault-tolerant distributed systems
ACM Transactions on Computer Systems (TOCS)
Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Highly available distributed services and fault-tolerant distributed garbage collection
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
Determining the last process to fail
ACM Transactions on Computer Systems (TOCS)
Replicated distributed programs
Proceedings of the tenth ACM symposium on Operating systems principles
Replication and fault-tolerance in the ISIS system
Proceedings of the tenth ACM symposium on Operating systems principles
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Weighted voting for replicated data
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Programming with Shared Bulletin Boards in Asynchronus Distributed Systems
Programming with Shared Bulletin Boards in Asynchronus Distributed Systems
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
REPLICATION METHODS FOR ABSTRACT DATA TYPES
REPLICATION METHODS FOR ABSTRACT DATA TYPES
Preserving and using context information in interprocess communication
ACM Transactions on Computer Systems (TOCS)
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Lazy replication: exploiting the semantics of distributed services
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Using process groups to implement failure detection in asynchronous environments
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Replica control in distributed systems: as asynchronous approach
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Replication in the harp file system
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
The ISIS project: real experience with a fault tolerant programming system
ACM SIGOPS Operating Systems Review
Lazy replication: exploiting the semantics of distributed services (extended abstract)
ACM SIGOPS Operating Systems Review
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
Bead: explorations in information visualization
SIGIR '92 Proceedings of the 15th annual international ACM SIGIR conference on Research and development in information retrieval
An annotated bibliography of dependable distributed computing
ACM SIGOPS Operating Systems Review
FLIP: an internetwork protocol for supporting distributed systems
ACM Transactions on Computer Systems (TOCS)
The process group approach to reliable distributed computing
Communications of the ACM
A response to Cheriton and Skeen's criticism of causal and totally ordered communication
ACM SIGOPS Operating Systems Review
Structural complexity and execution efficiency of distributed application protocols
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
Subcontract: a flexible base for distributed programming
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Efficient availability mechanisms in distributed database systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A security architecture for fault-tolerant systems
ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
Coupling the user interfaces of a multiuser program
ACM Transactions on Computer-Human Interaction (TOCHI)
The Transis approach to high availability cluster communication
Communications of the ACM
On the impossibility of group membership
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Design of a Linda kernal using causal multicast
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
A coordination language for collective agent based systems: GroupLog
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Middleware for dependable network services in partitionable distributed systems
ACM SIGOPS Operating Systems Review
Exploitng event stream interpretation in publish-subscribe systems
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
Lazy replication: exploiting the semantics of distributed services
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
The ISIS project: real experience with a fault tolerant programming system
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
A new approach to structuring distributed applications using hierarchical worlds
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Maintaining consistency in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
A RISC approach to process groups
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Large causality: ordering broadcasts and messages
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Causality in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
The concept of causal-phase ordering for overlapped broadcasts
ACM SIGOPS Operating Systems Review
Active disk paxos with infinitely many processes
Proceedings of the twenty-first annual symposium on Principles of distributed computing
Management of Value-Added Services in theTrading-Based System AGORA
Journal of Network and Systems Management
Reliability Through Consistency
IEEE Software
Data Management Issues and Trade-Offs in CSCW Systems
IEEE Transactions on Knowledge and Data Engineering
Flexible Robust Programming in Distributed Object Systems
IEEE Transactions on Knowledge and Data Engineering
Broadcast Protocols for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Methodical Analysis of Adaptive Load Sharing Algorithms
IEEE Transactions on Parallel and Distributed Systems
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment
IEEE Transactions on Parallel and Distributed Systems
Scalable Stability Detection Using Logical Hypercube
IEEE Transactions on Parallel and Distributed Systems
Toward sofware synthesis for distributed applications
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
A Case for Message Oriented Middleware
Proceedings of the 13th International Symposium on Distributed Computing
Throughput Stability of Reliable Multicast Protocols
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Specifications and Proofs for Ensemble Layers
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Enhancing Replica Management Services to Cope with Group Failures
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Framework for Authentication and Access Control of Client-Server Group Communication Systems
NGC '01 Proceedings of the Third International COST264 Workshop on Networked Group Communication
ACM Transactions on Computer Systems (TOCS)
Probabilistic Reliable Dissemination in Large-Scale Systems
IEEE Transactions on Parallel and Distributed Systems
Strong and weak virtual synchrony in Horus
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Scalable Stability Detection Using Logical Hypercube
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
A Causal-Phase Protocol to Order Soft Real-Time Transactions in a Distributed Database
LCN '01 Proceedings of the 26th Annual IEEE Conference on Local Computer Networks
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Implementing Fault-Tolerant Applications Using Reflective Object-Oriented Programming
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Three-tier replication for FT-CORBA infrastructures
Software—Practice & Experience
Exploring Robustness in Group Key Agreement
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
An integrated architecture for distributed applications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Operation jump start: a CORDS integration prototype using DCE
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
ITRA: Inter-Tier Relationship Architecture for End-to-end QoS
The Journal of Supercomputing
Distributed communication in ML
Journal of Functional Programming
Secure Group Communication Using Robust Contributory Key Agreement
IEEE Transactions on Parallel and Distributed Systems
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems
Proceedings of the 26th International Conference on Software Engineering
Group membership: a novel approach and the first single-round algorithm
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
On the performance of group key agreement protocols
ACM Transactions on Information and System Security (TISSEC)
Implementing a replicated service with group communication
Journal of Systems Architecture: the EUROMICRO Journal
User-assisted tools for concurrency control in distributed multimedia collaborations
Proceedings of the 12th annual ACM international conference on Multimedia
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Handling message semantics with Generic Broadcast protocols
Distributed Computing
Correctness of a gossip based membership protocol
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Implementing hybrid consistency with high-level synchronization operations
Distributed Computing
Secure Spread: An Integrated Architecture for Secure Group Communication
IEEE Transactions on Dependable and Secure Computing
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Event-based Programming Models for Event-based Programming Models for
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Timed Publish-Subscribe Coomunication for Distributed Embedded Systems
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Active disk Paxos with infinitely many processes
Distributed Computing - Special issue: PODC 02
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
Distributed Computing
Properties and mechanisms of self-organizing MANET and P2P systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Worm-IT - A wormhole-based intrusion-tolerant group communication system
Journal of Systems and Software
Providing flexible services for managing shared state in collaborative systems
ECSCW'97 Proceedings of the fifth conference on European Conference on Computer-Supported Cooperative Work
Events in an RPC based distributed system
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
Long-lived Rambo: Trading knowledge for communication
Theoretical Computer Science
Sinfonia: a new paradigm for building scalable distributed systems
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Panda: a portable platform to support parallel programming languages
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
The Chubby lock service for loosely-coupled distributed systems
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters
IEEE Transactions on Dependable and Secure Computing
Jgroup-ARM: a distributed object group platform with autonomous replication management
Software—Practice & Experience
Consensus routing: the internet as a distributed system
NSDI'08 Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation
Annotation Markers for Runtime Replication Protocol Selection
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
Achieving causal and total ordering in publish/subscribe middleware with DSM
Proceedings of the 3rd workshop on Middleware for service oriented computing
Reconfigurable distributed storage for dynamic networks
Journal of Parallel and Distributed Computing
A simple totally ordered broadcast protocol
LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware
Group Abstractions for Organizing Dynamic Distributed Systems
Euro-Par 2008 Workshops - Parallel Processing
Evaluating a Dependable Sharable Atomic Data Service on a Planetary-Scale Network
ICA3PP '09 Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing
Sinfonia: A new paradigm for building scalable distributed systems
ACM Transactions on Computer Systems (TOCS)
ACM SIGACT News
ACM SIGOPS Operating Systems Review
Wooki: a P2P wiki-based collaborative writing tool
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Reviewing amnesia support in database recovery protocols
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
Practical impact of group communication theory
Future directions in distributed computing
Future directions in distributed computing
An access control model for mobile physical objects
Proceedings of the 15th ACM symposium on Access control models and technologies
Ordenação de eventos baseada em DSM para middlewares publish/subscribe
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Throughput optimal total order broadcast for cluster environments
ACM Transactions on Computer Systems (TOCS)
Quilt: a patchwork of multicast regions
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Census: location-aware membership management for large-scale distributed systems
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures
AMiDiViN: basic algorithms for alarm management in distributed vision networks
Proceedings of the Fourth ACM/IEEE International Conference on Distributed Smart Cameras
The application of publish/subscribe messaging to environmental, monitoring, and control systems
IBM Journal of Research and Development
ReConMUC: adaptable consistency requirements for efficient large-scale multi-user chat
Proceedings of the ACM 2011 conference on Computer supported cooperative work
Concurrency among strangers: programming in E as plan coordination
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Securely disseminating RFID events
Proceedings of the 5th ACM international conference on Distributed event-based system
Detecting failures in distributed systems with the Falcon spy network
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Don't settle for eventual: scalable causal consistency for wide-area storage with COPS
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Towards responsive open learning environments: the ROLE interoperability framework
EC-TEL'11 Proceedings of the 6th European conference on Technology enhanced learning: towards ubiquitous learning
TransMAN: a group communication system for MANETs
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Using selective acknowledgements to reduce the memory footprint of replicated services
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Total order communications: a practical analysis
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Reconfigurable distributed storage for dynamic networks
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Architecting and implementing versatile dependability
Architecting Dependable Systems III
Architecting Dependable Systems III
Replication techniques for availability
Replication
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Research: Design of broadcast programming primitives for distributed systems
Computer Communications
Research: Designing a system infrastructure for distributed programs
Computer Communications
Middleware for pervasive computing: A survey
Pervasive and Mobile Computing
Improving availability in distributed systems with failure informers
nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
FSaaS: Configuring Policies for Managing Shared Files Among Cooperating, Distributed Applications
International Journal of Web Portals
Leveraging sharding in the design of scalable replication protocols
Proceedings of the 4th annual Symposium on Cloud Computing
Proceedings of the 4th annual Symposium on Cloud Computing
Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
Device-Independent Architecture for ubiquitous applications
Personal and Ubiquitous Computing
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Hi-index | 0.03 |
We describe applications of a virtually synchronous environment for distributed programming, which underlies a collection of distributed programming tools in the ISIS2 system. A virtually synchronous environment allows processes to be structured into process groups, and makes events like broadcasts to the group as an entity, group membership changes, and even migration of an activity from one place to another appear to occur instantaneously — in other words, synchronously. A major advantage to this approach is that many aspects of a distributed application can be treated independently without compromising correctness. Moreover, user code that is designed as if the system were synchronous can often be executed concurrently. We argue that this approach to building distributed and fault-tolerant software is more straightforward, more flexible, and more likely to yield correct solutions than alternative approaches.