Re: Ada.Text_IO

Le 06/12/2021 à 16:25, Thomas De Contes a écrit :
> En fait, l'usage que je voulais en faire c'est implémenter un mécanisme pour minimiser les inconvénients en cas d'interruption pendant l'écriture  :
> 
> - Trouver un répertoire pour fichiers temporaires
> - Écrire le nouveau fichier dedans
> - Effacer l'ancien fichier
> - Déplacer le nouveau fichier à sa place
> 
> Ça permet de remplacer l'ancien fichier par le nouveau de façon quasi-atomique (pas tout à fait, puisqu'on doit faire Ada.Directories.Delete_File avant Ada.Directories.Rename, mais presque).
> 
> As-tu des recommandations à me donner dans ce domaine ?
En fait, il y a une séquence critique, et il parait que certains trous 
de sécurité exploitent des choses comme ça: entre le moment où tu 
effaces le fichier et celui du move, un intrus peut créer un fichier 
piégé avec le nom qui va bien... C'est un peu parano, mais plutôt que 
d'effacer l'ancien fichier, il vaut peut-être mieux l'écraser avec le 
nouveau.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr
_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france