(Enter summary)
Abstract: The primary goal of all real-time systems is predictability. Achieving this goal
requires all levels of the system to be well de
ned and have a
xed worst-case execution
time. These needs have resulted in the creation of overly restrictive commercial
real-time systems providing only ad-hoc scheduling facilities and basic concurrent
functionality. Ad-hoc scheduling makes developing, verifying, and maintaining a
real-time system extremely dicult and time consuming. Basic concurrent
... (Update)
Context of citations to this paper: More
...the exploitation of new ideas. The primary motivation of this work is the construction of a exible real time system in C [10, 20, 27]. C is a translator and runtime kernel for C supporting lightweight concurrency using a shared memory model. The translator...
Cited by: More
Object-Oriented Real-Time Concurrency - Buhr, Harji, Lim, Chen
(Correct)
Active bibliography (related documents): More All
0.8: Program Representation And Execution In Real-Time Multiprocessor.. - Niehaus (1994)
(Correct)
0.7: µC++: Concurrency in the Object-Oriented Language C++ - Buhr, Ditchfield.. (1992)
(Correct)
0.5: Interruptible Critical Sections - Johnson, Harathi (1994)
(Correct)
Similar documents based on text: More All
0.7: High-Level Real-Time Concurrency - Harji (2000)
(Correct)
0.4: Analyzing Multi-Threaded Program Performance with μProfiler - Zak (2000)
(Correct)
0.1: The Application of Patterns to Concurrent Control Flow - Kierstead (2001)
(Correct)
BibTeX entry: (Update)
A. S. Harji. High-level real-time concurrency. Master's thesis, University of Waterloo, Dec. 1999. ftp://plg.uwaterloo.ca/pub/uSystem/HarjiThesis.ps.gz. http://citeseer.ist.psu.edu/harji00highlevel.html More
@misc{ harji99highlevel,
author = "A. Harji",
title = "High-level real-time concurrency",
text = "A. S. Harji. High-level real-time concurrency. Master's thesis, University
of Waterloo, Dec. 1999. ftp://plg.uwaterloo.ca/pub/uSystem/HarjiThesis.ps.gz.",
year = "1999",
url = "citeseer.ist.psu.edu/harji00highlevel.html" }
Citations (may not include all citations):
1582
Scheduling algorithms for multiprogramming in a hard-real-ti..
- Liu, Layland - 1973
528
Priority inheritance protocols: An approach to real-time syn.. (context) - Sha, Rajkumar et al. - 1990
336
The rate monotonic scheduling algorithm: exact characterizat.. (context) - Lehoczky, Sha et al. - 1989
264
A language with distributed scope
- Cardelli - 1995
239
Monitors: An operating system structuring concept (context) - Hoare - 1974
188
Aperiodic task scheduling for hard real-time systems (context) - Sprunt, Sha et al. - 1989
181
ACM Transactions on Programming Languages and Systems (context) - Herlihy - 1991
160
Fundamental design problems of distributed systems for the h.. (context) - Mok - 1983
153
The Java Language Speci cation (context) - Gosling, Joy et al. - 1996
138
Concepts and notations for concurrent programming (context) - Andrews, Schneider - 1983
124
Hard Real-Time Scheduling: The Deadline Monotonic Approach
- Audsley, Burns et al. - 1991
113
An optimal algorithm for scheduling soft-aperiodic tasks in .. (context) - Lehoczky, Ramos-Thuel - 1992
106
Enhanced aperiodic responsiveness in hard real-time environm.. (context) - Lehoczky, Sha et al. - 1987
105
Implications of classical scheduling results for real-time s..
- Stankovic, Spuri et al. - 1995
104
Stack-based scheduling of realtime processes (context) - Baker - 1991
103
The spring kernel: a new paradigm for real-time systems (context) - Stankovic, Ramamritham - 1991
76
Synchronization in Real-Time Systems: A Priority Inheritance.. (context) - Rajkumar - 1991
69
Real-Time Systems and Programming Languages (context) - Burns, Wellings - 1997
65
Dynamic priority ceilings: A concurrency control protocol fo.. (context) - Chen, Lin - 1990
63
Scheduling aperiodic tasks in dynamic priority systems
- Spuri, Buttazzo - 1996
57
Scheduling algorithms and operating systems support for real..
- Ramamritham, Stankovic - 1994
50
Aperiodic servers in a deadline scheduling environment (context) - Ghazalie, Baker - 1995
49
Operating System Principles (context) - Hansen - 1973
47
Programming With Threads (context) - Kleiman, Shah et al. - 1995
42
Algorithm 232: Heapsort (context) - Williams - 1964
39
The deferrable server algorithm for enhanced aperiodic respo.. (context) - Strosnider, Lehoczky et al. - 1995
35
A stack-based resource allocation policy for realtime proces.. (context) - Baker - 1990
31
Deadline monotonic scheduling
- Audsley - 1990
29
Design and implementation of an ecient priority queue (context) - Boas, Kaas et al. - 1977
25
Real-time Concurrent C: A language for programming dynamic r.. (context) - Gehani, Ramamritham - 1991
25
and practical non-blocking and blocking concurrent queue alg.. (context) - Michael, Scott - 1995
21
Programming Language (context) - Gehani, Roome et al. - 1989
15
Real-time object sharing with minimal system support
- Ramamurthy, Moir et al. - 1996
12
Mutual exclusion with linear waiting using binary shared var.. (context) - Burns - 1978
10
An optimal priority inheritance protocol for real-time synch.. (context) - Rajkumar, Sha et al. - 1994
10
the complexity of xed-priority scheduling of periodic (context) - Leung, Whitehead - 1982
9
Ada 95 reference manual: language and standard libraries (context) - Taft, Duff - 1995
8
Reference manual Ada programming language ANSIMIL STD A (context) - Dept, Defense et al. - 1983
7
Part 1: System Application Program Interface (context) - System, POSIX - 1996
7
On debugging real-time applications
- Mueller, Whalley - 1994
7
Ecient aperiodic service under earliest deadline scheduling (context) - Spuri, Buttazzo - 1994
7
Priority inheritance spin locks for multiprocessor real-time..
- Wang, Takada et al. - 1996
6
Monitor classi cation (context) - Buhr, Fortier et al. - 1995
6
Experimental implementations of priority inheritance semapho..
- Takada, Sakamura - 1994
6
Scheduling slack time in xed priority preemptive systems (context) - Davis, Tindell et al. - 1993
5
Department of Computer Science (context) - Buhr, Stroobosscher - 1999
5
Multiprocessor priority ceiling based protocols
- Chen, Tripathi - 1994
4
Priority inheritance protocols (context) - Sha, Rajkumar et al. - 1987
4
Implementing priority inheritance algorithms in an ada runti.. (context) - Borger, Rajkumar - 1989
3
Issues related to dynamic scheduling in real-time systems (context) - Wang - 1993
3
Ecient scheduling algorithms for real-time multiprocessor sy.. (context) - Ramamritham, Shiah et al. - 1990
3
Holt Software Associates Inc (context) - Holt - 1992
3
Utilizing Slack Time For Aperiodic and Sporadic Requests Sch.. (context) - Tia - 1995
3
Language and compiler support for synchronous message passin.. (context) - Clarke - 1990
3
An empirical evaluation of priority queue algorithms for rea.. (context) - Maheshwari - 1990
2
Veri cation and Analysis (context) - Joseph - 1996
2
Unpublished manuscript (context) - Mercer - 1992
2
An Integrated Approach to Dynamic Task and Resource Manageme.. (context) - Shen - 1992
2
Dynamic priority scheduling of aperiodic tasks in hard real-.. (context) - Homayoun, Ramanathan - 1994
2
object-oriented programming environment (context) - Lim, in - 1996
2
The priority disinheritance problem
- Moylan, Betz et al. - 1993
2
Interruptible critical sections for real-time systems
- Johnson - 1993
1
Algorithms for scheduling hard aperiodic tasks in xed-priori.. (context) - Lehoczky, Thuel - 1994
1
Concurrent abnormal event handling mechanisms
- Mok - 1997
1
Understanding control ow: with concurrent programming using .. (context) - Buhr - 1999
1
the ecient scheduling of non-periodic tasks in hard real-tim.. (context) - Thomadakis, Liu - 1999
1
Replay of shared memory programs (context) - Schuster - 1999
Documents on the same site (http://plg.uwaterloo.ca/plg.html): More
Compiling Standard ML to Java - Gammage (1997)
(Correct)
Generalizing Database Access Methods - Zhou (1999)
(Correct)
High-Level Real-Time Concurrency - Harji (2000)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC