タグ

OSに関するendo_5501のブックマーク (38)

  • 1,000行で作るオペレーティングシステム

    「Writing an OS in 1,000 Lines」 というオンラインブックを書きました。ゼロから1,000行でOSを作るという内容です。 『自作OSで学ぶマイクロカーネルの設計と実装』 とは違い、最初の一歩の部分を重点的に解説しています。シンプルなモノリシックカーネル設計で、実装の解説だけでなくカーネルプログラミング特有の難しい部分、特に「カーネルをどうデバッグすれば良いか」をおさえた、初学者向きの内容になっています。 3日ほどあれば済むボリュームです。夏休みの自由研究がてら、ぜひチャレンジしてみてください。

    1,000行で作るオペレーティングシステム
    endo_5501
    endo_5501 2023/09/24
  • Windows環境と共存可能なRTOS「RTX/RTX64」の生存戦略

    Windows環境と共存可能なRTOS「RTX/RTX64」の生存戦略:リアルタイムOS列伝(26)(1/3 ページ) IoT(モノのインターネット)市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS(RTOS)について解説する連載。第26回は、多くの機器に採用されているWindows環境との共存が可能なRTOS「RTX/RTX64」を紹介する。 「RTX/RTX64」は、かなり特殊なリアルタイムOS(RTOS)である。どの辺が特殊かというと、x86/x64プラットフォームの上で動き、しかもWindows環境と共存するところである。こうしたRTOSは、他のケースで見たことは無い。 ⇒連載記事「リアルタイムOS列伝」バックナンバー 1980年の創業からCitrix買収を経て再独立 RTX/RTX64の開発元はIntervalZeroである(図1)

    Windows環境と共存可能なRTOS「RTX/RTX64」の生存戦略
    endo_5501
    endo_5501 2022/10/16
    “「RTX/RTX64」は、かなり特殊なリアルタイムOS(RTOS)である。どの辺が特殊かというと、x86/x64プラットフォームの上で動き、しかもWindows環境と共存する”
  • Linuxは将来もサーバーの主要なOSであり続けますか?

    回答 (7件中の1件目) 大昔 FreeBSD 全盛時、たまたま隣でジンジャーエールを飲んでいたストールマンに聞いてみた。 「今後有力なOS はなんですか?」 「GNU Hurd が一番だね。Linux もなかなかいい線行っているよ。最近の OS は GNU ツールがないとカーネルのコンパイルもできない。GNU ツールが入っている OS は全て GNU OS だよ」 OS と一括りに言っても境界線をどこに設けるかによって変わります。新規の OS でも Linux や GNU の影響は残ると思います。

    Linuxは将来もサーバーの主要なOSであり続けますか?
    endo_5501
    endo_5501 2022/02/14
  • Rustをフル活用したリアルタイムOS「Tock」の特異性

    IoT(モノのインターネット)市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS(RTOS)について解説する連載。第18回は、カーネルやドライバをRustで記述することで、RTOSのレイテンシや安全性の問題をドラスチックにクリアした「Tock」を紹介する。 リアルタイムOS列伝、今回のお題は「Tock」である。開発したのは現在プリンストン大学の助教授で博士のAmit Levy氏である。このLevy氏、助教授業(?)の傍らで2011年にMemCachierという会社を創業しており、現在もここのCEOを務めている。この会社が扱っているのはキャッシュサーバのmemcachedを改良した製品だが、こちらとTockは関係がない。 ⇒連載記事「リアルタイムOS列伝」バックナンバー ms以内のレイテンシと安全性をRTOSで両立するにはどうすればいいのか To

    Rustをフル活用したリアルタイムOS「Tock」の特異性
    endo_5501
    endo_5501 2021/12/27
    “内部は全てイベントドリブン構造とする。このため、ユーザープログラムはひたすらCallbackのみを記述する格好になる”
  • UNIX開発チームが開発した分散OS「Plan 9 from Bell Labs」の権利がオープンソースコミュニティに移行

    アメリカのノキア・ベル研究所がC言語と共に開発し、macOSLinuxの原型になったOSがUNIXです。そのUNIXを開発したチームが1980年代に、UNIXとは別に開発したOS「Plan 9 from Bell Labs」について、ベル研究所がオープンソースコミュニティのPlan 9 Foundationに著作権を譲渡したことを発表しました。 Plan 9 from Bell Labs in Cyberspace! - Nokia Bell Labs https://www.bell-labs.com/institute/blog/plan-9-bell-labs-cyberspace/ UNIXは世界で初めて高水準言語で設計された革命的なOSであり、さまざまなメインフレームやワークステーション、サーバーのOSとして使われ、インターネットとクラウドインフラストラクチャの基盤となりました

    UNIX開発チームが開発した分散OS「Plan 9 from Bell Labs」の権利がオープンソースコミュニティに移行
    endo_5501
    endo_5501 2021/04/12
    “今日広く使用されているUTF-8文字エンコーディングはPlan 9 from Bell Labsのために考案・実装されたもの” あれ、そんな古いもんなのか
  • 買収の果てにオープンソース化した「Micrium μC/OS」、実は使い勝手がいい!?

    買収の果てにオープンソース化した「Micrium μC/OS」、実は使い勝手がいい!?:リアルタイムOS列伝(6)(1/3 ページ) IoT(モノのインターネット)市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS(RTOS)について解説する連載。第6回は、ミッションクリティカルな用途でも広く用いられている「Micrium μC/OS」を取り上げる。 「Micrium μC/OS」の話は、直近で言うとこちらの記事でご紹介させていただいた。簡単に振り返ると、もともとはJean J. Labrosse(ジーン・ラブロス)氏が1991年に独自に作り上げたリアルタイムOS(RTOS)である。当初の名前は「μC/OS」だったが、このμC/OSのソースコードを自身の著作である“μC/OS the Real-Time Kernel”の中で公開するという形で広

    買収の果てにオープンソース化した「Micrium μC/OS」、実は使い勝手がいい!?
    endo_5501
    endo_5501 2020/10/07
    “これらの業界に対して、「オープンソースライセンスにしたので今後はサポートしません」などと言ったら殴り倒される”
  • Armの仮想化支援機構を用いてハイパーバイザーを自作する

    論文紹介:KVM/ARM: The Design and Implementation of the Linux ARM Hypervisor

    Armの仮想化支援機構を用いてハイパーバイザーを自作する
    endo_5501
    endo_5501 2020/08/13
  • アマゾン買収から2年半、「Amazon FreeRTOS」は最も手頃なRTOSに

    アマゾン買収から2年半、「Amazon FreeRTOS」は最も手頃なRTOSに:リアルタイムOS列伝(2)(1/3 ページ) IoT(モノのインターネット)市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS(RTOS)について解説する連載。第2回は、アマゾンの買収によってRTOSのメインストリームに躍り出た「Amazon FreeRTOS」について紹介する。 連載「リアルタイムOS列伝」の第2回、というかここ10年のリアルタイムOS(RTOS)の動向を概説した前回を除いて実質的な第1回になる今回は「Amazon FreeRTOS」をご紹介したい。 ⇒連載記事「リアルタイムOS列伝」バックナンバー Amazon FreeRTOSの話は、アマゾン(Amazon.com)による買収を受けてのこちらの記事で触れているが、簡単に説明すればもともとはリチ

    アマゾン買収から2年半、「Amazon FreeRTOS」は最も手頃なRTOSに
    endo_5501
    endo_5501 2020/05/27
  • Unikernelな情報 (in Japanese) - Qiita

    はじめに 「Unikernelって知ってますか!?」という質問を日で(というか海外でも)聞くとだいたい「知らない」と冷たい回答が返ってくるので、啓蒙活動の一環としてこの記事を書いてみることにしました。 サーバ仮想化用ハイパバイザの中の人のおしごとに就いて5年くらい経った頃、「次の面白いネタは何かなぁ」と探していたらフラッとUnikernelの話が一部の界隈で盛り上がり始めたのが2016年前半。 そこからずっと、「将来のコンピューティングスタイルを変えるのはUnikernelだね」と超個人的に熱い視線を注ぎ続けています。 Unikernelとは ちょっと"Unikernel"とググると、英文で結構記事が出て来ます。よく目にする記事は「2016年1月にDocker社がUnikernel Systems社を買収した」という内容で、有名な企業がUnikernelという技術に注目し始めたという点で

    Unikernelな情報 (in Japanese) - Qiita
    endo_5501
    endo_5501 2020/05/10
  • マイクロカーネルとL4について (Yabaitech.tokyo, Writing a (micro)kernel in Rust in 12 days より) - 豆腐の豆腐和え

    怒田さん*1のこの記事、「CとRustで一から作るマイクロカーネルOS」のおかげで、マイクロカーネルとRustが今ホットです。そこで、技術書典6, 7に出展したYabaitech.tokyoにて連載している、"Writing a (micro)kernel in Rust in 12 days"から、マイクロカーネルとL4についての話を書いた"1日目"の記事の一部冒頭を、いい機会なので再編集してご紹介します。「マイクロカーネルってタネンバウム教授とリーナスの論争のあれだよね?」とか、「L4ってなに?」って方に読んでいただいて、L4ファミリーとマイクロカーネルについて簡単にご紹介できればなと思います。 ちなみに抜粋元の上述の記事は、僕が怒田さんと同じようにRustでマイクロカーネルを書いてみよう、という趣旨の企画です。なので、Yabaitech.tokyoの方もよろしくお願いします!ただし、

    マイクロカーネルとL4について (Yabaitech.tokyo, Writing a (micro)kernel in Rust in 12 days より) - 豆腐の豆腐和え
    endo_5501
    endo_5501 2019/12/15
    “つまりはマイクロカーネルは自作をするにはピッタリだってこと!”
  • CとRustで一から作るマイクロカーネルOS

    マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は,「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea(りーせあ)の設計と実装について軽くまとめた物です。 ソースコードはGitHubにあります。 マイクロカーネルとは Linuxのようなモノリシックカーネルでは色んな機能がカーネル空間で動きますが,マイクロカーネルではユーザプロセスたちが互いに通信しながらOSを作り上げます。プロセス・スレッド・仮想メモリ管理,プロセス間通信,タイマーといった必要最低限の機能だけをカーネルが担います。デバイスドライバやファイルシステムといった残りの機能は,独立したユーザプロセスとして動きます。たとえデバイスドライバが暴走しても他のコンポーネントを壊すことはないのです。マイクロカーネルは信頼性が高く,疎結合で美しい

    endo_5501
    endo_5501 2019/12/15
  • Qubes OS 4.0 を Lenovo Thinkpad X250 にインストールしてみた - 山形浩生の「経済のトリセツ」

    (See the English version here) Qubes4.0 on Lenovo X250 Qubes OSを、Lenovo Thinkpad X250にインストールしてみたので、ご報告。 2019年7月、ちょうどエドワード・スノーデンの自伝を訳し終えた。 prtimes.jp もちろんこういうのを読むとパラノイアになる。なんでもNSAの陰謀に思え、パソコンのカメラにはテープを貼る。一方で、パスワードマネージャを使ったり、メールをPGPで暗号化はしないまでも(だって受ける側が使ってないから)署名くらいはするようにした。 そして、スノーデンがこのでも推奨しているQubes も見てみることにした。 Qubes のインストールガイドは、家のドキュメンテーションも含め、ないわけじゃない。でもかなり専門的で特殊といえば特殊なOSで、いまのところインストールしようという人は、それ

    Qubes OS 4.0 を Lenovo Thinkpad X250 にインストールしてみた - 山形浩生の「経済のトリセツ」
    endo_5501
    endo_5501 2019/08/18
    えぇ、つまり、プロセス単位でVMを作ってセキュリティを担保しようというOSなの?なんという変態的な
  • Huawei、独自OS「HarmonyOS」を発表

    中国Huaweiは8月9日、オープンソースの独自OS「HarmonyOS」を発表した。汎用性が高いOS機能のみを搭載する「マイクロカーネル」なOSで、スマートフォンやウェアラブルデバイスなどに採用する方針だ。 米政府によるHuaweiへの禁輸措置による影響で、Huaweiが今後発売するスマホなどでは、Google製のOS・Androidの更新が可能かどうか不透明な状況が続いている。 中国Global Timesの報道によると、Huawei Consumer Business Groupのリチャード・ユ・チェンドンCEOは、9日に開いた発表会で「Androidを利用できなくなった場合、必要に応じていつでも独自のOSを使える」と述べた。

    Huawei、独自OS「HarmonyOS」を発表
    endo_5501
    endo_5501 2019/08/09
    はーもにー
  • 現代のコンピュータに�おける自作OS事情

    現代のコンピュータにおける 自作OS事情 2019-06-29 hikalium @ Hackers Champloo #hcmpl

    現代のコンピュータに�おける自作OS事情
    endo_5501
    endo_5501 2019/06/30
  • RISC Vに従うCPUの上で動作するOSをRustで書く(CPU実験余興) - 欣快の至り

    お手製のCPUの上で自分で作ったOSを動かすというのは、割と夢のある行為だと思っていて、今回それを一定のレベルですることができたので、簡単に内容についてメモをしておこうと思います。 曖昧な日語を読むより、プログラムを読むほうが速いと思う人は、駄文を読まずにGitHubを見てください。 https://github.com/moratorium08/osmium/ 僕が書いたのはOSだけで、コアはATPが書きました。また、乗算命令の実装はdaiが書きました。 https://github.com/hitohira/yokyo 概要 RustでフルスクラッチでRISC-V(rv32im)で動作するOSの実装をしました。OSを実装するにあたり、ページングやカーネルとユーザーモードでの権限切り分け、割り込みなどの仕様を考える必要があり、これもRISC-VのPrivilegeの仕様書に従ったものに

    RISC Vに従うCPUの上で動作するOSをRustで書く(CPU実験余興) - 欣快の至り
    endo_5501
    endo_5501 2019/03/17
  • Windowsのパス区切り文字は、なぜ逆スラッシュになったのか?

    MS-DOS 2.0のソースコードが公開された 9月末にMS-DOS 2.0のソースコード(https://github.com/Microsoft/MS-DOS/tree/master/v2.0)が公開された。ここでは、ソースコードを見ながら、Windowsのパス区切り文字が、なぜ「\」(英語表示では逆スラッシュ)になったのかを考えてみる。 ただ、MS-DOSは8086のアセンブラで記述されているため、コードを説明するのではなく、必要な定義部分などを使って解説することにする。 まずは簡単にMS-DOSという名称について説明しておく。IBMがIBM PC用のOSとしてマイクロソフトに開発を依頼したため、IBM PC用のものはPC-DOSという名称であり、MS-DOSはIBM以外のメーカー用に使われた。この時点では、PC-DOSとMS-DOSはほぼ同一のものとしてよい。ここでは、すべてMS-

    Windowsのパス区切り文字は、なぜ逆スラッシュになったのか?
  • 本の虫: TempleOSの作者Terry Davisが列車に引かれて死んだ

    Man killed by train had tech following | The Dalles Chronicle Man killed by train had tech following By Neita Cecil As of Friday, Septem - Pastebin.com 両親と喧嘩をして勘当され路上生活をしていたTerry Davis(Terrance Davis)が8月11日に列車に引かれて死んだことが確認された。享年48歳。 Terry DavisはTempleOSの作者だ。 TempleOS 読者の多くはTempleOSを知らないだろう。TempleOSとはx86-64 Ring-0上で動作するOSだ。プロセス分離はなく、メモリ保護もなく、そもそも仮想メモリではなく物理メモリアドレスを直接使うOSだ。コンセプトは古き良きCommodore 64の現代

    endo_5501
    endo_5501 2018/09/13
  • 【技術書典5】「C++でできる!OS自作入門」を出します(ダウンロード頒布有) - uchan note

    大人気の技術書オンリーの同人誌即売会「技術書典 5」が、2018/10/08(月・祝)に池袋サンシャインシティで開かれます。 秋葉原 UDX ではないのでご注意を! 今回は「C++でできる!OS自作入門」を出しますので、そのお知らせです。 頒布情報 日時 2018 年 10 月 8 日(月・祝) 場所 池袋サンシャインシティ 2F 展示ホール D(文化会館ビル 2F) ブース お 05「bitnos」 bitnos のサークルページ 書名 C++でできる!OS自作入門 bitnos ブースでは既刊 3 種類も展示します。 ページ数 52(表紙含む) 概要 この同人誌は OS を書いてみたいと思っている方に、記述言語として C++ を選んでもらうためのです。 世にある自作 OS のは C 言語で書いてあるものが多いですが、機能が豊富な C++ も有力な選択肢であることをお伝えするのが目標

    【技術書典5】「C++でできる!OS自作入門」を出します(ダウンロード頒布有) - uchan note
  • グループ ポリシーを使用してリムーバブル デバイスのアクセスを制御する方法

    いつも弊社製品をご利用いただきまして誠にありがとうございます。 Windowsプラットフォーム サポートの加藤です。 昨今、情報漏えい対策の一環として多くのお問い合わせをいただいておりますグループ ポリシーを使用してリムーバブル デバイスを制御する方法についてご紹介させていただきます。 グループ ポリシーを使用してリムーバブル デバイスを制御する方法は大きく分けると以下の 2 点の方法がございます。 - グループ ポリシーを使用してリムーバブル デバイスのアクセスを制御する方法 項ではこちらの方法についてご紹介させていただきます。 - グループ ポリシーを使用してリムーバブル デバイスのインストールを制御する方法 こちらにつきましては以下のページでご紹介させていただいております。 『グループ ポリシーを用いた WPD デバイスの制限について』 https://blogs.technet.

    グループ ポリシーを使用してリムーバブル デバイスのアクセスを制御する方法
    endo_5501
    endo_5501 2017/11/22
  • インテルx86マシンの奥深くでは人知れず「MINIX 3」が動作しており、脆弱性を作り出している。Googleらはそれを排除しようとしている - Publickey

    インテルx86マシンの奥深くでは人知れず「MINIX 3」が動作しており、脆弱性を作り出している。Googleらはそれを排除しようとしている インテルのx86プロセッサを用いたシステムでは、その奥深くで人知れずMINIX 3を含む2つほどのカーネルがプロセッサ上で稼働しているOSとは別に作動しており、それが脆弱性を作り出しているとGoogleエンジニアらが警告し、それを取り除こうという動きを見せています。 それが、10月23日から26日までチェコ共和国のプラハで行われたOpen Source Summit EuropeGoogleのRonald Minnich氏のセッション「Replace Your Exploit-Ridden Firmware with Linux」(脆弱性にまみれたファームウェアをLinuxで置き換える)のセッションで説明されたことでした。 これを、海外のメディア

    インテルx86マシンの奥深くでは人知れず「MINIX 3」が動作しており、脆弱性を作り出している。Googleらはそれを排除しようとしている - Publickey
    endo_5501
    endo_5501 2017/11/09