Précédent Index Suivant

Module Unix

On trouve dans ce module l'interface avec les principales fonctions des bibliothèques du système UNIX. Cependant, comme nous l'avons déjà signalé, une partie importante de ce module a été portée sous WINDOWS et est donc accessible depuis ce dernier. Nous signalerons, lorsque nécessaire, les restrictions d'utilisations des fonction présentées. Un tableau résumant ces restrictions est donné figure 3.1.

La bibliothèque Unix fait partie des bibliothèques non standard d'Objective CAML qu'il est nécessaire de lier par la commande -custom du compilateur (voir chapitre ). Suivant l'usage que l'on destine aux programmes, on écrit sous UNIX l'une des commandes suivantes, pour obtenir du code-octet, du code natif ou une boucle d'interaction : 
ocamlc -custom unix.cma  fichiers.ml -cclib -lunix
ocamlopt unix.cma fichiers.ml -cclib -lunix

ocamlmktop -custom -o unixtop unix.cma -cclib -lunix
L'intérêt de construire une boucle d'interaction (dont le nom sera, ici unixtop) est de permettre un développement incrémental. On obtient rapidement la compilation de chaque fonction avec son indication de type. On peut même procéder à quelques tests fonctionnels.
Suivant l'UNIX utilisé, la bibliothèque système peut ne pas être à l'emplacement prévu par défaut. Si nécessaire, on peut préciser le chemin d'accès des bibliothèques avec l'option -ccopt (voir chapitre ).

Sous WINDOWS, les commandes de compilation deviennent : 
ocamlc -custom unix.cma  fichiers.ml \\
       %CAMLLIB%/libunix.lib wsock32.lib
ocamlopt unix.cma fichiers.ml %CAMLLIB%/libunix.lib wsock32.lib

ocamlmktop -custom -o unixtop.exe unix.cma \\
           %CAMLLIB%/libunix.lib wsock32.lib
Le nom de la boucle d'interaction ainsi obtenue est unixtop.exe

Gestion des erreurs

Les erreurs provoquées par les appels systèmes déclenchent l'exception Unix_error qui peut être traitée depuis un programme Objective CAML. Cette erreur contient trois arguments : une valeur de type Unix.error qu'il est possible de traduire sous forme d'une chaîne de caractères par la fonction error_message; une chaîne contenant le nom de la fonction ayant provoqué l'erreur; et une chaîne contenant éventuellement l'argument de la fonction lorsqu'il est de type string.

On peut ainsi définir une fonction générique d'appel de fonction et de traitement des erreurs : 

# let capsule_unix fonct arg = 
   try (fonct arg) with  
    Unix.Unix_error (e,fm,argm) -> 
      Printf.printf "%s %s %s" (Unix.error_message e) fm argm ;;
val capsule_unix : ('a -> unit) -> 'a -> unit = <fun>
La fonction capsule_unix prend une fonction, son argument et applique l'un à l'autre. Si une erreur UNIX survient, un message explicatif est affiché. Une fonction équivalente est définie dans le module Unix : 

# Unix.handle_unix_error ;;
- : ('a -> 'b) -> 'a -> 'b = <fun>


Portabilité des appels système

La figure 3.1 indique quelles fonctions, de communication et de gestion des processus, présentées dans ce chapitre sont accessibles sous WINDOWS. Les deux manques principaux sont la fonction fork pour la duplication du processus courant et la fonction kill d'émission de signaux.
Fonction UNIX WINDOWS Commentaire
open_file × ×  
close × ×  
dup × ×  
dup2 × ×  
read × ×  
write × ×  
lseek × ×  
execv × ×  
execve × ×  
execvp × ×  
execvpe × ×  
fork ×   utiliser create_process
getpid × ×  
sleep × ×  
wait ×    
waitpid × × uniquement pour un numéro de
      processus donné
create_process × ×  
create_process_env × ×  
kill ×    
pipe × ×  
mkfifo ×    
open_process ×   utilise l'interprète de commande
      /bin/sh
close_process ×    

Figure 3.1 : Portabilité des fonctions du module Unix utilisées dans ce chapitre

De plus la fonction wait d'attente de fin d'un processus fils n'est pas implantée car fork ne l'est pas.

Précédent Index Suivant