Muen | SK for x86/64
Muen is an Open Source separation kernel (SK) for the Intel x86/64 architecture that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by codelabs GmbH. Muen was designed specifically to meet the challenging requirements of high-assurance systems on the Intel x86/64 platform. To ensure Muen is suitable for highly critical systems and adv
mruby専用クラウドOS「μOSv」を作りました - syuu1228's blog
追記：μOSvはOSv本家にマージされました。 こちらのWikiの「OSvをビルドしてより多くのアプリを試す」以下を参照して下さい。 μOSvというものをgithubで公開したので、ここに簡単な説明を書いておきます。 実行イメージ動画： これは何？（OSvを知らない人向けの説明） ローカルマシン上のKVM・Xenや一部のIaaSサービス・VPSなどで走る、mrubyスクリプトを実行する事のみに特化されたOSです。 mrubyインタプリタの実行に汎用OSを必要としないため、とても少ないメモリ使用量（今のところ90MB以上なら動く）・ディスクイメージサイズ（今のところ26MB）・とても速い起動時間（今のところ2秒くらい）で動作します。 mrubyなのでRubyで使えるAPIが全て使えるわけではありませんが、ネットワークアクセスを行う小さなアプリケーションであればLinux上で動作するRubyス
産総研：高精度な実時間OS「ART-Linux」を公開
発表・掲載日：2013/03/07 高精度な実時間OS「ART-Linux」を公開 －システム障害に強い頑健性を確保－ ポイント 複数のCPUコアを独立して利用することでシステムの信頼性を向上 実時間性の必要なシステムの即応性を高めると共に、頑健性と汎用性を高める Linuxを基本にしているため、Linuxを利用するほぼ全てのアプリケーションが動作可能 独立行政法人 産業技術総合研究所【理事長 野間口 有】（以下「産総研」という）デジタルヒューマン工学研究センター【研究センター長 持丸 正明】加賀美 聡 副研究センター長は、複数のCPUコア(Central Processing Unit Core(s))を独立して利用することで、システムのディペンダビリティーを向上させることができる高精細な実時間OS(Realtime Operating System)であるART-Linuxを開発し、W
「Firefox OS」搭載のスマートフォンのデザインはこんな感じになる。
今後、「Firefox OS」を搭載したスマートフォンが発売されることになりますが、そのFirefox OSのボタンやタブなどがどのようなコンセプトを持って作成され、どのようなものになっているかが分かるスライドがあります。 MozCamp Warsaw: Design Principles Behind Firefox OS UX | Mozilla UX https://blog.mozilla.org/ux/2012/09/mozcamp-warsaw-design-principles-behind-firefox-os-ux/ 基本的なFirefox OS全てのデザインのテーマは以下のようになります。 ○力強く・幾何学的、だけど受け入れやすい感じの形 ○手作りされたようなデザインを伝えるユーザーインターフェース ○小さく・効果的・直感的、そして暖かさを感じるデザイン まず、全てのア
プロセス、スレッド、ファイバ、タスク、ジョブ、違いを整理してみよう - Schi Heil と叫ぶために
まずは分かりやすいプロセスとスレッドから。 Windows や Linux などの汎用 OS 上のアプリケーションは一般にプロセスとして動作している。プロセスはプログラムの実行単位である。プロセスは1つ以上のスレッドと、ファイル、ヒープメモリなどのリソースで構成される。一方、スレッドは CPU 利用の単位である。スレッドはそれぞれが専用のスタックと CPU レジスタのコピーを保持するが、ファイルやヒープメモリは同一プロセス内の全てのスレッドで共有する。 スレッドのさらにサブセットがファイバである。スレッドとの違いは切り替え動作にありファイバのほうが軽いというメリットがある。プロセス、スレッド、ファイバの関係はこちらの説明が分かりやすかった。 プロセスはプログラム実行のための固有のメモリ空間を持っており、最も独立性の高い実行単位である反面、起動や切り替えに時間がかかるという特性を持っています
WindowsからUbuntuへの移行を阻む壁
「Ubuntu」（ウブンツ）と呼ばれるOSをご存知だろうか。Ubuntuとは、GUI環境を備えたクライアント向けOSである。 ここで「OSである」と説明したが、厳密には「ディストリビューション」である。Ubuntuは、オープンソースのLinuxカーネルをベースにしている。Linuxカーネルは、誰もが無償で利用できる。 Ubuntuもまた、無償で利用可能だ。個人に限らず企業も無償で使えるし、用途も問わない。しかも無償でありながら、OSとしての機能はWindowsにも引けを取らない。 Windowsから乗り換えられるほどの完成度 筆者がLinuxを知ったのは、もう15年ほど前のことだ。書店でインストールCD付きのノウハウ本を見つけたのがきっかけである。このノウハウ本を購入して、当時使っていた日本IBMのディスプレイ一体型パソコン「Aptiva」にインストールした。 ところが、Linuxは正常に
ContentResolverでSDカードに画像保存 | Techfirm Android Lab
AndroidはOSもマーケットもオープンなので、将来的には他者に負けまいと各メーカー独自のAPIが用意され、マーケット側でも差別化のために独自のAPIが整備され、選択肢が増える反面、一括で対応するのはほぼ不可能になり、市場は細切れになっていくんだろうなぁという気がしているdaichi1128です。 さて、今回はAndroidのデータベースアクセスの肝になるContentResolverを使ったSDカードへの画像保存をやってみます。 目標はギャラリーに表示させるところまで。 カメラ画像として保存する Androidのギャラリーアプリ内でカメラフォルダの中に画像を保存する方法です。 早速コードから。 public class ImageManager { public static Uri addImageAsCamera(ContentResolver cr, Bitmap bitmap
Google vs Apple vs Microsoft ～ ひと目でわかるモバイルOS戦争の構図：In the looop：オルタナティブ・ブログ
今朝，面白いニュースが入ってきた。Nexus OneでGoogleと深い関係を持つHTCが，やはりGoogleの協力を得てAppleタブレット対抗製品を開発しているとの内容だ。報じたのはGIZMODEやSiliconAlleyInsiderだが，ニュースソースとなっているのはオーストラリア発ウェブ記事だ。 ・ HTC To Launch Apple iSlate Competitor (SMART HOUSE, 2009/12/31) この記事の信憑性は不明だが，興味深いのは Androidではなく Chrome OSでタブレット開発をすすめているという点だ。 ■ GoogleとApple，タブレット開発に見る設計思想の違い Googleは現時点ではAndroidとChrome OSをクールに切り分けている。公式ブログでの見解は次の通りだ。 Google Chrome OS は、Andro
404 Mouse Not Found:弾が選ぶ2009年IT3大ニュース - 終わりのはじまり
こんなお題をいただいたので。 CNETパネリストが振り返る2009年:CNET Japan オンラインパネルディスカッション - CNET Japanさて、2009年のIT業界における3大ニュースを選ぶとしたらどんなものが思い浮かぶでしょうか。皆さんの意見を聞かせてください。 年を越す前に。 今年は単に2009年という年であると同時に、ゼロ年代最後の年。偶然の一致かもしれないが、「終わりの始まり」を強く予感させる1年であったように思う。 1. iPhoneの台頭とAndroid端末の登場 = ガラケー終わりのはじまり 日本で3Gが販売されたのは去年のことだが、今年の3GSの登場で、iPhoneも街で見かけるのが当たり前になってきた。地下鉄に乗ると、自分以外に持っている人がいないということがほとんどないほどに。来年にはAndroid端末も当たり前になってくるだろう。 この変化は、端末にとど
携帯電話もOSを選べる時代はくるか？
スマートフォンの次のステップになるのでしょうか？ 米VMware社が最新のシステムを使えばスマートフォンで2つのOSを起動させることがほぼできると宣言しています。なかなか注目できます、そして注目するとともに｢なんでスマートフォンは好きなOS選べないのよ？｣という気持ちがますます強くなります。 パソコンを買う時の最も重要なチョイスとしてオペレーティングシステムがあります。最新のWin 7もいいけどやっぱりまだXPでいたいな、とか。ネットブックユーザーだからウィルスの心配も少ない軽いLunuxにするんだ、とか。もっと言えばハッキントッシュユーザーもいるわけですし。 つまりは自分で選びたいわけです。自分にあった気に入ったOSを使いたいわけです。 パソコンの世界で自分の好きなOSを選ぶことになれていても、携帯電話市場では不可能な話です。ここ数年のスマートフォン市場のにぎわいのおかげでスマートフォン
ネットブック用OS界の新星、『Jolicloud』が登場 | ライフハッカー・ジャパン
先月テスト版がようやくリリースされた『Google Chrome OS』。圧倒的なスピードを誇り、これまでにない斬新なOSとして注目されていますが、完全なるブラウザ対応型という点がいまひとつ気に入らないというユーザさんも。こちらでは、『Chrome OS』の有力な対抗馬として、ネットブック用OS『Jolicloud』をご紹介しましょう。 『Jolicloud』が『Chrome OS』と大きく異なるのは、デスクトップアプリにも対応している点。またこちらのページでお分かりのとおり多種多様なデバイスとも対応しています。実際、米Lifehackerの仮想マシンでテストしたところ動作は良好で、他のハードディスクとの相性もいいようだとのこと。 『Jolicloud』にご興味が湧いてきた方はインストールしてみましょう。Windowsをアンインストールしなくても、ハードドライブで割り当てられたスペースでこ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ママ、どうして仮想化が必要なの？
オペレーティングシステム 設計と実装 第３版（20101211）
TechCrunch | Startup and Technology News
TechCrunch | Startup and Technology News
さらに分かっておきたいトランジスタの種類 − ＠IT MONOist
| 金沢大学 学術メディア創成センター
Jolicloud
Getting and Building a Chromium-Based OS (The Chromium Projects)
TechCrunch | Startup and Technology News