作者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/cn.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