ocaml et Unix

ocaml et Unix

[michel]

Bonjour,

un certain nombre d'appels systemes Unix ne sont pas
fournis via le module Unix sous ocaml1.07. Est-ce un choix
delibere ou seulement un manque de temps ? Je pense par exemple a :

	fnctl, ioctl,
	pour signal(), le signal SIGIO (qui est bien POSIX).


Cordialement, Olivier.

-- 
Olivier MICHEL                          Email : michel@lami.univ-evry.fr
Universite d'Evry Val d'Essonne         http  : www.lri.fr/~michel
LaMI - EP738 du CNRS                    Phone : +33 (0)1.69.47.74.53
Boulevard des coquibus                  Fax   : +33 (0)1.69.47.74.72
91025 Evry Cedex - FRANCE

Re: ocaml et Unix

[Xavier Leroy]

Bonjour,

> un certain nombre d'appels systemes Unix ne sont pas
> fournis via le module Unix sous ocaml1.07. Est-ce un choix
> delibere ou seulement un manque de temps ?

De manière générale, nous enrichissons l'interface Unix suivant les
besoins qui se manifestent.

> Je pense par exemple a :
> 
> 	fnctl

fnctl est un fourre-tout qui recouvre plusieurs fonctionnalités
différentes.  En raison du typage strict de Caml, il faudrait remonter
plusieurs fonctions, une par fonctionnalité.  Pour F_DUPFD, nous avons
déja Unix.dup.   F_GETLK, F_SETLK, F_SETLKW sont accessibles via
Unix.lockf.  Il manque en effet F_GETFD, F_SETFD, F_GETFL, F_SETFL.

>       ioctl,

Comme fcntl, mais pire: le type du 3ième argument dépend de la valeur
du premier!  C'est donc impossible à typer en Caml.  (En C aussi d'ailleurs.)
D'autre part, ioctl est inutilisable quand on ne peut accéder aux
constantes définies dans les includes du système, ce qui est le cas en
Caml.  Mieux vaut écrire en C une fonction qui fait l'appel ioctl dont
vous avez besoin, et remonter cette fonction C en Caml.

> 	pour signal(), le signal SIGIO (qui est bien POSIX).

D'après mes specs, SIGIO n'est pas dans POSIX.1-1990, ni même dans
Unix 98.

Cordialement,

- Xavier Leroy