The Barrelfish Operating System
The Barrelfish project is no longer active. See https://systems.ethz.ch/ for information about our current research activities. Barrelfish is a new research operating system being built from scratch and released by ETH Zurich in Switzerland, originally in collaboration with Microsoft Research and now partly supported by HP Enterprise Labs, Huawei, Cisco, Oracle, and VMware. We are exploring how to
CS 6V81--005: System Security and Binary Code Analysis
Monday and Wednesday: 1:00pm-2:15pm SOM 2.903 $Id: spring2012.t2t, v1.0, last updated Wed May 16 10:40:12 2012 Exp $ Course Overview CS-6V81 is a graduate level, research oriented, system and software security course. The goal of this course is to explain the low-level system details from compiler, linker, loader, to OS kernel and computer architectures, examine the weakest link in each system com
初めてのOS source code reading(UNIX 6th source code readingのススメ) - やる気のないブログ(A boring diary)
このエントリはhttp://d.hatena.ne.jp/takahirox/20120131/1328006885を和訳したものです。 はじめに 最近UNIX 6thのソースコードの読書メモを書き終えました。 みさなんにもUNIX 6thのソースコードを読むことをオススメします。 その理由をこのエントリで書いていきます。 まとめ UNIX 6thは初めてOSのソースコードを読む人にうってつけ！ 今すぐ読み始めましょう！ UNIX 6thのソースコードはこちらなどで読むことができます。 http://minnie.tuhs.org/cgi-bin/utree.pl?file=V6 UNIX 6thのソースコードを読むことをオススメする理由 たったの10,000行 最近のLinuxカーネルのソースコードは100万行を超えています。全てを理解するのは至難の業です。 一方、UNIX 6thのカー
SSDAlloc - Hybrid SSD/RAM Allocation Made Easy
Hybrid SSD/RAM Memory Management Made Easy. A Nearly-Transparent Programming Model for High-Performance Flash in Virtual Memory. What Is It? Flash memory (mostly in the form of SSDs) is fast becoming an integral part of a wide range of systems, including cell phones, netbooks, laptops, desktops and servers. The integration is happening either in the form of an SSD based swap space or SSD based
マイクロカーネル方式とリアルタイム性能
シンプルなリアルタイムカーネル上でLinuxを動作させるマイクロカーネル方式。その具体的な実装やリアルタイム性能を検証する 第1回では、リアルタイムLinuxのさまざまな実現方法について述べた。今回は、マイクロカーネル方式を中心に性能比較なども交えて説明する。 マイクロカーネル方式とは マイクロカーネル方式の実装としては、RTLinuxとRTAIが有名であり活用例も多い。 RTLinuxは、FSMLabs（http://www.fsmlabs.com/）が提供しているハードリアルタイムLinuxシステムである。商用版のRTLinuxProとオープンソース版のRTLinux/GPLがあるが、今回は広く入手可能なオープンソース版を評価する。 一方、RTAI（Real-Time Application Interface）は、DIAPM（Department of Aerospace Engin
割り込み
2011年02月08日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2010/2011-02-08 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 割り込みコントローラ(ハードウェア) IRQ 割り込みの前半部分と後半部分 ■割り込み ◆割り込みの必要性 デバイス(ディスク、ネットワーク、キーボード、マウス、)は、CPU と比 較すると遅い。 デバイスに要求を
リード・コピー・アップデート - Wikipedia
リード・コピー・アップデート（read-copy-update、RCUと略記）とは、オペレーティングシステムにおいて一種の排他制御[note 1]を実装する同期機構であり、リーダー・ライターロック（英語版）の代替手段として使われることがある。参照において待ち状態が生じず、極めてオーバーヘッドが低い。しかしRCUにおけるデータ更新は、既存の参照者のために古い版のデータ構造を保持しつつ行うため、時間と空間（メモリ）をより多く必要とする。古い版のデータ構造は、既存の参照者が全てアクセスを完了した後で回収される。 RCUでは「参照側クリティカルセクション」という概念があり、通常 rcu_read_lock() と rcu_read_unlock() で挟まれた部分がそれにあたる。参照側クリティカルセクション内にない文は「不活性状態」と呼ばれ、RCUで保護されたデータ構造への参照を保持することは許さ
GNU Hurd - Wikipedia
GNU Hurd（グヌー ハード）は、GNU Mach上で動作し、オペレーティングシステム (OS) の機能を提供するサーバ[2]群。GNUプロジェクトによって開発されている。 Hurdはカーネルと説明されることが多いが、厳密にはマイクロカーネルであるMachと、その上で動くサーバ群であるHurdの組合せによって、一般的なカーネルのサービスを提供する。 Hurdは、「Hird of Unix Replacing Daemons.」の頭文字であり、さらにHirdは、「Hurd of Interfaces Representing Depth.」の頭文字である。また、「herd of gnus」（ヌーの群れ）とも掛けている。 リチャード・ストールマンが提唱し、1990年から開発が始まった[3]。UNIX代替品の開発を目標とするGNUプロジェクトにとって、カーネルに相当するHurd（及びMach
Appendix A - The Tanenbaum-Torvalds Debate
Open Sources: Voices from the Open Source Revolution 1st Edition January 1999 1-56592-582-3, Order Number: 5823 280 pages, $24.95 What follows in this appendix are what are known in the community as the Tanenbaum/Linus "Linux is obsolete" debates. Andrew Tanenbaum is a well-respected researcher who has made a very good living thinking about operating systems and OS design. In early 1992, noticing
リアルタイムオペレーティングシステム - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "リアルタイムオペレーティングシステム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年1月) リアルタイムオペレーティングシステム（英: Real-time operating system;RTOS）は、リアルタイムシステムのためのオペレーティングシステム (OS) である。組み込みオペレーティングシステムに多い。OSの主要な機能である資源管理において、時間資源の優先度に基づく配分と実行時間の予測可能性を提供することに特化している、ないし、そういった機能に力を入れている。 以下、ほとんどのRTOSが持つ、基本的な機能につい
Mach - Wikipedia
Mach（マーク[1]）とは、カーネギーメロン大学のリチャード・ラシッド教授（実際の実装はアビー・テバニアンが中心[2]）らのMachプロジェクトにより開発されたマイクロカーネルタイプのオペレーティングシステム (OS) を言う。名前は「複数非同期通信ホスト」を意味する英語「multiple asynchronously communication hosts」に由来している。 1980年代中頃、アメリカ国防総省高等研究計画局によって開発されていた実験用マルチプロセッサコンピュータ用のOSをアメリカ国防総省に提案、採用されたことにより 1985年からMachの開発は始まった。当初はスーパーコンピュータ・ワークベンチ・プロジェクト（supercomputer workbench project）と呼ばれていた。 当時、米国の研究機関で主に用いられていた 4.2BSD UNIXの設計は、古く効
名古屋Geek Bar LT - 七誌の開発日記
名古屋Geek Bar 5月2日(月)でLTをして来ました。V6関係のツールがメインですが、自己紹介に絡めて独自言語のセルフホスティングも取り上げています。 V6 Interpreter (Nagoya Geek Bar 2011-05-02)SlideShareはレイアウトが崩れないようにPDFをアップしています。PowerPointのデータはこちらです。 v6int.pptx USTREAM中継の録画も配信中です。 http://www.ustream.tv/recorded/14429093 取り上げた話題については以下を参照してください。 id:n7shi:20090612 F# Interactiveの改造 id:n7shi:20101204 V6ファイルシステム読み込みツール id:n7shi:20110111 独自言語コンパイラ id:n7shi:20110408 Silve
アドレス空間配置のランダム化 - Wikipedia
この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2008年10月） この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アドレス空間配置のランダム化" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2008年10月) アドレス空間配置のランダム化（英語: address space layout randomization, ASLR）とは、重要なデータ領域 の位置（通常、プロセスのアドレス空間における実行ファイルの基底とライブラリ、ヒープ、およびスタックの位置が含まれる）を無作為に配置
64-bit OS におけるユーザーランドのメモリ空間 (もしくは mmap できる最大サイズ) - id:kazuhookuのメモ置き場
263 バイトとかじゃないので注意が必要。 OS 最大サイズ Windows 8TB*1 Linux (>=2.6.11) 128TB*2 Linux (<2.6.11) 512GB Solaris 10 250TB*3 Mac OS X は不明。mmap でファイル全体にランダムアクセスとか、ちょっと微妙かもしれないと思った。 *1:x86-64 - Wikipedia *2:http://www.centos.org/docs/5/html/release-notes/as-amd64/RELEASE-NOTES-x86_64-en-4.92.html *3:http://docs.sun.com/app/docs/doc/817-0552/feoou
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Distributed-systems-readings
Google Code Archive - Long-term storage for Google Code Project Hosting.
Charming Python: Functional programming in Python, Part 3
Charming Python: Functional programming in Python, Part 3
https://funini.com/kei/sched/
ママ、どうして仮想化が必要なの？
