Documentation of os.exec*() provides confusing information about "flushing file descriptors"
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 77.2k
- Fork
- 35.9k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
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
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Inizia con la documentazione di os.exec*() citata nell’issue e confronta i ruoli di sys.stdout.flush() e os.fsync(). Verifica che la formulazione distingua accuratamente il buffering nello userspace dai buffer del sistema operativo, quindi verifica che la documentazione revisionata spieghi chiaramente cosa deve essere sottoposto a flush prima di exec*().
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- documentation
- Tipo di issue
- Documentazione
- Difficoltà
- 1/5
- Tempo stimato
- Meno di un'ora
- Stato di attività
- Ferma
- Chiarezza
- Specificata chiaramente
- Idoneità per principianti
- 45/100