Markierende Kollektoren

• bei Speicheranforderung, die nicht erfüllt werden kann:
• alle lebenden, d. h. von Wurzeln erreichbaren Objekte werden markiert (mark)
• restliche in Freispeicherliste (sweep)
• Markierung nur ein Bit; Zeit $\sim$ Speicher, auch bei viel Müll.
• ist konservativ: anwendbar auch bei Sprachen, bei denen Zeiger nicht sicher erkennbar sind
• http://www.hpl.hp.com/personal/Hans_Boehm/gc/

  (z. B. benutzt in GNU JVM)