Browsing LCS Publications by Author "Adya, Atul"
Now showing items 1-3 of 3
-
Lazy Reference Counting for Transactional Storage Systems
Castro, Miguel; Adya, Atul; Liskov, Barbara (1997-10)HAC is a novel technique for managing the direct the client cache in a distributed, persistent object storage system. In a companion paper, we showed that it outperforms other techniques across a wide range of cache sizes ... -
Transaction Management for Mobile Objects Using Optimistic Concurrency Control
Adya, Atul (1994-07)We present computationally efficient error-correcting codes and holographic proofs. Our error-correcting codes are asymptotically good and can be encoded and decoded in linear time. Our construction of holographic proofs ... -
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
Adya, Atul (1999-03)Current commercial databases allow application programmers to trade off consistency for performance. However, existing definitions of weak consistency levels are either imprecise or they disallow efficient implementation ...