0
|
1 <!DOCTYPE html>
|
|
2 <html>
|
|
3 <head>
|
|
4 <meta http-equiv="content-type" content="text/html;charset=utf-8">
|
|
5 <title>Gears OS on Raspberry Pi</title>
|
|
6
|
|
7 <meta name="generator" content="Slide Show (S9) v2.5.0 on Ruby 2.4.1 (2017-03-22) [x86_64-darwin15]">
|
|
8 <meta name="author" content="Yu Tobaru" >
|
|
9
|
|
10 <!-- style sheet links -->
|
|
11 <link rel="stylesheet" href="s6/themes/screen.css" media="screen">
|
|
12 <link rel="stylesheet" href="s6/themes/print.css" media="print">
|
|
13 <link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection">
|
|
14
|
|
15 <!-- JS -->
|
|
16 <script src="s6/js/jquery-1.11.3.min.js"></script>
|
|
17 <script src="s6/js/jquery.slideshow.js"></script>
|
|
18 <script src="s6/js/jquery.slideshow.counter.js"></script>
|
|
19 <script src="s6/js/jquery.slideshow.controls.js"></script>
|
|
20 <script src="s6/js/jquery.slideshow.footer.js"></script>
|
|
21 <script src="s6/js/jquery.slideshow.autoplay.js"></script>
|
|
22
|
|
23 <!-- prettify -->
|
|
24 <link rel="stylesheet" href="scripts/prettify.css">
|
|
25 <script src="scripts/prettify.js"></script>
|
|
26
|
|
27 <style>
|
|
28 .slide {page-break-after: always;}
|
|
29 </style>
|
|
30
|
|
31
|
|
32
|
|
33
|
|
34 </head>
|
|
35 <body>
|
|
36
|
|
37 <div class="layout">
|
|
38 <div id="header"></div>
|
|
39 <div id="footer">
|
|
40 <div align="right">
|
|
41 <img src="s6/images/logo.svg" width="200px">
|
|
42 </div>
|
|
43 </div>
|
|
44 </div>
|
|
45
|
|
46 <div class="presentation">
|
|
47
|
|
48 <div class='slide cover'>
|
|
49 <table width="90%" height="90%" border="0" align="center">
|
|
50 <tr>
|
|
51 <td>
|
|
52 <div align="center">
|
|
53 <h1><font color="#808db5">Gears OS on Raspberry Pi</font></h1>
|
|
54 </div>
|
|
55 </td>
|
|
56 </tr>
|
|
57 <tr>
|
|
58 <td>
|
|
59 <div align="left">
|
|
60 Yu Tobaru
|
|
61
|
|
62 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
|
|
63 </div>
|
|
64 </td>
|
|
65 </tr>
|
|
66 </table>
|
|
67 </div>
|
|
68
|
|
69 <div class='slide '>
|
|
70 <!-- === begin markdown block ===
|
|
71
|
|
72 generated by markdown/1.2.0 on Ruby 2.4.1 (2017-03-22) [x86_64-darwin15]
|
2
|
73 on 2018-04-24 19:16:47 +0900 with Markdown engine kramdown (1.13.2)
|
0
|
74 using options {}
|
|
75 -->
|
|
76
|
|
77 <!-- _S9SLIDE_ -->
|
|
78 <h1 id="section">研究目的</h1>
|
|
79 <ul>
|
2
|
80 <li>本研究室では Code Gear と Data Gear という単位でプログラムを記述する CbC(Continuation base C) とCbC を用いて実装する Gears OS の研究を行っている。</li>
|
0
|
81 <li>Code Gear は並列処理の単位として利用でき, Data Gear はデータそのもので型を持っていて,CbC はメタレベルの処理,並列処理を記述することができる。</li>
|
|
82 <li>本研究では,Raspberry Pi に Gears OS を動かせるようになる事で、ハードウェア上でもメタレベルの処理、並列実行ができるプログラミングを記述できるようになる事を目指している。</li>
|
|
83 </ul>
|
|
84
|
|
85
|
|
86 </div>
|
|
87 <div class='slide '>
|
|
88 <!-- _S9SLIDE_ -->
|
|
89 <h1 id="section-1">概要</h1>
|
|
90 <ul>
|
|
91 <li>Raspberry Pi で Gears OS を動かすために、CbCの make を行う必要がある。</li>
|
|
92 <li>Raspberry Pi 上で CbC の make を行うと、メモリが小さいので時間がかかる。</li>
|
|
93 <li>そのため、Linux 環境で CbC を動かした後に Raspberry Pi に載せる手法で研究を進めている。</li>
|
|
94 <li>これまでに Linux上で CbC が Raspberry Pi と同じ ARM のバイナリを吐くように CrossCompile を行なった ARM版xv6 を作成してきた。</li>
|
|
95 <li>本研究では、CbCを用いて ARM版xv6 に沿って Raspberry Pi で動く Gears OS を実装する。</li>
|
|
96 <li>Linux 上でコンパイルを行うまでの過程は以下のT図形のようになる</li>
|
|
97 </ul>
|
|
98
|
|
99 <div align="center"><img src="../OSX_Linux_VM.png" style="center" /></div>
|
|
100
|
|
101
|
|
102 </div>
|
|
103 <div class='slide '>
|
|
104 <!-- _S9SLIDE_ -->
|
|
105 <h1 id="section-2">今週</h1>
|
|
106 <ul>
|
|
107 <li>研究計画書</li>
|
|
108 <li>OS研究会の論文のチェック</li>
|
|
109 <li>ソフトウェアシステム論のxv6読み会の資料をアップ
|
|
110 http://www.cr.ie.u-ryukyu.ac.jp/~game/pukiwiki/index.php?xv6</li>
|
1
|
111 <li>ピアノ作成</li>
|
0
|
112 </ul>
|
|
113 <!-- === end markdown block === -->
|
|
114 </div>
|
|
115
|
|
116
|
|
117 </div><!-- presentation -->
|
|
118 </body>
|
|
119 </html>
|