CSE 320: Programming Languages @ CSU, San Bernardino

Go back to home page

Memory Ⅰ

Required Reading

  1. Sections 11.1, 11.2, and 11.3 and chapter 11 of PLAI. It is highly recommend to do the exercises in the book.

The focus in this reading should be on the following concepts:

  • What does it mean for memory management to be complete and sound?
  • What is fragmentation?
  • What is a free-list?
  • What does it mean to trade space for time?
  • What is padding?
  • What is reference counting?
  • What happens if a reference counting mechanism does not track and break references cycles?

Optional Reading

  1. “What is reference counting?” by Edaqa Mortoray.

Advanced Reading

  1. “A Semantic Model of Reference Counting and Its Abstraction” by Paul Hudak.