Real-time data semantics and similarity-based concurrency control

IEEE Transactions on Computers

Volumn 49, Issue 11, 2000, Pages 1241-1254

  Kuo, Tei Wei ^a,c   Mok, Aloysius K ^b,c  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

^b University of Texas at Austin   (United States)

^c IEEE

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; DATA STRUCTURES; PARALLEL PROCESSING SYSTEMS; SCHEDULING; SEMANTICS; THEOREM PROVING;

SCHEDULE CORRECTNESS; SERIALIZABILITY; SIMILARITY;

DATABASE SYSTEMS;

EID: 0034314444     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.895940     Document Type: Article

References (41)

1. R. Abbott and H. Garcia-Molina, "Scheduling Real-Time Transactions: A Performance Evaluation," Proc. 14th VLDB Conf., pp. 1-12, 1988.
2. A. Bestavros, "Timeliness via Speculation for Real-Time Databases," Proc. IEEE 15th Real-Time Systems Symp., 1994.
3. A. Bestavros, "Advances in Real-Time Database Systems Research," Special Section on RTDB of ACM SIGMOD Record, vol. 25, no. 1, Mar. 1996.
4. P.A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems. Reading, Mass.: Addison-Wesley, 1987.
5. D. Chen and A.K. Mok, "SRDE - Application of Data Similarity to Process Control," Proc. IEEE 20th Real-Time Systems Symp., pp. 136-145, Dec. 1999.
6. L.B.C. Dipippo and V.F. Wolfe, "Object-Based Semantic Real-Time Concurrency Control," Proc. IEEE Real-Time Systems Symp., Dec. 1993.
7. W. Du and A.K. Elmagarmid, "Quasi Serializability: A Correctness Criterion for Global Concurrency Control in InterBase," Proc. 15th Int'l Conf. Very Large Data Base, pp. 347-355, 1989.
8. S.B. Davidson and A. Watters, "Partial Computation in Real-Time Database Systems," Proc. Fifth Workshop Real-Time Software and Operating Systems, pp. 117-121, May 1988.
9. M.H. Graham, "How to Get Serializability for Real-Time Transactions without Having to Pay for It," Proc. IEEE 14th Real-Time Systems Symp., 1993.
10. H. Garcia-Molina and K. Salem, "SAGAS," Proc. 1987 ACM SIGMOD Conf. Management of Data, pp. 249-259, 1987.
11. H. Garcia-Molina and G. Wiederhold, "Read-Only Transactions in a Distributed Database," ACM Trans. Database Systems, vol. 7, no. 2, pp. 209-234, June 1982.
12. M. Gouda, Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra, W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, and J. Misra, eds., pp. 135-140, Springer-Verlag, 1990.
13. J.R. Haritsa, M.J. Carey, and M. Livny, "On Being Optimistic about Real-Time Constraints," Proc. Ninth ACM SIGACT-SIGMOD-SIGART Symp. Principles of Database Systems, pp. 331-343, Apr. 1990.
14. M.U. Kamath and K. Ramamritham, "Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds" Proc. Int'l Conf. Data Eng., pp. 587-594, Apr. 1993.
15. T.-W. Kuo, "Real-Time Database-Semantics and Resource Scheduling," PhD dissertation, Univ. of Texas at Austin, 1994.
16. T.-W. Kuo and A.K. Mok, "Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications," Proc. IEEE 13th Real-Time Systems Symp., 1992.
17. T.-W. Kuo and A.K. Mok, "SSP: A Semantics-Based Protocol for Real-Time Data Access," Proc. IEEE 14th Real-Time Systems Symp., Dec. 1993.
18. T.-W. Kuo and A.K. Mok, "Using Data Similarity to Achieve Synchronization for Free," Proc. IEEE 11th Workshop Real-Time Operating Systems and Software, pp. 112-116, 1994.
19. T.-W. Kuo and A.K. Mok, "The Design and Implementation of Real-Time Object Management Interface," Proc. IEEE 1995 Real-Time Technology and Applications Symp., 1995.
20. Y.-K. Kim and S.H. Son, "Supporting Predictability in Real-Time Database Systems," Proc. IEEE 1996 Real-Time Technology and Applications Symp., 1996.
21. H.F. Korth and G.D. Speegle, "Formal Model of Correctness without Serializability," Proc. 1988 ACM SIGMOD Conf. Management of Data, pp. 379-386, 1988.
22. H.F. Korth, N. Soparkar, and A. Silberschatz, "Triggered Real Time Databases with Consistency Constraints," Proc. 16th VLDB Conf., Aug. 1990.
23. K.-Y. Lam, T.-W. Kuo, and L. Shu, "On Using Similarity to Process Transactions in Stock Trading Systems," Proc. IEEE 1998 Workshop Dependable and Real-Time E-Commerce Systems, June 1998.
24. C.L. Liu and J.W. Layland, "Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment," J. ACM, vol. 20, no. 1, pp. 46-61, Jan. 1973.
25. K.-J. Lin, S. Natarajan, and J.W.-S. Liu, "Imprecise Results: Utilizing Partial Computations in Real-Time Systems," Proc. IEEE Eighth Real-Time Systems Symp., pp. 210-217, Dec. 1987.
26. K.-J. Lin and M.-J. Lin, "Enchancing Availability in Distributed Real-Time Databases," ACM SIGMOD Record, vol. 17, no. 1, pp. 34-43, Mar. 1988.
27. Y. Lin and S.H. Son, "Concurrency Control in Real-Time Databases by Dynamic Adjustment of Serialization Order," Proc. IEEE 11th Real-Time Systems Symp., Dec. 1990.
28. A.K. Mok, "Fundamental Design Problems for the Hard Real-Time Environment," PhD dissertation, Massachusetts Inst. of Technology, Cambridge, Mass., 1983.
29. C. Papadimitriou, The Theory of Database Concurrency Control. Computer Science Press, 1986.
30. C.-S. Peng and K.-J. Lin, "A Semantic-Based Concurrency Control Protocol for Real-Time Transactions," Proc. IEEE 1996 Real-Time Technology and Applications Symp., 1996.
31. C. Pu and A. Leff, "Epsilon-Serializability," Technical Report CUCS-054-90, Dept. of Computer Science, Columbia Univ., Jan. 1991.
32. C.-S. Peng, K.-J. Lin, and T. Ng, "A Performance Study of the Semantics-Based Concurrency Control Protocol for Air Traffic Control System," Proc. Int'l Workshop Real-Time Databases, Sept. 1997.
33. K. Ramamritham and C. Pu, "A Formal Characterization of Epsilon Serializability," IEEE Trans. Knowledge and Data Eng., vol. 7, no. 6, pp. 997-1,007, Dec. 1995.
34. L. Sha, R. Rajkumar, and J.P. Lehoczky, "Concurrency Control for Distributed Real-Time Databases," ACM SIGMOD Record, vol. 17, no. 1, pp. 82-98, Mar. 1988.
35. ACM SIGMOD Record: Special Issue on Real-Time Databases, S.H. Son, ed., Mar. 1988.
36. X. Song and J.W.-S. Liu, "Maintaining Temporal Consistency: Pessimistic vs. Optimistic Concurrency Control," IEEE Trans. Knowledge and Data Eng., pp. 787-796, Oct. 1995.
37. L. Shu and M. Young, "A Mixed Locking/Abort Protocol for Hard Real-Time Systems," Proc. IEEE 11th Workshop Real-Time Operating Systems and Software, pp. 102-106, May 1994.
38. L. Shu, M. Young, and R. Rajkumar, "An Abort Ceiling Protocol for Controling Priority Inversion," Proc. First Int'l Workshop Real-Time Computing Systems and Applications, pp. 202-206, Dec. 1994.
39. J.A. Stankovic and W. Zhao, "On Real-Time Transactions," ACM SIGMOD Record, vol. 17, no. 1, pp. 4-18, June 1989.
40. R.H. Thomas, "A Solution to the Concurrency Control Problem for Multiple Copy Data Bases," Proc. 1978 COMPCON Conf., pp. 56-62, 1978.
41. M. Xiong, K. Ramamritham, R. Sivasankaran, J.A. Stankovic, and D. Towsley, "Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics," Proc. IEEE Real-Time Systems Symp., pp. 240-251, Dec. 1996.