|
4
|
1 title:Gears OS on Raspberry Pi
|
|
7
|
2 author:河野研 桃原優
|
|
4
|
3 profile:
|
|
|
4
|
|
|
5 # Raspberry Pi 上での Gears OS
|
|
7
|
6 - 本研究室ではCbC(Continuation base C)言語を用いて実装する Gears OS の研究を行っている。
|
|
5
|
7 - 本研究では、ARM で動くシングルボードコンピュータである Raspberry Pi で Gears OS を動かせるようになる事で、ハードウェア上でもメタレベルの処理、並列実行ができるプログラミングを記述できるようになる事を目指している。
|
|
7
|
8 - メタレベルの処理では、メモリ管理、スレッド管理、CPU や GPU の資源管理を記述 することができる。
|
|
4
|
9
|
|
7
|
10 # スライドの流れ
|
|
|
11 - RaspberryPi上でのGearsOSの実装
|
|
|
12 - RaspberryPi上でのCbCのmake
|
|
|
13 - make時間の比較
|
|
|
14 - OSX上でのCbCのCrossCompile
|
|
|
15 - Linux上でのCbCのCrossCompile
|
|
|
16 - ARM版xv6をKVMで立ち上げる
|
|
|
17
|
|
|
18 # RaspberryPi上でのGearsOSの実装
|
|
|
19 - RaspberryPiはARMのバイナリを扱う
|
|
|
20 - まずはCbCコンパイラをARMのバイナリを生成するように作成する。
|
|
|
21 - その後に、作成したARM版xv6を参考にCbC言語を使ってRaspberryPiで動くGearsOSを実装する。
|
|
6
|
22
|
|
4
|
23
|
|
7
|
24 # xv6
|
|
|
25 - xv6 とはUNIX V6というOS をANSI C(標準規格のC言語) に書き換えたシンプルな OS である。
|
|
|
26 - UNIX V6 は1975年にリリースされた古いOSでANSI C以前のC言語で実装されていた。
|
|
|
27 - ARMのバイナリを生成するARM版xv6 は Raspberry Pi 上で動かす事ができる。
|
|
|
28
|
|
|
29 # RaspberryPi上でCbC言語のmake
|
|
|
30 - RaspberryPi上でGearsOSを動かしたいので、まずはRaspberryPi上でCbCのmakeを行なった。
|
|
|
31
|
|
|
32 # RaspberryPi上でCbC言語のmake
|
|
|
33 - Raspberry Pi上でGearsOSを実装するために、LLVMで実装したCbC言語のmakeを試した。
|
|
|
34 - Raspberry Pi 1 のメモリは 256MB と小さいため、 CbC言語 を make することができない。
|
|
|
35 - Raspberry Pi 3 だとメモリは 1GB あり CbC言語 を make できるが、時間がかかる。
|
|
|
36 - Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので別のOS上でRasbianを立ち上げてもmake時間を短縮できない。
|
|
|
37
|
|
4
|
38
|
|
|
39 # make 時間の比較
|
|
7
|
40 - 次の環境を用いて、LLVM上に実装されたCbCのmake時間の比較を行なった
|
|
|
41 <div align="center"><img src="./images/maketime.pdf" width="900" height="250" style="center"></div>
|
|
|
42 - 毎回756GB,32Coreのサーバをフル稼働させるのは現実的でないが、16GB,4Coreの環境でもmake時間が早くなっているのがわかる。
|
|
|
43
|
|
|
44
|
|
|
45
|
|
|
46 # Ninja
|
|
|
47 - それぞれのサーバではGoogleによって開発されたbuildシステムninja-buildをもちいてmakeを行なった。
|
|
|
48 - ninja-buildは適切なCore数で実行してくれるので、CPUの数を調べて指定する手間を省ける。
|
|
|
49 - 環境によってはCPUの数を指定しない場合よりかなり高速にmakeを行える。
|
|
4
|
50
|
|
|
51 # CrossCompile
|
|
|
52 - CrossCompile を行うことで make 時間の問題を解決する方法がある。
|
|
7
|
53 - CrossCompile とは、別の OS で実行可能なコードを生成するコンパイルの手法である。
|
|
|
54 - Raspbian 以外の OS 環境であらかじめ Raspberry Pi で CbC言語 が動くように CrossCompile を行い、その コードを Raspberry Pi に移す事で、実行できるようになる。
|
|
|
55 - Raspberry Pi の OS である Rasbian は qemu によるメモリの拡張もできないので、CrossCompileで Raspberry Pi 上に CbC言語 を実装する方が好ましい。
|
|
4
|
56
|
|
7
|
57 # CrossCompileを行なった環境
|
|
|
58 - OSX
|
|
|
59 - Linux
|
|
|
60 - LLVM/Clangで実装されたCbC
|
|
|
61 - GCCで実装されたCbC
|
|
6
|
62
|
|
|
63 # OSX CrossCompile
|
|
7
|
64 - OSX上でCbC言語を実装を試みた
|
|
6
|
65 - OSX上でCrossCompileを行うとMach-Oのバイナリが生成される。
|
|
7
|
66 - Mach-Oのローダーを作らなければならず、実装は困難である。
|
|
6
|
67
|
|
|
68
|
|
4
|
69 # Linux CrossCompile
|
|
7
|
70 - Linux環境でCbC言語を動かす際にCrossCompileを行なう方法がある。
|
|
6
|
71 - RaspberryPiはARMのコードを生成するので、CrossCompileによってARMのコードを生成すればRaspberry Pi でも実行可能なファイルを作ることができる。
|
|
7
|
72 % # T図形
|
|
|
73 % - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
|
|
|
74 % - I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
|
|
|
75 % - T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
|
|
6
|
76 % <div align="center"><img src="./images/examples_2.pdf" style="center"></div>
|
|
|
77
|
|
7
|
78 # Linux上でのCbC言語の実装
|
|
|
79 - OSX上に立ち上げられたLinux で ARM版xv6を使い、CbC言語のファイルからa.outを出力するまでの過程を図に示す。
|
|
|
80 - CbC言語は C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
|
|
|
81 - これらはARM形式なのでRaspberryPiで実行できるファイルである。
|
|
|
82 <div align="center"><img src="./images/OSX_Linux_VM.pdf" style="center"></div>
|
|
6
|
83
|
|
7
|
84 % - OSX上に立ち上げられたLinux で CbC言語 のCrossCompileを行う過程を図に示す。
|
|
6
|
85
|
|
7
|
86 # CbC言語の種類
|
|
|
87 - CbC言語 には、2種類の方法によって実装されている。
|
|
|
88 - LLVM/Clang 上に実装したCbC
|
|
|
89 - GCC 上に実装したCbC
|
|
6
|
90
|
|
|
91 # LLVM/Clang
|
|
7
|
92 - LLVM とは任意のプログラミング言語のコンパイルをサポートする事を目的としたプロジェクトです。
|
|
|
93 - モジューラと再利用可能なコンパイラとツールチェーン技術の集まりである。
|
|
|
94 - Clang はLLVMをバックエンドとしたコンパイラで、C/C++/Objective-C の高速なコンパイルを目的としている。
|
|
5
|
95
|
|
6
|
96 # LLVM CrossCompile
|
|
7
|
97 - LLVM上に実装されたCbCに対してCrossCompileを行なった。
|
|
|
98 - ARM版xv6のMakefile に変更を加えることで LLVM/Clang 上に実装 された CbC言語 で Raspberry Pi で実行できる ARM の コードを生成できるようにCrossCompilerを作ったが、動作していない
|
|
6
|
99 - LLVMかxv6のどちらに修正が必要なのか分かってないのでデバッガを使って調査していく
|
|
|
100
|
|
|
101
|
|
|
102 # KVM
|
|
|
103 - ARM版のxv6をデバッグするためにKVMを使用する。
|
|
|
104 - KVMとは完全仮想化を実現できる機能の事である。
|
|
|
105 - 完全仮想化なので、kernelに変更を加えなくても別のOSを動かせるメリットがある。
|
|
|
106 - KVMはqemuによって操作を行う。
|
|
7
|
107 - qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルに変更を加える事で、KVMを立ち上げることに成功した。
|
|
|
108 % - qemu-system-armはRaspberryPiをサポートしていなかったが、KVMを立ち上げるために使うxmlファイルにarch='armv7l' machine='versatileab'を指定する事で、解決した。
|
|
6
|
109
|
|
|
110
|
|
|
111 # GCC CrossCompile
|
|
7
|
112 - GCC上に実装されたCbCについてCrossCompileを行なった。
|
|
6
|
113 - GCC は C/C++/Objective-C などを様々な言語をコンパイルすることのできるコンパイラである。
|
|
7
|
114 - GCCで実装されたCbC言語についてはARMのコードを生成するようにMakefileを作成した。
|
|
6
|
115 - Linux上でARMのコードを生成するためのツールチェーンであるgcc-linux-gnuを使う事でxv6をKVM上で動作させる事に成功した。
|
|
|
116
|
|
|
117
|
|
7
|
118 % - LLVMと同様に動作していなかったが、GCCで実装されたCbC言語コンパイラのバージョンをあげる事で、 動作させる事に成功した。
|
|
6
|
119
|
|
|
120 # 今後の課題
|
|
7
|
121 - LLVMで実装されたでCbCで作成したxv6が動作しない原因をKVMを用いて調べる。
|
|
6
|
122 - 必要であれば、xv6またはLLVMを修正していく。
|
|
7
|
123 - ARM版xv6のkernelの構文に沿ってCbC言語で書き換える部分を考察する。
|
|
6
|
124
|
|
4
|
125
|
|
|
126 # T図形
|
|
7
|
127 - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
|
|
6
|
128 - I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
|
|
|
129 - T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
|
|
|
130
|
|
|
131 <div align="center"><img src="./images/examples_2.pdf" style="center"></div>
|
|
4
|
132
|
|
|
133
|
|
7
|
134 # Linux上でのCbC言語の実装
|
|
|
135 - OSX上に立ち上げられたLinux で CbC言語 のCrossCompileを行う過程を図に示す。
|
|
|
136 - CbC言語は C によって記述されているため、CからARM形式の.oファイルを生成し、.oからARMのa.outを出力する。
|
|
4
|
137 - これらはARM形式なのでRaspberryPiで実行できるファイルである。
|
|
|
138 <div align="center"><img src="./images/OSX_Linux_VM.pdf" style="center"></div>
|
|
|
139
|
|
6
|
140 # LLVM CrossCompile Makefile
|
|
4
|
141 - makefileの一部を下に示す。
|
|
7
|
142 - CCはコンパイラで、すでにmakeしたCbC言語のコンパイラを指定している。
|
|
4
|
143 - AS(アセンブラ)やLD(リンカー)はarm-linux-gnuに続くコマンドを指定する。
|
|
|
144 - CFLAGS にターゲットオプションで arm-linux-gnueabihfを指定することで、ARMのコードを生成することができる。
|
|
|
145 - libgcc
|
|
|
146
|
|
6
|
147
|
|
4
|
148 ```c
|
|
|
149 QEMU = qemu-system-arm
|
|
|
150
|
|
|
151 include makefile.inc
|
|
|
152 CC = /usr/local/cbclang/bin/clang
|
|
|
153 AS = arm-linux-gnu-as
|
|
|
154 LD = arm-linux-gnu-ld
|
|
|
155 OBJCOPY = arm-linux-gnu-objcopy
|
|
|
156 OBJDUMP = arm-linux-gnu-objdump
|
|
|
157
|
|
|
158 CFLAGS = -target arm-linux-gnueabihf -march=armv7a -fno-pic -static -fno-builtin -fno-strict-aliasing -Wall -I. -I ../cbclang/arm -g -O0
|
|
|
159 LDFLAGS = --noinhibit-exec
|
|
|
160 ASFLAGS = -target arm-linux-gnueabihf
|
|
|
161
|
|
|
162 LIBGCC = $(shell $(CC) $(CFLAGS) -print-libgcc-file-name)
|
|
|
163
|
|
|
164 # link the libgcc.a for __aeabi_idiv. ARM has no native support for div
|
|
|
165 LIBS =/net/open/RaspberryPi/rasbian-img/usr/lib/gcc/arm-linux-gnueabihf/6/libgcc.a
|
|
|
166 ```
|
|
|
167
|
|
6
|
168 # LinuxのCPUコア
|
|
|
169 - CPUごとのコア数 18
|
|
|
170 - 論理プロセッサー 72
|
|
|
171 ```c
|
|
|
172 +dalmore+one grep cpu.cores /proc/cpuinfo | sort -u
|
|
|
173 cpu cores : 18
|
|
|
174 +dalmore+one grep processor /proc/cpuinfo | wc -l
|
|
|
175 72
|
|
|
176 ```
|
|
4
|
177
|
|
6
|
178 # OSXコア数
|
|
|
179 ```c
|
|
|
180 +firefly+one system_profiler SPHardwareDataType
|
|
|
181 Hardware:
|
|
|
182
|
|
|
183 Hardware Overview:
|
|
|
184
|
|
|
185 Model Name: Mac Pro
|
|
|
186 Model Identifier: MacPro5,1
|
|
|
187 Processor Name: 6-Core Intel Xeon
|
|
|
188 Processor Speed: 2.66 GHz
|
|
|
189 Number of Processors: 2
|
|
|
190 Total Number of Cores: 12
|
|
|
191 L2 Cache (per Core): 256 KB
|
|
|
192 L3 Cache (per Processor): 12 MB
|
|
|
193 Memory: 16 GB
|
|
|
194 Processor Interconnect Speed: 6.4 GT/s
|
|
|
195 Boot ROM Version: MP51.007F.B03
|
|
|
196 SMC Version (system): 1.39f11
|
|
|
197 SMC Version (processor tray): 1.39f11
|
|
|
198 Serial Number (system): YM20300FGWR
|
|
|
199 Serial Number (processor tray): J515201PEBH8C
|
|
|
200 Hardware UUID: F6CA8AEA-6A98-53A9-826F-B3A3D465F23B
|
|
|
201 ```
|
|
|
202
|
|
|
203 # arm1.xml
|
|
|
204 ```c
|
|
|
205 <domain type='qemu' id='22'>
|
|
|
206 <name>arm1</name>
|
|
|
207 <uuid>8028f71a-1db8-40a4-94fa-5a4a42014273</uuid>
|
|
|
208 <memory>131072</memory>
|
|
|
209 <currentMemory>131072</currentMemory>
|
|
|
210 <vcpu>1</vcpu>
|
|
|
211 <os>
|
|
|
212 <type arch='armv7l' machine='versatileab'>hvm</type>
|
|
|
213 <kernel>/var/lib/libvirt/images/zImage-versatile-2.6.24-rc7.armv5tel</kernel>
|
|
|
214 <cmdline>"root=0800"</cmdline>
|
|
|
215 <boot dev='hd'/>
|
|
|
216 </os>
|
|
|
217 <features>
|
|
|
218 <acpi/>
|
|
|
219 </features>
|
|
|
220 <clock offset='utc'/>
|
|
|
221 <on_poweroff>destroy</on_poweroff>
|
|
|
222 <on_reboot>restart</on_reboot>
|
|
|
223 <on_crash>restart</on_crash>
|
|
|
224 <devices>
|
|
|
225 <emulator>/bin/qemu-system-arm</emulator>
|
|
|
226 <disk type='file' device='disk'>
|
|
|
227 <driver name='qemu' type='raw'/>
|
|
|
228 <source file='/var/lib/libvirt/images/arm1.img'/>
|
|
|
229 <target dev='hdc' bus='scsi'/>
|
|
|
230 </disk>
|
|
|
231 <input type='mouse' bus='ps2'/>
|
|
|
232 <graphics type='vnc' port='-1' autoport='yes' listen='0.0.0.0' passwd='43u@khii'>
|
|
|
233 <listen type='address' address='0.0.0.0'/>
|
|
|
234 </graphics>
|
|
|
235 <video>
|
|
|
236 <model type='cirrus' vram='16384' heads='1' primary='yes'/>
|
|
|
237 </video>
|
|
|
238 </devices>
|
|
|
239 </domain>
|
|
|
240
|
|
|
241 ```
|
|
|
242
|
|
|
243 # GCC CrossCompile makefile
|
|
4
|
244 - CC にarm-linux-gnu-gccを指定することでARMのコードを生成できるようになる
|
|
|
245 - AS(アセンブラ)やLD(リンカー)はarm-linux-gnuに続くコマンドを指定する。
|
|
|
246 ```c
|
|
|
247 QEMU = qemu-system-arm
|
|
|
248
|
|
|
249 include makefile.inc
|
|
|
250 CC = arm-linux-gnu-gcc
|
|
|
251 AS = arm-linux-gnu-as
|
|
|
252 LD = arm-linux-gnu-ld
|
|
|
253 OBJCOPY = arm-linux-gnu-objcopy
|
|
|
254 OBJDUMP = arm-linux-gnu-objdump
|
|
|
255
|
|
|
256 CFLAGS = -fno-pic -static -fno-builtin -fno-strict-aliasing -Wall -I. -g -O0
|
|
|
257
|
|
|
258 ASFLAGS =
|
|
|
259
|
|
|
260 LIBGCC = $(shell $(CC) -print-libgcc-file-name)
|
|
|
261
|
|
|
262 LINK_BIN = $(call quiet-command,$(LD) $(LDFLAGS) ¥
|
|
|
263 -T $(1) -o $(2) $(3) $(LIBS) -b binary $(4), " LINK $(TARGET_DIR)$@")
|
|
|
264
|
|
|
265 LINK_INIT = $(call quiet-command,$(LD) $(LDFLAGS) ¥
|
|
|
266 $(1) -o $@.out $<, " LINK $(TARGET_DIR)$@")
|
|
|
267 OBJCOPY_INIT = $(call quiet-command,$(OBJCOPY) ¥
|
|
|
268 -S -O binary --prefix-symbols="_binary_$@" $@.out $@, " OBJCOPY $(TARGET_DIR)$@")
|
|
|
269 ```
|
|
|
270
|
|
|
271
|
|
7
|
272 # T図形
|
|
|
273 - CbC言語 を Raspberry Pi で動かすためのアプローチの手法を、I と T の形をした図の組み合わせによって説明を行う。
|
|
|
274 - I の上部分に cbclang や Xv6 などのソースコード名を、下部分にその機能の記述言語を記してある
|
|
|
275 - T の上部分は左に入力されるファイル、右に出力されるその機能によって出力されるファイルが記され、下部分にその機能の記述言語が記されている。
|
|
|
276
|
|
|
277 <div align="center"><img src="./images/examples_2.pdf" style="center"></div>
|
