東京大学 大学院 情報理工学系研究科 - システムソフト（OS）の信頼性、安全性向上に賭ける
システムソフト（OS）の信頼性、安全性向上に賭ける コンピュータ科学専攻 前田俊行 助手 型理論とモデル検査理論を組み合わせて 検証ツールなど２つの方法で実現目指す コンピューターは、WindowsやLinux、Solarisなどの基本となるシステムソフト（OS）上に各種のアプリケーションソフトを走らせて計算などの仕事をさせるが、問題なのは、OSの安全性や信頼性を確保するのが困難なこと。ここに研究のメスを入れて、OSの高信頼化に挑戦している29歳の若い研究者がいる。コンピュータ科学専攻の前田助手だ。「立派な大きな城に見えるOSも、ポンと押すと、すぐにでも倒れそうな脆さがあるんです。それを改善し、信頼性に裏打ちされたOSづくりに貢献できたら」―この言葉が、前田助手の心意気を表している。 安全性に欠けるC言語の問題点を衝く OSは、コンピューターのメモリー資源やCPU資源などを管理する最も重要
本当に30日でOSが出来上がるのかを試してみるBlog
さて、というわけで、０日目〜３１日目までの全３２日分をすべて読み終えたこととなったが、実は本音を言うと、途中何度かあきらめそうにもなったし、全然わからねーと投げやりにもなった。楽しかったけど、同時に辛かったことも事実だ。しかし、なんとかかんとか、ここまでこぎつけることができた。本当に充実した時間だった。 だから、俺は今後もＯＳを作っていきます。ただ、もうこれまでのように詳細に更新、報告することはないです。多分本当に30日でOSが出来上がるのかを試してみるページの一番下のところにひっそりと公開していくだろうと思う。 というわけで、最後に感謝の言葉でこのBlogを締めくくりたいと思う。 まずは、一番最初に、この本の著者である川合秀実氏に感謝したい！ ありがとう。あなたが書いたこの本で、少なからず、俺のこの１ヶ月は充実したものとなった。そして、この本をきっかけにＯＳ作りの楽しさってのがほんの少し
C/C いっさいなし、Javaだけで開発されたOS - JNode (MYCOM PC WEB)
JNode.orgは1日(ドイツ時間)、JNodeの最新版となるJNode 0.2.3を公開した。JNode 0.2.3はJavaで開発されたOS。C言語をまったく使っておらず、ほとんどがJavaで実装されている。ごく少数のアセンブラだけが含まれている。 JNode 起動 JNode CUI 動作例 JNode 0.2.3はGNU LESSER GENERAL PUBLIC LICENSE Version 2.1のもとで公開されているオープンソースソフトウェア。公開されている成果物は次のとおり。 gzip圧縮されたLiveCDイメージファイル すべてのソースコード JNode 0.2.3では、特にGUIに関する改善がおこなわれており、フォントレンダリングなどは特に優れた改善が施されている。GUIが動作する環境であればGUI環境まで起動し、ゲームなどを実行することもできる。 JNodeはもと
30日でできる！OS自作入門
Thank you for being patient. We are doing some work on the site and will be back shortly.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
