※ 引述《AAQ8 ()》之銘言：
: https://i.imgur.com/RJjsPLH.jpg
看懂這段程式前我們要先有兩個概念
1. 原函式(caller)與被呼叫函式(callee)的關係
呼叫函式前因為callee會用到暫存器
所以要先將暫存器的變數存到stack中
以免原來在暫存器中的值被蓋掉
導致callee return之後caller無法繼續執行
一般儲存變數到stack的工作由caller跟callee分工
caller負責存a開頭跟t開頭的暫存器
而ra跟s開頭的暫存器交由callee負責存
原因是如果callee沒有用到這些暫存器就可以不用花時間去存
2. 這個程式可以想成是這樣運作的：
https://imgur.com/2brKrPw.jpg
所以是main呼叫f (此時main是caller、f是callee)
然後f呼叫func (此時f是caller、func是callee)
有了這兩個概念後我們就來看這段程式
https://imgur.com/xizcMRg.jpg
因為f是main的callee又要當caller呼叫func
所以要store ra跟s開頭的暫存器到stack中
以免等等被func改一改f回不去main
等callee return之後再load回來
這就是L1~L3跟L9~L11做的事情
而這邊為什麼要存s0我們等等再討論
存完stack之後就可以呼叫func了
注意此時f是caller、func是callee
呼叫前應該要設定引數a0=a, a1=b
但原本的a0, a1裡面就已經分別是a, b了
所以這裡就不再多設定一次
而L4那行move s0 a2是在做什麼的呢？
呼叫callee前caller應該要把等等callee return後
還要用的a開頭暫存器存起來(就是a2=c這個值)
因為我們不知道func的運作
(func可能還要再call其他函式會用到很多引數)
照理來說存到stack是最簡單的做法
(sp-4之後store到stack中等return後再load回來)
但這裡用了另一個做法就是把a2暫存到s0之中
所以等callee return之後要用a2就直接去s0找即可
所以L4就是在把a2存到s0中
這就是為什麼剛剛L1~L3在存stack的時候L3要多存一個s0
因為main跟f之間是caller跟callee的關係
而f (callee)這個函式要用到s0這個暫存器
所以在開始前要負責把main (caller)的s0內容先存起來
同理，當L5呼叫func函式之後
如果func中有要用到s0這個暫存器
也要在func開始前把s0存到stack中
(不過這就是func的事了跟我們現在在寫f無關)
了解L4之後應該就海闊天空了
L5跳到func去執行函式return之後
回傳值又要當作引數再呼叫一次func
L6, L7就是在做呼叫前的引數設定
L7這裡就用到剛剛被我們存到s0的a2=c
L8這裡一樣引數設定完跳到func去執行函式
等return之後load回f最一開始被我們存進stack的變數
再來就可以返回main，就是L12

s大真的猛 每次都秒答XDDDL6 L7不是也是為了保護他嗎?抱歉 我看錯惹

不是喔L6, L7是在設定被呼叫函式的引數保護是要存到stack裡面呼叫完return之後就不用再用到了所以不用保護，原則是盡量不存(有可能破壞到才會保護)

借版問個S大 page segmentation(先分段再分頁) 這裡分段是指給他剛好的大小嗎?

我不是很確定欸OS還沒看到那麼後面><看了一下筆記洪逸說恐龍已經把這段移除了(?

請問：main也算是個caller,那為何他不需要去做那些caller應該做的事情呢，例如調出stack空間和存變數等等..我的意思是，如果這段code再加上main，就像你的第一張圖那樣，那我需要也再加上caller該做的事情嗎還是說那個main本身只有呼叫功能沒做啥事，所以也不需要去調出stack空間存return值等等？原來如此 感謝

感謝