[問題] stack裡變數位址越後定義越高

[ucrxzero (RX-0)]

開發平台(Platform): (Ex: Win10, Linux, ...) 
Linux

編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
gcc

問題(Question)：


程式碼(Code)：(請善用置底文網頁, 記得排版，禁止使用圖檔) 
int main(){
    int a=1000;
    int b=2000;
    int c=3000;
    int d=4000;
    int e=5000;
    int f=6000;
    return 0;
}

產生以下組語


    movl    $1000, -24(%rbp)
    movl    $2000, -20(%rbp)
    movl    $3000, -16(%rbp)
    movl    $4000, -12(%rbp)
    movl    $5000, -8(%rbp)
    movl    $6000, -4(%rbp)
    movl    $0, %eax
    popq

為什麼不是慢慢往下長而是先從最下面長上來?

這是照a~f的位址印的
0x7ffdb6a309a0
0x7ffdb6a309a4
0x7ffdb6a309a8
0x7ffdb6a309ac
0x7ffdb6a309b0
0x7ffdb6a309b4
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 43.248.19.192 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1603386030.A.275.html
→ ucrxzero: 有組語版嗎?
→ ucrxzero: 另外我想問為何eax會是0~
※ 編輯: ucrxzero (43.248.19.192 臺灣), 10/23/2020 01:57:45
→ firejox: 組語板 asm
→ ucrxzero: 發在這也可以吧
→ ucrxzero: 我要問位址的問題而已
→ ucrxzero: 感謝提供
→ ucrxzero: 想到台大電機這題剛好請神人解釋
→ ucrxzero: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1544605335.A.
→ ucrxzero: 904.html
推 KaryuuIssen: 順序是未定義的  怎麼長都可以  我記得緩衝區防護
→ KaryuuIssen: 好像有影響  你編譯加個 -fno-stack-protector 試試
加了就往下長欸好神奇喔
推 LPH66: 然後 %eax 設為 0 就是你的 return 0
→ Lipraxde: 怎麼 return value 可以參考 System V ABI 裡的 Parame
→ Lipraxde: ter Passing，不同的 return type 有不同的傳法，屬於
→ Lipraxde: integer 的是用 rax、rdx return
※ 編輯: ucrxzero (43.248.19.192 臺灣), 10/23/2020 09:15:28
→ ucrxzero: 感謝大大
→ ucrxzero: 所以結論是往上往下都可 heap是只能往上
→ ucrxzero: 回傳值是給eax用的這樣嗎
→ ucrxzero: 不過直觀感覺往上長才會溢位需要保護 反而要保護往下長
→ ucrxzero: 我看來要多看書
→ Lipraxde: 應該是要看進出 function 時 stack pointer 的變化，st
→ Lipraxde: ack 應該還是往下長的
→ ucrxzero: CSAPP上說return address是%rbp+4原來是eax
→ ucrxzero: 感謝大大
推 LPH66: 呃, 不對; eax 和 return address 是不同的東西
→ LPH66: eax 是回傳的值, return address 是回去的程式位址
→ LPH66: 硬要說的話後者是 return 0 的 return, 前者是 0
→ ucrxzero: 這篇真多寶藏
推 b0920075: 往上往下通常用在記憶體空間的擴增方向不太會用在區域
→ b0920075: 變數的賦值順序...
→ ucrxzero: 我想也是
→ ucrxzero: heap 是用best fit 用過的可能還會釋放或GC後重新分配
→ ucrxzero: 不一定只會往上
→ sarafciel: 你看movl塞的offset都是負的 所以stack是往低位長
→ sarafciel: 至於stack frame裡面要怎麼塞區域變數就是看編譯器高興
→ ucrxzero: 我看這兩天把CSAPP的procedure call看完
推 Killercat: 雖然說這個並沒有定義，但是大多數作業系統實作上是一
→ Killercat: 多半使用類似的做法，可以參考這個網址
→ Killercat: https://tinyurl.com/y5r6tk5c
→ Killercat: Linux來講直到2.16都是這樣，所以stack/heap喜相逢會
→ Killercat: 碰到一些問題，不過後來有稍微做了些改變
→ Killercat: 不過雖然stack是往下長，但是是先切出一塊指定大小空間
→ Killercat: 再把指標訂到底部，所以pointer的operation++還是可以
→ Killercat: 正常的做iteration，這是後話...
→ ucrxzero: 樓上強強強
→ ucrxzero: 不過stack跟heap中間應該還有共享庫段才對?
→ Killercat: er...不是強，我想這邊大多數人應該認為這個模型是常識
→ Killercat: 所以沒有特別提出來而已....
→ Killercat: 只是我突然發現這個模型似乎就是你卡住的點
→ ucrxzero:  可是那題台大電機我看大家都沒有講對說
→ ucrxzero: 才想說順便來發文
→ Lipraxde: 沒人講對？我看那篇 47 樓的 b 大明明寫了「stack是往
→ Lipraxde: 下長，但local變數擺放順序C語言規格書沒有強制規定」
→ ucrxzero: 喔我演殘
→ ucrxzero: *眼
→ ucrxzero: 補充一下因為我翻CSAPP的時候他直接這樣舉例我才誤會
→ ucrxzero: 有兩點 這本不是新手看 或是我太爛
CSAPP 3.12 完美解決這個疑問了QQ
※ 編輯: ucrxzero (43.248.19.192 臺灣), 10/31/2020 23:46:10