堆棧到底是個什麼東西？

編程語言書籍中經常解釋值類型被創建在棧上，引用類型被創建在堆上，但是並沒有本質上解釋這堆和棧是什麼。我僅有高級語言編程經驗，沒有看過對此更清晰的解釋。我的意思是我理解什麼是棧，但是它們到底是什麼，在哪兒呢（站在實際的計算機物理內存的角度上看）？ 1. 在通常情況下由操作系統（OS）和語言的運行時（runtime）控制嗎？ 2. 它們的作用範圍是什麼？ 3. 它們的大小由什麼決定？ 4. 哪個更快？

>>阅读原文<<