Programmation du système Unix en Objective Caml

Programmation du syst`eme Unix
en Objective Caml
1Xavier Leroy et Didier R´emy
2c 1991, 1992, 2003, 2004, 2005, 2006, 2008.
1. INRIA Rocquencourt
2. Droitsr´eserv´es.Distribut´esouslicenceCreative CommonsPaternit´e–Pas d’Utilisation Commerciale–
Partage des Conditions Initiales a` l’Identique 2.0 France. Voir http://creativecommons.org/
licenses/by-nc-sa/2.0/fr/. pour les termes l´egaux.R´esum´e
Ce document est un cours d’introduction a` la programmation du syst`eme Unix,
mettant l’accent sur la communication entre les processus. La principale nouveaut´e
de ce travail est l’utilisation du langage Objective Caml, un dialecte dulangage ML,
a` la place dulangage Cquiest d’ordinaireassoci´e a`la programmation syst`eme. Ceci
donne des points de vue nouveaux a` la fois sur la programmation syst`eme et sur le
langage ML.
Unix system programming in Objective Caml
This document is an introductory course on Unix system programming, with an
emphasis on communications between processes. The main novelty of this work is
the use of the Objective Caml language, a dialect of the ML language, instead of
the C language that is customary in systems programming. This gives an unusual
perspective on systems programming and on the ML language.
2Table des mati`eres
1 G´en´eralit´es 7
1.1 Les modules Sys et Unix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Interface avec le programme appelant . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Traitement des erreurs ...