hello の中で文字を表示する int 命令があり、ここで CPU の kernel space から user space への遷移の許可をしていないため CPU はリセットしてリブートする (この挙動自体はレガシーらしい)env_alloc() まわりのイメージはこんな感じだとおもう
とりあえず Lab 3 まで終えたが…あと3週間でやるぞやるぞ
boot_map_region() を実装すれば良いことが分かったcheck_kern_pgdir() は通るが check_page_installed_pgdir() でコケるva (virtual address) に struct PageInfo *pp がマップされている状態で再び va に pp をマップしたときの挙動を修正
Fix lab2 part2 · itkq/jos@73018e1 · GitHubようやくページテーブルあたりをスッキリ理解したのでまとめておく。次のコードは pmap.c の一部である。
// pmap.c // static void check_page(void) // should be able to allocate three pages pp0 = pp1 = pp2 = 0; assert((pp0 = page_alloc(0))); assert((pp1 = page_alloc(0))); assert((pp2 = page_alloc(0))); assert(pp0); assert(pp1 && pp1 != pp0); assert(pp2 && pp2 != pp1 && pp2 != pp0); // temporarily steal the rest of the free pages fl = page_free_list; page_free_list = 0; // should be no free memory assert(!page_alloc(0)); // there is no page allocated at address 0 assert(page_lookup(kern_pgdir, (void *) 0x0, &ptep) == NULL); // there is no free memory, so we can't allocate a page table assert(page_insert(kern_pgdir, pp1, 0x0, PTE_W) < 0); // free pp0 and try again: pp0 should be used for page table page_free(pp0); assert(page_insert(kern_pgdir, pp1, 0x0, PTE_W) == 0); assert(PTE_ADDR(kern_pgdir[0]) == page2pa(pp0)); assert(check_va2pa(kern_pgdir, 0x0) == page2pa(pp1)); assert(pp1->pp_ref == 1); assert(pp0->pp_ref == 1); // should be able to map pp2 at PGSIZE because pp0 is already allocated for page table assert(page_insert(kern_pgdir, pp2, (void*) PGSIZE, PTE_W) == 0); assert(check_va2pa(kern_pgdir, PGSIZE) == page2pa(pp2)); assert(pp2->pp_ref == 1);
このコードが期待する、linear address から physical address への変換構図は下図のようになる。
struct PageInfo* pages は物理ページとのマッピングに使われるが、*(struct PageInfo *) が 4096 bytes なのではない。
物理ページは page_init() で見ているように、物理メモリのうち未使用の領域を 4096 bytes のチャンクとして扱っているだけである……最初混乱した。
boot_alloc() と boot_map_region() するだけ lab3: finish exercize1 · itkq/jos@86204ac · GitHub修論を完全に破壊したのでモチベはあったのだが、エディタをカスタマイズしたくなりついでに vim から neovim に移行していたら時間が消失した。 neovim はそこそこ満足した状態になった。
info pg info mem が動かず色々試すがやはり動かなかった修論発表を破壊したので来週こそは頑張りたい。
cprintf() を追うmon_backtrace()
debuginfo_eip() の実装修の論がアレしてきたりしてあまり時間が取れなかった。
https://pdos.csail.mit.edu/6.828/2017/xv6/book-rev10.pdf Appendix A を読んで x86 のレジスタなどを覚える。 memory-mapped I/O が分かった気になる。ディスクの最初のセクタは boot sector と呼ばれ BIOS がそこを読む。 real mode と protected mode はあとで読む。
アセンブラのスタックを使った関数呼び出しについて。学部のコンパイラ作る講義でやったけど結構忘れていた。 逆アセンブルで遊んでみる（６）関数内の処理を追いかけてみた - ゆずさん研究所 が分かりやすかった。
Lab 2 にある pointer.c でハマったが普通にリトルエンディアンだね…。
link address と load address がまだ分かっていない。GDB の使い方が若干分かってきた。 boot xv6 の HW は、xv6 kernel が始まる 0x10000c 時点での x/24x $esp の内容を説明せよというもの。
(gdb) x/24x $esp 0x7bcc: 0x00007da5 0x00000000 0x00000000 0x00000000 0x7bdc: 0x00010054 0x00000000 0x00000000 0x00000000 0x7bec: 0x00000000 0x00000000 0x00000000 0x00000000 0x7bfc: 0x00007c4d 0x8ec031fa 0x8ec08ed8 0xa864e4d0 0x7c0c: 0xb0fa7502 0xe464e6d1 0x7502a864 0xe6dfb0fa 0x7c1c: 0x16010f60 0x200f7c78 0xc88366c0 0xc0220f01
0x10054 がまだ追いきれていない。
“PC Assembly Language” 1.2 Computer Organization を読んで、real mode, 16-bit protected mode, 32-bit protected mode をまともに理解した。 8086, 80286, 80386 への対応。 xv6のブートプロセスめも 32bit-modeになるまで - Qiita は参考になった。
まだ HW は終わってない…
