追記 (2022 5/29): サーバ代をケチるべくVercelに移行しました。動いていたソースコードは ココ に置いてあります。 あなたの予想に反して、このページが見えているでしょうか？このWebサイトは自作OSのKerlaが提供しています。 これは自作OS Advent Calendar 2021の23日目の記事です。 自作OS「Kerla」の紹介 Kerla（かーら）はRustで書かれたLinux ABI互換モノリシックカーネルです。今年の春頃から作り始め、DropbearというSSHサーバが動作する程度には基本的なUNIXの機能が実装されています。具体的には、ファイルの読み書きやUDP/TCPソケット、fork/exec、シグナル、擬似端末といったものです。 カーネル実装の雰囲気を軽く紹介すると、Kerlaでは以下のようにシステムコールが実装されています。 /// write(2)
マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は，「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea（りーせあ）の設計と実装について軽くまとめた物です。 ソースコードはGitHubにあります。 マイクロカーネルとは Linuxのようなモノリシックカーネルでは色んな機能がカーネル空間で動きますが，マイクロカーネルではユーザプロセスたちが互いに通信しながらOSを作り上げます。プロセス・スレッド・仮想メモリ管理，プロセス間通信，タイマーといった必要最低限の機能だけをカーネルが担います。デバイスドライバやファイルシステムといった残りの機能は，独立したユーザプロセスとして動きます。たとえデバイスドライバが暴走しても他のコンポーネントを壊すことはないのです。マイクロカーネルは信頼性が高く，疎結合で美しい
EDIT^7: blink と box86、FEX。 EDIT^6: Unikraft 。 EDIT^5: Tilck 。 EDIT^4: コメント。gVisor はすっかり忘れていました！Linuxを拡張するためにLinuxを実装した良い例だと思います。LINE有りましたね。。 SF.netのCVSはもう死んでしまったので除外にしました。。 OSvのバイナリ互換 はPIEであることが要求なので。。といっても世間的にはもうLinux = Debian/Ubuntu で良いですかね。。表現を調整しました。 EDIT^3: Noah忘れてた！ EDIT^2: Cygwinは 下書き段階で削ってしまった 。。 qemuを移植したとき に互換性がイマイチだったので。。特殊fdやprocfsの充実ぶりとかを考えると "かなりLinux" と言って良いとは思うけど、 mmap 等でLinuxとWind
RustでOSを書いた
はじめに RISC-V CPU を FPGA 上に実装して、マイクロカーネル OS を Rust で書いて動かしてみました。 CPU について RISC-VとChiselで学ぶ はじめてのCPU自作 に沿って RISC-V の CPU を作り、機能をエンハンスしました。 乗除算命令、RVC命令、ビット拡張命令の一部を追加 7段パイプライン化 DRAM コントローラ 4KB命令キャッシュ、8KBデータキャッシュ 2ビット分岐予測 周辺コントローラ実装(SDC、UART、タイマー、割込コントローラ) Arty A7-35T という FPGA ボード上で動作させています。 スーパーバイザーモードは実装していないので、仮想メモリは使えません。みんなで仲良くメモリを共有します。 CPU の実装はこちらに置いてあります。書籍のサポートリポジトリの fpga 実装版を fork して機能追加しています。
カーネルことはじめ
この記事は未踏ジュニアAdvent Calendar : 10日目です. カーネル, 書きたくないですか? こんにちは, horizon (@horizon2k38)です. 私は2023年の未踏ジュニアでA9Nというマイクロカーネルを作成していました. 人類なら誰しもがカーネルを書きたいと思ったことがあるはずです. そんな方のために, 未踏期間で得られた "0からカーネルを如何にして学び, 実装したか" という知見をより一般化して解説しようと思います. この記事の内容をすべて達成することで, あなたもきっとカーネルを書くことができるでしょう. やれば出来る きっと 絶対 私No.1 注: この記事はどちらかといえば初心者向けなので, 自信がある方は最下部の"参考文献"と, 私が書いた低レイヤー学習のロードマップのみ読むことをおすすめします. カーネル/OSとは そもそもカーネルとは, 所謂
@uchan_nosさんのお誘いを受けて，「マイクロカーネル」をまとめた本を書きました。技術書典 応援祭（サークル紹介ページはここ）で頒布します。 著名なオープンソースのマイクロカーネルたち（L4やMINIX3など）と拙作のReseaの実装（バージョン0.1.0）を交えながら，細かすぎて伝わらないマイクロカーネルの設計・実装のポイントを解説しています。 マイクロカーネルのサーベイ論文のようなものとしてご活用ください。 電子版のダウンロード 電子版はこちらからダウンロードできます（無料） 書籍版の入手 書籍版はBOOTHで頒布してます（3月上旬入荷予定） Reseaのソースコード GitHubで公開しています
機械学習と公平性
1 2 3 4 The field of study that gives computers the ability to learn without being explicitly programmed. — A. L. Samuel ※ Programming computers to learn from experience should eventually eliminate the need for much of this detailed programming effort. — A. L. Samuel [Samuel 59] The field of machine learning is concerned with the question of how to construct computer programs that automatically im
Writing a Linux-compatible kernel in RustMay 19, 2021 TL;DR: I'm writing a Linux clone in Rust just for fun. It does NOT aim to replace the Linux kernel. For the recent months, I've been working on a new operating system kernel Kerla, written from scratch in Rust which aims to be Linux-compatible at the ABI level. In other words, support running unmodified Linux binaries! I've already implemented
政府情報システムにおける セキュリティ・バイ・デザインガイドライン 2022（令和 4）年 6 月 30 日 デジタル庁 〔標準ガイドライン群ＩＤ〕 DS-200 〔キーワード〕 セキュリティ・バイ・デザイン、DevSecOps、システムライフサイクル保 護 〔概要〕 情報システムに対して効率的にセキュリティを確保するため、企画から運 用まで一貫したセキュリティ対策を実施する「セキュリティ・バイ・デザイ ン」の必要性が高まっている。本文書ではシステムライフサイクルにおける セキュリティ対策を俯瞰的に捉えるため、各工程でのセキュリティ・バイ・ デザインの実施内容を記載する。 併せてセキュリティ・バイ・デザインの実用性を確保するための関係者の 役割を定義する。 改定履歴 改定年月日 改定箇所 改定内容 2022年6月30日 - 初版決定 i 目次 １ はじめに ................
PCで音を奏でるには，ビープ音を鳴らす仕組みの他にIntel High Definition Audio (以下，HD Audio）という仕様があります。スピーカー以外にもマイクといった音声入力側の制御もカバーしています。サウンドデバイスを気にしたことがないのでよく知らないのですが，現代の主流だそうです。 音のデジタル表現 コンピュータは，文字を文字コードという番号を振ることで表現し，画像は原色（RGB/CMYK）の強さ（濃さ？）の組み合わせで表現します。音はどう表現するかというと音は波の一種なので，その波形の各時間間隔での振幅値（例: 整数）で表現します。モノラルなら振幅値が詰まった1次元配列，ステレオならLとRそれぞれの1次元配列の組になります。 時間間隔を決める値がサンプリングレート（単位はHz）であり，また振幅値の表現範囲（8/16/24-bit）を量子化ビット数と呼びます。 WA
この記事は 自作OS Advent Calendar 2020 の 6 日目の記事です。 セキュリティ・キャンプ とは毎年夏に開催される，合宿形式の勉強会です。 情報セキュリティ分野で活躍する講師が受講生にみっちりと講義や演習を実施します。 2020 年は新型コロナウイルスの影響によりオンライン開催となり，従来の合宿形式ではなく 2 か月の週末を使って少しずつ進める形式となりました。 セキュリティ・キャンプ全国大会 2020 オンラインの修了式が本日（2020 年 12 月 6 日）ありましたので，OS 開発ゼミで何をやったかを振り返ります。 OS 開発ゼミの立ち上げ 今年の OS 開発ゼミは講師 2 名体制で臨みました。私と，Resea OS を開発している 怒田さん です。 10 月 18 日にセキュリティ・キャンプ全体の開講式がありました。 セキュリティ・キャンプ全国大会 2020
マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は，「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea（りーせあ）の設計と実装について軽くまとめた物です。 ソースコードはGitHubにあります。 マイクロカーネルとは Linuxのようなモノリシックカーネルでは色んな機能がカーネル空間で動きますが，マイクロカーネルではユーザプロセスたちが互いに通信しながらOSを作り上げます。プロセス・スレッド・仮想メモリ管理，プロセス間通信，タイマーといった必要最低限の機能だけをカーネルが担います。デバイスドライバやファイルシステムといった残りの機能は，独立したユーザプロセスとして動きます。たとえデバイスドライバが暴走しても他のコンポーネントを壊すことはないのです。マイクロカーネルは信頼性が高く，疎結合で美しい
GitHub - seiyanuta/resea: Moved to https://github.com/nuta/resea
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - nuta/resea: A microkernel-based hackable operating system.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
追記 (2022 5/29): サーバ代をケチるべくVercelに移行しました。動いていたソースコードは ココ に置いてあります。 あなたの予想に反して、このページが見えているでしょうか？このWebサイトは自作OSのKerlaが提供しています。 これは自作OS Advent Calendar 2021の23日目の記事です。 自作OS「Kerla」の紹介 Kerla（かーら）はRustで書かれたLinux ABI互換モノリシックカーネルです。今年の春頃から作り始め、DropbearというSSHサーバが動作する程度には基本的なUNIXの機能が実装されています。具体的には、ファイルの読み書きやUDP/TCPソケット、fork/exec、シグナル、擬似端末といったものです。 カーネル実装の雰囲気を軽く紹介すると、Kerlaでは以下のようにシステムコールが実装されています。 /// write(2)
Projects Resea A minimalistic and policy-free microkernel based operating system written from scratch (with TCP/IP, FAT file system, hardware-accelerated hypervisor, and x86_64 / 64-bit ARM support). I began this open source software project to develop a developer-friendly alternative to MINIX and L4. Kerla A monolithic kernel with Linux binary compatibility written from scratch in Rust. I've impl
ハイパーバイザは仮想的なコンピュータ（仮想マシン）を構築し，複数の様々なOSの並列実行を実現する技術です。VMware ESXiやKVM，Xenが有名ですね。 今回はハードウェア支援機構（Intel VT-x）を使って，独自OSのReseaにLinux KVMのようにアドオン感覚で使えるハイパーバイザを実装しました。Linuxをなんとかブートできる程度の完成度です。 これは自作OS Advent Calendar 2020の23日目の記事です。 ハイパーバイザを作る Reseaにハイパーバイザを実装すると何が嬉しいのかというと，Linuxがそのまま動くのでようやくまともにドッグフーディングできるようになります。Linux on Resea on 自宅サーバで遊びながら，Reseaの信頼性や性能を向上していこうという計画です。 Reseaはマイクロカーネルベースです。なので「Linuxを動か
Nekota
https://www.patreon.com/Nekota882 https://nekota11.booth.pm/ Written using PS&SD.CS I see the potential in digital technology and am resea…
🇯🇵 シェリー on Twitter: "他のツイでトンネル出口で土砂崩れの土砂に乗り上げ脱線して駅に突っ込んだとあったが、先頭車だけが脱線して2km近くも走るって信じられない。 中共お得意のフェイクニュースかな？ 中国の高速鉄道が脱線、運転士が死亡、乗客ら8人けが 線… https://t.co/uo1RESEA4F"
他のツイでトンネル出口で土砂崩れの土砂に乗り上げ脱線して駅に突っ込んだとあったが、先頭車だけが脱線して2km近くも走るって信じられない。 中共お得意のフェイクニュースかな？ 中国の高速鉄道が脱線、運転士が死亡、乗客ら8人けが 線… https://t.co/uo1RESEA4F
この記事は 自作OS Advent Calendar 2020 - Adventar の4日目の記事です。 自分が今まで読んできた本や資料の中で、自作OSに役に立ったなと思ったものを紹介します。 書籍編 30日でできる！OS自作入門 30日でできる! OS自作入門 作者:川合 秀実発売日: 2006/03/01メディア: Kindle版 紹介するまでもない有名な本です。 この本で自分は自作OSを始めました。 試行錯誤の過程を踏みながら、最後には立派なOSが出来上がります。 12ステップで作る組込みOS自作入門 12ステップで作る組込みOS自作入門 作者:坂井 弘亮発売日: 2010/05/01メディア: 単行本 こちらはH8マイコン上で動く自作OSを作ります。 x86_64でスレッドのコンテキストスイッチを実装する際に参考になりました。 Xinuオペレーティングシステムデザイン 改訂2版
Julia ときどき R, Python によるコンピュータプログラム，コンピュータ・サイエンス，統計学 二次方程式の解を求めるプログラム例はネット上でもよく見られる。 本来（？）お手本を示すべきものであるが，問題を含むものが少なくない（多いということだ）。 結論を先に述べておく。 (0) 全部で 40 サイトを対象とした (1) float を使っているのは 8 サイト。そのうち C によるものは 6 サイト。C は 12 サイトだが，そのうち float を使っているのは 6 サイト。C はよく使われているが，不適切なサイトも多い。 (2) 桁落ちを考慮しているサイトは 8 サイト（20%）。 (3) 虚数型を使用しているのは 3 サイトに過ぎない。 (4) 虚数解の場合を対象としていないのは 17 サイト。実部虚部を表示するのは 19 サイト。 ＝＝以下は各サイトのレビュー＝＝ ●●
ご覧いただき、ありがとうございます！おうちで作れる簡単レシピを毎日更新しています♪いいね、フォローよろしくお願いします☆ こんにちは☆料理研究家のゆかりです♪今回は、キャベツ焼きの作り方をご紹介します。 動画でもわかりやすく説明しながら作っているのでよかったらみてください☆ 簡単・節約・ヘルシー！ボリューム満点！キャベツたっぷりで食べ応え抜群のキャベツ焼きです。 それでは、材料と作り方をご紹介します。 ■材料（2人分）キャベツ 200g卵 2個天かす 10g紅生姜 10g小エビ 1g小ネギ 1本サラダ油 適量水 100ml薄力粉 大さじ1 / 50gだしの素 小さじ1お好みソース 適量青のり 適量■作り方1.薄力粉50g、出汁の素、水を加えよく混ぜ、冷蔵庫で使うまで冷やしておく。 2.キャベツを千切りにし、薄力粉大さじ1をまぶす。 3.小ネギと紅生姜を細かく刻む。 4.フライパンに、①を半
ハミルトニアンとラグランジアンについて -
ハミルトニアンとラグランジアンについて - 目次 ラグランジアン L について 運動を決定する(何か)があり、その（何か）を積分した値が最小になるように、運動は決定される 格調が低い・安直で品格がないが単純な考え方 一番単純なごく普通の物体の運動について、L をどう構成すればよいかを、なぞってみる ラグランジアンとビリアル定理の関係 変分原理と「エントロピー最大」について 変分法によってオイラー方程式を導く 熱力学と変分原理 H について 運動を決定する運動量と（ポテンシャルエネルギーの元になる）力があり、それぞれを積分した値の和 (H) が一定になるように、運動は決定される H とシュレーディンガーの式 ハミルトニアンというものは、対角化できなければならない：シュレーディンガーの式を解くこと＝対角化すること 「対角化できる」ということは、どんなことを示しているか？ 関数の対角化・固有関数
Stage Used Small Aluminum Electric Hoist|One Ton Stage Chain Hoist System Factory -Sinray stage equipment co., LTD.,
Guangzhou Sinray stage equipment co., LTD., set production, sales, research and development, technical services in one of the professional stage equipment production enterprise, through the ISO9001:2008 quality management system certification, the specialty is engaged in the modern stage machinery and equipment, rotating lamp, crown system, telescopic bleachers,combination of aluminum alloy TRUSS
電子版のダウンロード（無料）電子版は https://seiya.me/microkernel-book で無償公開しています。 概要OSカーネルの機能を必要最低限に抑え，ファイルシステムやTCP/IP，デバイスドライバといった主要機能をアプリケーションとして実装する「マイクロカーネル」というカーネル設計手法があります。小さなカーネルを実現するために，モノリシックカーネルには見られない特色・面白さがマイクロカーネルにはあります。 本書では，マイクロカーネルの各機能（プロセス管理・IPCなど）を3つのステップで学んでいきます。まず，機能の基本的な概念をざっくり解説します。次に，C言語で新たに書いた非常にシンプル（LoCは3000行以下！）なマイクロカーネル「Resea」のソースコードを用いて，具体的にどう実装するのかを見ていきます。そして，L4やZircon (Fuchsia) といった実用
EDIT^7: blink と box86、FEX。 EDIT^6: Unikraft 。 EDIT^5: Tilck 。 EDIT^4: コメント。gVisor はすっかり忘れていました！Linuxを拡張するためにLinuxを実装した良い例だと思います。LINE有りましたね。。 SF.netのCVSはもう死んでしまったので除外にしました。。 OSvのバイナリ互換 はPIEであることが要求なので。。といっても世間的にはもうLinux = Debian/Ubuntu で良いですかね。。表現を調整しました。 EDIT^3: Noah忘れてた！ EDIT^2: Cygwinは 下書き段階で削ってしまった 。。 qemuを移植したとき に互換性がイマイチだったので。。特殊fdやprocfsの充実ぶりとかを考えると "かなりLinux" と言って良いとは思うけど、 mmap 等でLinuxとWind
技術書オンリーの同人誌即売会「技術書典 応援祭」が，2020/03/07（土）からオンライン開催されます。 『OS 自作技術 ステップアップ問題集』と『マイクロカーネルの設計と実装』を頒布しますのでお知らせします。 頒布情報 技術書典 8 は開催中止です。 その代わり「技術書典 応援祭」に出展します！以下，応援祭の情報です。 日時 2020 年 3 月 7 日（土） - 4 月 5 日（日） 場所 特設サイト ブース 「bitnos」 OS自作技術ステップアップ問題集 新刊1『OS自作技術 ステップアップ問題集』（@uchan_nos 著） 新刊2『マイクロカーネルの設計と実装』（怒田晟也著） bitnos ブースではその他の既刊も展示・頒布します。 新刊の表紙画像 概要 『OS自作技術 ステップアップ問題集』はOSを自作している方にOSのデバッグ技術を紹介する目的で書かれました。OSを作
ページ容量を増やさないために、不具合報告やコメントは、説明記事に記載いただけると助かります。 対象期間: 2020/01/13 ～ 2021/01/12, 総タグ数1: 45,560 総記事数2: 166,944, 総いいね数3: 2,326,183, 総フォロワー数4: 119,088 総合評価5: ((68.756 * 記事数) + (4.457 * いいね数) + (115.138 * フォロワー数))pt 総合順位;タグ名;記事数順位;いいね数順位;フォロワー数順位 1;Python;1;2;1 2;JavaScript;2;1;2 3;Ruby;4;5;7 4;Rails;3;4;16 5;PHP;8;12;12 6;AWS;5;7;30 7;初心者;6;3;61 8;Git;18;14;4 9;GitHub;26;19;3 10;Docker;7;6;28 11;Linux;1
現在、様々なLayer1ブロックチェーンが登場しています。しかし、その上に展開されるアプリケーションの多くは大衆向けであり、いかに性能が優れていたとしても、それが必ずしもエンタープライズ用途に合うとは限りません。企業、とりわけ規模が大きいエンタープライズにとって、ブロックチェーンを活用するには、暗号資産の会計やカストディの問題などをクリアする必要があります。そして、言うまでもなく自社サービスを開発しやすい環境が必要になります。VeChainは、エンタープライズのニーズを満たすべく、ブロックチェーン及び周辺ツールを整備しています。 ブロックチェーン界隈では、VeChainというとブロックチェーンのVeChainThorを指すことが一般的です。本記事では、用語を以下のように区別して記載します。 VeChain：ブロックチェーン企業、プロジェクト VeChainThor：VeChainが展開する
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
この個人サイトは自作OSで動いています
CとRustで一から作るマイクロカーネルOS
めくるめくLinuxカーネルじゃないLinux実装の世界 - Qiita
技術書典8 『マイクロカーネルの設計と実装』
Writing a Linux-compatible kernel in Rust
政府情報システムにおける セキュリティ・バイ・デザインガイドライン
Intel HD Audioで音を奏でよう
セキュリティ・キャンプ 2020 の OS 開発ゼミまとめ - uchan note
CとRustで一から作るマイクロカーネルOS
この個人サイトは自作OSで動いています
Seiya Nuta
KVMみたいなハイパーバイザを作った
自作OSに役立った本や資料を紹介する - 無限遠まで突撃中
二次方程式の解を求めるプログラムのレビュー - 裏 RjpWiki
料理研究家ゆかり『キャベツ焼きの作り方！簡単・節約・ヘルシー！ボリューム満点｜キャベツたっぷり！大量消費にも！』
マイクロカーネルの設計と実装 - seiya - BOOTH
めくるめくLinuxカーネルじゃないLinux実装の世界 - Qiita
【技術書典 応援祭】OS 自作技術 ステップアップ問題集を出します - uchan note
タグ一覧(ランキング順)【直近１年間/上位25,000タグ】【2021/1 更新停止】 - Qiita
VeChain（VET / VTHO）の解説