%T Combining EDF Scheduling with occam using the Toc Programming Language
%A Martin Korsgaard, Sverre Hendseth
%E Peter H. Welch, S. Stepney, F.A.C Polack, Frederick R. M. Barnes, Alistair A. McEwan, G. S. Stiles, Jan F. Broenink, Adam T. Sampson
%B Communicating Process Architectures 2008
%X A special feature of the occam programming language is that
its concurrency support is at the very base of the language.
However, its ability to specify scheduling requirements is
insufficient for use in some real\-time systems. Toc is an
experimental programming language that builds on occam,
keeping occam\[rs]s concurrency mechanisms,
while fundamentally changing its concept of time. In Toc,
deadlines are specified directly in code, replacing
occam\[rs]s priority constructs as themethod for controlling
scheduling. Processes are scheduled lazily, in that code is
not executed without an associated deadline. The deadlines
propagate through channel communications, which means that a
task blocked by a channel that is not ready will
transfer its deadline through the channel to the dependent
task. This allows the deadlines of dependent tasks to be
inferred, and also creates a scheduling effect similar to
priority inheritance. A compiler and run\-time system has
been implemented to demonstrate these principles.
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org