The first half challenges the audience with questions as to why unikernels have been cropping up lately and the second half covers Go unikernels.
![Go Unikernels](https://cdn-ak-scissors.b.st-hatena.com/image/square/8ad427376b9d54d277e0b7d28148d10f3cada33b/height=288;version=1;width=512/https%3A%2F%2Ffiles.speakerdeck.com%2Fpresentations%2F562b0e0270af458eafb3607bf60456f8%2Fslide_0.jpg%3F6310606)
Comparison of a traditional OS stack and a MirageOS unikernel A unikernel is a computer program statically linked with the operating system code on which it depends. Unikernels are built with a specialized compiler that identifies the operating system services that a program uses and links it with one or more library operating systems that provide them. Such a program requires no separate operatin
An operating system is interposed between applications and the physical hardware. Therefore, its structure has a dramatic impact on the performance and the scope of applications that can be built on it. Since its inception, the field of operating systems has been attempting to identify an appropriate structure: previous attempts include the familiar monolithic and micro-kernel operating systems as
Microsoft Research is dedicated to conducting both basic and applied research in computer science and software engineering. 仮想化技術は数年前からIT分野で旬な話題であり続けている。すでにコンシューマですら4コアや6コアがあたりまえになりつつあるが、今後プロセッサはメニーコアの時代に入ると見られており、仮想化技術はますます重要度を増すことになると見られる。 一口に仮想化技術といっても、考え方も実現する方法も、対象とするレイヤも実にさまざまだ。ハイパーバイザの導入、アプリケーションレベルでハードウェアのフル仮想化、OS内部の機能としてコンテナの提供、サンドボックスやコンパートメント技術とも分類できそうな仮想化、挙げていけばきりがない。 こうした仮想化技術のひとつとして、
May 28, 2016 (updated on Jun 25, 2016) No longer updated! You are viewing the a post of the first edition of “Writing an OS in Rust”, which is no longer updated. You can find the second edition here. In this post, we start exploring exceptions. We set up an interrupt descriptor table and add handler functions. At the end of this post, our kernel will be able to catch divide-by-zero faults. As alwa
L4 Microkernels: The Lessons from 20 Years of Research and Deployment Author: Heiser, Gernot; Elphinstone, Kevin Date of Publication: 2016-04-07 Publication Type: Journal Article Journal Title: ACM Transactions on Computer Systems Volume: 34 Issue: 1 Pages: 1:1-1:29 Abstract: The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there ar
by Simon Tatham [Coroutines trilogy: C preprocessor | C++20 native | general philosophy ] Introduction Structuring a large program is always a difficult job. One of the particular problems that often comes up is this: if you have a piece of code producing data, and another piece of code consuming it, which should be the caller and which should be the callee? Here is a very simple piece of run-leng
This course has not yet been updated to work with the Raspberry Pi models B+ and A+. Some elements may not work, in particular the first few lessons about the LED. It has also not been updated for Raspberry Pi v2. Welcome to Baking Pi: Operating Systems Development! Course by Alex Chadwick. This website is here to guide you through the process of developing very basic operating systems on the Rasp
8 年前くらいに購入した「30 日でできる!OS 自作入門」だが、いまさらながらやってみた。 30日でできる! OS自作入門 作者: 川合秀実出版社/メーカー: 毎日コミュニケーションズ発売日: 2006/03/01メディア: 単行本購入: 36人 クリック: 735回この商品を含むブログ (299件) を見る まず一日目は、バイナリエディターやアセンブラーで Hello World なバイナリ作って、ブータブルなフロッピーディスクを作成、PC 起動時に Hello World と表示するといったものの作成。ま、OS はマシンが起動する際に実行されるものなので、その部分を作成する第一歩といったところ。 この本では OS を起動するようなフロッピーディスクを作成、あるいは QEMU で FD イメージを実行する仮想マシンにて動作確認、といったことをやっているけど、当方の環境には VMware
シラバス 本コースは、プログラミングの基本について、ひととおりの技術を学び終えた受講者を対象とする。コースの目的は、実際のソフトウェアを開発する際に、具体的にどのようにプログラムを設計し、またどのように OS の機能を利用していけばよいか、感覚をつかんでもらうことである。このため、本コースは講義中心ではなく、いくつかのソフトウェアの作成演習をとおして、そのソフトウェアのプログラムはなぜそのように設計されているのか等を考えてもらう。 1. 簡単な C コンパイラ 言語仕様を簡略化したCコンパイラを作成し、言語処理系の基本構成を学ぶ。また関数呼び出しや配列参照など、C言語の各基本機能が実際にどのような機械語に変換されていくのかを学ぶ。 実際に作成する処理系は2つで、まずはじめに字句解析の練習として、ごく簡単なLispインタプリタを作る。 その後、構文解析、コード生成の演習のため、C言語風の手続
今年のCPU実験では、有志からなる我らがX班が、おそらくCPU実験史上初である自作CPUへのOS (xv6) 移植に成功しました。コア係とコンパイラ係の面々がそれぞれまとめ記事を書いていたので、OS係から見たOS移植のまとめも書こうかなと思います。こんなことしてましたってことが伝わればいいなと思います。 この記事を読む後輩やらなんやらがいたら、ぜひ僕らがやったようなことはさっさとクリアしちゃって、さらにさらに面白いことをする踏み台にしていってほしいですね。 どなたが読んでもある程度概要が伝わるよう、まずCPU実験とは何かということをさらっと書いた後、実際にxv6を移植するにあたってやったことをまとめたいと思います。 CPU実験とは CPU実験は僕の学科(理学部情報科学科)で3年冬に行われる、半年間にわたる学科名物演習です。 最初の週で4~5人程度の班に分けられた後、それぞれの班でオリジナル
函数型なんたらの集い 2014 in Tokyo - connpassで、前にやっていたajhcでmini-osを書いていたときの話をしてきた。 下書き せっかく書いたので発表のときの下書きをそのまま載せておく。 スライドを作るときに一部変えたり、下書きの段階では図をいれてなかったりするが、おおまかな流れは変わっていない(はず)。 自己紹介 みなさんこんにちは。地方枠で参加したmzpです。 普段は名古屋でRailsプログラマやってます。 導入 突然ですが、OSを作ってみたいですよね! プログラマたるもの1度はOSとかエディタは自作してみたくなりますよね!!そして、自作するなら当然、愛してやまない関数型言語を使いたいですよね。 そうです、この発表は関数型言語を使って自作のOSを作ろうとした話です。 整理 さて、ひとことでOSといっても様々な種類があるので、それを整理しておきましょう。 デスク
A Scheme / Lisp based operating system for the Raspberry Pi single board computer. Also (hopefully) provides a BSD-licensed implementation of drivers for the Pi’s hardware. (λπ) What? LambdaPi. A bare-metal Lisp / Scheme based OS for the Raspberry Pi educational SBC. No, really, what? What it says on the tin. I’ve been fed up with people claiming that nx is the greatest thing since sliced bread, o
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く