Paper Details

@InProceedings{KorsgaardHendseth08,
  title = "{C}ombining {EDF} {S}cheduling with occam using the {T}oc {P}rogramming {L}anguage",
  author= "Korsgaard, Martin and Hendseth, Sverre",
  editor= "Welch, Peter H. and Stepney, S. and Polack, F.A.C and Barnes, Frederick R. M. and McEwan, Alistair A. and Stiles, G. S. and Broenink, Jan F. and Sampson, Adam T.",
  pages = "55--66",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn= "978-1-58603-907-3",
  year= "2008",
  month= "sep",
  abstract= "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's concurrency mechanisms, while fundamentally
     changing its concept of time. In Toc, deadlines
     are specified directly in code, replacing occam'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.