わからない！！！ s-m-n定理の証明に使われているゲーデル数の最初の(2の)冪数に1と3が使われている理由が全く分からない。必然性がないような気がする。2でも4でも5でもいいんじゃ。頭痛いお... 続き わかっちった。 著者が正規化されたNプログラムPをゲー…

さて、いよいよNIC編をスタートさせました。TCP/IPの実装（または移殖）はsodex開発当初からの最上位課題で、その土台であるNICドライバの開発に取り掛かります。対象のNICは有名なNE2000とします。 NE2000ではDP8390という制御コントローラを使用しており、…

面白い定理。 述語 を とおくと、 は帰納的述語ではない。 ※とは簡単にいうとプログラムと入力列が与えられた時、計算結果を出すかいなかの述語。これから導かれる事柄として以下がある。 あるプログラムに対して、どんな入力に対しても必ず何らかの解答（エ…

帰納的関数の主要定理は大体理解したので一つ問題を解いてみる。 問題 1.4.9 問題 述語 の特徴関数 が帰納的関数のときpを帰納的述語という。 帰納的述語の最小関数 は （定義域が)の帰納的関数である事を示せ。 証明 帰納的述語の最小解関数 に最小値が存在…

悩む

NE2000の仕様読んでます。 初期化送受信自体はそれほどむずかしくなさそう。

24シーズン6は異常。先々週くらいの土日に2日で一気に見てしまった。今はLOSTシーズン1を見てるけどこれも結構おもしろす。

でも今日非通知の電話あったからそれかな。どちらにしろそれの開発に携わった人が会社に居るので気にしてないですが 1chipMSXはFPGAでCPUが書かれていてVHDLで色々出来るらしいのでついつい衝動買いしてしまったのですが、VHDLの勉強をしようか悩み中。さく…

mallocにややこしいバグが。。。カーネルからユーザランドにポインタ経由で渡した構造体の要素がおかしな値になってる。と思ったらユーザランド用のヘッダーファイル更新ミスでした（カーネルと共有しないとまずいよなぁ常識的に考えて。。）

が原始的関数である事を示すのに以下の補題が必要なんだけどその証明が4行しかなくて一読しただけでは分からなかったので論理的に細かく追ってみた。 前提 真偽の定まる関数pを述語と呼ぶ。 述語pに対してを特徴関数とよび、その定義は 述語pが真の時0、偽の…

計算機科学の数学的背景に興味があるので以下の本を購入。計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)高橋 正子 近代科学社 1991-08売り上げランキング : 135427Amazonで詳しく見る by G-Toolsとりあえず問をちょこちょこやっていく形…

またしてもカーネルサイズに依存して起動できない問題が発生。しかし今回はbochsでは起動出来るのでどうやらqemuが怪しい気がしてきました。qemu本体というよりint 0x13のBIOSシステムコール（FDCからの読み込み）が失敗してるのでqemuが使ってるBIOSの方く…

signalとkillを実装しました。とりあえず問題なく動いてそうです。 下の画像は何もしない「test」コマンドでプロセスを生成してそのプロセスをkillでSIGKILLシグナル送って殺しているところです。 さて、次何やるかなー

signal実装中。例によってpage faultが発生しまくります。とりあえずkillとsignalを実装して後は放置予定です。

Parallels Desktop for Mac上で動くwindowsを見てたらMac欲しくなってきた。。すごいさくさくなのれす。これ見るとWin上のエミュレータはゴミ。これにWinとLinux乗っけてメイン開発機にしたいです安西先生。 ※今は開発がノートPCに入れたLinuxでその他がデス…

waitpid実装。昨日のpage faultは_exit()の中でprocessのstateをzombieにした後そのまま返ってしまっていてそのまま何のコードもない0x8048000付近を突っ走ったために起きた現象でした。eshellでwaitpidを使ってコマンドの終了を待たせるようにしたので余計…

waitpid実装中。スケジューラ回りをcontext保存部、スケジューリング部に分離し、また親、子、兄弟プロセス関連を整備。exitするとプロセスはZOMBIE状態になるようにしwaitpidをした時、子プロセスにZOMBIE状態のプロセスがあればSTOPPED状態にして次回その…

私の知る限り唯一64bit自作カーネル書いてるMEG-OSの中の人(id:megosさん)が64bitOS作成日記書いてるYO！ ﾊｧﾊｧしながら読ませていただきますｗ

PIT(8254チップ）でどうやってタイマとスケジュール割り込みを共有しているのか謎だったけどコード見て謎が解けた。以下Linux-0.12の該当コード。(このバージョンはいい教材です。僕はLinux 2.6.xxを読んでいて理解不能でつらいときはminixと共にこのバージ…