Complexity of network synchronization
Journal of the ACM (JACM)
The theory of database concurrency control
The theory of database concurrency control
Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Correct memory operation of cache-based multiprocessors
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Efficient synchronization of multiprocessors with shared memory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Preserving and using context information in interprocess communication
ACM Transactions on Computer Systems (TOCS)
An efficient reliable broadcast protocol
ACM SIGOPS Operating Systems Review
Algorithms for scalable synchronization on shared-memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
Performance evaluation of memory consistency models for shared-memory multiprocessors
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
Ordered and reliable multicast communication
ACM Transactions on Computer Systems (TOCS)
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
TOMP a total ordering multicast protocol
ACM SIGOPS Operating Systems Review
A response to Cheriton and Skeen's criticism of causal and totally ordered communication
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
Understanding the limitations of causally and totally ordered communication
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Concurrency control in asynchronous computations
Concurrency control in asynchronous computations
The Totem single-ring ordering and membership protocol
ACM Transactions on Computer Systems (TOCS)
Journal of Parallel and Distributed Computing
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Highly Concurrent Logically Synchronous Multicast
Proceedings of the 3rd International Workshop on Distributed Algorithms
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
Scalability of Atomic Primitives on Distributed Shared Memory Multiprocessors
Scalability of Atomic Primitives on Distributed Shared Memory Multiprocessors
Performance Evaluation of the Late Delta Cache Coherence Protocol
Performance Evaluation of the Late Delta Cache Coherence Protocol
Empirical Analysis of Isotach Networks
Empirical Analysis of Isotach Networks
Highly Concurrent Cache Coherence Protocols
Highly Concurrent Cache Coherence Protocols
On the Implementation of Local Synchrony
On the Implementation of Local Synchrony
The asynchronous pram: a semisynchronous model for shared-memory mimd machines
The asynchronous pram: a semisynchronous model for shared-memory mimd machines
Implementation of reductions in support of PDES on a network of workstations
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems
Multicast snooping: a new coherence method using a multicast address network
ISCA '99 Proceedings of the 26th annual international symposium on Computer architecture
Timestamp snooping: an approach for extending SMPs
ACM SIGPLAN Notices
Timestamp snooping: an approach for extending SMPs
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
International Journal of Parallel Programming
IEEE Concurrency
Improving Multiprocessor Performance with Coarse-Grain Coherence Tracking
Proceedings of the 32nd annual international symposium on Computer Architecture
Feedback-Based Synchronization in System Area Networks for Cluster Computing
IEEE Transactions on Parallel and Distributed Systems
| Hi-index | 0.00 |
We introduce a class of networks called isotach networks designed to reduce the cost of synchronization in parallel computations. Isotach networks maintain an invariant that allows each process to control the logical times at which its messages are received and consequently executed. This control allows processes to pipeline operations without sacrificing sequential consistency and to send isochrons, groups of operations that appear to be received and executed as an indivisible unit. Isochrons allow processes to execute atomic actions without locks. Other uses of isotach networks include ensuring causal message delivery and consistency among replicated data. Isotach networks are characterized by this invariant, not by their topology. They can be implemented in a wide variety of configurations, including NUMA (nonuniform memory access) multiprocessors. Empirical and analytic studies of isotach synchronization techniques show that they outperform conventional techniques, in some cases by an order of magnitude or more. Results presented here assume fault-free systems; we are exploring extension to selected failure models.