Portal de Periódicos da CAPES

Linda meets Minix

1993; Association for Computing Machinery; Volume: 27; Issue: 4 Linguagem: Inglês

10.1145/163640.163647

1943-586X

Paolo Ciancarini, Nicola Guerrini,

Security and Verification in Computing

Currently large interest is devoted to the development of systems supporting parallel and distributed programming over a network of workstations. We are exploring operating system support for this kind of programming, that instead is usually implemented at the user process level. We have chosen the Linda model as the basis of a programming system for networks of personal computers running Minix, a Unix-like operating system for personal computers.In this paper we shortly describe the Minix operating system and its services for remote communication based on the Amoeba protocol. We have extended Minix with new communication primitives based on Linda; we show their implementation, describing the new system architecture, and compare the new system with other Linda implementations.