Members/kaito/slides: 2013/old/2013_12

author	Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date	Tue, 14 Jan 2014 01:31:42 +0900
parents
children

rev	line source
0 845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	1 <!DOCTYPE html>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	2 <html>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	3 <head>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	4 <meta charset='utf-8'>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	5
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	6 <script src='./trunk/slides.js'></script>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	7 <script src='./mytrunk/customSlides.js'></script>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	8 </head>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	9
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	10 <body style='display: none'>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	11 <section class='slides layout-regular template-default'>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	12
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	13 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	14 <h1>CbCコンパイラのLLVM3.4 → 3.5上での実装</h1>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	15 <p><br>Kaito Tokumori<br>December 17, 2013</p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	16 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	17 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	18 <h3>研究目的</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	19 <p>　当研究室ではプログラムをコードセグメント、データセグメントという単位を用いて書くという手法を提案している。その手法を用いてプログラミングを行う言語として"CbC"の開発を行っており、これはCの下位の言語である。CbCにおいてコードセグメント間の移動はgoto文を用いた軽量継続によって行われ、これはTail Call Eliminationという最適化の強制によって実現される。</p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	20 <p>本研究過去に開発されたmicro-c,GCC版のコンパイラに続くLLVM/Clang上でのCbCコンパイラの開発を行う。</p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	21 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	22
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	23 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	24 <h3>今回したこと</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	25 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	26 <li>環境付き継続に使用する__CbC_env構造体の自動生成。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	27 <li>__returnの実装。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	28 <li>LLVM/clang 3.4 から 3.5へアップデート<a href="javascript:jumpSlides(10)">.</a></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	29 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	30 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	31
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	32 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	33 <h3>__CbC_envの自動生成</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	34 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	35 <li>"__code"を見つけた時に自動的に生成するようにした。<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	36 <li>"__code"が宣言された時の処理を一旦置いといて先に構造体を作りに行く感じ。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	37 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	38 <li>生成前に現在のスコープを確認して、global でない場合には生成しないように。<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	39 <li>へんなとこに作らないように。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	40 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	41 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	42 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	43
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	44 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	45 <h3>__returnの実装 (1)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	46 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	47 <li>__returnを確認したらcode segmentへのポインタ型を宣言。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	48 <li>'__CbC_return'という変数名に。(__returnは使用できない)</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	49 <li>__returnをキーワードとして登録せずにidentifierを読む度にチェックして__returnのときにはどうこうするーの方が良い？</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	50 <li>名前テーブルからkw___returnを削除してidentifierとして再登録もいいかもしれない。そうしたら後は放っといてもidentifierとして処理される。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	51 <li>これらについては__environmentにも同じことが言える。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	52 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	53 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	54
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	55 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	56 <h3>__returnの実装 (2)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	57 <object data="with_env_ex1.svg" type="image/svg+xml"></object>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	58 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	59
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	60 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	61 <h3>__returnの実装 (3)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	62 <object data="with_env_ex2.svg" type="image/svg+xml"></object>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	63 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	64
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	65 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	66 <h3>__returnの実装 (4)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	67 <object data="with_env_ex3.svg" type="image/svg+xml"></object>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	68 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	69
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	70 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	71 <h3>__returnの実装 (5)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	72 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	73 <li>キーワードとして登録せずにidentifierが__returnである度にチェックするなら、Scopeの判別にgetCurScope()が使える。関数内部の時だけ生成であとは普通のidentifierにすればいいはず。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	74 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	75 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	76
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	77 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	78 <h3>次回課題</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	79 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	80 <li>環境付き継続実装継続<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	81 <li>__return宣言時の処理</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	82 <li>__environment宣言時の処理</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	83 <li>元の環境に戻る関数(return1)の生成</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	84 <li>環境付き継続元の関数内でのsetjmpを使った構文の生成</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	85 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	86 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	87 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	88
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	89 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	90 <h3>LLVMのお話</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	91 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	92 <li>LLVMというのはプロジェクトの名前で、コンパイラやツールチェーン技術を開発するプロジェクト。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	93 <li>単にLLVMというとLLVM Coreの事を指し、これはコンパイラの基板となるライブラリの集合。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	94 <li>仮想機械を持ち、それをターゲットとした言語(LLVM IR)で書かれたプログラムの実行、最適化が可能。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	95 <li>LLVM IRから特定のターゲットの機械語に変換することもできる。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	96 <li>特定の言語をLLVMが受け付ける形に変換することができればLLVMの最適化機能や機械語への変換機能を利用できる。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	97 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	98 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	99
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	100 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	101 <h3>clangのお話</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	102 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	103 <li>C/C++/Obj-C コンパイラで、LLVMを使用する。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	104 <li>clang側でC/C++/Obj-CをLLVM IRにして、そこから先はLLVMを利用してターゲットの機械語に変換する。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	105 <li>最適化とかもLLVMを用いる。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	106 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	107 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	108
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	109 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	110 <h3>たとえば clang auaua.cとかauaua.cppとかやった場合</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	111 <br><br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	112 <p align="center"><image src="LLVM_clang.png"></image></p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	113 <p>clangがC/C++/Obj-CをLLVM IRにして、それからLLVM Core libraryを利用してmachine codeにする。</p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	114 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	115
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	116 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	117 <h3>CbCのお話(1)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	118 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	119 <li>Continuaiton based Cの略で当研究室で開発中の言語。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	120 <li>プログラムをcode segmentとdata segmentの二種に分けるという考え方を用いる。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	121 <li>Cの関数呼び出しの代わりにgotoによる継続を使って処理を制御する。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	122 <li>CbCのコンパイラとしては現在Micro-C,GCC上のものがある。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	123 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	124 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	125
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	126 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	127 <h3>CbCのお話(2)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	128 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	129 <li>CbCではcode segmentを__codeというキーワードを使って宣言する。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	130 <li>継続は"goto code_segment_name();"というように関数呼び出しのように行う。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	131 <li>継続時に環境を破棄するので、継続先から戻ってくることはない。戻り値も返さない。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	132 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	133 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	134
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	135 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	136 <h3>環境付き継続について(1)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	137 <p align="center"><image src="continuation_with_environment.png" ></image></p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	138 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	139 <li>通常、CbCでは継続時に継続前の環境を保持しない。つまり継続前の環境に戻ることができない。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	140 <li>戻れないということはCの関数の途中でcode segmentにgotoしてその後に何らかの処理をするというようなことができない。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	141 <li>Cとの互換性を持つために環境を保持した継続が必要。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	142 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	143 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	144
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	145 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	146 <h3>環境付き継続について(2)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	147 <p align="center"><image src="continuation_with_environment2.jpg" ></image></p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	148 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	149 <li>環境付き継続があればこのように正しく戻れる。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	150 <li>環境付き継続は"__return","__environment"という変数を用いて行う。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	151 <li>"__return"は元の環境に戻るためのcode segmentへのポインタ,"__environment"は環境を保持する役割を持つ。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	152 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	153 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	154
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	155 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	156 <p><a href="javascript:jumpSlides(4)">goto mainPresentation();</a></p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	157 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	158
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	159 </section>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	160 </body>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	161 </html>

0

845ff8ff4fc9 1st