Disposing of dismissives
Which of the following is "different"?
freeSTRef :: STRef s a -> ST s ()
closeIORef :: IORef a -> IO ()
endMVar :: MVar a -> IO ()
discardTVar :: TVar -> STM ()
hClose :: Handle -> IO ()
finalizeForeignPtr :: ForeignPtr a -> IO ()
...out of all these dismissive definitions, the last two -
finalizeForeignPtr - actually do exist. As for the rest, what service they could provide in the language is much more reliably performed by the implementation! So why not also leave the dismissing of file handles and foreign references to the implementation?
Unlike the other types and their values, those of
ForeignPtr allow access to external physical resources which are finite, which would be quickly spent without user intervention via dismissives like
finalizeForeignPtr...here's an idea: adapt the techniques used for those other types and values, so they can also be used with with file handles and foreign references.
The problem is one of liveness, namely the determining of which resources are still accessible from a running program - those which have been discarded can then be reclaimed, along with their resources.
The obvious solution?
This seems the ideal task for the implementation's garbage collector...provided it isn't carrying out a full collection each time a program e.g. uses up its quota of open file handles! That might work for megabyte-sized heaps, but frequently processing 'multi-gigabyte heaps is an entirely different matter.
The refined solution
The garbage collection process therefore needs to be adapted to the task - using file handles as the example:
1. the list of currently-open file handles are tagged "unused" by the program; 2. the tracing mechanism of the garbage collector operates as usual (during a full collection); 3. any open file handles still tagged "unused" are then closed.
So the tracing mechanism need only examine the heap and other program state in full - the remaining work just involves processing the list of file handles.
Opportunities for improvement
Of course, a direct implementation is only for prototypes, due to the frequent and full traces of all program state. Fortunately, as the technique is based on garbage collection, it can benefit from the extensive prior research, development and experience in this field of study (including hardware-based techniques).
Atravers 05:32, 9 November 2021 (UTC)