A formalization of priority inversion-Reference-Cited by-同舟云学术

A formalization of priority inversion

Published:1993-10 Issue:4 Volume:5 Page:285-303
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:Real-Time Syst

Author:

Babaoğlu Özalp,Marzullo Keith,Schneider Fred B.

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/BF01088832.pdf

Reference14 articles.

1. Abbott, R. and Garcia-Molina, H. 1989. Scheduling real-time transactions with disk resident data.Proc. 15th VLDB Conference. Amsterdam, The Netherlands, pp. 385–396.

2. Bernstein, P., Hadzilacos, V. and Goodman, N. 1987.Concurrency Control and Recovery in Database Systems. Reading, MA: Addison-Wesley.

3. Bic, L. and Shaw, A.C. 1988.The Logical Design of Operating Systems. Englewood Cliffs, NJ: Prentice-Hall.

4. Chandy, K.M. and Lamport, L. 1985. Distributed snapshots: Determining global states of distributed systems.ACM Transactions of Computer Systems, 3(1):63–75.

5. Coffman, E.G. Jr. and Denning, P.J. 1973.Operating Systems Theory. Englewood Cliffs, NJ: Prentice-Hall.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pipelines and Beyond: Graph Types for ADTs with Futures;Proceedings of the ACM on Programming Languages;2024-01-05

2. Static Prediction of Parallel Computation Graphs (Abstract);Proceedings of the 2023 ACM Workshop on Highlights of Parallel Computing;2023-07-18

3. Responsive Parallelism with Synchronization;Proceedings of the ACM on Programming Languages;2023-06-06

4. Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks;2022 Design, Automation & Test in Europe Conference & Exhibition (DATE);2022-03-14

5. Static prediction of parallel computation graphs;Proceedings of the ACM on Programming Languages;2022-01-12