お前ら*BSDのカーネルをハックしますか？

[1 見習デーモン NG NG]

これからsys/kern/init_main.c読んでみます。

【参考】
・「The Design and Implementation of the 4.4BSD Operating System」
　の第2章
http://www.freebsd.org/doc/en_US.ISO8859-1/books/design-44bsd/index.html

・*BSDでのアセンブリ
http://www.int80h.org/bsdasm/

なんか検索してみてもあんまりハックサイトひっかからないね。
Linuxより伝統あるはずなのに。

[59 50 NG NG]

26さん、ありがとう！！

objdump --all-headersの出力は、はっきり言って分からなかった
んですが、ヒントは掴めたです。
______________________________
// a.c
extern int __start_my;
extern int __stop_my;
static void test1(void)
{
printf("test1\n");
}
static void test2(void)
{
printf("test2\n");
}
static void (*__p1)(void) __attribute__ ((section ("my"))) = test1;
static void (*__p2)(void) __attribute__ ((section ("my"))) = test2;
int main(void)
{
void (**p)(void);
for (p = &__start_my; p < &__stop_my; p++) {
(**p)();
}
return 0;
}
______________________________
// b.c
static void test3(void)
{
printf("test3\n");
}
static void test4(void)
{
printf("test4\n");
}
static void (*__p3)(void) __attribute__ ((section ("my"))) = test3;
static void (*__p4)(void) __attribute__ ((section ("my"))) = test4;

が動いて一人感動しております。
最初、関数のコード部分もmyセクションに入れてしまって
core吐きまくったです。

[60 納期に間に合わないかもしれない男 NG NG]

>58
既存のソゥースについたBSD スタァイルのコピーライトオンを改変しなけれヴぁ
問題にないはずです。
頑張ってくださイね。

[61 見習いデーモン NG NG]

おひさしぶりです。
己の能力不足ですっかりカーネルの深海に溺れて土左衛門になって
スレに出入りすることもなかったんですが、
まだ地味に続いてたんですね。

26さんが情報提供してくださったりして、スレの雰囲気は良い方向
に向かってますね。
全然ついていけないんですけど、今MINIXいじって基本を勉強してるんで
いつか追いつければなぁと思ってます。

っつーかみなさんどうやってそんなにスキルつけたんですか。

[62 名無しさん＠お腹いっぱい。 NG NG]

>>61
oskitで遊ぶ

[63 26 NG NG]

>>58

どんな簡単な物でもいいから、とりあえずドライバ書いて見たら？
今まであるドライバからコピペしたり、/usr/share/examples/にある
スクリプトを使ったテンプレートを元に書けばそんなに難しくないよ。
頭から追っていくってのは正直言うとかなり効率の悪い方法だと思う。
カーネルがprintf(9)で吐くメッセージをたよりにしたりしながら
調べるのが吉。そうすれば例えばSYSINITの実装はとりあえず理解しなくても
先に進むことが出来るし。

[64 名無しさん＠お腹いっぱい。 NG NG]

なんか面白そうだな。
*BSD 入れたくなってきた。

[65 名無しさん＠お腹いっぱい。 NG NG]

Solarisのカーネルハックもここでいいの？

[66 名無しさん＠お腹いっぱい。 NG NG]

Solarisの kernel source見ると、変な copyrightに汚染されませんか?
# 会社の決算期にあたって、bladeが来ない...

[67 age NG NG]

age

[68 名無しさん＠お腹いっぱい。 NG NG]

>>63
日本人がBSDにドライバ書くのは見飽きたにょ
VFSとかに挑んでみてくれ

[69 名無しさん＠お腹いっぱい。 NG NG]

Uniform Driver Interfaceどうよ？

[70 名無しさん＠お腹いっぱい。 NG NG]

えと、えと。そうしてほしいの？おにいちゃん。ってのはともかく。
要はいじりたいコンポネントからせめて行くのが得策なわけで。
頭から見ても良い事はあんまり無いと言うのが本質ですな。
他機種移植だったらそれが一番大事だけど。
(もっとも、例にだしたのがドライバなのは私がその見飽きた事を
しているからでして。)次はportalfs元にいじるかな。小さくて簡単そうだし。
kernfsあたりも簡単そうだったけど。FreeBSDからは消えたし。

UDIですかぁ。うーん。努力は認めるけど....

[71 68 NG NG]

>>70
個々のファイルシステムじゃなくてVFS。
VMいじれとまでは言わないっす。ドライバ書きは多いけど、そっから
昇格するやつがいないと思ったみょ。
わしも、しょうもないドライバを昔書いたけど、それいらいカーネルは
いじってないでし。（もはや一介の犬厨です）

[72 名無しさん NG NG]

ソラリスのカーネルスレッドがマッチするよう
Sparcは設計されているのですか？

[73 名無しさん＠お腹いっぱい。 NG NG]

あげ

[74 名無しさん＠お腹いっぱい。 NG NG]

ドライバ書きより VFS いじる方が格が上だとでも？
ただのレイヤ違いじゃん。

[75 名無しさん＠お腹いっぱい。 NG NG]

>>74
本当にそう思う？
みなさまもそう思う？

[76 名無しさん＠お腹いっぱい。 NG NG]

禿同 >>74

[77 74 NG NG]

>>75
心からそう思っております。

[78 名無しさん＠お腹いっぱい。 NG NG]

age

[79 仕様書無しさん NG NG]

これも

[80 名無しさん＠お腹いっぱい。 NG NG]

つづきプリーズ揚げ

[81 名無しさん NG NG]

ＢＳＤに誰か　じゃーなりんぐできるＦＳ実装してくれたまへ。
あと、圧縮できるＦＳもキボンヌ

[82 名無しさん＠お腹いっぱい。 NG NG]

http://jfs4bsd.sourceforge.net/

[83 名無しさん＠お腹いっぱい。 NG NG]

>>82
ライセンスどうするんだろ? JFSもGPLだったよね?

[84 名無しさん＠お腹いっぱい。 NG NG]

>>83
コードの再利用をせずにスクラッチで書けば良いんではないかい？

[85 83 NG NG]

うーんやっぱそうなるよねぇ。先が長そうだ...
とりあえず応援age

[86 名無しさん＠お腹いっぱい。 NG NG]

JFS ってわざわざスクラッチから作るほどイイの？

[87 名無しさん＠お腹いっぱい。 NG NG]

とりあえずジャーナリングするファイルシステムがひとつは欲しい

[88 名無しさん＠お腹いっぱい。 NG NG]

JFS for Linux を移植するよりスクラッチから書いた方が早い

[89 名無しさん＠お腹いっぱい。 NG NG]

>>88
その情熱をLFSに注いでｸﾚ

[90 名無しさん＠お腹いっぱい。 NG NG]

LFSとかsoftupdateみたいなディスクへのリクエストの順序で整合性を保つ方式は
そろそろダメというのが世間のコンセンサスな気がする

[91 名無しさん＠お腹いっぱい。 NG NG]

ジャーナリングって
ディスクへのリクエストの順番と
実際書き込まれる順番が
デタラメになっても問題ないの？

[92 名無しさん＠お腹いっぱい。 NG NG]

>>91
そんなことはないが、ディスクキャッシュのフラッシュなどの
同期命令の発行がかなり少なくてすむ
少なくともメタデータ一個書くごとにフラッシュする必要は無い

[93 名無しさん＠お腹いっぱい。 NG NG]

書き込み順序保証ってSCSIやATAのtagged queuingじゃダメなの?

[94 名無しさん＠お腹いっぱい。 NG NG]

>>93
その手の機能をすべてのメタデータの書き込みに対して使うと遅いよ

[95 名無しさん＠お腹いっぱい。 NG NG]

>>90
LFS はセグメント毎にフラッシュすれば十分なんでないの？
ダメ？

[96 名無しさん＠お腹いっぱい。 NG NG]

>>95
そうですな。すまんかった

[97 名無しさん＠お腹いっぱい。 NG NG]

age てみよう。

[98 名無しさん＠お腹いっぱい。 NG NG]

勉強のため、FreeBSD 4.5-RELEASE 上で俺ファイルシステムを
作りたいと思っています。とりあえず、procfs のように、カーネルの
覗き穴的な fs がいいかなと。

が、サパーリわかりません。というわけで、fs のスケルトンが欲しい
のですが、よいスケルトンはどれでしょうか。

ファイルサイズ的に miscfs/deadfs/ かなぁと思うのですが、deadfs は
どういう目的の fs なのかがわかりません。ぜひアドバイスをお願いします。

[99 98 NG NG]

deadfs は mount 方法もわからないし (そもそも mount できるのか
どうかもわからん) kernfs の方がいいかな…。

[100 名無しさん＠お腹いっぱい。 NG NG]

procfs を換骨奪胎すればいいのでは？

[101 名無しさん＠お腹いっぱい。 NG NG]

やっぱnullfsが基本では。

procfsはpseudofsレイヤができたから応用ききづらいかも。

[102 100 NG NG]

nullfs は読むのに layerfs と行ったり来たりしなきゃ
いけないので面倒かもと思ったので。(NetBSD)

よく見たら >98 はFreeBSDか。

てゆーか msdosfs あたりでも見たほうがむしろ分りやすいかもとか
思ったり。

[103 98 NG NG]

なんだこれ、ちょーかんたんじゃん! というわけでメモメモ。
　/sys/conf/files に追加。
　　miscfs/orefs/orefs_vfsops.c standard
　　miscfs/orefs/orefs_vnops.c standard
　/sys/sys/vnode.h に VT_OREFS を追加。
　　enum vtagtype {
　　　...
　　　VT_OREFS, /* 追加 */
　　};

　# mkdir /sys/miscfs/orefs && cp /sys/miscfs/kernfs/* /sys/miscfs/orefs
　/sys/miscfs/orefs/* を片っ端から s/kern/ore/
　# cd /sys/i386/conf && config GENRIC && cd ../../compile/GENERIC
　# make depend && make make install
　# ln -s /sbin/mount_kernfs mount_orefs
　# reboot
　# mkdir /ore
　# mount_orefs orefs /ore
　# ls -l /ore
　-r--r--r-- 1 root wheel 9 Apr 9 20:30 oresama
　# cat /ore/oresama
　oresama!

[104 98 NG NG]

UNIX 使い始めて はや7年。やっとカーネルの世界にちょっとだけ足を踏み入れる
ことができたかな…。漏れみたいなヘタレには一生無理かとおもてたよ。感激。

というわけで、とりあえずの目標は
　rootvfs/da0s1a -> vnode/1
　rootvfs/ad0c -> vnode/2
　vnode/1/v_flag
　vnode/1/v_count
みたいな (まだわかってないので構成は適当)、各種構造体をマッピングした
ファイルシステムを作ろうと思います。

> やっぱnullfsが基本では。

nullfs の本来の使い方がいまいちわからないので、
一番サイズの小さい kernfs で行くことにしましたっす。

[105 名無しさん NG NG]

カーネルのコンパイルについて質問です。
FreeBSD4.5でカーネルをいじってmake && make installを
しているんですが不要な部分を除いてコンパイルの時間を
短くできないでしょうか？そんな都合のいい話は
ないかもしれませんがよろしくお願いします。

[106 あぼーん NG NG]

あぼーん

[107 名無しさん＠お腹いっぱい。 NG NG]

>>105
パソコンかえればはやくなるんじゃないかな。
PentiumIII1G以上だったら1分ぐらいで終わるし。

[108 名無しさん＠お腹いっぱい。 NG NG]

>>105
本来スレ違いなんだけど…

http://www.jp.freebsd.org/www.FreeBSD.org/ja/handbook/kernelconfig.html

さらに何か疑問があればFreeBSD質問スレにGo

[109 名無しさん＠お腹いっぱい。 NG NG]

NULLFSは正直お勧めできない｡
あれは、スタッカブルファイルシステムのテンプレ｡
そうそう｡Linuxネタだけど、これどうよ｡（カーネル空間でORBit動かす）
http://korbit.sourceforge.net/
これ一瞬移植しようかと思ったけど、geom入ったせいで
glibと名前空間がぶつかりそう｡

[110 名無しさん＠お腹いっぱい。 NG NG]

うーん｡
NetBSDからスタッカブルファイルシステム系全部持ってきたほうが
面白いかなぁ｡

[111 名無しさん＠お腹いっぱい。 NG NG]

>>109
ORBit カーネルで動かすとなんかいいことあるの？

> you can write Linux device drivers in Perl
とか言われてもなあ(w

[112 学生 NG NG]

カーネル書けるとｽｺﾞいって書き込みよく見かけますが
学生で書けたらすごいですか？
ウチの教授は書けますかね？

[113 名無しさん＠お腹いっぱい。 NG NG]

>>112
そんな書き込みどこで見かけた？

２ちゃんねるぢゃあないよな？

[114 名無しさん＠お腹いっぱい。 NG NG]

>>113
ここと思われ：

Free Unix での経験は職歴に入らないか？ (428)
http://pc.2ch.net/test/read.cgi/unix/995637081/12

[115 学生 NG NG]

ビンゴです。
あと、以前他のスレでも見ました。

で、どうなんですか。
カーネルは上級のプロじゃないと書けないんですか？
お前ら真面目にレス下さい。

[116 名無しさん＠お腹いっぱい。 NG NG]

>>115
べつにプロである必要はこれっぽっちもないわけだが

[117 学生 NG NG]

>>116
どのくらい難しいのでしょうか
３年間くらい勉強すれば学生でもかけますか

[118 名無しさん＠お腹いっぱい。 NG NG]

>>117
やってみりゃ自分でわかるだろ？
つべこべ言ってないでさっさとカーネルをハク汁

[119 名無しさん＠お腹いっぱい。 NG NG]

>>117
自分の頭の中のフローチャートを実際にプログラムに
起こせる人間であれば、多分1年くらいで出来ると思う。

漏れは3年くらいかかったけど（鬱

[120 名無しさん＠お腹いっぱい。 NG NG]

>>117
学生かどーかは関係ないし。
1ヶ月くらいやってみて無理そうなら当分無理。

[121 １１７ NG NG]

レスありがとうございます。
ここで言う「書ける」というのは、白紙からの状態から自分で書けるという意味ですよね？
既存のプログラムを改造するとか、書籍を見て書くとか、そういう意味ではないですよね？

[122 名無しさん＠お腹いっぱい。 NG NG]

>>115
むしろカーネルをスクラッチから書くなんてこと
学生にしかできないから、今のうちに頑張れ。
「上級のプロ」にそんな暇なんてありません。

[123 名無しさん＠お腹いっぱい。 NG NG]

>>122
UNIX使いになるためには、やっといて損はないですか？

[124 名無しさん＠お腹いっぱい。 NG NG]

>>123
人によって"損"の感じ方が異なります
私の損とあなたの損は違います

[125 名無しさん＠お腹いっぱい。 NG NG]

>>124
うーん
将来ネットワーク関係のソフトウェアを開発したいのですけども。
そーゆー人にとっては有益でしょうか？

[126 Ｔ大理系 NG NG]

みんな理系？
凄いです
尊敬します

[127 名無しさん＠お腹いっぱい。 NG NG]

>>125
そういう具体的な目標があるのなら、カーネルに拘らずに最初から
ネット周りのプログラムをハクした方がいいと思われ。

カーネル書ける奴はスゴイが、カーネル書ける奴だけがスゴイわけじゃない。

[128 名無しさん＠お腹いっぱい。 NG NG]

俺的にはドライバをバリバリ書き捲くってるような人が
プログラマとして尊敬に値すると思ってる。
カーネルはどっちかって言うと設計するものって感じだしねぇ。

[129 名無しさん＠お腹いっぱい。 NG NG]

>>128
実務家っぽい御意見…

[130 名無しさん＠お腹いっぱい。 NG NG]

人に訊いてからじゃないと始められない奴は結局何もできない。
hackなんてのは気づいたらやっているか、やらないと夜が明けないかのどちらかだ。

[131 名無しさん＠お腹いっぱい。 NG NG]

>>125
ネットゲーのサーバとかのように、非同期に発生する大量の要求を
うまく捌かなければならないプログラムを書くのは、
カーネルを書くのと似たようなセンスが必要な気がする。
# RDBMSとかもそうだな。

こういうシステムをうまく設計できる奴は
非常に使えるね。

[132 名無しさん＠お腹いっぱい。 NG NG]

>>130 がいいこと言った。

[133 学生 NG NG]

みなさんどうもありがとう
ところでみなさん理系ですか？
もしくはコンピュータで飯を食っている人達ですか？

[134 名無しさん＠お腹いっぱい。 NG NG]

>>133
理系かそうでないかなんてどうでもいいことだ。
とりあえずやってみろ

>>130
どっかで聞いた気がするが、イイね

[135 名無しさん＠お腹いっぱい。 NG NG]

>>133
俺も学生。経営情報学科というとこにいる。
理系だか文系だかわからん。

[136 名無しさん＠お腹いっぱい。 NG NG]

あーあ
カーネルいじって遊んでたら
もー朝だよ...
寝よーっと。

[137 名無しさん＠お腹いっぱい。 NG NG]

カーネル・ハッカースおじさんのAAｷﾎﾞﾝﾇ

[138 名無しさん＠お腹いっぱい。 NG NG]

hack より fuck だと最近痛感 おっかけさぼりすぎで make world 不能状態

[139 26=52=..... NG NG]

某誌のネタにしますた。

[140 名無しさん＠お腹いっぱい。 NG NG]

保守age

[141 名無しさん＠お腹いっぱい。 NG NG]

見習いデーモンは死んだのか？

[142 名無しさん＠お腹いっぱい。 NG NG]

ど
な
たか、いらっしゃい
　　　　　　　　ま
　　　　　　　　せ
　　　　　　　　ん
　　　　　　　　か
　　　　　　　　？

[143 名無しさん＠お腹いっぱい。 NG NG]

誰かハックしてる人いますかー。


BSDのkernel読み始めるとしたら、手をつけるところは
どこがおすすめですかねぇ

[144 名無しさん＠お腹いっぱい。 NG NG]

>>143
過去ログ

[145 名無しさん＠お腹いっぱい。 NG NG]

>>143
current の SMPng

[146 名無しさん＠お腹いっぱい。 NG NG]

>>143
まぁ、過去ログにもいろいろあるけど、手足から見て行くのがいいと思うね。
デバイスドライバ、ファイルフォーマット毎のプロセス実行サブシステム(imgact_*)、
簡単なファイルシステム、低水準の初期化部あたりは割とコンパクトに
まとまってて読みやすいんじゃないの?

>>145

ほぅ。じゃぁ、具体的に何処のファイルがSMPngに関係してるのか言ってみ。
PERFORCEのリポジトリは見てるんだろうね。

[147 名無しさん＠お腹いっぱい。 NG NG]

>>146 の後半
ネタにマジレスカコワルイ

[148 名無しさん＠お腹いっぱい。 NG NG]

>>146
FreeBSD以外の*BSDってperforce使っているんですか?

FreeBSDのperforce treeってanonymousでソースを取れるんでしょうか?
できるんなら見てみたいと思っています。

[149 名無しさん＠お腹いっぱい。 NG NG]

>>148 他の*BSDでは使ってないです。
でもSMPngっていったらFreeBSDでしょ。
リポジトリのブラウズならここでどうぞ。
http://people.freebsd.org/~peter/p4db/
手元に置きたければ
http://people.freebsd.org/~peter/p4cookbook.txt
に取り方が書いてある。

[150 名無しさん＠お腹いっぱい。 NG NG]

FreeBSDのブートについて質問させてください。

sys/boot/common/load_elf.c を読んでるんですが、
/kernelのエントリアドレス(当方では0xc012b130)に0xff000000をマスクして
符号反転してオフセット(off)を0x40000000にしている意味がわからないです。
コメントの「i386 relocates after locore」っていうのも呪文ですし…

で、結局/kernelのプログラムヘッダの仮想アドレス(当方では0xc0100000)と
さっきのoffを加算して桁あふれさせて0x100000にして、
最終的にはこのアドレスに/kernelをロードしてるようなんですが、
なんかえらくまわりくどくないですか？私の読みが浅いだけでしょうか。

[151 ＠夜勤雀棟 ◆YaKINcTg NG NG]

>>150

sys/boot/common/load_elf.c
> off = - (off & 0xff000000u); /* i386 relocates after locore */

offの最上位の1バイトをクリアするだけだと。
e.g. 0xc012b130 -> 0x0012b130

>/* i386 relocates after locore */

boot2内で/kernelを16MB以下のリニアアドレス(0x00100000-)へ展開しておき、
locore.sにおいて適切なアドレス(0xc0100000-)へmapするのだと思われます。
(locore.s内でページングをenableにしている)

#ざっと眺めただけなので保証はしませんが :-p

[152 名無しさん＠お腹いっぱい。 NG NG]

良サイト宣伝中〜〜。

http://www.interone.jp/~game-k/

注）私はサイト関係者とは無関係ですよ。

[153 名無しさん＠お腹いっぱい。 NG NG]

>>152
BSD カーネルのハックに関する良サイトかと思って見に行っちゃったよ :-)

[154 名無しさん＠お腹いっぱい。 NG NG]

アドレスの最後の方のgameがgmakeに見えて、見に行っちゃったよ。。

[155 名無しさん＠お腹いっぱい。 NG NG]

>>151
その通り。なぜ、&= ~(0xff000000)じゃないのかよう分からんけど。
で、じゃあ何故ELFヘッダの開始番地が0x100XXXなんかじゃ無くて
0xc01000XXになってるかっていうと、paging開始後はカーネル仮想メモリ
アドレスは全て0xc0000000以降になっていて、 カーネルで使用している
メモリアドレスは全てそこにマップされるから。(リンカとELFフォーマット
の機能を使えばそういう状況にも実は対応できたりするような気もするけど)
特にkernelとISAメモリ空間は(物理アドレス+0xc0000000)の位置にマップされます。
locore.sでページングを開始するまでに絶対アドレッシングが必要な
時は
#define R(foo) ((foo)-KERNBASE)
定義されるマクロを使ってアクセスしてます。

[156 150 NG NG]

>>151, >>155

お二人のレスを見ると自分がはずしまくってるのかニアミスなのか
すげぇ悩みます。
load_elf.cに↓のようにコード追加して

--
228行目あたり
if (kernel) {
printf("before [%p]\n", (void *)off); ←これを追加
#ifdef __i386__
off = - (off & 0xff000000u); /* i386 relocates after locore */
printf("after [%p]\n", (void *)off); ←これを追加
--

# make
# make install

として祭起動すると

before [0xc012b130]
after [0x40000000]

となるんで、あぁそうかと思ってたんですけど、お二人は
最上位の１バイトをクリアしてるとおっしゃてますし。
でも/kernelを0x100000へマップするのはあってるんですよね？

[157 ＠夜勤雀棟 ◆YaKINcTg NG NG]

>>156
> off = - (off & 0xff000000u); /* i386 relocates after locore */

スマソ。コードを読み違えました。
off -= (off & 0xff000000u);
だったら最上位バイトのクリアですね。

[158 150 NG NG]

>>157
まぁ「保証はしない」っておっしゃってましたしね =)

さてすっきりしたところでつぎはbtx.sでものぞいてみますか…