by N. C. Audsley, A. Burns, M. F. Richardson, A. J. Wellings, York Y Dd
In Proceedings of 1992 IEEE EuroMicro Workshop on Real Time Systems
ftp://ftp.cs.york.ac.uk/pub/realtime/papers/euromicro4_ABRW.ps.Z
Add To MetaCart
Abstract:
Application of a conventional database to a hard realtime system requires two inter-related NP-complete problems to be solved: database concurrency control and task scheduling. Starting from temporal constraints on data objects in the database, the techniques described in this paper can be used to reduce the problem to a single NP-complete scheduling problem. Standard scheduling theory can then be applied. 1
Citations
|
2168
|
Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment
– Liu, Layland
- 1973
|
|
640
|
ªPriority Inheritance Protocols: An Approach to Real-Time Synchronization,º
– Sha, Rajkumar, et al.
- 1990
|
|
413
|
The Notion of Consistency and Predicate Locks in a Database System
– Eswaran, Gray, et al.
- 1976
|
|
348
|
On Optimistic Methods for Concurrency Control
– Kung, Robinson
- 1981
|
|
211
|
Fundamental Design Problems of Distributed Systems for the Hard Real-Time Environment
– Mok
- 1993
|
|
59
|
Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times
– Audsley
- 1991
|
|
57
|
multilevel atomicity: A new correctness criterion for database concurrency control
– Lynch
- 1983
|
|
48
|
Four-slot fully asynchronous communication mechanism
– Simpson
- 1990
|
|
44
|
Modular Concurrency Control and Failure Recovery
– Sha, Lehoczky, et al.
- 1988
|
|
33
|
Management of Interdependent Data: Specifying Dependency and Consistency Requirements
– Sheth, Rusinkiewicz
- 1990
|
|
20
|
Correctness analysis of class of asynchronous communication mechanisms
– Simpson
- 1992
|
|
16
|
On Concurrency Control by Multiple Versions
– PAPADIMITRIOU, KANELLAKIS
- 1984
|
|
10
|
An optimality theory of concurrency control for databases
– KUNG, PAPADIMITRIOU
- 1979
|
|
4
|
Modular synchronisation in multiversion databases: Version control and concurrency control
– Agrawal, Sengupta
- 1989
|