Documentation of os.exec*() provides confusing information about "flushing file descriptors"
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 77.2k
- Forks
- 36k
- Métriques de merge des PR
- Métriques de PR en attente
Description
Documentation
The documentation of os.exec*() says:
The current process is replaced immediately. Open file objects and descriptors are not flushed, so if there may be data buffered on these open files, you should flush them using sys.stdout.flush() or os.fsync() before calling an exec* function.
However, os.fsync() flushs OS buffers to disk, and has nothing to with flushing userspace buffer to OS.
Linked PRs
- gh-133333
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par la documentation de os.exec*() citée dans l’issue et comparez les rôles de sys.stdout.flush() et os.fsync(). Vérifiez que la formulation distingue correctement la mise en mémoire tampon de l’espace utilisateur des tampons de l’OS, puis vérifiez que la documentation révisée explique clairement ce qui doit être vidé avant exec*().
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- documentation
- Type d'issue
- Documentation
- Difficulté
- 1/5
- Temps estimé
- Moins d'une heure
- Activité
- À l'abandon
- Clarté
- Clairement spécifiée
- Accessibilité débutants
- 45/100