Based on time, processor, and data selection techniques, a group of Weak Sequential Consistency models have been proposed to improve the performance of Sequential Consistency for Distributed Shared Memory. These models can guarantee Sequential Consistency for data-race-free programs that are properly labelled. This paper reviews and discusses these models in terms of their use of the selection ...

Consistency is a necessary consideration when dealing with web caching. Although this technique accelerates the web experience for the user, it must provide consistency, i.e., the objects in the cache must be fresh and all the relationships among them must be valid. Both problems have been addressed by several web caching strategies ([4], [5], [7], [9], [12], [18], [23], [25], [26]). However, t...

We present a framework that allows an observer to determine occluded portions of a structure by finding the maximum-likelihood estimate of those occluded portions consistent with visible image evidence and a consistency model. Doing this requires determining which portions of the structure are occluded in the first place. Since each process relies on the other, we determine a solution to both p...

In this paper we propose a distributed, replicated block device for The Grid based on the the replication algorithm of Y. Amir[1]. The end goal is to support application-specified semantics, both wrt. replication strategy and the consistency model used for reads and writes. We list the proposed features of the Grid Block Device and discuss various methods of implementation.

Replication is a key approach to scaling wide-area applications. However, the overhead associated with largescale replication quickly becomes prohibitive across widearea networks. One effective approach to addressing this limitation is to allow applications to dynamically trade reduced consistency for increased performance and availability. Although extensive study has been performed on relaxed...

We formulate a programmer-centric description of the memory consistency model provided by the Itanium architecture. This allows reasoning about programs at a non-operational level in the natural way, not obscured by the implementation details of the underlying architecture. However, our definition is not tight. We provide two very similar definitions and show that the specification of the Itani...