# HG changeset patch
# User Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
# Date 1445806687 -32400
# Node ID 0c15ef224a108e127865b76760f23a5fa5ee62eb
# Parent  5d089fb6c1a4eebbd41d62b8280ac1228da4a061
Fix

diff -r 5d089fb6c1a4 -r 0c15ef224a10 Makefile
--- a/Makefile	Mon Oct 26 05:00:31 2015 +0900
+++ b/Makefile	Mon Oct 26 05:58:07 2015 +0900
@@ -4,7 +4,7 @@
 
 LATEX=platex
 BIBTEX=pbibtex
-DVIPDF=dvipdfmx
+DVIPDF=dvipdfmx -p a4
 #You need setting "-l" option if You think You get a landscape PDF
 #DVIPDF_OPT=-l
 
diff -r 5d089fb6c1a4 -r 0c15ef224a10 dummy.tex
--- a/dummy.tex	Mon Oct 26 05:00:31 2015 +0900
+++ b/dummy.tex	Mon Oct 26 05:58:07 2015 +0900
@@ -1,10 +1,60 @@
-%%% dummy.tex
+%%% jdummy.def
 %
-\DeclareFontShape{JY1}{gt}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*min
+\DeclareRelationFont{JY1}{mc}{it}{}{OT1}{cmr}{it}{}
+\DeclareRelationFont{JT1}{mc}{it}{}{OT1}{cmr}{it}{}
+\DeclareFontShape{JY1}{mc}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*min
+    <10.95><12><14.4><17.28><20.74><24.88> min10
+    <-> min10}{}
+\DeclareFontShape{JT1}{mc}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*tmin
+    <10.95><12><14.4><17.28><20.74><24.88> tmin10
+    <-> tmin10}{}
+\DeclareRelationFont{JY1}{mc}{sl}{}{OT1}{cmr}{sl}{}
+\DeclareRelationFont{JT1}{mc}{sl}{}{OT1}{cmr}{sl}{}
+\DeclareFontShape{JY1}{mc}{m}{sl}{<5> <6> <7> <8> <9> <10> sgen*min
+    <10.95><12><14.4><17.28><20.74><24.88> min10
+    <-> min10}{}
+\DeclareFontShape{JT1}{mc}{m}{sl}{<5> <6> <7> <8> <9> <10> sgen*tmin
+    <10.95><12><14.4><17.28><20.74><24.88> tmin10
+    <-> tmin10}{}
+\DeclareRelationFont{JY1}{mc}{sc}{}{OT1}{cmr}{sc}{}
+\DeclareRelationFont{JT1}{mc}{sc}{}{OT1}{cmr}{sc}{}
+\DeclareFontShape{JY1}{mc}{m}{sc}{<5> <6> <7> <8> <9> <10> sgen*min
     <10.95><12><14.4><17.28><20.74><24.88> min10
     <-> min10}{}
-\DeclareFontShape{JT1}{gt}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*tmin
+\DeclareFontShape{JT1}{mc}{m}{sc}{<5> <6> <7> <8> <9> <10> sgen*tmin
     <10.95><12><14.4><17.28><20.74><24.88> tmin10
     <-> tmin10}{}
+\DeclareRelationFont{JY1}{gt}{it}{}{OT1}{cmbx}{it}{}
+\DeclareRelationFont{JT1}{gt}{it}{}{OT1}{cmbx}{it}{}
+\DeclareFontShape{JY1}{mc}{bx}{it}{<5> <6> <7> <8> <9> <10> sgen*goth
+    <10.95><12><14.4><17.28><20.74><24.88> goth10
+    <-> goth10}{}
+\DeclareFontShape{JT1}{mc}{bx}{it}{<5> <6> <7> <8> <9> <10> sgen*tgoth
+    <10.95><12><14.4><17.28><20.74><24.88> tgoth10
+    <-> tgoth10}{}
+\DeclareRelationFont{JY1}{gt}{sl}{}{OT1}{cmbx}{sl}{}
+\DeclareRelationFont{JT1}{gt}{sl}{}{OT1}{cmbx}{sl}{}
+\DeclareFontShape{JY1}{mc}{bx}{sl}{<5> <6> <7> <8> <9> <10> sgen*goth
+    <10.95><12><14.4><17.28><20.74><24.88> goth10
+    <-> goth10}{}
+\DeclareFontShape{JT1}{mc}{bx}{sl}{<5> <6> <7> <8> <9> <10> sgen*tgoth
+    <10.95><12><14.4><17.28><20.74><24.88> tgoth10
+    <-> tgoth10}{}
+\DeclareRelationFont{JY1}{gt}{sc}{}{OT1}{cmbx}{sc}{}
+\DeclareRelationFont{JT1}{gt}{sc}{}{OT1}{cmbx}{sc}{}
+\DeclareFontShape{JY1}{mc}{bx}{sc}{<5> <6> <7> <8> <9> <10> sgen*goth
+    <10.95><12><14.4><17.28><20.74><24.88> goth10
+    <-> goth10}{}
+\DeclareFontShape{JT1}{mc}{bx}{sc}{<5> <6> <7> <8> <9> <10> sgen*tgoth
+    <10.95><12><14.4><17.28><20.74><24.88> tgoth10
+    <-> tgoth10}{}
+\DeclareRelationFont{JY1}{gt}{it}{}{OT1}{cmr}{it}{}
+\DeclareRelationFont{JT1}{gt}{it}{}{OT1}{cmr}{it}{}
+\DeclareFontShape{JY1}{gt}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*goth
+    <10.95><12><14.4><17.28><20.74><24.88> goth10
+    <-> goth10}{}
+\DeclareFontShape{JT1}{gt}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*tgoth
+    <10.95><12><14.4><17.28><20.74><24.88> tgoth10
+    <-> tgoth10}{}
 \endinput
-%%%% end of dummy.tex
+%%%% end of jdummy.def
diff -r 5d089fb6c1a4 -r 0c15ef224a10 midterm.tex
--- a/midterm.tex	Mon Oct 26 05:00:31 2015 +0900
+++ b/midterm.tex	Mon Oct 26 05:58:07 2015 +0900
@@ -17,8 +17,9 @@
 \setlength{\footskip}{0mm}
 \pagestyle{empty}
 
+\input{dummy.tex}
 \begin{document}
-\title{Monad に基づくメタ計算を基本とする Gears OS の設計}
+\title{Code Gear, Data Gearに基づくGears OS の設計}
 \author{125716B 氏名 {伊波}{立樹} 指導教員 : 河野 真治}
 \date{}
 \maketitle
@@ -81,7 +82,6 @@
 その代わりに、次に実行する Code Gear を指定する機能(軽量継続)を持つ。
 
 Data Gear には、int や文字列などの Primitive Data Type が入る。
-自分が持っていない Code Gear, Data Gear は名前で指し示す。
 
 Gear の特徴の一つはその処理が Code Gear, Data Gear に閉じていることに
 ある。
@@ -97,11 +97,9 @@
 なので、Meta Gear は Code Gear, Data Gear へのポインタを持っている。
 
 \section{Context}
-ある Code Gear から継続するときには、次に実行する Code Gear を名前で指
-定する。
+ある Code Gear から継続するときには、次に実行する Code Gear を名前で指定する。
 Meta Code Gear が名前を解釈して、処理を対応する Code Gear に引き渡す。
-これらは、従来の OS の Dynamic Loading Library や Command 呼び出しに対
-応する。
+これらは、従来の OS の Dynamic Loading Library や Command 呼び出しに対応する。
 名前と Code Gear へのポインタの対応は Meta Data Gear に格納される。
 この Meta Data Gear を Context と呼ぶことにする。
 これは従来の OS の Process や Thread に対応する。
@@ -133,12 +131,6 @@
 M:get/put が CAS を行う Meta Code Gear となる。
 今回は CAS で実装しているが、接続する Meta Code Gear を変更することで通常のQueueやLockを使用したsynchronizedQueueなど仕様変更にも対応できる。
 
-\section{今後の課題}
-Gears OS の今後の目的はCeriumと同等の例題を動かすことである。
-現在、必要な機能として Context、 Allocator、 List、 Non-Destructive Red-Black Tree、 Synchronized Queue を CbC を用いて実装しており、足りない機能としてはWorkerがある。
-Workerの実装後、動かす例題としては Bitonic Sort、 Word Count を予定している。
-例題の実装後、測定・評価を行う。
-
 \begin{figure}[ht]
     \centering
     \includegraphics[width=70mm]{pic/synchronizedQueue.pdf}
@@ -146,6 +138,13 @@
     \label{fig:sync}
 \end{figure}
 
+
+\section{今後の課題}
+Gears OS の今後の目的はCeriumと同等の例題を動かすことである。
+現在、必要な機能として Context、 Allocator、 List、 Non-Destructive Red-Black Tree、 Synchronized Queue を CbC を用いて実装しており、足りない機能としてはWorkerがある。
+Workerの実装後、動かす例題としては Bitonic Sort、 Word Count を予定している。
+例題の実装後、測定・評価を行う。
+
 \begin{thebibliography}{10}
     \bibitem{cerium}
         宮國　渡，河野真治，神里　晃，杉山千秋：Cell 用の Fine-grain Task Manager