Designing a Concurrent File Server

Conference item

In this paper we present a design and architecture for a concurrent file system server. This architecture is a compromise between the fully concurrent V6 UNIX implementation, and the simple sequential implementation in the MINIX operating system. The design of the server is made easier through the use of a disciplined model of concurrency, based on the CSP process algebra. By viewing the problem through this restricted lens, without traditional explicit locking mechanisms, we can construct the system as a process network of components w

Authors: Whitehead, J

• Host title: Communicating Process Architectures 2012
• Publication date: 2012-08-01
• ISBN: 9780956540959