![]() There have been some useful spin-offs from this research with some recently developed tools for heap analysis and leak detection for applications written in Delphi, as well as a conservative heap manager replacement for Delphi using techniques based on the Boehm–Demers–Weiser garbage collector. At the core of the efficiency improvements being explored are those of garbage collection and language design, and there has been some constructive progress. However, it is a big challenge for a functional language to operate efficiently at a kernel level where typically an imperative language would be used instead. ![]() Functional programming, if implemented and used properly, can eliminate a wide range of exploits used to bypass operating system security. While it may seem a strange idea to choose to write an operating system kernel in a functional language, there are some distinct advantages in using functional design for such a task. In the modern Internet, security has become paramount, and there has been a strong drive to build systems which can be proven to be stable and free from exploitation due to insecure operating system design techniques. ![]() Our latest research has been into the use of functional languages for operating system development, in particular for kernel construction. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |