Simple, fast and safe manual memory management
Safe programming languages are readily available, but many applications continue to be written in unsafe languages, because the latter are more efficient. As a consequence, many applications continue to have exploitable memory safety bugs. Since garbage collection is a major source of inefficiency in the implementation of safe languages, replacing it with safe manual memory management would be an important step towards solving this problem.
Previous approaches to safe manual memory management use programming models based on regions, unique pointers, borrowing of references, and ownership types. We propose a much simpler programming model that does not require any of these concepts. Starting from the design of an imperative type safe language (like Java or C#), we just add a delete operator to free memory explicitly and an exception which is thrown if the program dereferences a pointer to freed memory. We propose an efficient implementation of this programming model that guarantees type safety. Experimental results from our implementation based on the C# native compiler show that this design achieves up to 3x reduction in peak working set and run time.
Mon 19 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:40: Language ImplementationPLDI Research Papers at Actes, Civil Engineering Chair(s): David F. BaconGoogle | |||
14:00 - 14:25 Talk | Bringing the Web up to Speed with WebAssembly PLDI Research Papers Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft Media Attached | ||
14:25 - 14:50 Talk | Miniphases: Compilation using Modular and Efficient Tree Transformations PLDI Research Papers Media Attached | ||
14:50 - 15:15 Talk | Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking PLDI Research Papers Media Attached | ||
15:15 - 15:40 Talk | Simple, fast and safe manual memory management PLDI Research Papers Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge Media Attached |