Sun Aug 2 09:28:46 CEST 2009

Managing External Resources

I'm wondering if it is possible to replace external resource
management (open/close) with garbage-collection.  Is this remote
resource management a `real' problem or is it merely an implementation

It seems to me that the reason is that "reachability" isn't always
observable[4].  A good example is webserver continuations.  Will the
client come back, or did it loose interest?  We can simulate
reachability using timeouts.  I've talked about this before: it seems
to be essentially a caching[5] problem.

I wonder what is the link with linear languages (possibly extended
with lazy copy) where open/close resource management is quite natural.

[1] http://okmij.org/ftp/Haskell/misc.html#fp-arrays-assembly
[2] http://okmij.org/ftp/Scheme/enumerators-callcc.html#Finalization
[3] http://okmij.org/ftp/papers/LL3-collections-enumerators.txt
[4] http://prog.vub.ac.be/amop/research/dgc
[5] entry://20090615-131905