Neil Mitchell
Abstract
A space leak occurs when a computer program uses more memory than necessary. In contrast to memory leaks, where the leaked memory is never released, the memory consumed by a space leak is released, but later than expected. This article presents example space leaks and how to spot and eliminate them.
- Augustsson, L. 2011. Pragmatic Haskell. Presentation at the CUFP (Commercial Users of Functional Programming) Conference; http://www.youtube.com/watch?v=hgOzYZDrXL0.Google Scholar
- Augustsson, L. 2011. More points for lazy evaluation. Things that Amuse Me; http://augustss.blogspot.co.uk/2011/05/more-points-for-lazy-evaluation-in.html.Google Scholar
- Glasgow Haskell Compiler Team. 2013. The Glorious Glasgow Haskell Compilation System User's Guide, Version 7.6.3; http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html.Google Scholar
- Hofmann, M., Jost, S. 2003. Static prediction of heap space usage for first-order functional programs. Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL): 185-197. Google ScholarDigital Library
- Hughes, J. 1983. The design and implementation of programming languages. Ph.D. thesis. Oxford University.Google Scholar
- Hughes, J. 1989. Why functional programming matters. Computer Journal 32(2): 98-107. Google ScholarDigital Library
- Liu, H., Hudak, P. 2007. Plugging a space leak with an arrow. Electronic Notes in Theoretical Computer Science 193:29-45. Google ScholarDigital Library
- Rogers, C. 2012. Web Audio API; http://www.w3.org/TR/2012/WD-webaudio-20120802/.Google Scholar
- Röjemo, N., Runciman, C. 1996. Lag, drag, void and use heap profiling and space-efficient compilation revisited. Proceedings of the 1st ACM SIGPLAN International Conference on Functional Programming (ICFP):34-41. Google ScholarDigital Library
- Wadler, P. 1987. Fixing some space leaks with a garbage collector. Software: Practice and Experience 17(9): 595-608. Google ScholarDigital Library
- Yang, E. 2013. hp/D3.js; http://heap.ezyang.com/.Google Scholar
Index Terms
- Leaking Space: Eliminating memory hogs
Recommendations
Space Oblivious Compression: Power Reduction for Non-Volatile Main Memories
GLSVLSI '15: Proceedings of the 25th edition on Great Lakes Symposium on VLSIPower consumption of main memory has become a critical concern and has led to proposals to employ emerging non-volatile memories (NVMs) to replace or augment DRAM. This paper proposes Space Oblivious COmpression (SOCO), an in-place lightweight ...
Swap space management technique for portable consumer electronics with NAND flash memory
Flash memory has more capacity and a lower price. It makes flash memory more suitable for portable consumer electronics. Portable consumer electronics such as table PC and smart phones use NAND flash memory as a secondary storage because it has many ...
Compiler-assisted dynamic scratch-pad memory management with space overlapping for embedded systems
Scratch-pad memory (SPM), a small, fast, software-managed on-chip SRAM (Static Random Access Memory) is widely used in embedded systems. With the ever-widening performance gap between processors and main memory, it is very important to reduce the ...
Comments