JOS 4~5週目

修論を完全に破壊したのでモチベはあったのだが、エディタをカスタマイズしたくなりついでに vim から neovim に移行していたら時間が消失した。 neovim はそこそこ満足した状態になった。

2/11

• stab document を軽く読む
  • GCC は -g オプションで .s ファイルに追加のデバッグ情報を埋め込み、リンカによって実行ファイルにも伝播する
  • オブジェクトファイルには stab (symbol table) アセンブラディレクティブとして埋め込まれる
• Lab 1: Booting a PC Finish lab1 · itkq/jos@224c471 · GitHub

2/21

• xv6 book Chapter 1: Operating system organization をまともに読む
  • process multiplexing をするために process isolation が必要で、そのためには virtual address (address space) が必要
  • strong isolation のために、application が直接物理リソースを触るのではなく OS が抽象化する
    • Unix process: 透過的なプロセッサスイッチ、exec(2) によるメモリイメージ配置抽象化、file descriptor
  • プログラマの利便性と strong isolation のための system call interface
    • ある process が fail したとき OS も落ちたようでは困る
    • x86 の kernel mode と user mode
    • monolithic kernel, micro kernel
• Lab 2: Memory Management
  • コメントを読みながら Part 1: Physical Memory Management を実装した Finish lab2 part1 · itkq/jos@db8c4fd · GitHub
  • QEMU monitor の info pg info mem が動かず色々試すがやはり動かなかった

2/24

• xv6 book Chapter 2: Page Tables の序盤を読む
  • x86 は 2²⁰ の論理的な PTEs (Page Table Entries) から成る
  • Page Table は two-level tree としてストアされる
    • VA (Virtual Address) => PDE (Page Directory Entry) => PTE => Physical Page
• Lab2, Part2: Virtual Memory に取り組むが終わらず
  • たぶんまだ物理ページと論理ページの関係がわかってない

JOS 3週目

修論発表を破壊したので来週こそは頑張りたい。

2/3

やったこと

• HW: boot xv6
  • 一晩置いたらすんなりできた。

やること

• boot loader の動きを追う (boot/main.c)

2/5

やったこと

• BIOS 起動から kernel 読み込みまでの流れを整理
  • BIOS ROM の始点 0xffff0 から BIOS が起動する。
  • BIOS 初期化の後ブートセクタ (512 byte) を 0x7c00 ~ 0x7cff に読み込む。
  • 32-bit protected mode にスイッチし 0x7c00 にロングジャンプしてブートローダが起動する。
  • 1 page (4096 byte) 分 ELF ヘッダーを読み込んで検証する。
  • PHT (Program Header Table) を読みつつプログラムセグメントをそれぞれロードする。
  • 最後に ELF ヘッダーの entry point をコールしてカーネルが起動。
• VMA と LMA の理解
  • VMA と LMA は普通同じだがカーネルは異なる。
    • 最初物理アドレスで動作して後に自分自身を仮想アドレスにマップし直して途中から論理アドレスで動作するため
  • 参考 http://shop.cqpub.co.jp/hanbai/books/38/38071/38071.pdf
• Exercise 6, 7, 8

やること

• cprintf() を追う

2/8

やったこと

• Lab 1 の提出課題であるバックトレース表示の mon_backtrace()
  • ebp, return eip 表示の実装

やること

• debuginfo_eip() の実装
• args 数の謎… "Why can't the backtrace code detect how many arguments there actually are? How could this limitation be fixed?"

JOS 2週目

修の論がアレしてきたりしてあまり時間が取れなかった。

1/29

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 でハマったが普通にリトルエンディアンだね…。

1/30

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 がまだ追いきれていない。

1/31

“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 は終わってない…

JOS 1週目

TURING COMPLETE FM を聴いた結果、やっぱ低レイヤー、OS やるかという気持ちになった。

turingcomplete.fm

rkx1209.hatenablog.com

以下の記事で紹介されていた MIT の Operating System の授業 をやってみることにした。

komukomo.hatenablog.com

1/23, 1/24

macOS High Sierra で JOS, xv6 の動作させることができた。LEC 1 ~ 3, Homework 1 ~ 2, Lab 1 あたりをやっていた。

github.com

C でシェル書く課題は高専でもやった記憶があったので、思い出しつつできた。しかしアセンブラ…わからんな… 社会人になる前にできるところまでやるとする。

2017 年ベストソングス

アニメ OP/ED と声優ソングからざっと選んだ。

アニメ部門

Shocking Blue / 伊東美来

• 作詞：森由里子
• 作曲：園田健太郎

伊藤美来の 2nd シングルで初タイアップで、武装少女マキャヴェリズム OP。イントロが最高にカッコイイんだけど、ニコ動だと A メロ入るときにズコーって言われてる曲。いいじゃん！伊藤美来いいじゃん！！！サビにかけての盛り上がりが良すぎて中毒になった。とにかく最高なのでみなさんも聞いてほしい。ちなみにアニメはまあまあ良かった。

Tiny Tiny / 村川梨衣

• 作詞：坂井竜二
• 作曲：神前暁

アニメ 1 話見てて、イントロから強くてなんだこの曲最高か！？と驚いていたら神前暁で納得した。特に「無意味に見えたものに」の部分とか、全体的にメロディがが好きすぎる。あまり記憶がないけどアニメも結構良かった。

Precious You☆ / システィーナ=フィーベル(CV:藤田茜)/ルミア=ティンジェル(CV:宮本侑芽)/リィエル=レイフォード(CV:小澤亜李)

• 作詞：hotaru
• 作曲：杉下トキヤ

まず藤田茜・宮本侑芽・小澤亜李の並びがめちゃくちゃ良いという事実がある。サビの微妙にスタッカートっぽいリズムとメロディが良い。アニメはめちゃくちゃ良かった。

Melody Ring / f*f

• 作詞：ミズノゲンキ
• 作曲：kz

これは今年一番衝撃受けた曲かもしれない。本渡楓の歌好きだなーと同時に下地紫野の歌も好きだなー！！！となった。曲が本当に良すぎる。頭抱えながら爆音で聴きたい。アニメは3話までしか見てない。

グッドラック ライラック / GATALIS ＜阿佐ヶ谷みのあ、上井草アリス、高円寺みこ＞

• 作詞：只野菜摘
• 作曲：田中秀和

アニメ見てて良すぎる……となったら作曲で自明。完全に中毒になっていた。「ウキウキウィキ 花言葉を調べた（まじか）」って歌詞天才的ではないか？？来年も グッドラック ライラック いいことがある…。アニメは11話以降積んでるけど、ED の CG ダンスは好き。

More One Night / チト（水瀬いのり）、ユーリ（久保ユリカ）

• 作詞：emon (Tes.)
• 作曲：emon (Tes.), ヒゲドライバー

終わるまでは終わらないよ。中毒性高い。Bメロの早口になる部分、声優って感じがしてかなり良い。「うーん」が好きだし、「まだまだ」「もう一回」「次ラスト」などの合いの手の脱力感。久保ユリカだいぶうまい。アニメはせっせと消化しているところ。

ぼなぺてぃーと♡S / ブレンド・A（和氣あず未、鬼頭明里、春野杏）

• 作詞：こだまさおり
• 作曲：y0c1e

声優 MV がだいぶいいので一見の価値あり。輪講中に永遠と脳内で再生されるほど中毒性が高くて、「軽く抗うつ剤」と題されたアマゾンレビューは納得感があった。Buono Buono !!

MUSIC of DREAM!!! / せな・りえ・みき・かな from AIKATSU☆STARS!

• 作詞：唐沢美帆
• 作詞：南田健吾, 蔦谷好位置

OP1 の「スタートライン」の歌詞が直接入っていたり、それ以外の OP の歌詞のオマージュがあったり、映像は (OP1 の) 自分自身を超える演出があったりして、アイカツスターズを徐々に好きになってきた人間からするとそれはもう最高ですね。歌詞については、僕の感覚だと、1番はゆめ視点、2番はエルザ視点なのかなと思っていて、ゆめの夢、エルザの葛藤を感じる。大サビの歌詞は 1 番サビの歌詞と全く同じなんだけど、ゆめとエルザの 2 人の想いが混ざりあってより強固になっているようでより良い。曲調は、誰か死んでしまうようなストーリーを想起させるようで、「これアイカツか？」と初見ではなりがち。

声優部門

あまり声優の曲を追っていなかったのもあるが、個人的には水瀬いのりの圧勝だった。

春空 / 水瀬いのり

• 作詞：絵伊子
• 作曲：渡辺チェル

水瀬いのりの 1st アルバムは、ジャケットを見るだけではアンニュイな雰囲気、または表面的な強さと内面的な弱さ、脆さがテーマのように感じられるが、実際にはそんなことはなく、芯を持った強い少女の曲で占められている。春空は、そんなアルバムの 1 曲目で、その後の曲の方向性を決定づけるような、自分自身を等身大の自分自身で応援しているような歌詞と曲調が素晴らしい。イントロのどこか哀愁を感じるメロディ、優しさを感じる声色がとても良い。これが声優。Bメロのピアノコードがめちゃくちゃ好きで、この部分のためだけに聴いたりする。

星屑のコントレイル / 水瀬いのり

• 作詞：藤永龍太郎 (Elements Garden)
• 作曲：藤永龍太郎 (Elements Garden)

この曲は初見でアルバム中最強だと直感が訴えた。通常視認できる水瀬いのりからは感じられない強い決意が感じられる曲で、パワフルで、 サビの繰り返しの部分の終わり、1回目は弱く落ちるのに対して2回目は強く次につながっていく感じで最高。ラスサビの飛び部分も最高ですね。

2017 年に参加したイベント

計 19 で大分減った。

• 2017-01-14 (土) 『ポッピンQ』 トークイベント【新春！開運！ポッピンの集い】付き上映会 新宿2回目
• 2017-02-11 (土) i☆Ris＆Wake Up,Girls! バレンタインLIVE!! 2017 昼の部
• 2017-02-26 (日) UCHIDA MAAYA 2nd LIVE「Smiling Spiral」
• 2017-03-11 (土) NANA MIZUKI LIVE ZIPANGU 2017 埼玉公演 1日目
• 2017-03-12 (日) レコ発ワンマン東名阪ツアー『激ヤバ∞発進！～ダイナモンドを探せ！～』 東京公演
• 2017-04-15 (土) 結城友奈は勇者である-鷲尾須美の章＜第2章＞「たましい」 8：50の回終了後
• 2017-04-16 (日) アイカツスターズ！星のツバサ ヴィーナスアーク来航記念デビューイベント AIKATSU☆STARS！ステージ【川崎第1回】
• 2017-04-22 (土) Tokyo 7th シスターズ 3rd Anniversary Live 17’→XX -CHAIN THE BLOSSOM- in Makuhari Messe 1日目
• 2017-04-23 (日) Tokyo 7th シスターズ 3rd Anniversary Live 17’→XX -CHAIN THE BLOSSOM- in Makuhari Messe 2日目 夜の部
• 2017-05-28 (日) @JAM 2017 Day 2
• 2017-06-25 (日) まんがタイムきららフェスタ！2017 昼公演
• 2017-06-25 (日) Re:ステージ！PRISM☆LIVE!!～1st STAGE～
• 2017-07-08 (土) 結城友奈は勇者である-鷲尾須美の章- 第3章「やくそく」／公開記念初日舞台挨拶 新宿バルト９ 上映後
• 2017-07-08 (土) 【キッズ優先観覧】TVアニメ/データカードダス『アイカツスターズ！』2ndシーズン挿入歌ミニアルバム「Fantastic Ocean」リリースイベント『Fantastic Summer Festival』
• 2017-08-26 (土) Animelo Summer Live 2017 -THE CARD- 2日目
• 2017-10-07 (土) ゆめ☆めぐみ☆みゆのMe&You=LOVE×DREAM！
• 2017-10-28 (土) Run Girls, Run！ ショーケースイベント 位置についてよーいドン！ Vol.2 【2部】
• 2017-11-26 (日) P's Live! 05 Go!Love&Passion!! supported by 外為どっとコム
• 2017-12-10 (日) Wake Up, Girls！Festa. 2017 TRINITY

ベスト3

• レコ発ワンマン東名阪ツアー『激ヤバ∞発進！～ダイナモンドを探せ！～』 東京公演
• Re:ステージ！PRISM☆LIVE!!～1st STAGE～
• Tokyo 7th シスターズ 3rd Anniversary Live 17’→XX -CHAIN THE BLOSSOM- in Makuhari Messe

反省

ナナシスのライブは全部行く。

2017 年に見たアニメまとめ

映画を抜くと以下の 46 本だった。あんまり関係ないけど、最近声優の顔を見ても名前がパッとでてこないのがやばい。 Annict でアニメ視聴を管理していると簡単にとれるのでおすすめ。

1年で見たアニメを表示するやつ · GitHub

冬

• けものフレンズ
• 風夏
• 幼女戦記
• One Room
• 亜人ちゃんは語りたい
• アイドル事変
• クズの本懐
• うらら迷路帖
• 政宗くんのリベンジ
• リトルウィッチアカデミア
• ガヴリールドロップアウト
• 小林さんちのメイドラゴン

春

• Re:CREATORS (レクリエイターズ)
• 冴えない彼女の育てかた♭
• ひなこのーと
• ゼロから始める魔法の書
• サクラクエスト
• エロマンガ先生
• 終末なにしてますか？ 忙しいですか？ 救ってもらっていいですか？
• 武装少女マキャヴェリズム
• ロクでなし魔術講師と禁忌教典
• 正解するカド
• 月がきれい
• フレームアームズ・ガール
• モンソニ! ダルタニャンのアイドル宣言

夏

• 恋と嘘
• 徒然チルドレン
• はじめてのギャル
• 異世界はスマートフォンとともに。
• NEW GAME!!
• ゲーマーズ！
• プリンセス・プリンシパル
• 捏造トラップ-NTR-
• ようこそ実力至上主義の教室へ
• メイドインアビス
• 天使の3P！

秋

• アニメガタリズ
• 妹さえいればいい。
• Just Because!
• ネト充のススメ
• 少女終末旅行
• ブレンド・S
• Wake Up, Girls！ 新章
• クジラの子らは砂上に歌う
• 干物妹！うまるちゃんR
• 結城友奈は勇者である -鷲尾須美の章-/-勇者の章-

感想

だいぶ 1 クールあたりに見るアニメが減った。 春のラノベラッシュは品質が良かった。春が一番アニメを楽しんでいたと思う。

評判がいいので教養として見たいアニメ

• 宝石の国

見たいアニメ

• ラブライブ! サンシャイン!! 2期

もう一度見たいアニメ

• プリンセス・プリンシパル