WoTUG - The place for concurrent processes

Paper Details

  title = "{K}-{CSP} {C}omponent {B}ased {D}evelopment of {K}ernel {E}xtensions",
  author= "Sputh, Bernhard H.C.",
  editor= "East, Ian R. and Duce, David and Green, Mark and Martin, Jeremy M. R. and Welch, Peter H.",
  pages = "311--324",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2004",
  isbn= "1 58603 458 8",
  year= "2004",
  month= "sep",
  abstract= "Kernel extension development suffers from two problems.
     Firstly, there is little to no code reuse. This is caused by
     the fact that most kernel extensions are coded in the C
     programming language. This language only allows code reuse
     either by using `copy and paste' or by using libraries.
     Secondly, the poor separation of synchronisation and
     functionality code makes it difficult to change one without
     affecting the other. It is, therefore, difficult to use the
     synchronisation mechanisms correctly. The approach proposed
     in this paper tries to solve these problems by introducing a
     component based programming model for kernel extensions, and
     a system based on this proposal is implemented for the Linux
     kernel. The language used for the implementation is
     Objective-C, and as a synchronisation mechanism
     Communicating Sequential Processes is used. This model
     allows the functionality and synchronisation of a component
     to be developed separately. Furthermore, due to the use of
     Communicating Sequential Processes it is possible to verify
     the correctness of the synchronisation. An example given in
     this paper illustrates how easy it is to use the K-CSP
     environment for development."

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

Valid HTML 4.01!