Thanks to Bruce and Sage.
I work with DrRacket 8.3 CS under windows 10. Indeed, I can see that during closing the port before deleting the file, there is activity on the output device for some time. Probably because of flushing buffers. I have experimented a bit with output of 1 GB to a 16 GB USB stick. I have no idea where buffers with capacity of 1 GB or more may reside. I can see that after deletion and closing, the 1GB is freed.
It is a touch unclear what you mean by deleting the file and on which OS you are using.
On Linux and similar OSes the rm command just calls the unlink system call. This removes the file from the directory and if the link count is now 0 then the file is removed from disk. But this last part happens only if the file is not open. If it open you get a situation where it is still on disk but not visible in any directory.
As long as the process does not close the file then all is good. You can write and read to the file with no problems. But when the file is closed then the file will disappear from disk.
More than once in my life there has been the "where did all the disk space go?" conversation that has resulted in a multi megabyte, multi gigabyte or now multi terabyte file being found and deleted. Without figuring out that it was open and therefore won't go away until some process is killed as well.
Now none of the above could apply to Racket. One would need to know the gory details of how file writing is implemented.
But this would explain what you see.
On 2021-12-19T18:08:13.000+01:00, Sage Gerard <s...@sagegerard.com> wrote:
You received this message because you are subscribed to the Google Groups "Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/87C71C0A-6FBA-4701-97AA-18782A253BE2%40hxcore.ol.
- [racket-users] Surprising but convenient Jacob Jozef