Ugrás a tartalomhoz

Boehm garbage collector

A Wikiszótárból, a nyitott szótárból

Angol


Főnév

Boehm garbage collector (tsz. Boehm garbage collectors)

  1. (informatika) A Boehm Garbage Collector (Boehm-Demers-Weiser GC, röviden: Boehm GC) egy általános célú, konzervatív szemétgyűjtő C, C++ és más nyelvek számára.
  • Teljes neve: Boehm-Demers-Weiser Garbage Collector
  • Első verzió: 1980-as évek vége – 1991-től széles körben használt.
  • Alkotói: Hans-J. Boehm, Alan J. Demers, Mark Weiser.
  • Nyílt forráskódú (GNU LGPL).

A Boehm GC lehetővé teszi a memóriakezelés automatizálását még olyan nyelvekben is, amelyek eredetileg manuális memóriakezelést igényelnek (C, C++).


Miért érdekes?

  • A legtöbb garbage collector nyelvekhez van szorosan kötve (Java GC, .NET GC).
  • A Boehm GC általános célú → beilleszthető bármilyen C/C++ programba.
  • Lehetővé teszi biztonságosabb és kényelmesebb memóriakezelést.
  • Minimalizálja a memory leak és dangling pointer hibákat.


Konzervatív GC — mit jelent?

A Boehm GC konzervatív:

👉 Nem tudja 100%-ig pontosan, hogy egy memóriaterület valódi pointer-e vagy csak egy véletlen szám, ami úgy néz ki, mint egy pointer.

Ezért feltételezi, hogy egy bizonyos mintázatú érték pointer lehet → ha igen, megőrzi a rámutatott objektumot.

  • Ezért a Boehm GC nem tudja garantálni, hogy minden elérhetetlen objektumot azonnal eltávolít.
  • De semmit nem töröl le tévesen → biztonságos.


Alapelvek

  • Tracing collector → követi az elérhető objektumokat (root set → heap).
  • Conservative → nem igényel speciális pointer típusú információt a fordítótól.
  • Non-moving → a Boehm GC nem másolgatja az objektumokat → a címük állandó marad.


Felhasználási mód

A Boehm GC-t C/C++ kódba nagyon könnyű integrálni:

1️⃣ Letöltöd a libgc könyvtárat → https://www.hboehm.info/gc/ 2️⃣ Programodban így használhatod:

#include <gc.h>

int main() {
    GC_INIT();  // GC inicializálása

    int* arr = (int*) GC_MALLOC(sizeof(int) * 100);

    arr[0] = 42;

    // Nem kell free() → GC automatikusan felszabadítja
    return 0;
}

GC_MALLOC() → automatikusan GC által figyelt memóriaterületet foglal.

GC_INIT() → inicializálja a GC-t.

Nincs free() → a GC időnként lefut és takarít.


Hasonlóság más GC-kel

Hasonló a Java, C# GC-hez, de:

  • Boehm GC nem “generational” → nem különíti el fiatal/öreg objektumokat.
  • Nem “moving” → objektumok címe fix marad.
  • Konzervatív → nem mindig törli a potenciálisan pointerként kinéző adatokat.


Hogyan működik?

Memóriamodell:

  • A GC-nek saját heap-je van.
  • A GC figyeli a program stack-jét, regisztereit, globális változóit → innen követi az elérhető pointereket.

Mark and Sweep algoritmus:

  1. Stop-the-world → megállítja a programot (bizonyos pillanatokban).
  2. Mark → a GC végigjárja az összes pointert (root set) és követi a heap-en lévő referenciákat.
  3. Sweep → felszabadítja azokat a heap objektumokat, amelyekre senki nem mutat.

Konzervatív elemzés:

  • Ha egy memóriaterület úgy néz ki, mint egy pointer, a GC biztonságból megtartja az objektumot.
  • Ha ténylegesen nem pointer → objektum túlélhet néhány GC ciklust, de később felszabadulhat.

Incrementális működés:

  • A modern Boehm GC képes inkrementális GC-t is végezni → nem állítja le teljesen a programot → interaktív alkalmazásoknál hasznos.


Előnyök

✅ Könnyen integrálható C/C++-ba → meglévő kódhoz is.

✅ Általános célú → nem kell új nyelvet tanulni.

✅ Nem igényel speciális fordítót → nem kell a fordítónak GC-információt generálnia.

✅ Non-moving → az objektumok címe stabil marad → C/C++ könyvtárakkal 100%-ban kompatibilis.

✅ Megoldja a memory leak problémát → nem kell free().


Hátrányok

❌ Nem garantált, hogy minden “garbage” azonnal eltűnik → konzervatív.

❌ Nincs generációs optimalizáció → fiatal objektumok eltakarítása lassabb lehet.

❌ Stop-the-world pause → bizonyos esetekben megállíthatja rövid időre a programot.

❌ Magasabb memóriafogyasztás lehet → mivel óvatosan bánik a “potenciális” pointerekkel.


Tipikus felhasználási területek

✅ Régi C/C++ kód modernizálása → memory leak minimalizálása.

✅ Interaktív programok → GUI, játékok, web szerverek.

✅ Interpreterek, VM-ek → Scheme, Lisp, Smalltalk implementációkban is népszerű.

✅ Gyors prototípus készítés C/C++-ban → nem kell free()-t írni.


Példakód C++-ban

#include <gc/gc_cpp.h>  // C++ wrapper

class MyObject : public gc {
public:
    int x;
    MyObject(int val) : x(val) {}
};

int main() {
    MyObject* obj = new MyObject(42);

    // Nem kell delete obj;
    // Boehm GC automatikusan takarít

    return 0;
}

Összegzés

Tulajdonság Érték
Algoritmus típusa Conservative Mark & Sweep
Moving? Nem
Generációs GC? Nem
Inkrementális? Igen (opcionális)
Nyelvek C, C++, egyéb (pl. Lisp implementációk)
Stabilitás Nagyon stabil (széles körben használt)
Könnyű integrálni? Igen


Mikor érdemes Boehm GC-t használni?

✅ Ha C/C++-ban dolgozol és nem akarsz kézzel malloc/free-t kezelni. ✅ Ha régi C/C++ kódba biztonságos memóriakezelést akarsz beépíteni. ✅ Ha interaktív alkalmazást írsz (játék, GUI) és fontos, hogy a program hosszabb távon is stabil maradjon. ✅ Ha gyors prototípust akarsz írni C/C++-ban.


Záró gondolat

A Boehm-Demers-Weiser GC máig az egyik legnépszerűbb általános célú, konzervatív garbage collector C/C++ programokhoz.

Előnye:

  • Szinte drop-in módon integrálható.
  • Nem igényel speciális fordítást, külön nyelvtámogatást.

Hátránya:

  • Konzervatív → több memóriát használhat.
  • Nem generációs → hosszabb életű objektumok kezelésében nem optimális.

További információk

A lap eredeti címe: „https://hu.wiktionary.org/w/index.php?title=Boehm_garbage_collector&oldid=3500229”