Comment author: administrator

Bonjour,

Il y a des problèmes avec la sémantique du manuel de Pervasives.pos_out
quand le fichier est ouvert en mode Append.

En effet, supposons que le fichier "/tmp/toto" aie une taille non nulle,
voici ce que répond pos_out :

let out_flags = [Open_wronly ; Open_creat ; Open_append];;

val out_flags : open_flag list = [Open_wronly; Open_creat; Open_append]

let f = open_out_gen out_flags 0o666 "/tmp/toto";;

val f : out_channel =

pos_out f;;

• : int = 0

Alors que le manuel déclare que pos out "Returns the current writing position
for the given channel". Ici pos_out devrait donc donner la taille du fichier.

D'abord il y a une question de vocabulaire. Le flag Open_append ne dit pas que
la position courante est toujours la fin du fichier, il dit qu'on met la
position
courante a la fin juste avant chaque ecriture. L'equivalent en C de ton
programme
affiche 0 lui aussi, sur ma machine. Par contre, apres qu'on a fait une
ecriture, lseek
donne bien la taille du fichier si elle n'a pas change entre deux. Elle peut
changer
sans mettre a jour la position courante, par exemple:

• si un autre processus ecrit dans le fichier
• si on ecrit avec un autre descripteur de fichier (obtenu avec open, pas avec
  dup...)
• si on tronque le fichier

Bref, meme en C, l'hypothese que la position courante est egale a la fin du
fichier est largement fausse.

Alors que dans la sémantique Unix ceci devrait répondre "ancienne taille du
fichier + 5". Une proposition de correction est d'appeller lseek pour chaque
appel de pos_out, ou alors de gérer le cas append à chaque écriture.

Moi je propose de documenter le fait que pos_out ne donne pas un resultat
fiable sur un fichier en mode append. Ca n'est pas tres eloigne de la
semantique
de lseek de toutes facons.

-- Damien

Comment author: administrator

Le Mardi 13 Avril 2004 17:29, Damien Doligez a écrit :

Alors que le manuel déclare que pos out "Returns the
current writing position for the given channel". Ici
pos_out devrait donc donner la taille du fichier.

D'abord il y a une question de vocabulaire. Le flag
Open_append ne dit pas que la position courante est
toujours la fin du fichier, il dit qu'on met la position
courante a la fin juste avant chaque ecriture.
Je suis d'accord, mon problème était que la description du
manuel n'explique pas le comportement observé de pos_out.

Bref, meme en C, l'hypothese que la position courante est
egale a la fin du fichier est largement fausse.
Je n'ai pas fait cette hypohèse en C. Je l'ai faite sur le
programme caml à cause de la définition.

Moi je propose de documenter le fait que pos_out ne donne
pas un resultat fiable sur un fichier en mode append. Ca
n'est pas tres eloigne de la semantique
de lseek de toutes facons.
Je ne savais pas si le fait de retourner fiablement la
position d'écriture était importante ou pas, mais un
changement de doc est le bienvenu :)

Comment author: administrator

If someone finds a fix where lseek isn't called at each pos_out operation,
fine. Otherwise, too bad.

There is such a fix, but it needs to call lseek at each write operation.
I suggest documenting the fact that pos_out gives uninteresting results for
append-mode channels. -DD

Fixed the documentation of pos_out -DD 2004-05-28