Paper Details

@InProceedings{Teig06,
  title = "{N}o {B}locking on {Y}esterday's {E}mbedded {CSP} {I}mplementation (the {R}ubber {B}and of {G}etting it {R}ight and {S}imple)",
  author= "Teig, Øyvind",
  editor= "Welch, Peter H. and Kerridge, Jon and Barnes, Frederick R. M.",
  pages = "331--338",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2006",
  isbn= "978-1-58603-671-3",
  year= "2006",
  month= "sep",
  abstract= "This article is a follow-up after the paper ''From message
     queue to ready queue'', presented at the ERCIM Workshop last
     year. A (mostly) synchronous layer had been implemented on
     top of an existing asynchronous run-time system. After that
     workshop, we discovered that the initial implementation
     contained two errors: both concerning malignant process
     rescheduling associated with timers and 'reuse' of the input
     side of a channel. Also, the set of process/dataflow
     patterns was not sufficient. To keep complexity low, we have
     made two new patterns to reflect better the semantic needs
     inherent in the application. Our assumption of correctness
     is also, this time, based both on heuristics and
     'white-board reasoning'. However, both the previous and this
     paper have been produced before any first shipment of the
     product, and well within full-scale testing. Our solutions
     and way of attacking the problems have been in an industrial
     tradition."
}

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.