See this document in CiteSeerX!

High-Level Real-Time Concurrency (2000)  (Make Corrections)  (1 citation)
Ashif S. Harji



  Home/Search   Context   Related

 
View or download:
plg.uwaterloo.ca/pu...HarjiThesis.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  plg.uwaterloo.ca/plg (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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