Documentation of os.exec*() provides confusing information about "flushing file descriptors"

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

Bắt đầu với tài liệu về os.exec*() được trích dẫn trong issue và so sánh vai trò của sys.stdout.flush() với os.fsync(). Xác nhận rằng cách diễn đạt phân biệt chính xác việc đệm trong userspace với các bộ đệm của OS, sau đó kiểm tra xem tài liệu đã sửa có giải thích rõ ràng những gì cần được flush trước exec*() hay không.