By Topic

PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Munnich, A. ; Inst. for Real-Time Comput. Syst., Tech. Univ. Munchen, Germany

In real-time systems, the use of databases is increasing. If the application is safety-critical, one must guarantee in advance, by suitable verification methods, that all deadlines hold in all possible cases of use. Predictability of the database's concurrency control protocol is one of the most important prerequisites for this. However, most real-time concurrency control protocols are influenced by traditional database requirements. For hard real-time systems, they are usually unsuitable, because they are not predictable and they noticeably interfere with task scheduling. We present a new semantic concurrency control protocol called PRED-DF (PREDeclaration and Data Flow analysis) for main-memory real-time database systems. PRED-DF uses pre-declaration, is locking-based and generates serializable schedules. It uses additional knowledge gained from advance analysis of the application's data flow to minimize blocking times. PRED-DF's behavior is predictable and so the verification of real-time requirements is possible

Published in:

Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on

Date of Conference: