Mercurial > hg > Members > kaito > slides

comparison s6/2014_12_02.html @ 9:71f4897e70eb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 02 Dec 2014 03:36:17 +0900
parents
children
comparison
equal deleted inserted replaced
8:5172ca8b437a 9:71f4897e70eb
1 <!DOCTYPE html>
2 <html>
3 <head>
4 <meta charset='utf-8'>
5 <title>Presen</title>
6
7
8 <!-- style sheet links -->
9 <link rel="stylesheet/less" href="themes/blank/projection.css.less" media="screen,projection">
10 <link rel="stylesheet/less" href="themes/blank/screen.css.less" media="screen">
11 <link rel="stylesheet/less" href="themes/blank/print.css.less" media="print">
12
13 <link rel="stylesheet/less" href="blank.css.less" media="screen,projection">
14
15 <!-- add js libs (less, jquery) -->
16 <script src="js/less-1.1.4.min.js"></script>
17 <script src="js/jquery-1.7.min.js"></script>
18
19 <!-- S6 JS -->
20 <script src="js/jquery.slideshow.js"></script>
21 <script src="js/jquery.slideshow.counter.js"></script>
22 <script src="js/jquery.slideshow.controls.js"></script>
23 <script src="js/jquery.slideshow.footer.js"></script>
24 <script src="js/jquery.slideshow.autoplay.js"></script>
25 <script>
26 $(document).ready( function() {
27 Slideshow.init();
28
29 // Example 2: Start Off in Outline Mode
30 // Slideshow.init( { mode: 'outline' } );
31
32 // Example 3: Use Custom Transition
33 // Slideshow.transition = transitionScrollUp;
34 // Slideshow.init();
35
36 // Example 4: Start Off in Autoplay Mode with Custom Transition
37 // Slideshow.transition = transitionScrollUp;
38 // Slideshow.init( { mode: 'autoplay' } );
39 } );
40 </script>
41
42 </head>
43 <body>
44
45 <div class="layout">
46 <div id="header"></div>
47 <div id="footer">
48 <div align="right">
49 <img src="images/concurrency.png" width="200">
50 </div>
51 </div>
52 </div>
53
54 <div class="presentation">
55
56 <!-- add slides here; example -->
57
58 <div class='slide cover'>
59 <table width="90%" height="90%" border="0" align="center">
60 <tr>
61 <td><div align="center">
62 <h1><font color="#808db5">CbCにおけるデータセグメントの設計</font></h1>
63 </div></td>
64 </tr>
65 <tr>
66 <td><div align="left">
67 Kaito Tokumori
68 <script>
69 var date = new Date();
70 var year = date.getFullYear();
71 var month = date.getMonth();
72 var day = date.getDate();
73
74 var monthList = new Array("January","February","March","April","May","June",
75 "July","August","September","October","November","December");
76
77 document.write(monthList[month]+" "+day+", "+year);
78
79 </script>
80 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:300%;height:0.2em;">
81 </div></td>
82 </tr>
83 </table>
84 </div>
85
86 <div class='slide'>
87 <h3>研究目的</h3>
88 <p>当研究室ではプログラムをコードセグメント、データセグメントという単位を用いて書くという手法を提案しており、その手法を用いてプログラミングを行う言語として"CbC"の開発を行っている。</p>
89 <p>CbCにおいてコードセグメントは処理の単位に相当し、データセグメントはその対象となるデータの単位となる。</p>
90 <p>データセグメントは C の構造体のように複数のデータ型の値を持つことができ、後から拡張することが可能である。また、構造を示すシグネチャを持ち、それを参照することで異なるバージョンのプログラム間でも正しく動作することが可能になる。</p>
91 </div>
92
93 <div class='slide'>
94 <h3>今週やったこと</h3>
95 <ul>
96 <li>data segmnet の実装について考える
97 </ul>
98 </div>
99
100 <div class='slide'>
101 <h3>data segmentの宣言, アクセス</h3>
102 <pre class='code'>
103 int main() {
104 __data ds; // declaration
105 goto code1(ds);
106 }
107
108 // deta segment definition should be generated automatically.
109 __code code1(input inds, output outds){
110 :
111 inds.intdata = 1; // access
112 inds.string = "data segment";
113 :
114 }
115 </pre>
116 <ul>
117 <li>宣言したいときは型として __data を使う。
118 <li>data segmentの定義は自動的に生成する。
119 <ul>
120 <li>__data を目印に、そこからアクセスされている値の型を推定する。
121 <li>__data 用に型を用意しておいてLLVM IRにコンパイルするときに型を決めてあげればいける？
122 </ul>
123 <li>accessの仕方は構造体に倣う。
124 </ul>
125 </div>
126
127 <div class='slide'>
128 <h3>data segmentの実装</h3>
129 <ul>
130 <li>message pack
131 <li>localではmessage packの一つ手前の状態にしておきたい。
132 <ul>
133 <li>javaのライブラリがもってるValueクラスのような。
134 <li>c用のmessage packライブラリでは値を渡されたらすぐにバイト列に変換される。
135 </ul>
136 <li>message packのフォーマットでは各要素の先頭に型情報を持っているから位置と名前を持っておけば特定のデータだけデシリアライズできる。型の照合もこれでできるはず。
137 <ul>
138 <li>meta data segmentとして持つことになるはず。
139 <li>型、位置、名前の三つを持たせてこれだけ見て照合できるようにするほうが良い？
140 <li>message packのtype format
141 </ul>
142 </ul>
143 </div>
144
145 </div> <!-- presentation -->
146 </body>
147 </html>