HelenOS

マイクロカーネルはマルチタスクとメモリー管理、プロセス間通信を扱う。 また、カーネルベースのスレッドを提供し、対称型マルチプロセッシングをサポートしている。 マイクロカーネル設計に典型的なように、ファイルシステム、ネットワーク、デバイスドライバ、グラフィカルユーザーインターフェイスは、それぞれ独立したユーザースペースのコンポーネントの集合として実装されており、コンポーネントの集合はメッセージバスで通信する。

それぞれのプロセス(タスクと呼ばれる)は、複数のスレッド(カーネルによりプリエンプティブにスケジューリングされる)を持つことができる。また、ユーザースペースで協調的にスケジューリングされたファイバーを持つこともできる。 デバイスドライバとファイルシステムドライバーは、他のシステムサービスと同様にユーザースペースのタスクの集合(サーバー)として実装されている。これにより、HelenOSはマルチサーバーな特徴を持つこととなっている。

タスクはコネクション指向で非同期的なHelenOS IPCにより通信する。 これは、固定長のメッセージを送信したり、一連のバイト列を送信したり、メモリーの共有をネゴシエートするのに利用できる。 メッセージは、多量のデータをコピーしたり、中間のタスクのアドレス空間をメモリーマッピングすることなく転送できる。

HelenOSの開発はコミュニティーにより行われている。開発者コミュニティーは、少人数のコアチームと、世界各地の多数のコントリビューターからなっている。コアチームは、プラハ・カレル大学数物学部の教員や学生、卒業生が主になっている。 ^[5] 2011年と2012年、2014年には、HelenOSはGoogle Summer of Codeに指導組織として参加した。^[6][7][8] 2013年には、Space 2013プログラムのESA Summer of Codeに指導組織として参加した。 ^[9]

HelenOSのソースコードは、BSDライセンスで公開されている。いくつかのサードパーティーのコンポーネントは GNU General Public Licenseが適用されている。^[10] 両方のライセンスはフリーソフトウェアライセンスであり、これによりHelenOSはフリーソフトウェアとなっている。

HelenOSは、ARMやx86-64、IA-32、IA-64 (Itanium)、MIPS、 PowerPC (32ビットのみ)、SPARC V9のCPUアーキテクチャーで動く。 シミュレーター上で動くだけでなく、実際のハードウェアで動く例も存在する。

HelenOSは、PATAやSATA、USBマスストレージ、USB HID、Atheros製のチップを搭載したUSB Wi-Fiアダプター、いくつかのイーサネットカード、シリアルポート、キーボード、マウス、フレームバッファーをサポートしている。

HelenOSはプラハ・カレル大学の分散ディペンダブルシステム部門によるソフトウェアコンポーネントと検証についての研究に利用されている。 ^[11][12] それ以外にも、学生によるソフトウェアプロジェクトや修士論文のためのプラットフォームとしても利用されている。 ^[13]

1. ^ hpr1447 :: HPR Coverage at FOSDEM 2014 Part 1/5
2. ^ HelenOS Micro-Kernel OS Still Marching On
3. ^ HelenOS - the operating system that launched a thousand processes, DistroWatch Weekly, Issue 350, 19 April 2010
4. ^ HelenOS nikdy nebude dokončený, říká jeho autor Jakub Jermář
5. ^ HelenOS Contributors measured by Ohloh
6. ^ List of projects accepted into Google Summer of Code 2011
7. ^ List of projects accepted into Google Summer of Code 2012
8. ^ List of projects accepted into Google Summer of Code 2014
9. ^ Selected mentoring organizations
10. ^ HelenOS analysis by Ohloh
11. ^ Institutional research plan MSM0021620838 - Modern methods, structures and systems of computer science (2005-2011, MSM)
12. ^ Research @ D3S
13. ^ Defended HelenOS theses at Faculty of Mathematics and Physics, Charles University in Prague

• HelenOSホームページ
• HelenOS のGitHubレポジトリー

• HelenOSに関する学位論文、論文、文書など