- 1.S. Adve and M. Hill, "Implementing Sequential Consistency in Cache-based Systems", Proc. of the International Conference on Parallel Processing. Pennsylvania State University, University Park, pp. 1-47-I-50.Google Scholar
- 2.M. Ahamad, G. Neiger, J. Bums, P. Kohli and P. Hutto. "Causal memory: definitions, implementation, and programming''. Distributed Computing. September 1995. Google ScholarDigital Library
- 3.M. Ahamad, F. Torres-Rojas, R. Kordale, J. Singh, S. Smith, "Detecting Mutual Consistency of Shared Objects". Proc. of Intl. Workshop on Mobile Systems and Appl., 1994.Google Scholar
- 4.M. Ahamad, S. Bhola, R. Kordale, F. Torres-Rojas. "Scalable Information Sharing in Large Scale Distributed Systems". Proc. of the Seventh SIGOPS Workshop, August 1996. Google ScholarDigital Library
- 5.M. Ahamad, M.Raynal, and G. Thiakime, "An adaptive architecture for causally consistent services". Proc. ICDCS'98, Amsterdam. 1998.Google Scholar
- 6.H. Attiya and J. Welch. "Sequential Consistency vs. Linearizability". ACM Transactions on Computer Systems. ~ol 12, Number 12. May 1994. Google ScholarDigital Library
- 7.R. Baldoni, A. Mostefaoui and M. Raynal. "Causal delivery of messages with real-time data in unreliable networks". Real- Time Systems, The international Journal of Time-Critical Computing Systems, 10(3), May 1996. Google ScholarDigital Library
- 8.R. Baldoni, R.Prakash, M.Raynal and M. Singhal. "Broadcast with Time and Causality Constraints for Multimedia Applications''. Proc. of the 22nd. EUROMICRO Conference, Prague, September 1996.Google Scholar
- 9.K. Birman, A. Schiper and P. Stephenson, "Lightweight Causal and Atomic Group Multicast", ACM Transactions on Computer Systems, Vol 9, No. 3, pp. 272-314, Aug. 1991. Google ScholarDigital Library
- 10.P. Cao and C. Liu, "Maintaining Strong Cache Consistency in the World-Wide Web", Proc. of ICDCS'97, pp. 12-21, May 1997. Google ScholarDigital Library
- 11.V. Cate, "Alex - A Global File System", Proceedings of the 1992 USENIX File System Workshop, pp. 1-12, May 1992.Google Scholar
- 12.F. Cristian, "Probabilistic Clock Synchronization", Distributed Computing, Vol 3, pp. 146-158. 1989.Google ScholarDigital Library
- 13.R. Drummond and O. Babaoglu, "Low-Cost Clock Synchronization'', Distributed Computing, Vol 6, pp. 193-203. 1993. Google ScholarDigital Library
- 14.K.P. Eswaran, J.N. Gray, R. Lorie and I.L. Traiger, "The notion of Consistency and Predicate Locks in a Database System", Communications ACM, Vol 19, No. 11, pp. 624-633, November 1976. Google ScholarDigital Library
- 15.C.J. Fidge, "Logical Time in Distributed Computing Systems", Computer, vol 24, No. 8, pages 28-33, August 1991. Google ScholarDigital Library
- 16.R. Fielding, J. Gettys, J.C. Mogul, H. Frystyk Nielsen, T. Bemers-Lee, "Hypertext Transfer Protocol HTrP/1.1", HTFP Working Group Intemet Draft. March 13, 1997. Google ScholarDigital Library
- 17.V.K. Garg and M. Raynal, "Normality: a consisntency criterion for concurrent objects", Parallel Processing Letters, 9(1), March 1999.Google ScholarCross Ref
- 18.K. Gharachorloo and P. Gibbons, "Detecting Violations of Sequential Consistency", Proceedings of the 3rd ACM Symposium on Parallel Algorithms and Architectures, Hilton Head, SC, pp. 316-326, July 1991. Google ScholarDigital Library
- 19.J. Gwertzman and M. Seltzer, "World-Wide Web Cache Consistency'', Proc. of the 1996 USENIX Technical Conference, San Diego, CA. January 1996. Google ScholarDigital Library
- 20.M. Herlihy and J. Wing. "Linearizability: A correctness condition for concurrent objects". ACM Transactions on Program. Lang. Systems. 12, 3. July 1990. Google ScholarDigital Library
- 21.R. John and M. Ahamad, "Evaluation of Causal Distributed Shared Memory for Data-race-free Programs", Tech. Report, College of Computing, Georgia institute of Technology, 1991.Google Scholar
- 22.H. Kopetz and W. Ochsenreiter, "Clock Synchronization in Distributed Real-Time Systems", IEEE Trans. on Computers, vol. C-36, pp. 933-940. August 1987. Google ScholarDigital Library
- 23.R. Kordale and M.Ahamad. "A Scalable Technique for Implementing Multiple Consistency Levels for Distributed Objects". Proc. of the 16th. International Conference in Distributed Computing Systems. May 1996. Google ScholarDigital Library
- 24.R. Kordale. "System Support for Scalable Services". Ph.D. dissertation, College of Computing, Georgia Institute of Technology. January 1997. Google ScholarDigital Library
- 25.L. Lamport, "How to make a Multiprocessor Computer that correctly executes Multiprocess Programs", IEEE Transactions on Computer Systems, C-28(9), 690-691, 1979.Google ScholarDigital Library
- 26.L. Lamport, "Time, clocks and the ordering of events in a Distributed System", Communications of the ACM, vol 21, pp. 558-564, July 1978. Google ScholarDigital Library
- 27.F. Mattem, "Virtual Time and Global States in Distributed Systems'', Conf. (Cosnard et al. (eds)) Proc. Workshop on Parallel and Distributed Algorithms, Chateau de Bonas, Elsevier, Noah Holland, pp. 215-226. October 1988.Google Scholar
- 28.D. L. Mills, "Internet Time Synchronization: the Network Time Protocol", IEEE Transactions on Communications, Vol. 39, No. 10, pp. 1482-1493, October 1991.Google ScholarCross Ref
- 29.D. L. Mills, "Improved Algorithms for Synchronizing Computer Network Clocks", IEEE Transactions on Networking, Vol. 3, No. 3, pp. 245-254, June 1995. Google ScholarDigital Library
- 30.C.H. Papadimitriou, "The Serializability of Concurrent Database Updates", Journal of ACM, Vol. 26, No. 4, pp. 631-653. October 1979. Google ScholarDigital Library
- 31.M. Raynal, M. Mizuno and M. Nielsen, "Synchronization and Concurrency Measures for Distributed Applications", Proceedings of 12th IEEE International Conference on Distributed Computing Systems, pp. 700-709, Yokohama, Japan, 1992.Google Scholar
- 32.M. Raynal and A. Schiper, "From Causal Consistency to Sequential Consistency in Shared Memory Systems", Proc. 15th Int. Conference FST & TCS (Foundations of Software Technology and Theoretical Computer Science), Springer-Verlag LNCS 1026, pp. 180-194. Bangalore, India, Dec. 1995. Google ScholarDigital Library
- 33.M. Raynal and M. Ahamad, "Exploiting write semantics in implementing partially replicated causal objects", Proceedings of 6th EUROMICRO, Workshop on Parallel and Distributed Processing, pp. 157-163, Madrid, Spain, January 1998.Google ScholarCross Ref
- 34.A. Singla, U. Ramachandran and J. Hodgins, "Temporal Notions of Synchronization and Consistency in Beehive". Proc.of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures, June 1997. Google ScholarDigital Library
- 35.S.D. Stoller, "Detecting Global Predicates in Distributed Systems with Clocks". Proc. 11 th International Workshop on Distributed Algorithms (WDAG 97). Lecture Notes in Computer Science. Springer-Verlag. 1997 Google ScholarDigital Library
- 36.R. Taylor, "Complexity of Analyzing the Synchronization Structure of Concurrent Programs", Acta Informatica, 19:57- 84. 1983.Google ScholarDigital Library
- 37.F. Torres-Rojas and Mustaque Ahamad, "Plausible Clocks: Constant Size Logical Clocks for Distributed Systems", Proc. 10th International Workshop on Distributed Algorithms, (WDAG 96). Bologna, Italy, October 1996. Google ScholarDigital Library
- 38.F. Torres-Rojas and M. Ahamad. "Computing Minimum and Maximum of Plausible Clocks", Technical Report, College of Computing, Georgia Institute of Technology, 1998.Google Scholar
- 39.F. Torres-Rojas, M. Ahamad and M. Raynal, "Lifetime Based Consistency Protocols for Distributed Objects", Proc. 12th International Symposium on Distributed Computing, DISC'98, Andros, Greece, September 1998. Google ScholarDigital Library
- 40.F. Torres-Rojas, M. Ahamad and M. Raynal, "Timed Consistency using Logical Clocks", Technical Report, College of Computing, Georgia Institute of Technology, 1999.Google Scholar
- 41.R. West, K. Schwan, I. Tacic and M. Ahamad. "Exploiting Temporal and Spatial Constraints on Distributed Shared Objects". Proc. 17th International Conference on Distributed Computing Systems ICDCS '97. Baltimore, U.S.A. May 1997. Google ScholarDigital Library
Index Terms
- Timed consistency for shared distributed objects
Recommendations
Eventually linearizable shared objects
PODC '10: Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computingLinearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with ◊S and a majority of correct processes. In this paper we introduce the notion of Eventual ...
Fragmented Objects: Boosting Concurrency of Shared Large Objects
Structural Information and Communication ComplexityAbstractThis work examines strategies to handle large shared data objects in distributed storage systems (DSS), while boosting the number of concurrent accesses, maintaining strong consistency guarantees, and ensuring good operation performance. To this ...
Detecting Mutual Consistency of Shared Objects
WMCSA '94: Proceedings of the 1994 First Workshop on Mobile Computing Systems and ApplicationsIn systems that support disconnected operations, shared objects must be cached at client sites to ensure that the objects are accessible while the client is disconnected. It is desirable that objects cached at a client site are mutually consistent with ...
Comments