DragonFly BSD
DragonFly BSD(ドラゴンフライ ビーエスディー)は、NetBSDやFreeBSDと同じくBSDの子孫の1つの、オープンソースのUnix系オペレーティングシステムである。
DragonFly BSD 6.2.1 とUEFIブートローダ | |
開発者 | |
---|---|
OSの系統 | Unix、BSD、FreeBSD |
開発状況 | 開発中 |
ソースモデル | オープンソース |
最新安定版 | 6.4.0 - 2022年12月30日[1] [±] |
リポジトリ | |
パッケージ管理 | pkg |
プラットフォーム | |
カーネル種別 | ハイブリッドカーネル |
ライセンス | BSDライセンス[2] |
先行品 | BSD・FreeBSD |
ウェブサイト |
www |
サポート状況 | |
サポート中 |
マシュー・ディロンがプロジェクトリーダーとなり、2003年にFreeBSD 4.8-STABLEから分岐する形で開発が始まり、2004年7月12日に初のメジャーバージョンであるDragonFly BSD 1.0が公開された[3]。
DragonFly BSDは、FreeBSD 4.xの後継というだけでなく、FreeBSD 5.xとも全く異なる方針で開発されている。この例として、LWKTや軽量メッセージシステムがある。このような多くのDragonFly BSDに実装される概念は、AmigaOSに触発されている。
カーネルの設計
編集DragonFly BSDには、最近の殆どのカーネルのように、ハイブリッドカーネルが採用されている。つまり、これは、モノリシックカーネルとマイクロカーネルの両方の性質を併せ持ち、必要に応じて両方のメリットを使うということである。例えば、マイクロカーネルのメッセージシステムにあるようなメモリ保護の恩恵を受けるのと同時に、モノリシックカーネルにあるような処理速度は残っている。メッセージサブシステムは、Machのようなマイクロカーネルのデザインと似て、余り複雑ではないものになっている。さらに、これは同期通信と非同期通信の両方に対応しており、状況に応じて最良の性能を出せるようになっている。
デバイスI/Oや仮想ファイルシステム (VFS) はメッセージサブシステムを使うように変更されている。これらの新しい機構に拠り、カーネルの様々な部分をユーザーランドで実行可能になる。ユーザーランドでカーネルの一部を実行すると、その部分はカーネルという大きなプログラムの一部ではなく、小さく独立した1つのプログラムとなる。こうすることで、ユーザーランドで動いているドライバーがクラッシュしても、カーネル全体はクラッシュしなくなるという利点もある。
システムコールはユーザーランド版とカーネルランド版に分けられ、メッセージとしてカプセル化されるようになった。これに拠って、標準システムコールの実体をユーザーランドにある互換レイヤーに移すときのプログラム量と複雑さを軽減可能になると同時に、新旧のDragonFly BSDの互換性を保ちやすくなった。さらに、Linuxやその他のUNIX系OSのアプリケーションを動かすための機構もユーザーランドに移せる。このようなFreeBSD jail上に作られたネイティブなユーザーランド互換レイヤーを使うことで、UMLと同等のことができる。しかし、UMLと異なり、仮想化には実際のハードウェアと通信するための特別なドライバーを必要としない。なお、UMLはLinuxをポーティングしたもので、ホストOSのカーネルを別のハードウェアプラットフォームと見なす実装になっている。
CPU局所化
編集スレッドはCPUに強く結び付けられるというデザインになっていて、各々のCPUはそれぞれLWKTスケジューラーを持っている。なお、スレッドが勝手に動作するプロセッサーを変えることはできず、IPIメッセージを使った場合のみ別のCPUへとスレッドが移される。そして、CPUを跨ぐスレッドスケジューリングも非同期のIPIメッセージを送ることで行われる。この方法を使うと、スレッドサブシステムを綺麗に区切れるが、その利点は、SMPシステムにて複数のCPUのキャッシュに同一データが乗らない、ということである。これに拠り、システムの各プロセッサーがスレッドの実行のために異なったデータをキャッシュできるようになり、高い性能を出せる。
LWKTサブシステムでは複数のカーネルスレッドに処理を分けるように実装された[注釈 1]。これに拠り、複数のカーネル内タスクでリソースを共有することで生じる競合状態を無くせる。このようにCPU毎の局所性を保つようにするアルゴリズムでスレッドを分ける実装は間違いなくDragonFly BSDに特有のデザインである。
共有資源の保護
編集共有資源(ファイルやデータ構造体など)へのアクセスは、マルチプロセッサーマシーンで安全に動作させるためには、直列化されなくてはならない。こうすることで、スレッドやプロセスは同時に同じ資源を変更できなくなる。アトミック操作・スピンロック・クリティカルセクション・ミューテックス・直列化トークン・メッセージキューは全て同じ資源への同時アクセスを防ぐのに使える方法である。LinuxもFreeBSD 5.xも粒度の細かいミューテックスを使ったモデルを用いることでより高性能なマルチプロセッサーシステムを構成しているが、DragonFly BSDはそうではなく、複数のスレッドが共有リソースに同時にアクセスしたり変更したりするのを防ぐために、クリティカルセクションと直列化トークンを用いている。最近まで、DragonFly BSDもSPLを使っていたが、その部分はクリティカルセクションで置き換えられた。
LWKTサブシステム・IPIメッセージサブシステム・新しいメモリアロケーターなどを含むシステムの中心的な部分の多くはロックしない。つまり、ミューテックス無しで動き、CPU毎に処理を行う。クリティカルセクションは局所的な割り込みから守るために使われ、CPU毎に処理を行う。これに拠り、動かされているスレッドはCPUを横取りされないことが保証されている。
直列化トークンは他のCPUからの並列アクセスを防ぐために使われ、複数のスレッドで同時に保持される。この結果、それらのスレッドの一つが与えられた時間に処理を行うことが保証される。それゆえ、ミューテックスを持っているスレッドと違い、ブロックされていたりスリープしているスレッドは他のスレッドが共有リソースにアクセスすることを禁止しない。直列化トークンを使うことで、ミューテックスを使った場合のようなデッドロックや優先度の逆転を引き起こす状況を防げる。これに加え、複数のスレッドで共有するようなリソースを要求する長いプロシージャーの設計や実装をずっと単純にできる。直列化トークンの実装は最近のLinuxにあるRCUによく似たものに発展しているが、計算機内の全てのプロセッサーではなく同じトークンで競合しているプロセッサー同士が影響を受ける、という実装になっている。
その他
編集開発の初期段階では、スラブアロケーターが採用され、FreeBSD 4.xのカーネルメモリアロケーターから置き換えられた。これはメモリを割り当てるときに排他制御やブロック操作を必要とせず、MPSAFEである。
SFBUF[5]とMSFBUFが使われている。SFBUFは短い時間しか使わない単一ページのマッピングを操作するのに用い、必要ならそれらのマッピングをキャッシュする。これらの機構は単一のVMページで保持されているデータへの参照を補うために使われる。この単純で強力な抽象化に拠って様々なことが可能になる。例えば、sendfile(2)[6]でのゼロコピーが実現されている。
SFBUFはカーネルの様々な箇所で用いられる。例えば、vnodeオブジェクトのページャーやパイプサブシステム(XIO[7]を用いた間接転送の場合)で広帯域な転送を行うために用いられる。SFBUFは単一のVMページでしか使えないために、MSFBUFSが短い時間しか使わない複数のページのマッピングを操作するのに用いられる。
SFBUFの概念はFreeBSDプロジェクトのデイビッド・グリーンマンがsendfile(2)[8]を書いたときに考案された。そして、この概念はアラン・L.・コックスとマシュー・ディロンによって書き直された。また、MSFBUFはハイテン・パーンディヤとマシュー・ディロンにより考案された。
開発の方向性
編集対応プロセッサー
編集DragonFly BSDは、現在では、x86-64アーキテクチャーベースの計算機(インテルとAMD)で動作する(32ビットへの対応は、3.8 を最後に打ち切られた[9])。これは単一プロセッサーもSMPも両方対応している。
パッケージ管理
編集初期のDragonFly BSDでは、FreeBSDのportsをパッケージ管理システムとして使っており、NetBSDのpkgsrcはオプションとして使えるに過ぎなかった。しかし、DragonFly BSD 1.4からpkgsrcがシステムの公式なパッケージ管理システムとなった[10]。これで、開発者は追加でインストールされるソフトウェアのアップデート作業から解放されることになった。また、この変更はpkgsrcの開発者がpkgsrcの移植性を高めるのにも役立った。
DragonFly BSD 3.4より、新たなパッケージ管理システムとしてDPortsが導入された[11]。DPortsはFreeBSDのportsをDragonFly BSDで使用できるようにする仕組みであるが、pkgsrcとDPortsを同時には使えない。
スレッドとメッセージング
編集システムコールとデバイスI/Oの実装はDragonFly BSDのスレッドメッセージングシステムを使うように変更されたが、これらは未だに同期して動作している。最終的には、全てのメッセージサブシステムを同期又は非同期のどちらでも動作するようにする予定である。
ユーザーランドスレッドのサポートも今後のリリースの重要な課題である。DragonFly BSDでは、今のところ、N:1スレッドしか持っていない。これについては、開発当初から取り組んでおり、近代的なスレッド実装になる予定である[注釈 2]。
ファイルシステム
編集DragonFly BSD 2.0より、ファイルシステムとして、HAMMER[12]を採用している。
HAMMERの後継として、HAMMER2の開発がマシュー・ディロンによって主導され、DragonFly BSD 5.0より実験的にサポートされ、DragonFly BSD 5.2より公式にサポートされる。
その他
編集開発と配布
編集FreeBSDとOpenBSDと同様に、DragonFly BSDの開発者は関数プロトタイプスタイルのCのコードを、より現代的でANSI準拠のものに少しずつ置き換えている。他のOSと同様に、DragonFlyのバージョンのGCCは、Stack-Smashing Protecterがデフォルトで有効になっており、バッファ・オーバーフローに基づいた攻撃に対する追加的な保護を提供している。ただし、2005年7月23日からは、この保護付きのカーネルのビルドはデフォルトではない[14]。
FreeBSDの派生物として、DragonFlyは、簡単に使うことができる統合されたビルドシステムを持ち、このシステムは、ベースシステムの全体をソースコードから少ないコマンドでリビルドすることができる。DragonFlyの開発者たちは、GitをDragonFlyのソースコードを管理するために使っている。また、FreeBSDとは違って、Dragonflyは、安定版と非安定版のリリースの両方をひとつのソースツリーに持っており、これはより小さな開発ベースによるものである[15]。
配布メディア
編集OSは、Live CDとLive USB(完全なX11フレーバーが利用可能)として配布され、これは完全なDragonFlyのシステムにブート可能である[16]。また、このメディアは、マニュアルページの完全なセットとソースコード、将来のバージョンで有用なパッケージとベースシステムを含んでいる。このことの優位点は、単一のCDで、ソフトウェアをコンピュータにインストールすることができ、フルセットのツールをダメージを受けたシステムの修復に利用することができ、システムの能力をインストールなしでデモンストレートすることができることである。デイリースナップショットは、マスターサイトから利用することができ、これは最も最近のバージョンのDragonFlyをソースからのビルドなしで利用したいと考えているユーザーに向いている。
DragonFlyは、他のオープンソースのBSDと同様に、現代のバージョンのBSDライセンスの下で配布されている。
脚注
編集注釈
編集出典
編集- ^ “DragonFly BSD 6.4.0”. DragonFly BSD (2022年12月30日). 2023年3月2日閲覧。
- ^ https://www.dragonflybsd.org/docs/developer/DragonFly_BSD_License/
- ^ F.・ジュリアン. “DragonFly-1.0 RELEASED!”. 2004年7月12日閲覧。
- ^ 末岡洋子 (2017年3月29日). “UEFIをサポートした「DragonFly BSD 4.8」リリース”. 2017年6月21日閲覧。
- ^ マシュー・ディロン. “sfbuf.h” (TXT). 2011年2月14日閲覧。
- ^ DragonFly BSDプロジェクト. “SENDFILE(2)”. 2014年8月22日閲覧。
- ^ マシュー・ディロン. “xio.h” (TXT). 2009年9月19日閲覧。
- ^ FreeBSDプロジェクト. “SENDFILE(2)”. 2014年8月22日閲覧。
- ^ https://www.dragonflybsd.org/docs/faq/FAQ-English/
- ^ イェルーン・ラウフロック・ヴァン・デル・ウェルヴェン. “PKGSRC will be officially supported as of the next release”. 2005年9月1日閲覧。
- ^ ジョン・マリーノ. “An introduction to DPorts”. 2013年1月2日閲覧。
- ^ DragonFly BSDプロジェクト. “hammer”. 2014年8月23日閲覧。
- ^ 末岡洋子 (2014年11月27日). “「DragonFly BSD 4.0」リリース、32ビット対応を廃止しx86_64のみをサポート”. 2016年8月1日閲覧。
- ^ “DragonFly BSD diary”, DragonFly BSD, (7 January 2006) 19 November 2011閲覧。
- ^ Biancuzzi, Federico (8 July 2004), “Behind DragonFly BSD”, O'Reilly Media 20 November 2011閲覧。
- ^ Vervloesem, Koen (21 April 2010), “DragonFly BSD 2.6: towards a free clustering operating system”, LWN.net 19 November 2011閲覧。