Re: [問題] 你所不知道的C語言：函式呼叫篇

看板C_and_CPP (C/C++)作者lc85301 (pomelocandy)時間1年前 (2023/03/15 15:07)推噓6(6推 0噓 2→)

留言8則, 5人參與討論串2/2 (看更多)

: ※ 引述《Kuba4ma ()》之銘言： : https://reurl.cc/ZXWRl3 : 在「從遞迴觀察函式呼叫」這個part，我的理解如下 : 用static int count去統計有多少個stack frame (或是遞迴執行多少次) : 在func內增加local variable後，因為stack frame內要多塞4 byte的 y ，所以stack : frame變大，count變小 : 目前為止還看得懂 : 但是我不懂下面這段為什麼135168要乘以4 : ``` : 60000Hex - 3f000Hex = 21000Hex = 135168Dec : 135168 * 4 = 540672 : 這跟前面的數字很接近！ : ``` 很接近這個詞本身就滿危險的，我們在處理電腦位址，精確是基本位址可不是月台會有 9 3/4 位址…，也不是浮點數會有 0.300000004 : 135168不是代表stack大小嗎? 乘以4是代表什麼意思 : 看完jserv的影片後還是不懂，麻煩各位解惑，謝謝 : -- : ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 203.204.54.161 (臺灣) : ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1678592802.A.02B.html : 推 FanFlyAway: 這裡的 4 應該是指每個 int 會占用 4 bytes 03/12 12:13 : → Kuba4ma: 我的理解是524092是進到stack的次數，135168是整個stack 03/12 13:25 : → Kuba4ma: 的大小(單位是byte)，但把整個stack大小乘以4的目的是什 03/12 13:25 : → Kuba4ma: 麼？stack的大小不是固定的嗎？ 03/12 13:25 : 推 KaryuuIssen: 可能寫錯了吧我覺得寫174697*3=524091接近比較合理 03/12 17:37 : → KaryuuIssen: 畢竟第三個版本的func的stack frame是第一個版本的 03/12 17:38 : → KaryuuIssen: 三倍大 03/12 17:38 : → KaryuuIssen: 而且這裡的135168是pid=1程序的stack size 跟跑迴圈 03/12 17:40 : → KaryuuIssen: 的程序的stack size沒什麼關係 03/12 17:40 : → KaryuuIssen: 修正一下用詞是遞迴不是迴圈 03/12 17:41 : 推 LPH66: 同意樓上, 可能原作者不知道所以把它們隨意關連在一起了 03/12 19:58 綜合推文，寫一下我的理解跟實驗結果，歡迎大家指教一下測試環境 WSL2 / ubuntu 22.04.1 uname -a $ LTS 5.10.16.3-microsoft-standard-WSL2 我的 infinite.c 的實驗結果 (gdb) p count $1 = 524149 ===== 其實一次 stack 佔多少不用猜， gdb 就能印 $rsp 了進 gdb 後，先 start 停在 main 的進入點 (gdb) info inferior Num Description Connection Executable * 1 process 4884 1 (native) /tmp/infinite $ cat /proc/4884/maps | grep stack 7ffffffde000-7ffffffff000 rw-p 00000000 00:00 0 [stack] stack size = 0x21000 倒是一樣的，無論 proc 1 或是 infinite 但這是假像，讓我們看下去 (gdb) p $rsp 0x7fffffffe750 (gdb) b func (gdb) c (gdb) p $rsp 0x7fffffffe740 每次遞迴所用的 stack size 為 0x10 = 16 bytes 跑到 segmentation fault (gdb) p $rsp 0x7fffff7ff000 差別在這裡，系統的 stack 上限不是 0x21000，而是隨執行擴大的這個時候再去印 /proc/{PID}/maps 7fffff7ff000-7ffffffff000 rw-p 00000000 00:00 0 [stack] stack = 0x800000 = 8K 這可以透過 ulimit -a 得到證實 $ ulimit -a ... -s: stack size (kbytes) 8192 ... 可以的遞迴次數為 (0x7fffffffe750 - 0x7fffff7ff000 ) / 0x10 = 524,149 完美那個 x4 是錯誤理解吧

推

stupid0319

03/12 21:17, 1年前 , 1^F

03/12 21:17, 1^F

完了這是什麼我也不會，大大教我怎麼用QQ : 推 seanwu: 想算stack size要在assembly下看才有意義，不然編譯器可能 03/13 00:44 : → seanwu: 都最佳化掉了，另外大部份abi下stack pointer會有不同的al 03/13 00:44 : → seanwu: ignment要求，實際上會佔得比local variable多一點 03/13 00:44 結論 1. /proc/1 跟 proc/infinite 開始時的 stack 是一樣的 0x21000 但因為 infinite 會遞迴吃掉一堆 stack，用掉 0x21000 os 會跳進來擴大 stack 直到設定的上限 8192 KB 2. 善用 gdb ，可以直接檢查 $rsp, $rbp ，不用瞎猜 3. 514149 來自 8192 KB 扣掉全域變數，每一遞迴用掉 16 bytes 的結果原文那個 *4 是誤解，希望有人看到能修掉至於 Linux 怎麼做到動態擴大 process 的 stack ，對不起我舉燭我也不懂QQQQ 期待高手回文幫小弟解惑