Dynamic memory management for programmable devices

International Symposium on Memory Management

Volumn , Issue , 2002, Pages 139-149

  Kumar, Sanjeev ^a   Li, Kai ^a  

^a Princeton University   (United States)

Author keywords

Dynamic memory management; Model checking; Programmable devices; Reference counting

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STORAGE EQUIPMENT; INTERFACES (COMPUTER); PROGRAM PROCESSORS; STORAGE ALLOCATION (COMPUTER);

DYNAMIC MEMORY MANAGEMENT; MODEL CHECKING; REFERENCE COUNTING;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0242612044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512444.512447     Document Type: Conference Paper

References (27)

1. A. Acharya and M. U. amd Joel Saltz. Active Disks: Programming Model, Algorithms and Evaluation. In Architectural Support for Programming Languages and Operating Systems, 1998.
2. R. A. F. Bhoedjang, T. Rühl, and H. E. Bal. User-Level Network Interface Protocols. IEEE Computer, 31(11):53-60, 1998.
3. A. Bilas, C. Liao, and J. Singh. Using Network Interface Support to Avoid Asynchronous Protocol Processing in Shared Virtual Memory Systems. In International Symposium on Computer Architecture, 1999.
4. N. J. Boden, D. Cohen, R. E. Felderman, A. E. Kulawik, C. L. Seitz, J. N. Seizovic, and W.-K. Su. Myrinet: A Gigabit-per-Second Local Area Network. IEEE Micro, 15(1):29-36, 1995.
5. M. by Ben Zorn. Debugging Tools for Dynamic Storage Allocation and Memory Management. http://www.cs.colorado.edu/homes/zorn/public_html/MallocDebug.html, 2001.
6. Y. Chen, S. N. Damianakis, S. Kumar, X. Yu, and K. Li. Porting a User-Level Communication Architecture to NT: Experiences and Performance. In Usenix Windows NT Symposium, 1999.
7. Y. C. Chung, S.-M. Moon, K. Ebcioglu, and D. Sahlin, Reducing Sweep Time for a Nearly Empty Heap. In Principles of Programming Languages, 2000.
8. R. DeLine and M. Fahndrich. Enforcing High-Level Protocols in Low-Level Software. In Programming Languages Design and Implementation, 2001.
9. C. Dubnicki, A. Bilas, Y. Chen, S. Diaminakis, and K. Li. VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication. In Hot Interconnects, 1997.
10. C. Dubnicki, A. Bilas, K. Li, and J. Philbin. Design and Implementation of Virtual Memory-Mapped Communication on Myrinet. In International Parallel Processing Symposium, 1997.
11. D. Evans. Static Detection of Dynamic Memory Errors. In Programming Languages Design and Implementation, 1996.
12. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-Based Memory Management in Cyclone. In Programming Languages Design and Implementation, 2000.
13. R. Hastings and B. Joyce. Purify: Fast Detection of Memory Leaks and Access Errors. In Winter USENIX Conference, 1992.
14. C. A. R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666-667, Aug. 1978.
15. G. J. Holzmann. The Spin Model Checker. IEEE Transaction on Software Engineering, 23(5):279-295, May 1997.
16. S. Kumar. ESP: A Language for Programmable Devices. Technical report, Princeton University, Department of Computer Science Department, January 2001.
17. S. Kumar, Y. Mandelbaum, X. Yu, and K. Li. ESP: A Language for Programmable Devices. In Programming Languages Design and Implementation, 2001.
18. S. Pakin, M. Lauria, and A. Chien. High Performance Messaging on Workstations: Illinois Fast Messages (FM) for Myrinet. In Supercomputing Conference, 1995.
19. M. Tofte and J.-P. Talpin. Implementation of the Typed Call-by-Value lambda-Calculus Using a Stack of Regions. In Principles of Programming Languages, 1994.
20. T. von Eicken, A. Basu, V. Buch, and W. Vogels. U-Net: a user-level network interface for parallel and distributed computing. In Symposium on Operating Systems Principles, 1995.
21. T. von Eicken, D. E. Culler, S. C. Goldstein, and K. E. Schauser. Active Messages: A Mechanism for Integrated Communication and Computation. In International Symposium on Computer Architecture, 1992.
22. T. von Eicken and W. Vogels. Evolution of Virtual Interface Architecture. IEEE Computer, 31(11):61-68, 1998.
23. D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. In Network and Distributed System Security Symposium, 2000.
24. S. Walton, A. Hutton, and J. Touch. High-Speed Data Paths in Host-Based Routers. IEEE Computer, 31(11):46-52, 1998.
25. R. Y. Wang, T. E. Anderson, and D. A. Patterson. Virtual Log Based File Systems for a Programmable Disk. In Operating Systems Design and Implementation, 1999.
26. P. R. Wilson. Uniprocessor Garbage Collection Techniques. In International Workshop on Memory Management, 1992.
27. S. Woo, M. Ohara, E. Torrie, J. Singh, and A. Gupta. The SPLASH-2 Programs: Characterization and Methodological Considerations. In International Symposium on Computer Architecture, 1995.