Formalising Reconciliation in Partitionable Networks with Distributed Services
Modern command and control systems are characterised by computing services provided to several actors at different geographical locations. The actors operate on a common state that is modularly updated at distributed nodes using local data services and global integrity constraints for validity of data in the value and time domains. Dependability in such networked applications is measured through availability of the distributed services as well as the correctness of the state updates that should satisfy integrity constraints at all times. Providing support in middleware is seen as one way of achieving a high level of service availability and well-defined performance guarantees. However, most recent works [1,2] that address fault-aware middleware cover crash faults and provision of timely services, and assume network connectivity as a basic tenet.
Unable to display preview. Download preview PDF.
- 1.Szentivanyi, D., Nadjm-Tehrani, S.: Middleware Support for Fault Tolerance. In: Middleware for Communications. John Wiley & Sons, Chichester (2004)Google Scholar
- 3.DeDiSys: European IST FP6 DeDiSys Project (2006), http://www.dedisys.org
- 4.Asplund, M., Nadjm-Tehrani, S.: Post-partition reconciliation protocols for maintaining consistency. In: Proceedings of the 21st ACM/SIGAPP Symposium on Applied Computing (2006)Google Scholar
- 5.Szentivanyi, D., Nadjm-Tehrani, S., Noble, J.M.: Optimal choice of checkpointing interval for high availability. In: Proceedings of the 11th Pacific Rim Dependable Computing Conference. IEEE Computer Society, Los Alamitos (2005)Google Scholar
- 6.Spread: The Spread Toolkit (2006), http://www.spread.org
- 10.Terry, D.B., Theimer, M.M., Petersen, K., Demers, A.J., Spreitzer, M.J., Hauser, C.H.: Managing update conflicts in bayou, a weakly connected replicated storage system. In: SOSP 1995: Proceedings of the fifteenth ACM symposium on Operating systems principles, pp. 172–182. ACM Press, New York (1995)CrossRefGoogle Scholar