Blocking System Calls in KRoC/Linux

Barnes, Frederick R.M. (2000) Blocking System Calls in KRoC/Linux. In: Communicating Process Architectures 2000. (Full text available)

PDF
Download (415kB)
[img]
Preview
Postscript
Download (450kB)
[img]
Preview

Abstract

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.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: blocking KRoC occam CSP system-calls
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 12 Sep 2009 11:56
Last Modified: 06 Sep 2011 04:09
Resource URI: http://kar.kent.ac.uk/id/eprint/21966 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year