CONSTRAINT CHECKING FOR NON-BLOCKING TRANSACTION PROCESSING IN MOBILE AD-HOC NETWORKS

Sebastian Obermeier, Stefan Böttcher

2010

Abstract

Whenever business transactions involve databases located on different mobile devices in a mobile ad-hoc network, transaction processing should guarantee the following: atomic commitment and isolation of distributed transactions and data consisteny across different mobile devices. However, a major problem of distributed atomic commit protocols in mobile network scenarios is infinite transaction blocking, which occurs when a local sub-transaction that has voted for commit cannot be completed due to the loss of commit messages and due to network partitioning. For such scenarios, Bi-State-Termination has been recently suggested to terminate pending and blocked transactions, which allows to overcome the infinite locking problem. However, if the data distributed on different mobile devices has to be consistent according to some local or global database consistency constraints, Bi-State-Termination has not been able to check for the validity of these consistency constraints on a database state involving the data of different mobile devices. Within this paper, we extend the concept of Bi-State-Termination to arbitrary read operations. We show how to handle several types of database consistency constraints, and experimentally evaluate our constraint checker using the TPC-C benchmark.

References

  1. Cellary, W. and Jomier, G. (1990). Consistency of versions in object-oriented databases. In McLeod, D., SacksDavis, R., and Schek, H.-J., editors, 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings, pages 432-441. Morgan Kaufmann.
  2. Chen, I.-M. A., Markowitz, V. M., Letovsky, S., Li, P., and Fasman, K. H. (1996). Version management for scientific databases. In Apers, P. M. G., Bouzeghoub, M., and Gardarin, G., editors, Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings, volume 1057 of Lecture Notes in Computer Science, pages 289-303. Springer.
  3. Gray, J. (1978). Notes on data base operating systems. In Flynn, M. J., Gray, J., Jones, A. K., et al., editors, Advanced Course: Operating Systems, volume 60 of Lecture Notes in Computer Science, pages 393-481.
  4. Gray, J. and Lamport, L. (2006). Consensus on transaction commit. ACM Trans. Database Syst., 31(1):133-160.
  5. Gray, J. and Reuter, A. (1993). Transaction Processing: Concepts and Techniques. Morgan Kaufmann.
  6. Katz, R. H. (1990). Toward a unified framework for version modeling in engineering databases. ACM Comput. Surv., 22(4):375-409.
  7. Kohler, W., Shah, A., and Raab, F. (1991). Overview of TPC Benchmark C: The Order-Entry Benchmark. Technical report, http://www.tpc.org, Transaction Processing Performance Council.
  8. Kumar, V., Prabhu, N., Dunham, M. H., and Seydim, A. Y. (2002). Tcot-a timeout-based mobile transaction commitment protocol. IEEE Trans. Com., 51(10):1212- 1218.
  9. Obermeier, S. and Böttcher, S. (2007). Avoiding infinite blocking of mobile transactions. In Proceedings of the 11th International Database Engineering & Applications Symposium (IDEAS), Banff, Canada.
  10. Reddy, P. K. and Kitsuregawa, M. (2003). Reducing the blocking in two-phase commit with backup sites. Inf. Process. Lett., 86(1):39-47.
  11. Reddy, P. K. and Kitsuregawa, M. (2004). Speculative locking protocols to improve performance for distributed database systems. IEEE Transactions on Knowledge and Data Engineering, 16(2):154-169.
  12. Skeen, D. (1981). Nonblocking commit protocols. In Lien, Y. E., editor, Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, pages 133-142. ACM Press.
Download


Paper Citation


in Harvard Style

Obermeier S. and Böttcher S. (2010). CONSTRAINT CHECKING FOR NON-BLOCKING TRANSACTION PROCESSING IN MOBILE AD-HOC NETWORKS . In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-8425-04-1, pages 166-175. DOI: 10.5220/0002889301660175


in Bibtex Style

@conference{iceis10,
author={Sebastian Obermeier and Stefan Böttcher},
title={CONSTRAINT CHECKING FOR NON-BLOCKING TRANSACTION PROCESSING IN MOBILE AD-HOC NETWORKS},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2010},
pages={166-175},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002889301660175},
isbn={978-989-8425-04-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - CONSTRAINT CHECKING FOR NON-BLOCKING TRANSACTION PROCESSING IN MOBILE AD-HOC NETWORKS
SN - 978-989-8425-04-1
AU - Obermeier S.
AU - Böttcher S.
PY - 2010
SP - 166
EP - 175
DO - 10.5220/0002889301660175