Microsoft’s design puts no overhead on garbage collections or operations such as write barriers. Programmers who want to optimize applications must incrementally change code to allocate objects in the manual heap and explicitly deallocate them. Manually managed objects are guaranteed full type- and temporal- safety, including in the presence of concurrent accesses. Developers get dynamic managed exceptions for use-after-free situations but no crashes or security vulnerabilities, according to the report.
Sign up for Computerworld eNewsletters.