论文信息 - Improving the performance of SML garbage collection using application-specific virtual memory management

Improving the performance of SML garbage collection using application-specific virtual memory management

We improved the performance of garbage collection in the standard ML of New Jersey system by using the virtual memory facilities provided by the Mach kernel. We took advantage of Mach's support for large sparse address spaces and user-defined paging servers. We decreased the elapsed time for realistic application by as much as a factor of 4.

[1] Robin Milner,et al. Definition of standard ML , 1990 .

[2] Andrew W. Appel,et al. Simple generational garbage collection and fast allocation , 1989, Softw. Pract. Exp..

[3] Indira Subramanian. Managing Discardable Pages with an External Pager , 1991, USENIX MACH Symposium.

[4] J. Gregory Morrisett,et al. Adding threads to Standard ML , 1990 .

[5] Dylan McNamee,et al. Extending the Mach External Pager Interface to Accomodate User-Level Page Replacement Policies , 1990, USENIX MACH Symposium.

[6] Andrew W. Appel,et al. A Standard ML compiler , 1987, FPCA.

[7] David L. Black,et al. The duality of memory and communication in the implementation of a multiprocessor operating system , 1987, SOSP '87.

[8] Andrew W. Appel,et al. An advisor for flexible working sets , 1990, SIGMETRICS '90.

[9] Robert Fenichel,et al. A LISP garbage-collector for virtual-memory computer systems , 1969, CACM.