Does Links garbage collect unwakeable client-side threads? Specifically, I'm interested in setting up a mutable list as a linked list of mutable cons cells. Doing this with a stateful thread for each cell seems workable, but I'm not sure whether the list would get garbage-collected once pointers to it are gone.
If a thread is waiting on its mailbox, but no-one outside the thread has that mailbox address, will it be garbage collected? At least, will it be collectable by Javascript, or does the Links scheduling implementation hold pointers that would keep it around indefinitely? Thanks, Ian -- Ian Stark Laboratory for Foundations of Computer Science http://homepages.ed.ac.uk/stark School of Informatics, University of Edinburgh ------------------------------------------------------------------------------ The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. _______________________________________________ links-users mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/links-users -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
