The proceedings contain 38 papers. The topics discussed include: contention-free complexity of shared memory algorithms;making operations of concurrent data types fast;open systems in TLA;delimiting the power of bound...
ISBN:
(纸本)0897916549
The proceedings contain 38 papers. The topics discussed include: contention-free complexity of shared memory algorithms;making operations of concurrent data types fast;open systems in TLA;delimiting the power of bounded size synchronization objects;wait-freedom vs. bounded wait-freedom in public data structures;ENF event predicate detection in distributed systems;repeatable and portable message-passing programs;mixed consistency: a model for parallel programming;using belief to reason about cache coherence;global flush communication primitive communication;multimedia networking: applications and challenges;a performance evaluation of lock-free synchronization protocols;disjoint-access-parallel implementations of strong shared memory primitives;time-optimal message-efficient work performance in the presence of faults;using k-exclusion to implement resilient, scalable shared objects;coins, weights and contention in balancing networks;resilience of general interactive tasks;asynchronous secure computations with optimal resilience;a combinatorial treatment of balancing networks;and memory-efficient and self-stabilizing network reset.
A general purpose parallel programming model called mixed consistency is developed for distributed shared memory systems. This model combines two kinds of weak memory consistency conditions: causal memory and pipeline...
详细信息
We propose a global flush communication primitive which allows the sender to order receipt of a message with respect to receipt of messages in its past and/or its future. The past of a message includes all messages th...
详细信息
The computational power of concurrent data types has been the focus of much recent research. Herlihy showed that such power may be measured by examining the type's ability to implement wait-free consensus. Jayanti...
详细信息
This paper introduces a framework for knowledgebased analysis of issues of timing and clocks in systems with real-time constraints. We define the notion of timed precedence, a generalization of Lamport's potential...
详细信息
We present a methodology for the implementation of resilient shared objects that allows the desired level of resiliency to be selected based on performance concerns. This methodology is based on the k-exclusion and re...
详细信息
暂无评论