School of Computing

Blocking system calls in KRoC/Linux

Frederick R.M. Barnes

In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering Series, pages 182-196. Computing Laboratory, University of Kent, IOS Press, September 2000.


This paper describes an extension to Kent Retargetable occam Compiler (KRoC), which enables the execution of a blocking call, without blocking the occam-kernel. This allows a process to make a blocking system call (eg, read, write), without blocking processes running in parallel with it. Blocking calls are implemented using Linux clones which communicate using shared memory, and synchronise using kernel level semaphores. The usefulness of this is apparent in server applications with a need to handle multiple clients simultaneously. An implementation of an occam web-server is described in section 5, which uses standard TCP sockets via an occam socket library. The web-server comes with the ability to execute CGI scripts as well as dispensing static pages, which demonstrates some level of OS process management from within occam.

However, this mechanism is not limited to blocking in the Linux kernel. On multi- processor machines, the clones are quite free to be scheduled on different processors, allowing computationally heavy processing to be performed aside the occam world, but still with a reasonable level of interaction with it. Using them in this way provides a coarse-grained level of parallelism from within the fine-grained occam world.

Download publication 440 kbytes (PostScript)

Bibtex Record

author = {Frederick R.M. Barnes},
title = {Blocking System Calls in {KRoC}/{Linux}},
month = {September},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    ISBN = {1 58603 077 9},
    ISSN = {1383-7575},
    booktitle = {Communicating Process Architectures 2000},
    editor = {P.H.Welch and A.W.P.Bakkers},
    organization = {Computing Laboratory, University of Kent},
    publication_type = {inproceedings},
    publisher = {IOS Press},
    refereed = {yes},
    series = {Concurrent Systems Engineering Series},
    submission_id = {27393_969102499},
    volume = {58},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014