[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 1997-03-13 (09:33) |
From: | Bruno.Verlyck@i... |
Subject: | Re: Objective Caml's Unix libraries |
[ english summary at the end ] From: Xavier Leroy <Xavier.Leroy@inria.fr> Date: Wed, 12 Mar 1997 10:41:17 +0100 (MET) No. File descriptors are an abstract type in the Unix library, and this is a conscious decision. > File descriptors are integers indeed. That's what C programming lets you believe, but they are not. It does not make sense to add or multiply two file descriptors, for instance. Tout ceci est indiscutable. At any rate, the only way to pass file descriptors to an exec'd program within the Unix library is to map them using dup2 to stdin, stdout or stderr. I agree it's an unpleasant constraint, but it's a small price to pay for the additional safety brought by having abstract file descriptors. Le problème est que C suinte de partout. Si je devais implémenter /bin/sh en Caml, la librairie Unix ne me permettrait pas de traiter la redirection <&3. Une fonction fileno : filedesc -> int résoudrait ce problème (et celui de Pawel.Wojciechowski), mais je ne vois pas comment traiter >&3 (je n'ai réfléchi que 5 minutes). Bon, l'interface de /bin/sh est de niveau scandaleusement bas, il y a (n'en doutons pas) moyen d'en concevoir une meilleure. Encore faut-il pouvoir (avoir le droit de) changer les specs... Et là, on n'a pas nécessairement le choix du prix à payer. Ré-écrire une librairie Unix modifiée ? (il faudrait l'appeler Shell :-) In english: Xavier's arguments are very strong. But within them (and the Unix library), I can't write a /bin/sh clone, because of >&3 (here, and for Pawel.Wojciechowski, it would be enough to add a fun fileno : filedesc -> int, like the stdio macro) and <&3 -- but I thought about it for only 5 min. My point is that you can try to change the specs, but you have to be allowed to... Bruno. Disclaimer: I don't need anything more than the Unix library.