Thanks!
I had missed the fact that FileDescriptor keeps a list of all owners.
Apparently (1) closing a single File*Stream effectively closes all such
Streams using the same FileDescriptor? And (2) whenever one such Stream is
reachable they are all retained. Thus presumably none can be finalized
un
Hi,
Maybe I'm missing something but...
Hans Boehm je 28. 12. 2017 ob 21:32 napisal:
The design of the getFD() calls in some Java *Stream classes seems
problematic, and doesn't seem cleanly fixable without a spec change. I
first noticed this in JDK 8 code, but Roger Riggs recent JDK 10 changes
a
