Datový typ zásobník
Datový typ zásobník představuje fragment operační paměti, přidělený pro každé vlákno dat.
Práce zásobníku je určena principem LIFO. Podstata tohoto principu spočívá v tom, že poslední přidaný fragment paměti do zásobníku se z něj vypíše jako první.
Podstata práce se zásobníkem spočívá v tom, že při deklaraci nové proměnné pomocí funkce se první přidá do zásobníku. Když funkce ukončí svou činnost - proměnná je automaticky odstraněna z paměti zásobníku a část, kterou zabírala, se stane dostupnou pro ostatní objekty.
Hlavní výhodou zásobníku je vysoká rychlost provádění kódu, nevýhoda však spočívá v tom, že při přetečení paměti přidělené pro zásobník nelze deklarované proměnné již měnit a provádění kódu se zastaví. Velikost zásobníku je nastavena při vytváření vlákna, a každá proměnná má svou maximální velikost paměti, která závisí především na jejím datovém typu. Kvůli tomu je nutné předem deklarovat velikost složitých datových typů (například objektů). Také zásobník může udržet v paměti pouze lokální proměnné, pro globální je třeba použít haldu.
