Books Online
Not logged in
- Login
Not Signed In
You are here: Skip Navigation Links

Concurrent Systems Engineering Series
Volume 64, 2006
Communicating Process Architectures 2006 - WoTUG-29
Edited by Peter H. Welch, Jon Kerridge, Frederick R.M. Barnes
ISBN 978-1-58603-671-3

No Blocking on Yesterday's Embedded CSP Implementation - (The Rubber Band of Getting it Right and Simple) 331 - 338


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.


  Full Text PDF
Navigation
  Home
  Back
  Forward

Article
  Full Text PDF

$20.00 / € 15,00