2020-03-06

AHCI奮闘記 - 初期化編

プログラミング

こんにちは、突撃隊です。最近いじっているAHCIというデバイスについて、な、な、なんと 初期化 が無事終了したので知見を共有したいと思います。

AHCIとはなんぞや

Advanced Host Controller Interface(AHCI)とは、SATAのデバイスコントローラです。 SATAをいい感じに触るためのインターフェースを提供してくれます。

初期化の手順について

しっかり初期化をしないとほとんど使い物にならないかもしれません。ちゃんと仕様書を読んでしっかり初期化をしましょう。

仕様書の該当箇所

AHCI Specification ver 1.3 では、 10.1.2 System Software Specific Initialization にソフトウェアプログラマがやるべき初期化が書かれています。

初期化手順をまとめた

自分なりにやるべき処理をまとめました。

初期化処理メモ（上から順番）

最初にリセットをしたほうがいいかもしれない
- リセットはGHC.AE = 1にした後、GHC.HR = 1にしてしばらく待つ
PIレジスタを見て実装されているポートを探す
- 以下の処理はすべて実装されているポートにのみ対して行う
ソフトウェア側でPxCMD.STを0にセットしハードウェアがPxCMD.CRを0にするのを待つ
最低500msくらいは待つ
（PxCMD.FREが1だった場合、これを0にしてハードウェアがPxCMD.FRを0にするのを待つ（最低500ms））
CAP.NCSを読んで対応スロットを探す
各対応スロットにおいて、PxCLBとPxFBのぶんのメモリを確保して0で埋める
PxFBのメモリ領域を確保した後、PxCMD.FREを1にする
各対応スロットに対して、PxSERRをクリアする。ビットに'1s'を書き込んでクリアする
PxISをクリアした後、IS.IPSをクリアする（順番が重要）
PxIEレジスタをenableにする。またGHC.IEも1にセットする

（必要なら追加の初期化をする、その際の注意）

デバイスが動いている間は、PxCMD.STは1にセットしようとしない
- 具体的には、PxTFD.STS.BSY=0,PxTFD.STS.DRQ=0,PxSSTS.DET=3hのときである
PxTFDレジスタをenableにするために、PxSERR.DIAG.Xは0にクリアされてなければならない

自分の自作OSではどうなっているか

QEMU上で動かしています。

初期化直後は以下のようなフラグの状態です。多分正常だと思います。

status of Generic Host Control
cap: 0x00000000c0141f05
ghc: 0x0000000080000002
is: 0x0000000000000000
pi: 0x000000000000003f
vs: 0x0000000000010000
ccc_ctl: 0x0000000000000000
ccc_pts: 0x0000000000000000
em_loc: 0x0000000000000000
em_ctl: 0x0000000000000000
cap2: 0x0000000000000000
bohc: 0x0000000000000000

status of HBA Port 0
clb: 0x0000000010000000
clbu: 0x0000000000000000
fb: 0x0000000010008000
fbu: 0x0000000000000000
is: 0x0000000000000000
ie: 0x00000000fdc000ff
cmd: 0x0000000000004016
tfd: 0x0000000000000130
sig: 0x0000000000000101
ssts: 0x0000000000000113
sctl: 0x0000000000000000
serr: 0x0000000000000000
sact: 0x0000000000000000
ci: 0x0000000000000000
sntf: 0x0000000000000000
fbs: 0x0000000000000000

なぐり書きなので

また随時更新します。

2020-01-27

Windows updateかけたらrEFIndからArch Linuxが起動できなくなったのをなんとか直した

プログラミング

発端

自分のPCはrEFIndを使ってWindows 10とArch Linuxをデュアルブートしているのですが、Windows updateをかけたらEFI領域を見事にぶっ壊されました。なんやかんやで解決したので今後のためにも自分が行った解決方法を記しておきます。

症状

Windows updateをかけたあとrEFIndから vmlinuz-linux を起動しようとすると

Invalid loader file!
Error: Not Found while loading vmlinuz-linux

* Hit any key to continue *

こんな感じのエラーが。

解決方法

vmlinuz-linux がなんか知らんがおかしいらしく、起動しないので、Arch Linuxのインストールメディアを用いる。あのArchLinuxInstallBattleに使うやつです。

おなじみコマンド。 sd{X1} とかは自分の環境にあったやつに置き換えてください。

# mount /dev/sd{X1} /mnt
# mount /dev/sd{X2} /mnt/boot
# arch-chroot /mnt

これでとりあえずLinuxに入る。

そして ip コマンドとか iw コマンドとか使ってネットにつないでください。 Free-Wifiがおすすめです（ wpa_supplicant のCLIむずすぎない？）。

そしたら vmlinuz-linux を更新します。

# pacman -S linux

これで vmlinuz-linux はOK。

これでいいかと思ったらrEFInd君が探してくる vmlinuz から起動しようとしたら、

mount: /new_root: wrong fs type, bad option, bad superblock, on /dev/sda2, missing codepage or helper program, or other error

今度はbtrfs君が死んでいます（いや知らんが…）。

rEFIndの設定を見直して手動でブートディスクを指定します。

/boot/EFI/refind/refind.conf をこんな感じに。

menuentry Arch {
    icon     /EFI/refind/icons/os_arch.png
    volume   "Arch"
    loader   /vmlinuz-linux
    initrd   /initramfs-linux.img
    options  "root=/dev/sd{X1} ro"
    submenuentry "Boot using fallback initramfs" {
        initrd /initramfs-linux-fallback.img
    }
    submenuentry "Boot to terminal" {
        add_options "systemd.unit=multi-user.target"
    }
    #disabled
}

loader と initrd は vmlinuz-linux があるファイルシステムのルートディレクトリからの相対パスにするらしい。これ豆知識ね。あと /refind_linux.conf があるとそっちの設定が読み込まれちゃうので refind_linux.conf.old とか適当にリネームしとく。

これでrEFIndの画面からArch Linuxのアイコンのやつを選択して起動！

起動したわｗ

まとめ

（大事なレポートや論文の提出間近にWindows updateは）してはいけない（戒め）。

2019-12-23

大きく振り返って

雑記

この記事は coins Advent Calendar 2019 23日目の記事です。 22日目はわかめさんの天久保周りの飯屋でした。

早いものでもう2019年が終わろうとしています。みなさんは有意義な一年にできたでしょうか？自分は今年は色々やった年だったので振り返りを書こうかと思います。

1 - 3月

前半はなんかあんまり良く覚えていません。色々なことに手を出して撃沈していたような気がします。

春休みに入ると暇になったので自作OSを始めました。

30日でできる! OS自作入門

作者:川合秀実
出版社/メーカー: マイナビ出版
発売日: 2006/03/01
メディア: Kindle版

この本をやるぞと決めて、一日一章こつこつやりました。

実は購入自体は2018年にしていたのですが、何回かやり始めては挫折するを繰り返していたので、そろそろやりきりたいと思って気合を入れてやりました。これが4回目の挑戦でした。

途中まで理解したことをブログにまとめていたのですが、大変だったのでやめました。

無事春休み中にやり切ることができました。

その後は64bit環境での自作OSをはじめました。

4 - 5月

セキュリティキャンプ2019全国大会の募集が始まりました。自作OSコースがあったので応募してみました。

応募用紙です。

github.com

調子に乗ってサイボウズラボユースにも自作OSを作るというテーマで応募しました。

6 - 7月

なんとセキュリティキャンプとラボユースのどちらも選考を通過していました。セキュリティキャンプ当日に向けて自作OSをガリガリ書く日々が始まりました。ほぼ毎日3~4時間位はOSの資料を読んだり、コードをウンウンうなりながら書いていたと思います。

8月

セキュリティキャンプに行きました。詳細な様子は以下です。

totsugekitai.hatenablog.com

大変楽しかったです。

またラボユース合宿にも行きました。温泉宿で3日間の合宿でした。合宿中はPICの設定で時間を浪費したのが痛かったです。温泉は大変気持ちよかったです。

9月

まだ夏休みが続いていましたが、体調が優れず、ほとんど活動ができませんでした。夏休み前半に少し飛ばしすぎたのかもしれません。。。

10 - 12月

体調が戻ったので活動を再開しました。自作OSの方もマルチタスクやメモリアロケータなどができ、だんだん形になってきていい感じでした。

まとめ

振り返ってみると、この一年は自作OSのことしかやってないですね。とくに飲み会とか恋愛とか、大学生らしいことをほとんどやってないのですが、なんか楽しかったのでOKです。（ま、自作OSはまとまった時間がないと難しいので、それが大学生らしいことということで）

来年度は

何やろうかなと悩んでいますが、候補は以下の2つ。

自作コンテナ(DockerとかLXDとか、そういうやつ)
BitVisorを用いたベアメタルプログラミング向けデバッグ環境の作成

自作コンテナはDockerのしくみが知りたくなったからです。しくみが知りたくなったら自作するのがいいかなと思います。

BitVisorの方は、BitVisor Summitという勉強会にお邪魔したときに、品川先生が誰かやってくれと言っていたのでやりたいなと思いました。（ベアメタル下のデバッグ環境は自作OSをするときにも役立ちますしね！）

あとは本をもうちょっと読みたいですね。

2019-12-02

自作OSでマルチタスクやった

この記事は coins Advent Calendar 2019 3日目の記事です。

この記事は WORDIAN Advent Calendar 2019 3日目の記事です。。

この記事は OS-CPU Advent Calendar 2019 3日目の記事です。。。

師走の挨拶

どうもこんにちは、突撃隊です。

64bit自作OS「minOS」をちまちま作っとるのですが、11月でついにマルチタスクを実装できたので解説します。

github.com

設計

スレッドかプロセスか

OSのタスク単位としてとりあえずスレッドを実装することにしました。プロセスはメモリ空間を分離しなくてはいけないので、その分コーディングが大変だからです。スレッドならスタックを用意してあげるだけなので簡単簡単。

`thread` 構造体

スレッドごとの構造体はこんな感じにしてみました。

struct thread_func {
    void (*func)(int, char**);
    int argc;
    char **argv;
};

enum thread_state {
    RUNNABLE,
    SLEEP,
    DEAD
};

struct thread {
    uint64_t *stack;
    uint64_t rsp;
    // uint64_t rip;
    struct thread_func func_info;
    enum thread_state state;
    int index;
};

struct thread ですが、上から順に

スレッドのスタック領域の開始アドレス
スレッドごとのスタックポインタ
スレッドで実行する関数の情報
スレッドの状態
スレッドキューに登録した際のインデックス

です。

順番に解説していきます。

スレッドのスタック

自作の malloc 関数を用いてスタック領域を確保します。大きさは 0x1000 = 4kB としています。

malloc 関数のソースコードはこちら。

https://github.com/Totsugekitai/minOS/blob/develop/kernel/mm/memory.c

スレッドごとのスタックポインタ

汎用レジスタはスタックに push しますが、スタックポインタは構造体に持たせるほうがやりやすそうです。

スレッドで実行する関数の情報

関数ポインタとその引数を受け取ります。

スレッドの状態

RUNNABLE SLEEP DEAD の3種類を用意しておきました。

スレッドキューに登録した際のインデックス

minOSではスレッドのキューはただの配列です。スレッドの削除時に配列に登録したときのインデックスが必要になるのでパラメータとして持たせてあります。

どのタイミングでスレッド切り替えをするか

タイマ割り込みのタイミングでスレッド切り替えをすることにしました。タイマ割り込みの何回かに一回にスケジューラを呼び出してタスクを切り替えます。

coinsLT#110で話したときの資料が詳しいです。

docs.google.com

実装

今回のキモはスレッドのスタックの初期化処理とスレッドを切り替える瞬間の処理です。

スタックの初期化処理

/** スレッドの生成
 * thread構造体の初期化とスタックの初期化を行う
 */
struct thread thread_gen(void (*func)(int, char**), int argc, char **argv)
{
    struct thread thread;

    thread.stack = (uint64_t *)minmalloc(STACK_LENGTH);
    thread.rsp = (uint64_t)(thread.stack + STACK_LENGTH);
    thread.rip = (uint64_t)thread_exec;
    thread.func_info.func = func;
    thread.func_info.argc = argc;
    thread.func_info.argv = argv;

    put_str_num_serial("thread stack bottom: ", (uint64_t)thread.stack + STACK_LENGTH);
    put_str_num_serial("thread rsp: ", thread.rsp);

    return thread;
}

void thread_stack_init(struct thread *thread)
{
    thread->rsp = init_stack(thread->rsp, thread->rip, thread);
    put_str_num_serial("thread stack bottom: ", (uint64_t)thread->stack + STACK_LENGTH);
    put_str_num_serial("thread rsp: ", thread->rsp);
}

void thread_exec(struct thread *thread)
{
    thread->func_info.func(thread->func_info.argc, thread->func_info.argv);
    thread_end(thread->index);
    minfree(thread->stack);
    thread_scheduler();
}

thread_gen 関数でスレッドの生成を行います。 thread 構造体に各種情報を登録していきます。

thread_stack_init でスレッドのスタックの初期化を行います。この時スタックポインタの値も調整されます。

init_stack 関数の実装はレジスタをいじるのでアセンブラで書きます。

.global     init_stack
.align      16
init_stack:           # uint64_t init_stack(uint64_t stack_bottom, uint64_t rip, struct thread *thread);
    cli
    mov     rcx,rsp   # save rsp at rcx
    mov     rsp,rdi   # move rip to rsp
# push general registers to stack
    push    rsi       # push rip(second argument) to stack bottom
                      # because function switch_context requires return rip
    push    0         # rbp
    push    0         # r11
    push    0         # r10
    push    0         # r9
    push    0         # r8
    push    rdx       # rdi
    push    0         # rsi
    push    0         # rcx
    push    0         # rdx
    push    0         # rax
    mov     rax,rsp   # set current rsp to return value
    mov     rsp,rcx   # load rsp from rcx
    sti
    ret

まず現在の rsp を rcx に保存し、今のスタックに戻ってこれるようにします。次に init_stack 関数の第1引数で受け取ったスレッドのスタックポインタをロードして、スレッドのスタックの初期化作業を始めます。コード中のコメントと push している数値が初期化のデフォルト値に対応しています。

rdi だけ rdx つまり init_stack に渡された第3引数をセットしていますが、これは thread_exec に渡す引数を設定しています。

少しややこしいので説明すると、まずスレッドで実行する関数を thread_exec で包みます。そして thread_exec をスレッドで実行する関数として登録します（thread_gen をよく見ると関数の設定で thread_exec を登録している）。というのも、 thread_exec でスレッドの関数が終わった際の終了処理とスケジューラ呼び出しを行うからです。 thread_exec には thread 構造体へのポインタが必要なので、レジスタの初期化を行うときに rdi つまり第一引数に thread 構造体へのポインタを設定してやることで引数を渡します。 thread_exec の末尾3行はスレッドの状態を変更し、mallocした領域を開放し、スケジューラを呼び出します。

thread_gen と thread_stack_init はこんな感じで使います。

    // スレッドを生成
    struct thread thread0 = thread_gen(console, 0, 0);
    struct thread thread1 = thread_gen(task_a, 0, 0);
    struct thread thread2 = thread_gen(task_b, 0, 0);
    struct thread thread3 = thread_gen(task_c, 0, 0);

    // initialize stack
    thread_stack_init(&thread0);
    thread_stack_init(&thread1);
    thread_stack_init(&thread2);
    thread_stack_init(&thread3);

スレッドを切り替える処理

まずタイマの割り込みハンドラでスケジューラを呼び出す処理を見ましょう。

/**
 * タイマ割り込みハンドラ
 * クロック値を進めて、スケジューラを呼び出す
*/
__attribute__((interrupt))
void timer_handler(struct InterruptFrame *frame)
{
    // クロック値を進める
    milli_clock++;
    // EOIをPICに送る
    io_outb(PIC0_OCW2, PIC_EOI);
    io_outb(PIC1_OCW2, PIC_EOI);

    /** 周期が来たらスケジューラを呼び出す
     * 各種パラメータはint_handler.hで設定
     */
    if (milli_clock > previous_interrupt + timer_period && milli_clock > 100) {
        previous_interrupt = milli_clock;
        put_str_num_serial("timer_handler old rip: ", frame->rip);
        puts_serial("\n");
        thread_scheduler();
    }
}

if の条件式でスケジューラを呼び出す条件を設定しています。間隔をグローバル変数 timer_period で指定しています。一定時間が経ったら thread_scheduler を呼び出すようになっています。

次に thread_scheduler を見てみましょう。

void thread_scheduler(void)
{
    // update current_thread_index
    int old_thread_index = current_thread_index;
    int i = 1;
    while (current_thread_index == old_thread_index) {
        if (threads[(current_thread_index + i) % THREAD_NUM]->state == RUNNABLE) {
            current_thread_index = (current_thread_index + i) % THREAD_NUM;
        }
        i++;
    }

    put_str_num_serial("next thread index: ", (uint64_t)current_thread_index);
    put_str_num_serial("next start rsp: ", threads[current_thread_index]->rsp);
    put_str_num_serial("next start func address: ", (uint64_t)(threads[current_thread_index]->func_info.func));
    puts_serial("\n");
    puts_serial("dispatch start\n\n");

    switch_context(&threads[old_thread_index]->rsp, threads[current_thread_index]->rsp);
}

前半部でスレッドキューから次に実行するスレッドを選択しています。

後半部で重要な処理は switch_context です。見てみましょう。

switch_context:   # void switch_context(uint64_t *current_rsp, uint64_t next_rsp);
# push current task's general registers to stack
    push    rbp
    push    r11
    push    r10
    push    r9
    push    r8
    push    rdi
    push    rsi
    push    rdx
    push    rcx
    push    rax
# switch rsp
    mov     [rdi],rsp
    mov     rsp,rsi
# pop next task's general registers from stack
    pop     rax
    pop     rcx
    pop     rdx
    pop     rsi
    pop     rdi
    pop     r8
    pop     r9
    pop     r10
    pop     r11
    pop     rbp
# return to next task
    ret

レジスタをいじるためアセンブラでしか書けません。

まず現在実行しているスレッドのレジスタの値を保存するために、現在のスレッドのスタックに現在のスレッドのレジスタを保存しています。

次にスタックポインタ rsp の処理です。現在のスタックポインタを現在のスレッドの構造体に保存し、次に実行するスレッドのスタックポインタを読み出します。

するとここでスタックが切り替わるため、次に実行するスレッドのスタックから次に実行するスレッドのレジスタを読み出すことができます。ですので次に実行するスレッドのレジスタをスタックから読み出します。

最後に ret で rip を読み出し、次のスレッドにジャンプします。

最後の `ret` でどこにジャンプするのか？

これは少しややこしいですので説明します。 switch_context が呼ばれた瞬間のスタックが属するスレッドをAt、次に実行するスレッドをBtとします。

まず switch_context 中で rsp が切り替わったときにスタックがBtのものに切り替わります。レジスタをpopしていって最後に ret を発行すると、 スタックはBtのもので rip は thread_scheduler 関数の switch_context から抜けた所に飛びます。

thread_scheduler 関数はこれ以上の処理はないため、 スタックはBtのもので rip はタイマ割り込みハンドラの timer_handler の thread_scheduler から抜けた所に飛びます。

timer_handler はこれ以上の処理はないため、 スタックはBtのもので rip は割り込み前に実行していた所がロードされます。 スタックがBtのもの なので、ロードされる rip はスタックBtに積まれた関数中のアドレスであり、スタックBtに積まれる関数というのはスレッドBtに登録されている関数です。

実装は以上

たぶんこれで動くと思います。

まとめ

タスクスイッチの実装はスタックにレジスタを積まなくてはならず、かなりややこしい部分です。実装は大変苦労しましたが、喜びもひとしおでしたね。

2019-12-01

WORD編集部の本棚

雑記

この記事は WORDIAN Advent Calendar 2019 の1日目の記事です。

本棚を整理しました

そのままです。11月の上旬の深夜にガッとやりました。

もう誰も読まないであろう本やダブっている本をどかし、奥底に眠っていた有用と思われる本をゆるくジャンル分けして整頓しました。ですので最近編集部に来ていない人は自分の本が見つからない場合は自分まで声をかけてください。

ピックアップ技術書の紹介

今回の整理であんな本やこんな本が見つかりました。その中で自分が独断と偏見で、これは！と思う本を紹介していきたいと思います。

プログラミング言語編

Programming in Lua

Programming in Lua プログラミング言語Lua公式解説書

作者: Roberto Ierusalimschy,新丈径
出版社/メーカー: アスキー・メディアワークス
発売日: 2009/08/28
メディア: 大型本
購入: 5人クリック: 78回
この商品を含むブログ (18件) を見る

奥底から発掘しました。自分はLuaを全く書いたことがないのですが、WORDの標準執筆環境がLuaLaTeXなので、いずれかは読んで覚えたいですね。

Smalltalkで学ぶオブジェクト指向プログラミングの本質

SMALLTALKで学ぶオブジェクト指向プログラミングの本質

作者: 青木淳,浅岡浩子,澤本依里
出版社/メーカー: 日経BP
発売日: 2008/07/24
メディア: 単行本
購入: 14人クリック: 408回
この商品を含むブログ (39件) を見る

オブジェクト指向言語の原点Smalltalkの本です。自分は普段Cばかり書いているのでオブジェクト指向はあまり馴染みがないのですが、どうせやるならオブジェクト指向の原点を学んでみたいものですね。

アルゴリズム・データ構造編

The Art of Computer Programming

The Art of Computer Programming Volume 1 Fundamental Algorithms Third Edition 日本語版

作者: Donald E.Knuth,有澤　誠,和田　英一,有澤誠,和田英一,青木孝,筧一彦,鈴木健一,長尾高弘
出版社/メーカー: KADOKAWA
発売日: 2015/06/26
メディア: 単行本
この商品を含むブログ (2件) を見る

クヌース先生のライフワークPart.1。生きているうちにvol.7まで出してくり〜

計算困難問題に対するアルゴリズム理論

計算困難問題に対するアルゴリズム理論―組合せ最適化・ランダマイゼーション・近似・ヒューリスティクス

作者: J.ホロムコヴィッチ,Juraj Hromkovic,和田幸一,増澤利光,元木光雄
出版社/メーカー: 丸善出版
発売日: 2016/01/10
メディア: 単行本
この商品を含むブログを見る

難しそうkonami

言語処理系

コンパイラ

コンパイラ―原理・技法・ツール (Information & Computing)

作者: A.V.エイホ,R.セシィ,J.D.ウルマン,M.S.ラム,Alfred V. Aho,Jeffery D. Ullman,Ravi Sethi,Monica S. Lam,原田賢一
出版社/メーカー: サイエンス社
発売日: 2009/06/01
メディア: 単行本
購入: 1人クリック: 128回
この商品を含むブログ (30件) を見る

アホじゃないよエイホだよ。コンパイラ作るなら必読？

計算機プログラムの構造と解釈第2版

作者: ハロルドエイブルソン,ジュリーサスマン,ジェラルド・ジェイサスマン,Harold Abelson,Julie Sussman,Gerald Jay Sussman,和田英一
出版社/メーカー: 翔泳社
発売日: 2014/05/17
メディア: 大型本
この商品を含むブログ (4件) を見る

魔術師本。Lisp書きたいときにどうぞ。

OS

詳解Linux カーネル第3版

詳解 Linuxカーネル第3版

作者: Daniel P. Bovet,Marco Cesati,高橋浩和,杉田由美子,清水正明,高杉昌督,平松雅巳,安井隆宏
出版社/メーカー: オライリー・ジャパン
発売日: 2007/02/26
メディア: 大型本
購入: 9人クリック: 269回
この商品を含むブログ (73件) を見る

辞書。カーネル2.7だけどまだまだ読めます。

BSD カーネルの設計と実装

BSDカーネルの設計と実装―FreeBSD詳解

作者: マーシャル・カークマキュージック,ジョージ・V.ネヴィル‐ニール,砂原秀樹,Marshall Kirk McKusick,George V. Neville‐Neil,歌代和正
出版社/メーカー: アスキー
発売日: 2005/10/18
メディア: 単行本
クリック: 122回
この商品を含むブログ (58件) を見る

悪魔本。来年はBSDも触るのでその時お世話になりそう。

CPU・アーキテクチャ編

マイクロプロセッサ・アーキテクチャ入門

マイクロプロセッサ・アーキテクチャ入門　インターフェース増刊

出版社/メーカー: ＣＱ出版社
発売日: 2004
メディア: 雑誌
この商品を含むブログを見る

並列処理アーキテクチャ2の授業を受けると読みたくなる。

コンピュータの構成と設計第3版

コンピュータの構成と設計~ハードウエアとソフトウエアのインタフェース第3版 (上)

作者: デイビッド・A.パターソン,ジョン・L.ヘネシー,David A. Patterson,John L. Hennessy,成田光彰
出版社/メーカー: 日経BP
発売日: 2006/03/16
メディア: 単行本
購入: 14人クリック: 356回
この商品を含むブログ (89件) を見る

コンピュータの構成と設計~ハードウエアとソフトウエアのインタフェース第3版 (下)

作者: デイビッド・A.パターソン,ジョン・L.ヘネシー,David A. Patterson,John L. Hennessy,成田光彰
出版社/メーカー: 日経BP
発売日: 2006/03/16
メディア: 単行本
購入: 12人クリック: 115回
この商品を含むブログ (63件) を見る

パタヘネ第3版です。早く第6版出て欲しいね。

LaTeX編

[改訂第7版]LaTeX2ε美文書作成入門

作者: 奥村晴彦,黒木裕介
出版社/メーカー: 技術評論社
発売日: 2017/01/24
メディア: 大型本
この商品を含むブログ (2件) を見る

WORDIANのお供。ちょくちょく読みます。

(LuaLaTeX 微文書作成入門)

techbookfest.org

OBひだるま氏の著作。技術書典7で領布されました。役立ちます。

数学編

多様体入門

多様体入門(新装版) (数学選書)

作者: 松島与三
出版社/メーカー: 裳華房
発売日: 2017/04/06
メディア: 単行本
この商品を含むブログを見る

多様体を勉強するときに読む本です。

論理と計算のしくみ

論理と計算のしくみ (岩波オンデマンドブックス)

作者: 萩谷昌己,西崎真也
出版社/メーカー: 岩波書店
発売日: 2017/02/10
メディア: オンデマンド (ペーパーバック)
この商品を含むブログを見る

目はつけてたシリーズ。なかなか買えないのよね、これ。

競技編

セキュリティコンテストチャレンジブック

セキュリティコンテストチャレンジブック -CTFで学ぼう! 情報を守るための戦い方-

作者: 碓井利宣,竹迫良範,廣田一貴,保要隆明,前田優人,美濃圭佑,三村聡志,八木橋優,SECCON実行委員会
出版社/メーカー: マイナビ出版
発売日: 2015/09/30
メディア: 単行本（ソフトカバー）
この商品を含むブログ (4件) を見る

実は著者の1人のサインが入っているとか……？

プログラミングコンテストチャレンジブック第1版

プログラミングコンテストチャレンジブック

作者: 秋葉拓哉,岩田陽一,北川宜稔
出版社/メーカー: 毎日コミュニケーションズ
発売日: 2010/09/11
メディア: 単行本（ソフトカバー）
購入: 52人クリック: 1,538回
この商品を含むブログ (83件) を見る

だれか第2版置いてくり〜

その他

(Dragon University 2019.9)

booth.pm

編集部rizaudo氏とれっくす氏、そして自分が執筆した同人誌。びしょ〜じょ氏も協力。

邪悪編

関数型プログラミングに目覚めた！

関数型プログラミングに目覚めた!IQ145の女子高校生の先輩から受けた特訓5日間

作者: 岡部健
出版社/メーカー: 秀和システム
発売日: 2015/04/22
メディア: 単行本
この商品を含むブログ (7件) を見る

いつかは消去したい。

いかがでしたか？

読書して知識を身に着けましょう。

2019-08-17

セキュリティキャンプ2019 OS開発ゼミ体験記

この度セキュリティキャンプ2019全国大会を修了しました。関係者各位はお疲れ様でした。

この記事では自分が受講したYトラックのOS開発ゼミ、テーマ「フルスクラッチOSを書こう！」を中心に、キャンプについて感想を述べていきたいと思います。

事前学習期間

キャンプの選考に通ってから、キャンプ当日に向けて事前学習を行いました。

当初の予定

まず選考時点では自分のOSは

ブートローダ
画面描画関数

しかありませんでした。

当初は、キャンプ当日ではファイルシステムを実装して、コマンドを打ち込んで操作できる状態までやろうと思っていました。

なので、事前課題では以下のことをやろうと思いました。

64bitモードへの移行
GDTとIDTの初期化
キーボード入力
ページングテーブルの初期化とページングの有効化
コンソールを作り、コマンド入力をできるようにする

実際の進行

kintoneで講師の内田さん (@uchan_nos) やチューターさんに質問したり進捗報告したりしていました。やっていてだらけそうだなと思った（事前学習期間が2ヶ月くらいある）ので、途中から専用スレッドを立ててもらいそこで日報を書き始めました。

日報には、一日のはじめに目標とそれに対してやることを書き、一日の終わりにやったことと疑問点を書きました。これは結構良かったです。最後の方は学校の行事とかぶって少し失速しましたが、概ねペースを保てたかなと思います。

最終的に事前学習でやれたことは

64bitモードへの移行(実は最初からできていたことが調査でわかった)
GDT,IDTの初期化
キーボード入力
ページングテーブルの初期化とページングの有効化
コンソールを途中まで作った

でした。

キャンプ当日のやること決め

キャンプ数週間前に、当日にやることを決めました。

当初はファイルシステムの実装を目標にしていましたが、自分がファイルシステムがなんなのかわかっておらず、またファイルシステムについて勉強する時間が取れなさそうだったので、タイマ割り込みの実装と、タイマ割り込みを使ったコマンドの作成に変更しました。

前日のトラブル

事前学習中に運営局から実機検証用のボードが送られてきたのですが、自分はめんどくさがって実機検証を行っていませんでした。

キャンプ前日に実機のことを思い出し実機検証をしようとしたら、シリアル通信用のケーブルが入っていないことに気づきました（キーボード入力をシリアル通信で行うように設計していた）。運営局も用意はしていないということで、前日に大慌てで秋葉原まで行き、シリアル通信ケーブルを購入しました。秋月電子が夏季休業していたときは絶望しましたが、マルツが開いていたのでなんとか手に入れることができました。

これを読んでいる2020年以降のキャンパーさんたちは、キャンプ１週間前くらいには必要機材の確認などは済ませておきましょう。おじさんとの約束だぞ！！！

キャンプ期間中

1日目

メシ食って開会式や全体講義、グループワークがありました。

講義は法律についてとコミュニティについてでした。倫理観身につけていきたいです。

名刺交換もいろんな時間にしました。200枚持っていったんですけどコミュ力不足で50枚位しか消費しませんでした。自分のコミュ力に合った枚数を持っていこうな。

2日目

この日から専門講義が始まりました。と言っても自分のゼミはひたすら開発！開発！開発！でした。

消すと動かなくなるバグが発生

この日の前半はバグを潰す活動をしていました。バグの症状としては、無駄な処理を消すと動作が止まってしまうというものでした。例外ハンドラは作成していて検知できるようになっていましたが、例外ハンドラを読み込む部分より前でバグっているようだったのでそれは使えません。

そこでシリアルに出力をしてどこが原因かまず特定したらどうかと講師の内田さんから提案されたのでそうすることにしました。色々やった結果、GDTの設定周辺の無駄な処理を消すと動作が止まることがわかりました。バイナリを逆アセンブルしてみたりQEMU Monitorでメモリを覗いたりと四苦八苦していたところ、なんだかわからないけど安定動作するようになりました。何だったんだろう……

ACPI PMタイマとLocal APICの設定

後半はLocal APICのタイマを動作させるべく、ACPI PMタイマの設定を始めました。

ACPI PMタイマは周波数が決まっているので、PMタイマでLocal APICタイマの周波数を計測して、その周波数をもとにメインのタイマとしてLocal APICを使用するといったことをしました。チューターのPG_MANAさんが持ってきてくれた「Local APICタイマー入門」（著者は講師の内田さんです）を読んで設定をしました。この日はPMタイマの設定まで終わりました。

3日目

この日も開発です。

タイマ割り込みが呼び出せない

この日は1日中タイマの設定がうまく行かず苦しんでいました。

タイマ割り込みのハンドラを呼び出そうとすると一般保護例外が出ているようだったので、一般保護例外のエラーコードを取ろうということになりました。コンパイラの拡張の __attribute__((interrupt)) を関数の頭につけると引数にエラーコードが取れるので、それを使おうとしましたが、GCCではうまくいかなかったのでclangに変更したらうまくいきました。そうしてエラーコードを読もうとしましたがエラーコードを正しく取れておらず、結局QEMU Monitorでメモリを直接覗いて確認しました。そうしてエラーコードを見たのですが、なんだかよくわからない値が入っていて解決ならず。

IDTへのハンドラの登録がおかしいのではないかという話になったので確認してみてもおかしいところは……ありました。 IDT自体の設定がミスっていて、IDTのリミットを設定する部分が小さくなっていました…… 一般保護例外とページフォルトのハンドラはギリギリカバーできるリミット設定で、タイマ割り込みのハンドラはリミット外に位置していたので範囲外にアクセスしていたようです……

講義時間終了後にちょっと作業して、タイマが動くようになりました。

自作OSのタイマー動いた！タイマー動いたあああああああああ！！！！
今日ずっとバグ取りしてたので喜びもひとしお😂😂😂#seccamp pic.twitter.com/S2L8ZaNVEL
— Note:まずソースを探す癖をつける (@totsugeki8) 2019年8月15日

4日目

開発最終日！ sleepコマンドとdelayコマンドを作るべく頑張りました。

sleepから戻ってこないバグ

午前中はsleepコマンドを作っていました。

簡単にできるかと思いきや、デバッグ用の関数を消してsleepしたら一生戻ってこないバグが出ました。一般保護例外やページフォルトも出なかったのでobjdumpしてみると [rbp+0x8] のようなアドレスを読んでいて、むちゃくちゃな値がsleepの引数に渡っていることがわかりました。しかしそうなった原因がわからず、ウンウン唸ってもどうにもわからなかったので、同じ部屋で活動しているコンパイラゼミの講師であるhikaliumさんに助けを求めたところ、Red Zoneの可能性があると言われました。そこでRed Zoneを抑制する -mno-red-zone をコンパイラオプションにつけてビルドしてみると、正常に動くようになりました（Red Zoneについては下にアップするスライドで解説しています）。

時間切れ

午後はdelayコマンドの実装をはじめました。

delayコマンドは第一引数に秒数を、第二引数以降に行いたいコマンドを取り、指定秒数後に指定コマンドを実行する、なお指定秒数までは通常のコマンド操作はできるように実装する、といったようなものを想定して作りました。

戦略としては、

コンソール側にタスクキューとフラグをもたせる
タスクは実行する予定時刻と文字列を持つ
delayコマンドはタスクキューにタスクを詰める
タイマはタスクキューを見て、予定時刻を過ぎているタスクが詰まっていたらフラグを立てる
コンソールはフラグが立ったらキューに詰まっているタスクを実行する

というものを考えました。

これを実装しようとガチャガチャやっていましたが、自分のコンソール関数の設計上の問題でプログラムが難しく、あえなく時間切れになってしまいました。

5日目

成果報告会で発表しました。

speakerdeck.com

その後は他の人の発表を聴いたり、閉会式で修了証書を受け取るのを見たりしました。

そんなこんなしてセキュリティキャンプ2019は閉会しました。

感想

月並みですが参加してよかったです。

もちろん講師さんやチューターさんが横にいる環境で開発できたというのもそうですが、同年代の優秀な人たちと触れ合えたというのも良かったし、モチベーションが高まったというのも得たことの1つです。今後も精進するぞ。

今後の予定

OS開発は続けていきます（学校での自主課題でもあり、ラボユースのテーマでもあるので）。キャンプ中にできなかったdelayコマンドの実装もやりたいと思います。

また並行してOSのドキュメントも作っていきたいと思います。

最後になりましたが

講師陣の皆さん、チューターの皆さん、運営に関わった皆さん、全ての関係者各位に感謝します。

ありがとうございました！

終了

終了！

2019-06-08

セキュリティキャンプ受かりました

受かった

今年が年齢的に最後だということで出してたら通りました。やったぜ！

集中開発トラック（だっけ？）のOS開発ゼミです、同じゼミの人はよろしくお願いします。

恒例の応募シート晒し

GitHubに上げときます。全文は seccamp_apply_sheet.txt を見てください。

github.com

応募の経緯と意気込み

「30日でできる！OS自作入門」をやって、今度はx64のOSを作ってみたくなったので、セキュリティキャンプに応募してみました。募集が4月から始まって時間があったので、わりと練って書いたのですが、今見ると結構短いですね……10000字無かった……

友達や先輩がキャンパーで、キャンプの存在を身近に感じていたのも応募した要因の一つです。キャンパーの知り合いはみんないい経験だったと言っているので当日が楽しみです。

現在開発している自作OSは以下のリポジトリなのですが、

github.com

当日までに

メモリ管理（ページング）
割り込み
タスク管理

くらいは実装しておきたいですね。がんばり〼。

来年応募する人へ

応募シートですが、自分はただ闇雲に長く書くのではなく、凝縮して書くことを努めました。審査員の方たちは何百通と応募シートを見るので、わかりやすい言葉遣いで、意図がしっかりと伝わる文章にするのが良いと思います。読みにくい文章は読むのが嫌になってしまいますからね。学校の先生とかに見てもらうのもいいかもしれません。

プログラムの課題が出たときは、最低限の要件は満たしたほうがいいですが、できなくても、ここをこう試行錯誤したとか、ここはできなかったけど代わりにこの機能を追加したとか、とにかく食らいついてみるのがいいと思います。逆にできる人はもっと機能追加するとか、性能測定するとか（自分はこれですね）、いろいろやってみるといいかもしれません。

最後に

essen.osask.jp

SecHackのページなので微妙に違いますが、多分似たところはあるので引用させていただきます。選考に関するコメントの部分です。

SecHack365で私を指名してくれたけど落ちてしまった人たちは、実力がなくて落ちたのではなく、相対的な競争や、この人はできれば今年ではなく来年以降に！ということで選にもれただけなのです。自信を持ってください。そして通過した人も自分よりも実力がありそうな人が落ちたということを忘れずに、是非努力をしてください（その人が「こんな成果が出たのなら自分が翌年に回されたのもしょうがないな」と思えるように）。

まさにこのとおりだと思います。これから夏にかけて頑張っていきます。

AHCIとはなんぞや

初期化の手順について

仕様書の該当箇所

初期化手順をまとめた

自分の自作OSではどうなっているか

なぐり書きなので

発端

症状

解決方法

まとめ

1 - 3月

4 - 5月

6 - 7月

8月

9月

10 - 12月

まとめ

来年度は

師走の挨拶

設計

スレッドかプロセスか

thread 構造体

スレッドのスタック

スレッドごとのスタックポインタ

スレッドで実行する関数の情報

スレッドの状態

スレッドキューに登録した際のインデックス

どのタイミングでスレッド切り替えをするか

実装

スタックの初期化処理

スレッドを切り替える処理

最後の ret でどこにジャンプするのか？

実装は以上

まとめ

本棚を整理しました

ピックアップ技術書の紹介

プログラミング言語編

Programming in Lua

Smalltalkで学ぶオブジェクト指向プログラミングの本質

アルゴリズム・データ構造編

The Art of Computer Programming

計算困難問題に対するアルゴリズム理論

言語処理系

計算機プログラムの構造と解釈 第2版

OS

詳解Linuxカーネル 第3版

BSDカーネルの設計と実装

CPU・アーキテクチャ編

マイクロプロセッサ・アーキテクチャ入門

コンピュータの構成と設計 第3版

LaTeX編

[改訂第7版]LaTeX2ε美文書作成入門

(LuaLaTeX 微文書作成入門)

数学編

多様体入門

論理と計算のしくみ

競技編

セキュリティコンテストチャレンジブック

プログラミングコンテストチャレンジブック 第1版

その他

(Dragon University 2019.9)

邪悪編

関数型プログラミングに目覚めた！

いかがでしたか？

事前学習期間

当初の予定

実際の進行

キャンプ当日のやること決め

前日のトラブル

キャンプ期間中

1日目

2日目

消すと動かなくなるバグが発生

ACPI PMタイマとLocal APICの設定

3日目

タイマ割り込みが呼び出せない

4日目

sleepから戻ってこないバグ

時間切れ

5日目

`thread` 構造体

最後の `ret` でどこにジャンプするのか？

計算機プログラムの構造と解釈第2版

詳解Linux カーネル第3版

BSD カーネルの設計と実装

コンピュータの構成と設計第3版

プログラミングコンテストチャレンジブック第1版