ぱたへね

はてなダイアリーはrustの色分けができないのでこっちに来た

初めての逆運動学

実践ロボット制御を読みながら、三章の脚ロボットの逆運動学をプログラミングしてみた。

実践 ロボット制御: 基礎から動力学まで | アールティ, 耕, 細田 |本 | 通販 | Amazon

数式は本を見てもらうとして、素直にコーディングするとこんな感じ。

まあまあそれっぽくは動いている。

ただ、このプログラムは、この範囲でしか上手く動かない。 少し範囲を変えるとこうなってしまう。

多分緑の角度を決めているθの符号が逆。

ここの角度にarccosを使っていて、cos(θ)=cos(-θ)だからかなと思ってる。

課題は2つ

  • θの符号はどう決めるか。
  • 単純にIKを解くだけだと、ロボがワープするから今の姿勢から最終姿勢までの連続として解かないといけない

4章以降で運動学の一般化の説明があるから、勉強続ければ分かると思う。

以下、コード。 アニメgif化するところはcopilotがだいたい書いてくれた。

import PIL
from PIL import Image, ImageDraw
import math
import numpy as np
import os
import glob

import matplotlib.pyplot as plt
import matplotlib.animation as animation

# キャンパスの大きさ
CANVAS_WIDTH = 300
CANVAS_HEIGHT = 300

GROUND = -80

PI = math.pi


class Robo1leg:
    def __init__(self):
        self.theta1 = PI / 8
        self.theta2 = - PI / 8
        self.theta3 = PI / 2
        self.l1 = 50
        self.l2 = 40
        self.l3 = 20

    def draw(self, canvas):
        draw = ImageDraw.Draw(canvas)
        # 本体
        cx0, cy0, cz0 = robo2canvas(0, 0, 0)
        draw.ellipse((cx0 - 10, cy0 - 10, cx0 + 10, cy0 + 10), fill=(0, 0, 0))

        # 足1
        x1 = self.l1 * math.sin(self.theta1)
        z1 = - self.l1 * math.cos(self.theta1)
        cx1, cy1, cz1 = robo2canvas(x1, 0, z1)
        draw.line((cx0, cy0, cx1, cy1), fill=(255, 0, 0), width=3)

        # 関節
        draw.ellipse((cx1 - 5, cy1 - 5, cx1 + 5, cy1 + 5), fill=(0, 0, 0))

        # 足2
        x2 = x1 + self.l2 * math.sin(self.theta2 + self.theta1)
        z2 = z1 - self.l2 * math.cos(self.theta2 + self.theta1)
        cx2, cy2, cz2 = robo2canvas(x2, 0, z2)
        draw.line((cx1, cy1, cx2, cy2), fill=(0, 255, 0), width=3)

        # 関節
        draw.ellipse((cx2 - 5, cy2 - 5, cx2 + 5, cy2 + 5), fill=(0, 0, 0))

        # 足3
        x3 = x2 + self.l3 * math.sin(self.theta3 + self.theta2 + self.theta1)
        z3 = z2 - self.l3 * math.cos(self.theta3 + self.theta2 + self.theta1)
        cx3, cy3, cz3 = robo2canvas(x3, 0, z3)
        draw.line((cx2, cy2, cx3, cy3), fill=(0, 0, 255), width=3)

    def get_leg_pos(self):
        x1 = self.l1 * math.sin(self.theta1)
        z1 = - self.l1 * math.cos(self.theta1)
        x2 = x1 + self.l2 * math.sin(self.theta2 + self.theta1)
        z2 = z1 - self.l2 * math.cos(self.theta2 + self.theta1)
        x3 = x2 + self.l3 * math.sin(self.theta3 + self.theta2 + self.theta1)
        z3 = z2 - self.l3 * math.cos(self.theta3 + self.theta2 + self.theta1)

        return x3, z3

    def inverse_kinematics(self, x, y, z):
        theta1 = math.atan2(
            (self.l1 + self.l2 * math.cos(self.theta2)) * x + self.l2 * math.sin(self.theta2) * z,
            (self.l2 * math.sin(self.theta2) * x - (self.l1 + self.l2 * math.cos(self.theta2)) * z)
        )
        tmp = (x**2 + z**2 - self.l1**2 - self.l2**2) / (2 * self.l1 * self.l2)
        theta2 = math.acos(tmp)
        theta3 = (PI / 2) - theta1 - theta2

        return theta1, theta2, theta3

class World:
    def __init__(self):
        # 画像内でxは右が正、zは上が正、yは手前が正
        self.origin_x = int(CANVAS_WIDTH / 2)
        self.origin_z = int(CANVAS_HEIGHT / 2)
        self.output_dir = 'result'

        self.robo_x = 0
        self.robo_y = 0
        self.robo_z = 0
        self.robo = None

    def add_robo(self, robo):
        self.robo = robo

    def draw(self, time):
        canvas = Image.new('RGB', (CANVAS_WIDTH, CANVAS_HEIGHT), (255, 255, 255))
        self.robo.draw(canvas)

        gx, gy, gz = robo2canvas(0, 0, GROUND)
        draw = ImageDraw.Draw(canvas)
        draw.line((0, gy, CANVAS_WIDTH, gy), fill=(0, 0, 0), width=1)

        file_name = os.path.join(self.output_dir, 'result_{0:03d}.png'.format(time))
        canvas.save(file_name, 'PNG')



def robo2canvas(robo_x, robo_y, robo_z):
    """ロボの座標を画像上のx, yに変換する。"""
    rot_mat = np.array([[1, 0, 0, CANVAS_WIDTH / 2],
                        [0, 0, -1, CANVAS_HEIGHT / 2],
                        [0, 0, 0, 0]])

    pos = rot_mat.dot(np.array([robo_x, robo_y, robo_z, 1]))
    return pos[0], pos[1], pos[2]

def create_animation(output):
    fig = plt.figure()

    pictures = glob.glob("result/*.png")

    ims = []
    for i in range(len(pictures)):
        # 読み込んで付け加えていく
        tmp = Image.open(pictures[i])
        ims.append([plt.imshow(tmp)])

    ani = animation.ArtistAnimation(fig, ims, interval=500)
    ani.save(os.path.join('result', output))


if __name__ == '__main__':
    robo = Robo1leg()
    world = World()
    world.add_robo(robo)

    px0, pz0 = 40, GROUND
    theta1, theta2, theta3 = robo.inverse_kinematics(px0, 0, pz0)
    robo.theta1 = theta1
    robo.theta2 = theta2
    robo.theta3 = theta3

    print("robo pos = ", px0, pz0)
    pxf = - px0
    pzf = pz0
    step = 16

    for t in range(0, step):

        # zを一定にして逆運動学で目標位置を求める
        px = px0 + (pxf - px0) * t / step
        pz = pz0 + (pzf - pz0) * t / step
        print("target pos = ", px, pz)

        theta1, theta2, theta3 = robo.inverse_kinematics(px, 0, pz)
        robo.theta1 = theta1
        robo.theta2 = theta2
        robo.theta3 = theta3
        world.draw(t)

    create_animation('result.gif')

初心者が言語モデルを勉強するための本(2023年6月版)

流行のLLMを勉強したくて沢山本を読みました。 この後もしばらくLLM(GPT)関係の出版が続きそうなので、現状の本でまとめてみました。

参考:

nowokay.hatenablog.com

まとめ。

  • Transformerの仕組みを知りたい人で、画像のDeep Learningなら分かるって人はVision Transformer入門
  • 言語モデルをデータセットを作る所からやってみたい人には、作ってわかる! 自然言語処理AI
  • とにかくすぐに動かしたい人には、機械学習エンジニアのためのTransformers
  • ビジネス的に何ができるのかを知りたい人はBERT入門

Vision Transformer入門

Vison Transformerになっていますが、Transformerの説明がとても詳しくお勧めです。実際に写経してパーツパーツで動かせるのはこの本だけ。Transformer一点突破なので、一般的な言語処理の説明は弱いのですが、それを差し引いてもTransformerの説明が一番分かりやすかったです。特にDeep Learningが画像から入った人には、CNNとの比較もありすごく分かりやすかったです。

後半は事例になっていて、実際にTransformerを記述するところはボリューム無いので動かして見るにはちょうど良いと思います。

言語モデルを動かさないと意味が無いって人には、次の作ってわかる! 自然言語処理AIがお勧め。

gihyo.jp

作ってわかる! 自然言語処理AI

写経してTransformerを理解した人にお勧め。word2vecとそれ以降の言語モデルの違い等、理論的な所もしっかり押さえてあります。自分でwikipediaのデータをダウンロードして学習して行きます。Transformerのアーキテクチャだけでなく、学習データの作り方までしっかりわかるのはこの本だけ。いろいろあるAttentionの違いがちゃんと説明してあるのもこの本だけでした。

自分で言語モデルを1から学習したい人にお勧めです。

www.c-r.com

機械学習エンジニアのためのTransformers

何か動かしたくて、一冊だけ買うならこの本です。Transformersはライブラリの名前です。複数形なので区別がつくはず。

Transformers(ライブラリ)の使い方、Transfsormersで解けるタスクの紹介と実際の動かし方、ONNXやプルーニングを使った高速化手法まで、盛りだくさんの内容になっています。

Transformer自体の説明もちゃんとあります。個々の説明が駆け足にも関わらず、要所要所で技術的な鋭い補足が入っています。

具体的にやりたいことがあって最短距離進みたいならこの本しか無いですね。

www.oreilly.co.jp

ディープラーニングによる自然言語処理

Transformerメインではなく、自然言語処理全般について書かれている本。 AllenNLPというライブラリを使っていて、取り扱っているトピックの割には本が薄めになっていて読みやすいです。最後はBERTまで。薄いながらも評価基準がしっかり書いてあって、しれっとoptunaも使っています。

LSTMの説明もしっかりしてあり、Transformerを動かすのではなく、Deep Learningを使った言語処理の研究をしたい人向けでした。

www.kyoritsu-pub.co.jp

BERT入門

言語モデルが解くべきタスクの説明や、データアセスメントについてよくまとまっていました。本格的に動かす前に、言語モデルが何できるのかを知りたいビジネス寄りの人にお勧め。実装に関しては、Vision Transformer入門 (Computer Vision Library) が分かりやすいと思う。

www.nttdata.com

深層学習からマルチモーダル情報処理

not for meだった本。 深層学習について、誤差関数とか基本的な所から詳しく説明されています。ただ、JDLAのE資格もっていれば全部知っている内容でした。

また、期待していたマルチモーダル部分についてもあまり記載がなく残念でした。もう少し、マルチモーダル故の課題とか、解決策が載っていて欲しかった。

www.saiensu.co.jp

ChatGPTで中国語の勉強をしている

ChatGPTが中国語の勉強にとても役に立っているという話。

読んでいる本は機械学習 周 志華、最近翻訳も出てます。

機械学習 | 周 志華, 大和田 勇人, 玄 光男, 下川 朝有, 郝 新厂, 張 聞強 | コンピュータ・IT | Kindleストア | Amazon

このアンサンブル学習の章で「而基学习器有时也被直接称为弱学习器」という文が出てきて、僕の中国語レベルだとかなり難しい。 更に悪いことに呼ぶ(称する)という意味の称を、あなたという意味の你だと思ってしまって全く意味が取れない。

まずはChatGPTに聞いてみると、間違いを指摘してくれた上で意味を教えてくれる。

ここまでやってもらっても文の構造がわからないので、更に聞いてみる。

これはすごい。

  • 機械学習の文脈と専門用語が分かってる
  • 動詞フレーズなど学習者向けの表現で文法が説明できる
  • ピン音が全部振ってある

これを同時に満たしてくれる中国語の先生は僕の近くにはいないんじゃないかと思う。 勉強はかどる。

エンジニアのためのドキュメントライティング

エンジニアのためのドキュメントライティング読みました。 最近の仕事の悩みに対して、方向性を示してくれた良い本でした。

www.amazon.co.jp

自分のチーム内にドキュメントの文化が無い人にお勧めします。 全体のざっくりした感想だと、この手の本にありがちな小言っぽいことは書いてなく、作って意味のあるドキュメントはどうあるべきかを書いてあります。仕事のドキュメントで悩んでいる人には、具体的な取り組みのアイデアがいっぱい見つかるでしょう。

背景

うちの会社は転職者が多く、開発への考え方がバラバラ。当然、ドキュメントに対する考え方もバラバラで必要なドキュメントがなかなか揃わない。今の仕事は各部署からの寄せ集めチームでもあり、ドキュメントのテンプレートみたいなものもない。

世代間の格差も結構ある。ベテラン勢はドキュメントは印刷され保管される前提であり、表示にバージョン、日付、部署、作成者などを明記するべきだと思ってる。ドキュメントの承認印的な物が欲しい人もいる。一方若い人はドキュメントはVCSに組み込まれる物であって、作成日や作成者の情報はVCSで持っておけば良いという考え方があり、ドキュメントに作成者などを書かない。

若手の言い分もわかるけど、社外に出て行く文章はバージョン管理いるでしょう・・・みたいな悩みを抱えていたところ、この本を見つけました。この前に、Googleのソフトウェアエンジニアリングを読んで、ドキュメントについて考えることがあったけど、googleの本に書いてある事は大概の会社には当てはまらない。Googleのようにドキュメントの作成や管理をスケールさせる意味はまずない。

そんな感じでもやもやしているところでこの本を買って読むことにしました。

良いところ

ドキュメントの作り方みたいな本は、結構小難しいことがかいてあります。ドキュメントには承認プロセスが必要とかなんやらかんやら、用語の定義はこうしろ、フォントはこう使い分けようなんやらかんやら。こういうのは大企業のドキュメント管理を専用にする部署向けであったり正しいドキュメントを書くためのルールだったりします。エンジニアの気持ちやそれが何の役に立つのという観点はあまり考慮されないパターンが多いです。そもそもドキュメントを書きたくないという気持ちから目を背けてます。

この本はスタートアップの会社がWebサービスを公開するというシチュエーションでドキュメントの書き方と運用について書かれています。アメリカの本にありがちな謎の寸劇っぽい部分がすごく短く読みやすいです。堅い本に比べると、なぜ正確なドキュメントが必要なのかという点は説明少なめです。まあ、この本を読んでいる時点で何かしらの課題を持っているはずなので、ドキュメントの重要性をくどくどと書いてないのは良い。

書く側の気の持ちよう的な所が書いてあって、レビューする側、される側の心構えも書いてありました。作成したドキュメントがどれだけ役に立ったかの計測についても結構な量があり、お堅い本にはでてこないトピックで勉強になりました。

とにかく「ドキュメントを書く」事を目的とせず「ドキュメントを運用する」事にフォーカスされています。

関心した所

ドキュメントを書くに当たって

ドキュメントは開発していく物。コードと同じ。 大事なのは一貫性。用語、見出し等、一貫性があると読みやすい。 ドキュメントは流し読みしやすいように書く。 一回で良い物を作ろうとしない、文章で悩むくらいならレビューしてもらって他人に指摘してもらった方が早い。

手順書

一度開発者が正確に書いてから、ユーザー目線で改善していく。このやり方を作成者も意識していると、頑張って書いた手順書に対してわかりにくいという指摘も受け入れやすい。ユーザーの立場で正確に手順を書くというのはできないので正確に書くのは開発者、その後分かりやすい手順書にするのはユーザーの立場の人という分担は直ぐにでもチームに投入したい。

API

APIのドキュメントは大事だ。この本はWebサービス前提だが、何か開発した物に対して使い方がわかるドキュメントが大事なことはWebサービスに限らない。

APIのドキュメントを書くための専用のトレーニングコースまである。 https://idratherbewriting.com/learnapidoc/

サンプルコード

サンプルコードは、説明したいこと(もしくは動かしたいこと)に特化する。小粋なアルゴリズムは不要。 クラス名や変数名は、your_password等普段使わない説明的な名前をつかってもOK。

まとめ

本の章立てはドキュメントを作るところが前半、後半は運用について書かれています。 今、自分のプロジェクトでドキュメントについて悩みがあるなら、該当する箇所、もしくは今後ぶつかるであろう課題について書いてあります。

ドキュメントもチームの文化なので、良いチーム文化を作るためにも、みんなで納得しながらドキュメント作りたいですね。

自作コンパイラで演算子の優先順位をつけた

自作コンパイラでC言語の演算子に優先順位をつけました。

これの続き

natsutan.hatenablog.com

低レイヤを知りたい人のためのCコンパイラ作成入門には詳しい説明がなく、テキストの範囲ではバイナリオペレータに優先順位はほとんどついてないと思います。足し算よりかけ算優先くらい。 手持ちの教科書にあんまり詳しく載っていないのは、足し算とかけ算の優先順位付けられるなら後は分かるでしょって事だと思う。

2023/03/18追記 すいません。理解してから低レイヤを知りたい人のためのCコンパイラ作成入門を見たら、ちゃんと優先順位ついてました。論理AND等が無いこととごっちゃになってました。

自作コンパイラで優先順位がつくようになったでまとめました。

そもそも優先順位をどうつけているか

かけ算と足し算の優先順位付けは、この文法から来ています。

expr : term { + term }
term : factor { * factor }
factor : ID | '(' expr ')'

一般的にk個の優先順位をつけるためには、非終端のルールがk+1個必要になります。かけ算と足し算で2つの優先順位があるので、非終端の文法が3つ必要になります。

C言語の演算子

Retargetable C Compilerに実装方法が載ってました。

www.amazon.com

C言語の演算子の優先順位は15段階になっています。 パース関数については後述。優先順位は値が大きい方(表の下)が優先順位が高い。

優先順位 結合 演算子 パース関数
1 , expr
2 = += -= *= /= %= &= ^= |= <<= >>= expr1
3 ?: expr2
4 || expr3
5 && expr3
6 | expr3
7 ^ expr3
8 & expr3
9 == != expr3
10 < > <= >= expr3
11 << >> expr3
12 + - expr3
13 * / % expr3
14 * & - + ! ~ ++ -- sizeof (type-cast) unary
15 ++ -- postfix

今、バイナリオペレータの優先順位をつけたいので、優先順位4から13までを処理したい。 ざっくりというと、優先順位が15レベルあれば文法を16個作れば優先順位をつけてパースできる理屈になります。

優先順位の数だけ関数を作っても良いけど、ほとんど同じ内容の関数がたくさん出てきて面倒だよねということで、Retargetable C Compilerにでてくるパーサは優先順位4から13までを、expr3という一つの関数で捌いています。

LCCの実装

Retargetable C Compilerに出てくるLCCの実装はこうなっています。 exprで再帰するときに優先順位を渡して、その優先順位を使って一つの関数でパースしています。

void expr(int k) {
 if (k > 13) 
     factor();
  else {
    expr(k+1);
    while(prec[t] == k) {
      t - gettok();
      expr(k + 1);
  }
}

precが優先順位のテーブルになっていて、prec['+']だと12を返します。

なるほど、わからない。

実装してみた

F#でwhileを使うのが苦手なので、愚直に文法増やして対応しました。 こんな感じです。

 expr = logicaland { || logicaland }
 logicaland = bitwiseor { && bitwiseor }
 bitwiseor = bitwisexor { | bitwisexor }
 bitwisexor = bitwiseand { ^ bitwiseand }
 bitwiseand = equality { & equality }
 equality = relational { == relational }
            relational { != relational }
 relational = shifting { < shifting }
              shifting { > shifting }
              shifting { >= shifting }
              shifting { <= shifting }
 shifting = additive { << additive }
            additive { >> additive }
 (省略)
 factor = num
        | ( expr )

ソースのコピペ連発でしたが、低レイヤを知りたい人のためのCコンパイラ作成入門の経験から、ここは一度作ればあとから直したくなることがないと判断しました。まずは動く物を作ろう。

こうやって文法を足した結果、こういう計算がgccの結果と一致するようになりました。

int main(void) {
  putd(15 << 2 == 15 >> 2);
  return 0;
}

次は変数とアサインの実装。

ソースはここ

github.com

自作コンパイラで基本的な演算子が動いた

自作コンパイラでRISC-VのC言語の基本的な演算子が動くようになりました。

これの続き

natsutan.hatenablog.com

こんなCソースで動作確認しています。

int main(void) {
  putd(2>=4);
  return 0;
}

低レイヤを知りたい人のためのCコンパイラ作成入門に書いてないところ中心にまとめました。

www.sigbus.info

動いた演算子

<< >>

右シフト、左シフトはそのまんまの命令があるので使う。 C言語で負の値の右シフトは処理系依存。符号が残る方が好きなので算術シフト sra を使いました。

            | BinOpKind.LShift -> fp.WriteLine " sll a0, a0, a1"            
            | BinOpKind.RShift -> fp.WriteLine " sra a0, a0, a1"

& | ^

これも対応する命令がある。

            | BinOpKind.BitAnd -> fp.WriteLine " and a0, a0, a1"
            | BinOpKind.BitOr -> fp.WriteLine " or a0, a0, a1"
            | BinOpKind.BitXor -> fp.WriteLine " xor a0, a0, a1"

&& ||

bit演算をした後、結果を0と比較する。 結果が0でなければ1、結果が0ならば0を返す。

            | BinOpKind.LogicalAnd ->
                fp.WriteLine " and a0, a0, a1"
                fp.WriteLine " snez a0, a0"
            | BinOpKind.LogicalOr ->
                fp.WriteLine " or a0, a0, a1"
                fp.WriteLine " snez a0, a0"

2023/03/15修正 &&は間違っていた。こっちが正解。 一旦両オペランドを0か1にしてからandを取る。

            | BinOpKind.LogicalAnd ->
                fp.WriteLine "  snez a0, a0"
                fp.WriteLine "  snez a1, a1"
                fp.WriteLine "  and a0, a0, a1"
                fp.WriteLine "  snez a0, a0"

>= <=

ちょっと頭を使った。 RISC-Vの比較命令は、slt (set lesser than)しかない。 greater thanを使いた時は、左右のオペランドを入れ替える。

問題は>=と<=。引き算して0以上とかで行けるかなと思ってパターソン先生の The RISC-V Readerを眺めていたら、<=は、>の否定なので専用の命令は要らないと書いてあって納得。

riscvbook.com

seqz a0, a0が、a0が0ならa0を1に、a0が0以外ならa0を0にしてくれる。

            | BinOpKind.LesserThan -> fp.WriteLine " slt a0, a0, a1"
            | BinOpKind.LesserEqual ->
                fp.WriteLine " slt a0, a1, a0"
                fp.WriteLine " seqz a0, a0"
            | BinOpKind.GreaterThan -> fp.WriteLine " slt a0, a1, a0"
            | BinOpKind.GreaterEqual ->
                fp.WriteLine " slt a0, a0, a1"
                fp.WriteLine " seqz a0, a0"

%

これもそのまんまの命令があるので使う。

            | BinOpKind.Modulo -> fp.WriteLine " rem a0, a0, a1"

この後

基本的な演算子が動くようになったが、優先順位が全然ついてないので次は優先順位をつけていく。

ソースはここ

github.com

ゼロからのOS自作入門

ゼロからのOS自作入門を1年かけて読みました。

book.mynavi.jp

長い時間かかりましたが、それだけの価値がある本です。 OSに限らずCPUや周辺デバイスの制御を手を動かしながら勉強したい人にお勧めです。

C++のソースコードが読みやすく、解説も詳しいです。ただ、扱っている内容が高度なのでちょっとよく分からないところがでてくるのはしょうがないと感じました。ただ、一回は動かしたという自信がつくので、今後何か必要な事が出てきたら、確実にこの本に戻ってこれます。

これからもずっと本棚に居続けるそんな本になりました。

本の内容

ブートローダーから始まって、GUI付きのOSを作っていきます。タスク(プロセス)の管理、入出力、ファイルシステム、GUIとパソコンっぽい機能が充実しています。最低限動くところをC++のソース付きで解説してあるのですが、その最低限の所がかなり上の方にありました。楽しいところだけ作ろうというのは感じるのですが、やっぱりOSとして動かしていく難しさがあって、それを一つ一つ乗り越えていきます。

1章~3章

開発環境の準備と、ブートローダを作り自作のカーネルが起動するまで。 UEFIを使った開発と画面の描画ができるようになります。

4章~5章

文字が書けるようになります。1文字を描画するWriteAscii関数は最後までお世話になります。 文字を書くためのフォントもここで導入します

6章~8章

最初の壁。PCIとUSBを動かします。マウスを動かしながら、割り込みやメモリマネージャを作ります。 CPU側ではセグメントの設定などアセンブラを使ってスタックの操作を行います。 ここはファイルごとコピーで分かったつもりで先に進んで良いと思います。 特にUSBの方は難しかった。

9章~12章

画面の表示を綺麗にしたり、タイマーやキーボードからの入力を行います。 目に見えてできることが増えて楽しくなってくるところです。

13章~14章

いよいよマルチタスクの導入です。ここもアセンブラが出てきます。 擬似マルチタスクから本当のマルチタスクへ。

15章~18章

ターミナルを作りながら、OSのユーザー寄りの機能を増やしていきます。 FATを使ったファイルシステムを導入し、lsコマンドを作ります。 ここからOSとアプリでソースコードが分かれてそれぞれ別々にコンパイルして動かします。 アプリ側ではcstring等の標準ライブラリの一部が使えるようになります。

19章

ページングの導入。ここも難しい。

20章

20章でシステムコールが導入されます。ここも難しい。 システムコールを導入するとともに、今までOSと同じメモリ空間で動いていたユーザーアプリをOSから分離していきます。

21章以降

21章から後は、新しい機能を追加しながら、システムコールが順番に増えていきます。 システムコールを増やす度にできることが増えていって楽しいところです。厳密にはOSではないのですが、自作OSでprintfが動いたのは感動しました。 メモリのコピーオンライトの実装がクライマックス感ありました。日本語の表示もできるようになります。UTF8のフォーマットもここで理解しました。

最後、画像ビューワーを起動しておしまいです。

写経

基本的にはソースコードをダウンロードして、本とソースを見ながら写経していきました。 USBの所で一度挫折して、難しそうな所は写経せず最初からコピペにしたらなんとか最後までいけました。 写経するかどうかは写し間違えたとき自分でデバッグできるかどうかを基準にしていました。

1日30分(1ポロモード)と時間を決めて写経を続けていて、9月からは毎日30分写経していたので終わりかなと思うとさみしいです。この本のC++はトリッキーな記述もなく、新しく使うC++の機能には簡単な説明もあります。最初から最後まで一貫したルールで書かれていて、毎日の写経がC++のコーディングスタイルを確認するような感じでした。

実装で関心したところはファイル周りの継承です。ファイルシステム上のファイルを読む、キーボードから文字を読み込む、パイプで別プロセスからの出力を読み込む、これらの全然実装が違う動きが同じように扱えファイルディスクリプタで一元管理されているのは実際に動かして驚きました。実務の継承もこれくらい綺麗に書けるとうれしい。

C++ちょっと勉強したけ複雑なプログラムをどこから作れば良いのか分からない人は、この本を写経すると良いでしょう。プログラミングの入門書に載っていないような、リアルな開発の進め方が体験できます。まずはmainにべた書きで一つだけ動きを確認する、一つ動いたら次を確認する、ある程度動いたところで別ファイルへ移動してI/Fを決め、それ以降はそのI/Fで動かす、といったループを何回も何回も繰り返します。機能はそのままでソースファイルを一気に整理するタイミングもあります。ここまでしなくても1章の最終形だけを解説しても十分なのに、全ての機能でこのステップを踏んでいるのが執筆大変だったと思います。

ソースコードは本の内容に合わせる形で、全てのタイミングでダウンロードできます。

github.com

デバッグで困ってにっちもさっちもいかなくなったら、ダウンロードした所から再開すれば良いので、挫折しかけても最後まで頑張れます。僕は、USBの所とページングの所がどうにもこうにもならなくなって、関係ありそうな所をファイルごと上書きして先に進みました。

USBはいつか自力実装したいところです。

最後

最後は、こういう画像ビューワーを作っておしまいです。教科書的な機能よりは見て楽しい機能を優先して実装すすめていきます。 ウィンドウを閉じる×ボタンも機能するのは最終日でそれまではただの絵なのですが、最初からいかにも動きそうな感じで描画されていて遊び心を感じました。

最初にこの本の事を書いたのが去年の三月なので、途中中断しながらも最後まで動かすのに一年間かかりました。

natsutan.hatenablog.com

もう一つ最後

本の最後に素敵な言葉があったので紹介します。

OSを作るにはコツがあります。それは、最初から完璧に作ろうとしないことです。最初から完璧を目指すと手が止まってしまって全然前に進まなくなります。

ちょうど今Cコンパイラを作っていて、OSの部分をCコンパイラに読み替えて元気もらいました。 素敵な本をありがとうございました。