Safe manual memory management

International Symposium on Memory Management, ISMM

Volumn , Issue , 2007, Pages 2-14

  Gay, David ^a   Ennals, Rob ^a   Brewer, Eric ^a  

^a INTEL CORPORATION   (United States)

Author keywords

C; Memory management; Reference counting; Safety

Indexed keywords

C PROGRAMS; GARBAGE COLLECTION (GC); INTERNATIONAL SYMPOSIUM; MANUAL MEMORY-MANAGEMENT; MEMORY-MANAGEMENT; REFERENCE COUNTING; SPACE OVERHEAD; SPACE USAGE; WORST CASE;

APPLICATION PROGRAMMING INTERFACES (API); C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; MANAGEMENT; PROGRAM DEBUGGING; REFUSE COLLECTION; REFUSE DISPOSAL; WASTE DISPOSAL;

DATA STORAGE EQUIPMENT;

EID: 42149092567     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1296907.1296911     Document Type: Conference Paper

References (33)

1. ANDERSON, Z., BREWER, E., CONDIT, J., ENNALS, R., GAY, D., HARREN, M., NECULA, G. C., AND ZHOU, F. Beyond bug-finding: Sound program analysis for Linux. In HOTOS XI (2007).
2. APPLE. Cocoa, http://developer.apple.com.
3. AUSTIN, T. M., AND SOHI, S. E. B. G. S. Efficient detection of all pointer and array access errors. In PLDI'94.
4. BACON, D. F., AND RAJAN, V. Concurrent cycle collection in reference counted systems. In ECOOP'01.
5. BERGER, E. D. Memory Management for High Performance Applications. PhD thesis, University of Texas at Austin, 2002.
6. BOBROW, D. G. Managing re-entrant structures using reference counts. ACM Transactions on Programming Languages and Systems 2, 3 (1980).
7. BOEHM, H., AND WEISER, M. Garbage collection in an uncooperative environment. Software Practice and Experience (1988), 807-820.
8. CONDIT, J., HARREN, M., ANDERSON, Z., GAY, D., AND NECULA, G. Dependent types for low-level programming. In ESOP'07.
9. DEUTSCH, L. P., AND BOBROW, D. G. An efficient, incremental, automatic garbage collector. Communications of the ACM 19, 9 (1976).
10. DHURJATI, D., AND ADVE, V. Backwards-compatible array bounds checking for C with very low overhead. In ICSE'06.
11. DHURJATI, D., KOWSHIK, S., ADVE, V., AND LATTNER, C. Memory safety without garbage collection for embedded applications. Trans. on Embedded Computing Sys. 4, 1 (2005), 73-111.
12. ENGLER, D., AND ASHCRAFT, K. RacerX : Effective, static detection of race conditions and deadlocks. In SOSP'03.
13. EVANS, D. Static detection of dynamic memory errors. In PLDI'96.
14. FISCHER, C. N., AND LEBLANC, R. J. The implementation of run-time diagnostics in Pascal, IEEE Transactions on Software Engineering SE-6, 4 (July 1980), 313-319.
15. GAY, D., AND AIKEN, A. Language support for regions. In PLDV'01.
16. JIM, T., MORRISETT, G., GROSSMAN, D., HICKS, M., CHENEY, J., AND WANG, Y. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference (2002).
17. JONES, R., AND LINS, R. Garbage Collection. Wiley, 1996.
18. JONES, R. W. M., AND KELLY, P. H. J. Backwards compatible bounds checking for arrays and pointers in C. In Automated and Algorithmic Debugging (AADEBUG'97) (1997).
19. LEVANONI, Y., AND PETRANK, E. An on-the-fly reference counting garbage collector for Java. In OOPSLA'01.
20. LOGINOV, A., YONG, S., HORWITZ, S., AND REPS, T. Debugging via run-time type checking. In FASE'01.
21. LOMET, D. B. Making pointers safe in system programming languages. IEEE Transactions on Software Engineering SE-11, 1 (Jan. 1985), 87-96.
22. NECULA, G. C., CONDIT, J., HARREN, M., MCPEAK, S., AND WEIMER, W. CCured: Type-safe retrofitting of legacy software. ACM Transactions on Programming Languages and Systems 27, 3 (May 2005).
23. NECULA, G. C., MCPEAK, S., AND WEIMER, W. CIL: Intermediate language and tools for the analysis of C programs. In International Conference on Compiler Construction (April 2002), Grenoble, France, pp. 213-228. http://cil.sourceforge.net/.
24. NEXT. Openstep. http://www.gnustep.org.
25. PATIL, H. G., AND FISCHER, C. N. Low-cost, concurrent checking of pointer and array accesses in C programs. Software Practice and Experience 27, 12 (Dec. 1997), 87-110.
26. PERENS, B. Electric fence. http://perens.com/FreeSoftware/.
27. RATIONAL SOFTWARE. Purify: Fast detection of memory leaks and access errors, http://www.rational.com.
28. SAVAGE, S., BURROWS, M., NELSON, G., AND SOBALVARRO, P. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Science 15, 4 (1997).
29. SEWARD, J., AND NETHERCOTE, N. Using Valgrind to detect undefined value errors with bit-precision. In USENIX Annual Technical Conference (2005).
30. SPEC. SPECCPU 2000 and 2006. http://www.spec.org.
31. WATSON, G. Dmalloc - debug malloc. http://dm.alloc.com.
32. WILSON, P. R. Uniprocessor garbage collection techniques. In Proceedings of the International Workshop on Memory Management (1992).
33. ZORN, B. The measured cost of conservative garbage collection. Tech. Rep. CU-CS-573-92, University of Colorado at Boulder, April 1992.