Documentation of os.exec*() provides confusing information about "flushing file descriptors"
Ninguém assumiu esta issue ainda.
- Linguagem predominante
- Python
- Estrelas
- 77.2k
- Forks
- 35.9k
- Métricas de merge de PRs
- Métricas de PR pendentes
Descrição
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
Guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Direção de pesquisa
Comece pela documentação de os.exec*() citada na issue e compare as funções de sys.stdout.flush() e os.fsync(). Confirme que a redação distingue corretamente o armazenamento em buffer no espaço de usuário dos buffers do OS e, em seguida, verifique se a documentação revisada explica claramente o que deve ser descarregado antes de exec*().
Escrita pelo modelo de indexação a partir do texto da issue.
Avaliação
- Stack de tecnologia
- python
- Domínio
- documentation
- Tipo de issue
- Documentação
- Dificuldade
- 1/5
- Tempo estimado
- Menos de uma hora
- Status de atividade
- Estagnada
- Clareza
- Claramente especificada
- Facilidade para iniciantes
- 45/100