作者cole945 (躂躂..)
看板C_and_CPP
標題Re: [問題] start.s在Nachos下的作用
時間Tue Aug 21 22:13:47 2018
※ 引述《laughingman (笑面男)》之銘言：
: 看起來中斷發生的handler是寫在-/code/userprog/exception.cc裡的ExceptionHandler
: 這支function中的SyscallException的switch裡。所以只要再多加一個case就可以處理
: 新的system call，實作部分就寫在該寫的地方就好。但問題來了，其實還要在
: -/code/test/start.s裡多加類似底下的程式碼，
: .globl Print
: .ent Print
: Print:
: addiu $2, $0, SC_Print
: syscall
: j $31
: .end Print
: 這段看起來是MIPS的組語，我也了解意思，不過system call不是已經用c++實作了嗎?
: 加這段組語的意思是甚麼呢?
: 我有看一下-/code/test裡的makefile，看起來其他的test file都會用到start.o，而
: 這個start.o就是由MIPS組譯器將start.s組譯後得來的(?)，這中間的邏輯其實我不是
: 很懂，有沒有修過作業系統的高手可以解釋一下，感謝各位撥空看小弟的問題。
syscall 有兩邊要實作, 一邊是 syscall 的 handler本身, 依你給的資訊就是
exception.cc 那邊
另一邊是 call syscall. 通常要包一個給 C/C++ 使用的 wrapper,
這樣才能用 C/C++ 呼叫 syscall. syscall 不同於一般 function, 無法直接呼叫
你 google 一下 mips syscall abi, 前兩個 link 可以看一下
syscall abi 會規範 syscall 的流程,
正常來說 syscall abi 要看 OS 決定, 你應該要查一下 Nachos 的規定
這邊我就直接用 linux 的 syscall abi 來講
$v0 是 syscall number, 也就是 $2
$a0..$a7 是 syscall argument, $a0..$a2
return value 在 $v0
回頭看你寫的那三行,
Print:
addiu $2, $0, SC_Print ; $v0 = 0 + SC_Print
syscall ; 進到 syscall handler 處理 print
j $31 ; jump return return register, 即 "return"
這實是實作 Print syscall 的 caller 端本身, 應該還會有一個 C/C++ 宣告, 例如
int Print(const char *message);
之類的
因為 mips 的一般 function call abi 的 arguemnt/ret 傳接法和 syscall
時是一樣的, 都是例用 $a0..$a7 傳, $v0 return
所以 Print 的 caller 剛好會準備好相關的 register, call 進 Print 後,
又再順著把準備好的 register pass 給 syscall
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.42.124.212
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1534860829.A.C66.html
1F：→ laughingman: 我知道syscall那行是呼叫system call handler，但是 08/21 23:33
2F：→ laughingman: 是誰規定它呼叫誰的system call handler?因為start.s 08/21 23:34
3F：→ laughingman: 看起來就像一般的MIPS組語，為什麼這邊的syscall就是 08/21 23:35
4F：→ laughingman: 連到Nachos中的exception.cc寫的system call handler 08/21 23:36
5F：→ laughingman: ，而不是連到MIPS真正的system call handler?是因為 08/21 23:37
6F：→ laughingman: 組譯器不同的關係嗎?抱歉我的問題都很笨orz 08/21 23:38
7F：→ laughingman: 還有照我google mips syscall abi的結果，我知道mips 08/21 23:40
8F：→ laughingman: 會照$v0中的值來決定要呼叫哪個system call handler 08/21 23:41
9F：→ laughingman: 那Nachos是哪邊規定的呢?因為我看Nachos中的1是表示 08/21 23:42
10F：→ laughingman: Exit，但mips是print integer，是哪裡把$v0暫存器中 08/21 23:44
11F：→ laughingman: 的值與handler的實作連結起來? 08/21 23:45