Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and ....Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and more efficient than previous work. Here we wish to extend this family to operate effectively in a specific architecture increasingly favoured by many modern distributed high-performance computing systems.Read moreRead less
A safe and efficient multi-language component framework based on dynamic compilation. Components are a versatile mechanism for the construction of extendible systems and for improved code reusability. Emerging environments like Microsoft's .NET support the interaction of components written in different programming languages. To date, such systems do not adequately isolate components which therefore must trust each other. This is unacceptable for components loaded across the Internet. We will dev ....A safe and efficient multi-language component framework based on dynamic compilation. Components are a versatile mechanism for the construction of extendible systems and for improved code reusability. Emerging environments like Microsoft's .NET support the interaction of components written in different programming languages. To date, such systems do not adequately isolate components which therefore must trust each other. This is unacceptable for components loaded across the Internet. We will develop a framework for secure execution of component software, based on hardware-enforced protection domains. To minimize the resulting runtime overheads we will provide a component model with lightweight context switching. A novel typed intermediate language and dynamic compilation techniques will offer complementary optimisations.
Read moreRead less