# HG changeset patch
# User tobaru
# Date 1519269652 -32400
# Node ID 79fb933328ec1b16d6575ac992aa438aa8b8bb16
# Parent 3a99fc0296ce2379c6f038255a67e1a1da9f66c6
slide
diff -r 3a99fc0296ce -r 79fb933328ec slide/images/maketime.pdf
Binary file slide/images/maketime.pdf has changed
diff -r 3a99fc0296ce -r 79fb933328ec slide/thesis.html
--- a/slide/thesis.html Thu Feb 22 02:31:50 2018 +0900
+++ b/slide/thesis.html Thu Feb 22 12:20:52 2018 +0900
@@ -5,7 +5,7 @@
Gears OS on Raspberry Pi
-
+
@@ -73,7 +73,7 @@
- Yu Tobaru
+ 河野研 桃原優
@@ -86,41 +86,76 @@
Raspberry Pi 上での Gears OS
- - 本研究室では Code Segment と Data Segment という単位でプログラムを記述する CbC(Continuation base C) とCbC を用いて実装する Gears OS の研究を行っている。
- - Code Segment は並列処理の単位として利用でき、Data Segment はデータそのもので型を持っていて、CbC はメタレベルの処理、並列処理を記述することができる。
- - メタレベルの処理では、メモリ管理、スレッド管理、CPU や GPU の資源管理を記述 することができる。
- - 本研究では、ARM で動くシングルボードコンピュータである Raspberry Pi で Gears OS を動かせるようになる事で、ハードウェア上でもメタレベルの処理、並列実行ができるプログラミングを記述できるようになる事を目指している。
+ - 本研究室ではCbC(Continuation base C)言語を用いて実装する Gears OS の研究を行っている。
+ - 本研究では、ARM で動くシングルボードコンピュータである Raspberry Pi で Gears OS を動かせるようになる事で、ハードウェア上でもメタレベルの処理、並列実行ができるプログラミングを記述できるようになる事を目指している。
+
+ - メタレベルの処理では、メモリ管理、スレッド管理、CPU や GPU の資源管理を記述 することができる。
+
+
+
+
+
+
+
+
+ スライドの流れ
+
+ - RaspberryPi上でのGearsOSの実装
+ - RaspberryPi上でのCbCのmake
+ - make時間の比較
+ - OSX上でのCbCのCrossCompile
+ - Linux上でのCbCのCrossCompile
+ - ARM版xv6をKVMで立ち上げる
- 実装までの流れ
+ RaspberryPi上でのGearsOSの実装
- - RaspberryPi上にGearsOSを実装するために、まずはCbCコンパイラをRaspberryPi(ARM)用に作成する
- - その後に、CbCをを使ってxv6というOSを参考にRaspberryPiで動くGearsOSを作る
- - xv6 とは ANIX V6 とい う OS を ANSI-C に書き換え、x86 に移植した OS である。xv6 は Raspberry Pi で動かす事ができる。
+ - RaspberryPiはARMのバイナリを扱う
+ - まずはCbCコンパイラをARMのバイナリを生成するように作成する。
+ - その後に、作成したARM版xv6を参考にCbC言語を使ってRaspberryPiで動くGearsOSを実装する。
- RaspberryPi上でCbCのmake
+ xv6
+
+ - xv6 とはUNIX V6というOS をANSI C(標準規格のC言語) に書き換えたシンプルな OS である。
+ - UNIX V6 は1975年にリリースされた古いOSでANSI C以前のC言語で実装されていた。
+ - ARMのバイナリを生成するARM版xv6 は Raspberry Pi 上で動かす事ができる。
+
+
+
+
+
+
+ RaspberryPi上でCbC言語のmake
- - Raspberry Pi 1 のメモリは 256MB と小さいため、 CbC を make することができない。
- - Raspberry Pi 3 だとメモリは 1GB あり CbC を make できるが、時間がかかる。
- - make 時間の比較として研究室のメモリ 16GB のサーバ(firefly) と学科のサーバの一つ で Linux 環境であるメモリ 756GB の Dell PowerEdge630(DALMORE)を用いる。
- - それぞれのサーバではGoogleによって開発されたbuildシステムninja-buildをもちいてmakeを行なった。
- - ninja-buildはコア数を調べて実行するので使わない場合と比べてmakeが高速になる。
+ - RaspberryPi上でGearsOSを動かしたいので、まずはRaspberryPi上でCbCのmakeを行なった。
+
+
+
+
+
+
+ RaspberryPi上でCbC言語のmake
+
+ - Raspberry Pi上でGearsOSを実装するために、LLVMで実装したCbC言語のmakeを試した。
+ - Raspberry Pi 1 のメモリは 256MB と小さいため、 CbC言語 を make することができない。
+ - Raspberry Pi 3 だとメモリは 1GB あり CbC言語 を make できるが、時間がかかる。
+ - Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので別のOS上でRasbianを立ち上げてもmake時間を短縮できない。
@@ -128,7 +163,24 @@
make 時間の比較
-
+
+ - 次の環境を用いて、LLVM上に実装されたCbCのmake時間の比較を行なった
+
+
+
+ - 毎回756GB,32Coreのサーバをフル稼働させるのは現実的でないが、16GB,4Coreの環境でもmake時間が早くなっているのがわかる。
+
+
+
+
+
+
+ Ninja
+
+ - それぞれのサーバではGoogleによって開発されたbuildシステムninja-buildをもちいてmakeを行なった。
+ - ninja-buildは適切なCore数で実行してくれるので、CPUの数を調べて指定する手間を省ける。
+ - 環境によってはCPUの数を指定しない場合よりかなり高速にmakeを行える。
+
@@ -137,9 +189,24 @@
CrossCompile
- CrossCompile を行うことで make 時間の問題を解決する方法がある。
- - CrossCompile と は、別の OS で実行可能なコードを生成するコンパイルの手法である。
- - Raspbian 以外の OS 環境であらかじめ Raspberry Pi で CbC が動くように CrossCompile を行い、その コードを Raspberry Pi に移す事で、実行できるようになる。
- - Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので、別の手法で Raspberry Pi 上に CbC を実装する方が好ましい。
+ - CrossCompile とは、別の OS で実行可能なコードを生成するコンパイルの手法である。
+ - Raspbian 以外の OS 環境であらかじめ Raspberry Pi で CbC言語 が動くように CrossCompile を行い、その コードを Raspberry Pi に移す事で、実行できるようになる。
+ - Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので、CrossCompileで Raspberry Pi 上に CbC言語 を実装する方が好ましい。
+
+
+
+
+
+
+ CrossCompileを行なった環境
+
+ - OSX
+ - Linux
+
+ - LLVM/Clangで実装されたCbC
+ - GCCで実装されたCbC
+
+
@@ -148,9 +215,9 @@
OSX CrossCompile
- - OSX上でCbCを実装を試みた
+ - OSX上でCbC言語を実装を試みた
- OSX上でCrossCompileを行うとMach-Oのバイナリが生成される。
- - Mach-oのローダーを作らなければならず、実装は困難である。
+ - Mach-Oのローダーを作らなければならず、実装は困難である。
@@ -159,7 +226,7 @@
Linux CrossCompile
- - Linux環境でCbCを動かす際にCrossCompileを行なう方法がある。
+ - Linux環境でCbC言語を動かす際にCrossCompileを行なう方法がある。
- RaspberryPiはARMのコードを生成するので、CrossCompileによってARMのコードを生成すればRaspberry Pi でも実行可能なファイルを作ることができる。
@@ -167,11 +234,37 @@
+ Linux上でのCbC言語の実装
+
+ - OSX上に立ち上げられたLinux で ARM版xv6を使い、CbC言語のファイルからa.outを出力するまでの過程を図に示す。
+ - CbC言語は C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
+ - これらはARM形式なのでRaspberryPiで実行できるファイルである。
+
+
+
+
+
+
+
+ CbC言語の種類
+
+ - CbC言語 には、2種類の方法によって実装されている。
+
+ - LLVM/Clang 上に実装したCbC
+ - GCC 上に実装したCbC
+
+
+
+
+
+
+
+
LLVM/Clang
- - CbC には、LLVM/Clang 上に実装したものと、GCC で実装したものがある。
- - LLVM とは任意のプログラミング言語の静的コンパイルと 動的コンパイルの両方をサポートできる事を目的としたプロ ジェクトから始まった、モジューラと再利用可能な コンパイラ とツールチェーン技術の集まりである。
- - Clang は高速なコンパイルを目的とした LLVM をバック エンドとした、C/C++/Objective-C の コンパイラ である。
+ - LLVM とは任意のプログラミング言語のコンパイルをサポートする事を目的としたプロジェクトです。
+ - モジューラと再利用可能なコンパイラとツールチェーン技術の集まりである。
+ - Clang はLLVMをバックエンドとしたコンパイラで、C/C++/Objective-C の高速なコンパイルを目的としている。
@@ -180,7 +273,8 @@
LLVM CrossCompile
- - Makefile に変更を加えることで LLVM/Clang 上に実装 された CbC で Raspberry Pi で実行できる ARM の コードを生成できるようにCrossCompilerを作ったが、動作していない
+ - LLVM上に実装されたCbCに対してCrossCompileを行なった。
+ - ARM版xv6のMakefile に変更を加えることで LLVM/Clang 上に実装 された CbC言語 で Raspberry Pi で実行できる ARM の コードを生成できるようにCrossCompilerを作ったが、動作していない
- LLVMかxv6のどちらに修正が必要なのか分かってないのでデバッガを使って調査していく
@@ -194,7 +288,7 @@
KVMとは完全仮想化を実現できる機能の事である。
完全仮想化なので、kernelに変更を加えなくても別のOSを動かせるメリットがある。
KVMはqemuによって操作を行う。
- qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルにarch=’armv7l’ machine=’versatileab’を指定する事で、解決した。
+ qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルに変更を加える事で、KVMを立ち上げることに成功した。
@@ -203,10 +297,9 @@
GCC CrossCompile
@@ -216,9 +309,9 @@
今後の課題
- - LLVMで実装されたLLVMで作成したxv6が動作しない原因をKVMを用いて調べる。
+ - LLVMで実装されたでCbCで作成したxv6が動作しない原因をKVMを用いて調べる。
- 必要であれば、xv6またはLLVMを修正していく。
- - xv6kernelの構文に沿ってCbCで書き換える部分を考察する。
+ - ARM版xv6のkernelの構文に沿ってCbC言語で書き換える部分を考察する。
@@ -227,7 +320,7 @@
T図形
- - CbC を Raspberry Pi で動かすためのアプローチの手法をを、I と T の形をした図の組み合わせによって説明を行う。
+ - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
- I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
- T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
@@ -238,10 +331,10 @@
- Linux上でのCbCの実装
+ Linux上でのCbC言語の実装
- - OSX上に立ち上げられたLinux で CbC のCrossCompileを行う過程を図に示す。
- - CbCは C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
+ - OSX上に立ち上げられたLinux で CbC言語 のCrossCompileを行う過程を図に示す。
+ - CbC言語は C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
- これらはARM形式なのでRaspberryPiで実行できるファイルである。
@@ -253,7 +346,7 @@
LLVM CrossCompile Makefile
- makefileの一部を下に示す。
- - CCはコンパイラで、すでにmakeしたCbCのコンパイラを指定している。
+ - CCはコンパイラで、すでにmakeしたCbC言語のコンパイラを指定している。
- AS(アセンブラ)やLD(リンカー)はarm-linux-gnuに続くコマンドを指定する。
- CFLAGS にターゲットオプションで arm-linux-gnueabihfを指定することで、ARMのコードを生成することができる。
- libgcc
@@ -397,6 +490,12 @@
-S -O binary --prefix-symbols="_binary_$@" $@.out $@, " OBJCOPY $(TARGET_DIR)$@")
+# T図形
+ - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
+ - I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
+ - T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
+
+
diff -r 3a99fc0296ce -r 79fb933328ec slide/thesis.md
--- a/slide/thesis.md Thu Feb 22 02:31:50 2018 +0900
+++ b/slide/thesis.md Thu Feb 22 12:20:52 2018 +0900
@@ -1,69 +1,101 @@
title:Gears OS on Raspberry Pi
-author:Yu Tobaru
+author:河野研 桃原優
profile:
# Raspberry Pi 上での Gears OS
-- 本研究室では Code Segment と Data Segment という単位でプログラムを記述する CbC(Continuation base C) とCbC を用いて実装する Gears OS の研究を行っている。
-- Code Segment は並列処理の単位として利用でき、Data Segment はデータそのもので型を持っていて、CbC はメタレベルの処理、並列処理を記述することができる。
-- メタレベルの処理では、メモリ管理、スレッド管理、CPU や GPU の資源管理を記述 することができる。
+- 本研究室ではCbC(Continuation base C)言語を用いて実装する Gears OS の研究を行っている。
- 本研究では、ARM で動くシングルボードコンピュータである Raspberry Pi で Gears OS を動かせるようになる事で、ハードウェア上でもメタレベルの処理、並列実行ができるプログラミングを記述できるようになる事を目指している。
+ - メタレベルの処理では、メモリ管理、スレッド管理、CPU や GPU の資源管理を記述 することができる。
-# 実装までの流れ
-- RaspberryPi上にGearsOSを実装するために、まずはCbCコンパイラをRaspberryPi(ARM)用に作成する
-- その後に、CbCをを使ってxv6というOSを参考にRaspberryPiで動くGearsOSを作る
-- xv6 とは ANIX V6 とい う OS を ANSI-C に書き換え、x86 に移植した OS である。xv6 は Raspberry Pi で動かす事ができる。
+# スライドの流れ
+- RaspberryPi上でのGearsOSの実装
+- RaspberryPi上でのCbCのmake
+- make時間の比較
+- OSX上でのCbCのCrossCompile
+- Linux上でのCbCのCrossCompile
+- ARM版xv6をKVMで立ち上げる
+
+# RaspberryPi上でのGearsOSの実装
+- RaspberryPiはARMのバイナリを扱う
+- まずはCbCコンパイラをARMのバイナリを生成するように作成する。
+- その後に、作成したARM版xv6を参考にCbC言語を使ってRaspberryPiで動くGearsOSを実装する。
-# RaspberryPi上でCbCのmake
-- Raspberry Pi 1 のメモリは 256MB と小さいため、 CbC を make することができない。
-- Raspberry Pi 3 だとメモリは 1GB あり CbC を make できるが、時間がかかる。
-- make 時間の比較として研究室のメモリ 16GB のサーバ(firefly) と学科のサーバの一つ で Linux 環境であるメモリ 756GB の Dell PowerEdge630(DALMORE)を用いる。
-- それぞれのサーバではGoogleによって開発されたbuildシステムninja-buildをもちいてmakeを行なった。
-- ninja-buildはコア数を調べて実行するので使わない場合と比べてmakeが高速になる。
+# xv6
+- xv6 とはUNIX V6というOS をANSI C(標準規格のC言語) に書き換えたシンプルな OS である。
+- UNIX V6 は1975年にリリースされた古いOSでANSI C以前のC言語で実装されていた。
+- ARMのバイナリを生成するARM版xv6 は Raspberry Pi 上で動かす事ができる。
+
+# RaspberryPi上でCbC言語のmake
+- RaspberryPi上でGearsOSを動かしたいので、まずはRaspberryPi上でCbCのmakeを行なった。
+
+# RaspberryPi上でCbC言語のmake
+- Raspberry Pi上でGearsOSを実装するために、LLVMで実装したCbC言語のmakeを試した。
+- Raspberry Pi 1 のメモリは 256MB と小さいため、 CbC言語 を make することができない。
+- Raspberry Pi 3 だとメモリは 1GB あり CbC言語 を make できるが、時間がかかる。
+- Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので別のOS上でRasbianを立ち上げてもmake時間を短縮できない。
+
# make 時間の比較
-
+- 次の環境を用いて、LLVM上に実装されたCbCのmake時間の比較を行なった
+
+- 毎回756GB,32Coreのサーバをフル稼働させるのは現実的でないが、16GB,4Coreの環境でもmake時間が早くなっているのがわかる。
+
+
+
+# Ninja
+- それぞれのサーバではGoogleによって開発されたbuildシステムninja-buildをもちいてmakeを行なった。
+- ninja-buildは適切なCore数で実行してくれるので、CPUの数を調べて指定する手間を省ける。
+- 環境によってはCPUの数を指定しない場合よりかなり高速にmakeを行える。
# CrossCompile
- CrossCompile を行うことで make 時間の問題を解決する方法がある。
-- CrossCompile と は、別の OS で実行可能なコードを生成するコンパイルの手法である。
-- Raspbian 以外の OS 環境であらかじめ Raspberry Pi で CbC が動くように CrossCompile を行い、その コードを Raspberry Pi に移す事で、実行できるようになる。
-- Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので、別の手法で Raspberry Pi 上に CbC を実装する方が好ましい。
+- CrossCompile とは、別の OS で実行可能なコードを生成するコンパイルの手法である。
+- Raspbian 以外の OS 環境であらかじめ Raspberry Pi で CbC言語 が動くように CrossCompile を行い、その コードを Raspberry Pi に移す事で、実行できるようになる。
+- Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので、CrossCompileで Raspberry Pi 上に CbC言語 を実装する方が好ましい。
+# CrossCompileを行なった環境
+- OSX
+- Linux
+ - LLVM/Clangで実装されたCbC
+ - GCCで実装されたCbC
# OSX CrossCompile
-- OSX上でCbCを実装を試みた
+- OSX上でCbC言語を実装を試みた
- OSX上でCrossCompileを行うとMach-Oのバイナリが生成される。
-- Mach-oのローダーを作らなければならず、実装は困難である。
+- Mach-Oのローダーを作らなければならず、実装は困難である。
# Linux CrossCompile
-- Linux環境でCbCを動かす際にCrossCompileを行なう方法がある。
+- Linux環境でCbC言語を動かす際にCrossCompileを行なう方法がある。
- RaspberryPiはARMのコードを生成するので、CrossCompileによってARMのコードを生成すればRaspberry Pi でも実行可能なファイルを作ることができる。
-
-
-%# T図形
-% - CbC を Raspberry Pi で動かすためのアプローチの手法をを、I と T の形をした図の組み合わせによって説明を行う。
-% - I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
-% - T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
-%
+% # T図形
+% - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
+% - I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
+% - T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
%
-% # Linux上でのCbCの実装
-% - OSX上に立ち上げられたLinux で CbC のCrossCompileを行う過程を図に示す。
-% - CbCは C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
-% - これらはARM形式なのでRaspberryPiで実行できるファイルである。
-%
+# Linux上でのCbC言語の実装
+- OSX上に立ち上げられたLinux で ARM版xv6を使い、CbC言語のファイルからa.outを出力するまでの過程を図に示す。
+- CbC言語は C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
+- これらはARM形式なのでRaspberryPiで実行できるファイルである。
+
+% - OSX上に立ち上げられたLinux で CbC言語 のCrossCompileを行う過程を図に示す。
+# CbC言語の種類
+- CbC言語 には、2種類の方法によって実装されている。
+ - LLVM/Clang 上に実装したCbC
+ - GCC 上に実装したCbC
# LLVM/Clang
-- CbC には、LLVM/Clang 上に実装したものと、GCC で実装したものがある。
-- LLVM とは任意のプログラミング言語の静的コンパイルと 動的コンパイルの両方をサポートできる事を目的としたプロ ジェクトから始まった、モジューラと再利用可能な コンパイラ とツールチェーン技術の集まりである。
-- Clang は高速なコンパイルを目的とした LLVM をバック エンドとした、C/C++/Objective-C の コンパイラ である。
+- LLVM とは任意のプログラミング言語のコンパイルをサポートする事を目的としたプロジェクトです。
+- モジューラと再利用可能なコンパイラとツールチェーン技術の集まりである。
+- Clang はLLVMをバックエンドとしたコンパイラで、C/C++/Objective-C の高速なコンパイルを目的としている。
# LLVM CrossCompile
-- Makefile に変更を加えることで LLVM/Clang 上に実装 された CbC で Raspberry Pi で実行できる ARM の コードを生成できるようにCrossCompilerを作ったが、動作していない
+- LLVM上に実装されたCbCに対してCrossCompileを行なった。
+- ARM版xv6のMakefile に変更を加えることで LLVM/Clang 上に実装 された CbC言語 で Raspberry Pi で実行できる ARM の コードを生成できるようにCrossCompilerを作ったが、動作していない
- LLVMかxv6のどちらに修正が必要なのか分かってないのでデバッガを使って調査していく
@@ -72,40 +104,42 @@
- KVMとは完全仮想化を実現できる機能の事である。
- 完全仮想化なので、kernelに変更を加えなくても別のOSを動かせるメリットがある。
- KVMはqemuによって操作を行う。
-- qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルにarch='armv7l' machine='versatileab'を指定する事で、解決した。
+- qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルに変更を加える事で、KVMを立ち上げることに成功した。
+% - qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルにarch='armv7l' machine='versatileab'を指定する事で、解決した。
# GCC CrossCompile
+- GCC上に実装されたCbCについてCrossCompileを行なった。
- GCC は C/C++/Objective-C などを様々な言語をコンパイルすることのできるコンパイラである。
-- GCCで実装されたCbCについてはARMのコードを生成するようにMakefileを作成した。
-% - LLVMと同様に動作していなかったが、GCCで実装されたCbCコンパイラのバージョンをあげる事で、 動作させる事に成功した。
+- GCCで実装されたCbC言語についてはARMのコードを生成するようにMakefileを作成した。
- Linux上でARMのコードを生成するためのツールチェーンであるgcc-linux-gnuを使う事でxv6をKVM上で動作させる事に成功した。
+% - LLVMと同様に動作していなかったが、GCCで実装されたCbC言語コンパイラのバージョンをあげる事で、 動作させる事に成功した。
# 今後の課題
-- LLVMで実装されたLLVMで作成したxv6が動作しない原因をKVMを用いて調べる。
+- LLVMで実装されたでCbCで作成したxv6が動作しない原因をKVMを用いて調べる。
- 必要であれば、xv6またはLLVMを修正していく。
-- xv6kernelの構文に沿ってCbCで書き換える部分を考察する。
+- ARM版xv6のkernelの構文に沿ってCbC言語で書き換える部分を考察する。
# T図形
- - CbC を Raspberry Pi で動かすためのアプローチの手法をを、I と T の形をした図の組み合わせによって説明を行う。
+ - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
- I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
- T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
-# Linux上でのCbCの実装
-- OSX上に立ち上げられたLinux で CbC のCrossCompileを行う過程を図に示す。
-- CbCは C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
+# Linux上でのCbC言語の実装
+- OSX上に立ち上げられたLinux で CbC言語 のCrossCompileを行う過程を図に示す。
+- CbC言語は C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
- これらはARM形式なのでRaspberryPiで実行できるファイルである。
# LLVM CrossCompile Makefile
- makefileの一部を下に示す。
-- CCはコンパイラで、すでにmakeしたCbCのコンパイラを指定している。
+- CCはコンパイラで、すでにmakeしたCbC言語のコンパイラを指定している。
- AS(アセンブラ)やLD(リンカー)はarm-linux-gnuに続くコマンドを指定する。
- CFLAGS にターゲットオプションで arm-linux-gnueabihfを指定することで、ARMのコードを生成することができる。
- libgcc
@@ -235,4 +269,9 @@
```
-
+ # T図形
+ - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
+ - I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
+ - T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
+
+
diff -r 3a99fc0296ce -r 79fb933328ec slide/thesis.pdf.html
--- a/slide/thesis.pdf.html Thu Feb 22 02:31:50 2018 +0900
+++ b/slide/thesis.pdf.html Thu Feb 22 12:20:52 2018 +0900
@@ -5,7 +5,7 @@
Gears OS on Raspberry Pi
-
+
@@ -57,7 +57,7 @@
|
- Yu Tobaru
+ 河野研 桃原優
@@ -70,41 +70,76 @@
Raspberry Pi 上での Gears OS
- - 本研究室では Code Segment と Data Segment という単位でプログラムを記述する CbC(Continuation base C) とCbC を用いて実装する Gears OS の研究を行っている。
- - Code Segment は並列処理の単位として利用でき、Data Segment はデータそのもので型を持っていて、CbC はメタレベルの処理、並列処理を記述することができる。
- - メタレベルの処理では、メモリ管理、スレッド管理、CPU や GPU の資源管理を記述 することができる。
- - 本研究では、ARM で動くシングルボードコンピュータである Raspberry Pi で Gears OS を動かせるようになる事で、ハードウェア上でもメタレベルの処理、並列実行ができるプログラミングを記述できるようになる事を目指している。
+ - 本研究室ではCbC(Continuation base C)言語を用いて実装する Gears OS の研究を行っている。
+ - 本研究では、ARM で動くシングルボードコンピュータである Raspberry Pi で Gears OS を動かせるようになる事で、ハードウェア上でもメタレベルの処理、並列実行ができるプログラミングを記述できるようになる事を目指している。
+
+ - メタレベルの処理では、メモリ管理、スレッド管理、CPU や GPU の資源管理を記述 することができる。
+
+
+
+
+
+
+
+
+ スライドの流れ
+
+ - RaspberryPi上でのGearsOSの実装
+ - RaspberryPi上でのCbCのmake
+ - make時間の比較
+ - OSX上でのCbCのCrossCompile
+ - Linux上でのCbCのCrossCompile
+ - ARM版xv6をKVMで立ち上げる
- 実装までの流れ
+ RaspberryPi上でのGearsOSの実装
- - RaspberryPi上にGearsOSを実装するために、まずはCbCコンパイラをRaspberryPi(ARM)用に作成する
- - その後に、CbCをを使ってxv6というOSを参考にRaspberryPiで動くGearsOSを作る
- - xv6 とは ANIX V6 とい う OS を ANSI-C に書き換え、x86 に移植した OS である。xv6 は Raspberry Pi で動かす事ができる。
+ - RaspberryPiはARMのバイナリを扱う
+ - まずはCbCコンパイラをARMのバイナリを生成するように作成する。
+ - その後に、作成したARM版xv6を参考にCbC言語を使ってRaspberryPiで動くGearsOSを実装する。
- RaspberryPi上でCbCのmake
+ xv6
+
+ - xv6 とはUNIX V6というOS をANSI C(標準規格のC言語) に書き換えたシンプルな OS である。
+ - UNIX V6 は1975年にリリースされた古いOSでANSI C以前のC言語で実装されていた。
+ - ARMのバイナリを生成するARM版xv6 は Raspberry Pi 上で動かす事ができる。
+
+
+
+
+
+
+ RaspberryPi上でCbC言語のmake
- - Raspberry Pi 1 のメモリは 256MB と小さいため、 CbC を make することができない。
- - Raspberry Pi 3 だとメモリは 1GB あり CbC を make できるが、時間がかかる。
- - make 時間の比較として研究室のメモリ 16GB のサーバ(firefly) と学科のサーバの一つ で Linux 環境であるメモリ 756GB の Dell PowerEdge630(DALMORE)を用いる。
- - それぞれのサーバではGoogleによって開発されたbuildシステムninja-buildをもちいてmakeを行なった。
- - ninja-buildはコア数を調べて実行するので使わない場合と比べてmakeが高速になる。
+ - RaspberryPi上でGearsOSを動かしたいので、まずはRaspberryPi上でCbCのmakeを行なった。
+
+
+
+
+
+
+ RaspberryPi上でCbC言語のmake
+
+ - Raspberry Pi上でGearsOSを実装するために、LLVMで実装したCbC言語のmakeを試した。
+ - Raspberry Pi 1 のメモリは 256MB と小さいため、 CbC言語 を make することができない。
+ - Raspberry Pi 3 だとメモリは 1GB あり CbC言語 を make できるが、時間がかかる。
+ - Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので別のOS上でRasbianを立ち上げてもmake時間を短縮できない。
@@ -112,7 +147,24 @@
make 時間の比較
-
+
+ - 次の環境を用いて、LLVM上に実装されたCbCのmake時間の比較を行なった
+
+
+
+ - 毎回756GB,32Coreのサーバをフル稼働させるのは現実的でないが、16GB,4Coreの環境でもmake時間が早くなっているのがわかる。
+
+
+
+
+
+
+ Ninja
+
+ - それぞれのサーバではGoogleによって開発されたbuildシステムninja-buildをもちいてmakeを行なった。
+ - ninja-buildは適切なCore数で実行してくれるので、CPUの数を調べて指定する手間を省ける。
+ - 環境によってはCPUの数を指定しない場合よりかなり高速にmakeを行える。
+
@@ -121,9 +173,24 @@
CrossCompile
- CrossCompile を行うことで make 時間の問題を解決する方法がある。
- - CrossCompile と は、別の OS で実行可能なコードを生成するコンパイルの手法である。
- - Raspbian 以外の OS 環境であらかじめ Raspberry Pi で CbC が動くように CrossCompile を行い、その コードを Raspberry Pi に移す事で、実行できるようになる。
- - Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので、別の手法で Raspberry Pi 上に CbC を実装する方が好ましい。
+ - CrossCompile とは、別の OS で実行可能なコードを生成するコンパイルの手法である。
+ - Raspbian 以外の OS 環境であらかじめ Raspberry Pi で CbC言語 が動くように CrossCompile を行い、その コードを Raspberry Pi に移す事で、実行できるようになる。
+ - Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので、CrossCompileで Raspberry Pi 上に CbC言語 を実装する方が好ましい。
+
+
+
+
+
+
+ CrossCompileを行なった環境
+
+ - OSX
+ - Linux
+
+ - LLVM/Clangで実装されたCbC
+ - GCCで実装されたCbC
+
+
@@ -132,9 +199,9 @@
OSX CrossCompile
- - OSX上でCbCを実装を試みた
+ - OSX上でCbC言語を実装を試みた
- OSX上でCrossCompileを行うとMach-Oのバイナリが生成される。
- - Mach-oのローダーを作らなければならず、実装は困難である。
+ - Mach-Oのローダーを作らなければならず、実装は困難である。
@@ -143,7 +210,7 @@
Linux CrossCompile
- - Linux環境でCbCを動かす際にCrossCompileを行なう方法がある。
+ - Linux環境でCbC言語を動かす際にCrossCompileを行なう方法がある。
- RaspberryPiはARMのコードを生成するので、CrossCompileによってARMのコードを生成すればRaspberry Pi でも実行可能なファイルを作ることができる。
@@ -151,11 +218,37 @@
+ Linux上でのCbC言語の実装
+
+ - OSX上に立ち上げられたLinux で ARM版xv6を使い、CbC言語のファイルからa.outを出力するまでの過程を図に示す。
+ - CbC言語は C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
+ - これらはARM形式なのでRaspberryPiで実行できるファイルである。
+
+
+
+
+
+
+
+ CbC言語の種類
+
+ - CbC言語 には、2種類の方法によって実装されている。
+
+ - LLVM/Clang 上に実装したCbC
+ - GCC 上に実装したCbC
+
+
+
+
+
+
+
+
LLVM/Clang
- - CbC には、LLVM/Clang 上に実装したものと、GCC で実装したものがある。
- - LLVM とは任意のプログラミング言語の静的コンパイルと 動的コンパイルの両方をサポートできる事を目的としたプロ ジェクトから始まった、モジューラと再利用可能な コンパイラ とツールチェーン技術の集まりである。
- - Clang は高速なコンパイルを目的とした LLVM をバック エンドとした、C/C++/Objective-C の コンパイラ である。
+ - LLVM とは任意のプログラミング言語のコンパイルをサポートする事を目的としたプロジェクトです。
+ - モジューラと再利用可能なコンパイラとツールチェーン技術の集まりである。
+ - Clang はLLVMをバックエンドとしたコンパイラで、C/C++/Objective-C の高速なコンパイルを目的としている。
@@ -164,7 +257,8 @@
LLVM CrossCompile
- - Makefile に変更を加えることで LLVM/Clang 上に実装 された CbC で Raspberry Pi で実行できる ARM の コードを生成できるようにCrossCompilerを作ったが、動作していない
+ - LLVM上に実装されたCbCに対してCrossCompileを行なった。
+ - ARM版xv6のMakefile に変更を加えることで LLVM/Clang 上に実装 された CbC言語 で Raspberry Pi で実行できる ARM の コードを生成できるようにCrossCompilerを作ったが、動作していない
- LLVMかxv6のどちらに修正が必要なのか分かってないのでデバッガを使って調査していく
@@ -178,7 +272,7 @@
KVMとは完全仮想化を実現できる機能の事である。
完全仮想化なので、kernelに変更を加えなくても別のOSを動かせるメリットがある。
KVMはqemuによって操作を行う。
- qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルにarch=’armv7l’ machine=’versatileab’を指定する事で、解決した。
+ qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルに変更を加える事で、KVMを立ち上げることに成功した。
@@ -187,10 +281,9 @@
GCC CrossCompile
@@ -200,9 +293,9 @@
今後の課題
- - LLVMで実装されたLLVMで作成したxv6が動作しない原因をKVMを用いて調べる。
+ - LLVMで実装されたでCbCで作成したxv6が動作しない原因をKVMを用いて調べる。
- 必要であれば、xv6またはLLVMを修正していく。
- - xv6kernelの構文に沿ってCbCで書き換える部分を考察する。
+ - ARM版xv6のkernelの構文に沿ってCbC言語で書き換える部分を考察する。
@@ -211,7 +304,7 @@
T図形
- - CbC を Raspberry Pi で動かすためのアプローチの手法をを、I と T の形をした図の組み合わせによって説明を行う。
+ - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
- I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
- T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
@@ -222,10 +315,10 @@
- Linux上でのCbCの実装
+ Linux上でのCbC言語の実装
- - OSX上に立ち上げられたLinux で CbC のCrossCompileを行う過程を図に示す。
- - CbCは C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
+ - OSX上に立ち上げられたLinux で CbC言語 のCrossCompileを行う過程を図に示す。
+ - CbC言語は C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
- これらはARM形式なのでRaspberryPiで実行できるファイルである。
@@ -237,7 +330,7 @@
LLVM CrossCompile Makefile
- makefileの一部を下に示す。
- - CCはコンパイラで、すでにmakeしたCbCのコンパイラを指定している。
+ - CCはコンパイラで、すでにmakeしたCbC言語のコンパイラを指定している。
- AS(アセンブラ)やLD(リンカー)はarm-linux-gnuに続くコマンドを指定する。
- CFLAGS にターゲットオプションで arm-linux-gnueabihfを指定することで、ARMのコードを生成することができる。
- libgcc
@@ -381,6 +474,12 @@
-S -O binary --prefix-symbols="_binary_$@" $@.out $@, " OBJCOPY $(TARGET_DIR)$@")
+# T図形
+ - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
+ - I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
+ - T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
+
+
|