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: 1 Bit; Zeit ∼ Speicher, auch bei viel Müll.
• benötigt Stack (gerade dann, wenn wir keinen Platz mehr haben)? -- Nein, pointer reversal möglich.
• 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, mono)