摘要
实时数据库事务具有许多不同于传统数据库事务的特性,其互斥和同步问题远比传统数据库事务复杂。该文结合已研制成功的嵌入式实时数据库系统ARTs-EDB,重点讨论实时数据库事务的互斥与同步技术。事务互斥用于实现时数据库共享数据"互斥地"访问。根据数据共享特性的不同,实时事务的互斥可分为两类,一类是通过设置"优先级相关"互斥量而实现的互斥,另一类是通过数据库系统提供的并发控制策略而实现的互斥。事务同步是实时数据库事务的特有要求,主要用于实现嵌套事务内部事务的互相等待与互通消息,以保证嵌套事务的内部一致性。
For there are many particular characteristics for transactions in real-time databases,the transaction management mechanisms of real-time databases are more complex than traditional databases. In this paper,the mutex and synchronization thchniques of real-time transactions in an embedded real-time database system—ARTs-EDB are discussed. The mutex techniques are used by real-time transactions to access databases exclusively. Two classes mutex techniques are adopted in the system according to different shared properties of data:one class is the 'Priority aware' mutexes in real-time operation systems and another class in the concurrency control mechanisms in database systems. The synchronization thehniques are unique to eal-time transactions,which are used for the internal sub-transactions of nested real-time transactions to wait and communicate with each other to guarantee the internal consistency of nested transactions.
出处
《计算机科学》
CSCD
北大核心
2004年第12期68-71,共4页
Computer Science
基金
国家自然科学基金项目(编号60073045)
国防武器装备预先研究项目(编号413150403)
中国博士后科学基金项目(编号2003034482)
华中科技大学博士后科学基金项目(编号2003021)