Re: [問題] start.s在Nachos下的作用

[cole945 (躂躂..)]

※ 引述《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://www.ptt.cc/bbs/C_and_CPP/M.1534860829.A.C66.html
→ laughingman: 我知道syscall那行是呼叫system call handler，但是
→ laughingman: 是誰規定它呼叫誰的system call handler?因為start.s
→ laughingman: 看起來就像一般的MIPS組語，為什麼這邊的syscall就是
→ laughingman: 連到Nachos中的exception.cc寫的system call handler
→ laughingman: ，而不是連到MIPS真正的system call handler?是因為
→ laughingman: 組譯器不同的關係嗎?抱歉我的問題都很笨orz
→ laughingman: 還有照我google mips syscall abi的結果，我知道mips
→ laughingman: 會照$v0中的值來決定要呼叫哪個system call handler
→ laughingman: 那Nachos是哪邊規定的呢?因為我看Nachos中的1是表示
→ laughingman: Exit，但mips是print integer，是哪裡把$v0暫存器中
→ laughingman: 的值與handler的實作連結起來?