[yrro]

But it doesn't have to. Space is freed up deterministically, not "sooner or later".

[dataflow]

What? Space can't be freed up while the file is in use. The process is using the file, the data needs to be there...