Forkシステムコールを作りたいが子プロセスでページフォルトが起きており原因がわからない。 #22
Replies: 2 comments 30 replies
-
|
👋 パットコードを見た感じ確かに良さそうですね。例外発生時にQEMUモニタで |
Beta Was this translation helpful? Give feedback.
-
|
以下になります！
|
Beta Was this translation helpful? Give feedback.
-
そのようですね。異なるアドレス空間のポインタを使おうとしているか、マップするのを忘れているかですね。次のコマンドで具体的にどこの部分でつまずいているかを見てもらえますか？ |
Beta Was this translation helpful? Give feedback.
-
|
以下のように表示されました！ ページフォルトのメッセージ 上記コマンドの実行結果 ファイル名と行数が表示されないのはどんな要因が考えられるのでしょうか 👀 |
Beta Was this translation helpful? Give feedback.
-
|
「??」だとうまく特定できていない場合なので、アドレス最下位の数字を1ずらしてみてもらえますか？例えば 80fd3934 の場合は、80fd3933や80fd3935と行った感じです！On May 4, 2024, at 15:28, Nebashi Keisuke ***@***.***> wrote:
以下のように表示されました！
ページフォルトのメッセージ
[kernel] PANIC: page fault in kernel: vaddr=80fd3934, sepc=80fd3934, reason=14
上記コマンドの実行結果
***@***.*** microkernel-book % llvm-addr2line -e build/hinaos.elf.debug 80fd3934
??:0
—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you commented.Message ID: ***@***.***>
|
Beta Was this translation helpful? Give feedback.
-
|
なるほど、初期状態でどこか間違っている可能性ですか。。。 |
Beta Was this translation helpful? Give feedback.
-
|
ページフォルトが起きている該当のアドレス( 子プロセスのページテーブルを見ると以下のようにフラグがついている一方、親プロセスの該当ページは書き込みは不可となっていましたので |
Beta Was this translation helpful? Give feedback.
-
|
バイナリのご共有ありがとうございます。ようやくページフォルトの原因が分かりました！！加えてforkが動くところまでの修正事項も一緒に洗い出しました。 修正の全体像 (diff) はこちらです。 修正事項を一つずつ見ていきます。 謎のページフォルトの原因長らく議論していた次のページフォルトバグです。 「fork (親の方) タスクがページフォルトをゼロ付近で起こし、VMサーバがそれをヌルポインタ参照として処理」しているログです。色々といじってみたところ、 バグ修正は一行です。 diff --git a/servers/vm/main.c b/servers/vm/main.c
index f2915ee..01b51b2 100644
--- a/servers/vm/main.c
+++ b/servers/vm/main.c
@@ -206,6 +206,7 @@ void main(void) {
m.type = FORK_TASK_REPLY_MSG;
ipc_reply(parent_id, &m);
+ break;
}
case PAGE_FAULT_MSG: {
if (m.src != FROM_KERNEL) {
整数・ポインタの混同おそらく次のようなコンパイラの警告が出ているはずです。
diff --git a/servers/vm/task.c b/servers/vm/task.c
index abc559c..c5aa0f0 100644
--- a/servers/vm/task.c
+++ b/servers/vm/task.c
@@ -63,14 +69,10 @@ void task_fork(task_t parent_id, task_t child_id) {
static __aligned(PAGE_SIZE) uint8_t tmp_src_page[PAGE_SIZE];
static __aligned(PAGE_SIZE) uint8_t tmp_dst_page[PAGE_SIZE];
// 親のメモリをコピーする
- for (int i=0; i<parent->phys_virt_mapping_list; i++) {
+ for (int i=0; i<parent->index; i++) {
paddr_t paddr = parent->phys_virt_mapping_list[i].paddr;
uaddr_t uaddr = parent->phys_virt_mapping_list[i].uaddr;
-
- if (paddr == (paddr_t)0) {
- break;;
- }
-
|
Beta Was this translation helpful? Give feedback.
-
|
ありがとうございます！！！ 最近発生していたパニックはa0レジスタの上書きによって起こっていたのですね。。 何はともあれバグの原因を探してくださりありがとうございました！ |
Beta Was this translation helpful? Give feedback.
-
|
動いてよかったです！またよく分からない問題にあたってしまったら気軽にreopenしてくださいね！ 😄 |
Beta Was this translation helpful? Give feedback.
-
概要
こちらを参考にforkシステムコールの実装を進めているのですが、レジスタ・メモリのコピー終了後に子プロセスを動作させようとすると以下のようにページフォルトが起きます。
ページフォルト元の
vaddrは親プロセス構造体のスタック内のアドレス値ということは確認済みです。(task->arch.sp~task->arch.sp_topの間の値)親レジスタの状態をうまくコピーできていないのかな。とも思ったのですが親プロセスのカーネルスタックはコピーしているので他に思い当たることがない。という状態です。
カーネルスタック以外にもコピーする必要があるのでしょうか？
ご確認宜しくお願い致します。
開発環境
No response
ソースコードのURL
https://github.com/keisuke713/microkernel-book/blob/feat/fork/kernel/syscall.c#L328-L358
Beta Was this translation helpful? Give feedback.
All reactions