Mercurial > hg > Papers > 2017 > mitsuki-sigos

changeset 12:c5bd23e4dc33

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
rm
author mir3636
date Sat, 22 Apr 2017 18:15:20 +0900
parents 20b0ecfe114e
children 9a02f500561b
files paper/sigos.aux paper/sigos.bbl paper/sigos.dvi paper/sigos.log paper/sigos.pdf paper/sigos.tex
diffstat 6 files changed, 5 insertions(+), 301 deletions(-) [+]
line wrap: on
line diff
--- a/paper/sigos.aux	Sat Apr 22 18:03:05 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-\relax 
-\citation{cbc}
-\citation{gears}
-\citation{llvm}
-\newlabel{fig:cs}{{1}{2}}
-\newlabel{fig:gearsos}{{2}{3}}
-\newlabel{context}{{1}{3}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {1}Context}{3}}
-\newlabel{excbc}{{2}{3}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}stack.cbc}{3}}
-\newlabel{interface}{{3}{4}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {3}Interface}{4}}
-\newlabel{gearef1}{{4}{4}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}disableGearef}{4}}
-\newlabel{gearef2}{{5}{4}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5}enableGearef}{4}}
-\newlabel{stack_c}{{6}{4}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {6}stub}{4}}
-\newlabel{fig:gc}{{3}{5}}
-\newlabel{init_context}{{7}{5}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {7}initContext}{5}}
-\citation{*}
-\bibstyle{ipsjunsrt}
-\bibdata{sigos}
-\bibcite{cbc}{1}
-\bibcite{gears}{2}
-\bibcite{llvm}{3}
-\gdef\ipsj@lastpage{6}
--- a/paper/sigos.bbl	Sat Apr 22 18:03:05 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-\begin{thebibliography}{1}
-
-\bibitem{cbc}
-TOKKMORI, K. and KONO, S.: Implementing Continuation based language in LLVM and
-  Clang, {\em LOLA 2015} (2015).
-
-\bibitem{gears}
-河野真治，伊波立樹，東恩納琢偉\：Code Gear、Data Gear に基づく OS
-  のプロトタイプ，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
-  (2016).
-
-\bibitem{llvm}
-: LLVM documentation.
-
-\end{thebibliography}
Binary file paper/sigos.dvi has changed
--- a/paper/sigos.log	Sat Apr 22 18:03:05 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,253 +0,0 @@
-This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.2.4)  22 APR 2017 17:58
-entering extended mode
- restricted \write18 enabled.
- %&-line parsing enabled.
-**sigos.tex
-(./sigos.tex
-pLaTeX2e <2016/11/29> (based on LaTeX2e <2017/01/01> patch level 1)
-Babel <3.9r> and hyphenation patterns for 83 language(s) loaded.
-(./ipsjpapers.cls
-Document Class: ipsjpapers 2007/06/15 ver 2.12
-(./ipsjpapers.sty
-\old@latex@skip=\skip41
-\@Q=\dimen118
-\jfsize=\count82
-\jspaceskip=\dimen119
-\@mojihaba=\dimen120
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <9> on input line 546.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <6> on input line 546.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <5> on input line 546.
-\@abstractbox=\box41
-\@titlewidth=\dimen121
-\@eabstractbox=\box42
-\mkt@prevdepth=\dimen122
-\mkt@titlebox=\box43
-\mkt@cnta=\count83
-\mkt@cntb=\count84
-\mkt@sname=\count85
-\mkt@gname=\count86
-\mkt@boxa=\box44
-\mkt@namewidth=\dimen123
-\c@affi@footnote=\count87
-\c@affi@pfootnote=\count88
-\c@volpageoffset=\count89
-\c@volume=\count90
-\c@number=\count91
-\c@year=\count92
-\@leftcolumnfootnote=\box45
-\@rightcolumnfootnote=\box46
-\opt@baselineskip=\skip42
-\bio@picbox=\box47
-\bio@colht=\dimen124
-\bio@splitheight=\dimen125
-\bio@maxgap=\dimen126
-\bio@lastgap=\dimen127
-\bio@th=\dimen128
-\bio@lhA=\dimen129
-\bio@hA=\dimen130
-\bio@hB=\dimen131
-\bio@lh=\dimen132
-\bio@rh=\dimen133
-\bio@tempdim=\dimen134
-\bio@pbox=\insert199
- (./ipsjcommon.sty
-\c@section=\count93
-\c@subsection=\count94
-\c@subsubsection=\count95
-\c@paragraph=\count96
-\c@subparagraph=\count97
-\bib@adjustheight=\dimen135
-\c@figure=\count98
-\c@table=\count99
-\cap@linewidth=\dimen136
-\cap@hsize=\dimen137
-\cap@prevgraf=\count100
-\cap@box=\box48
-\PF@fnotectr=\count101
-\PF@page=\count102
-\adj@boxa=\box49
-\adj@boxb=\box50
-\adj@height=\dimen138
-\adj@deadcycle=\count103
-LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <10> not available
-(Font)              Font shape `JT1/gt/m/n' tried instead on input line 880.
-LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <10> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 880.
-)))
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty
-Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty
-Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
-\KV@toks@=\toks15
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty
-Package: graphics 2016/10/09 v1.0u Standard LaTeX Graphics (DPC,SPQR)
-
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty
-Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
-)
-Package graphics Info: Driver file: dvipdfmx.def on input line 99.
-
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics-def/dvipdfmx.def
-File: dvipdfmx.def 2016/07/11 v4.12 LaTeX color/graphics driver for dvipdfmx (L
-3/ChoF)
-))
-\Gin@req@height=\dimen139
-\Gin@req@width=\dimen140
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/url/url.sty
-\Urlmuskip=\muskip10
-Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/listings.sty
-\lst@mode=\count104
-\lst@gtempboxa=\box51
-\lst@token=\toks16
-\lst@length=\count105
-\lst@currlwidth=\dimen141
-\lst@column=\count106
-\lst@pos=\count107
-\lst@lostspace=\dimen142
-\lst@width=\dimen143
-\lst@newlines=\count108
-\lst@lineno=\count109
-\abovecaptionskip=\skip43
-\belowcaptionskip=\skip44
-\lst@maxwidth=\dimen144
-
-(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/lstmisc.sty
-File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
-\c@lstnumber=\count110
-\lst@skipnumbers=\count111
-\lst@framebox=\box52
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/listings.cfg
-File: listings.cfg 2015/06/04 1.6 listings configuration
-))
-Package: listings 2015/06/04 1.6 (Carsten Heinz)
-
-(./jlisting.sty
-Package: jlisting 2006/02/20 0.2 (Thor)
-\lst@nextchar=\count112
-\lst@inputfile=\read1
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/enumitem/enumitem.sty
-Package: enumitem 2011/09/28 v3.5.2 Customized lists
-\labelindent=\skip45
-\enit@outerparindent=\dimen145
-\enit@toks=\toks17
-\enit@inbox=\box53
-\enitdp@description=\count113
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/lstlang1.sty
-File: lstlang1.sty 2015/06/04 1.6 listings language file
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/lstmisc.sty
-File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
-)
-(./dummy.tex) (./sigos.aux)
-\openout1 = `sigos.aux'.
-
-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 35.
-LaTeX Font Info:    ... okay on input line 35.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 35.
-LaTeX Font Info:    ... okay on input line 35.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 35.
-LaTeX Font Info:    ... okay on input line 35.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 35.
-LaTeX Font Info:    ... okay on input line 35.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 35.
-LaTeX Font Info:    ... okay on input line 35.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 35.
-LaTeX Font Info:    ... okay on input line 35.
-LaTeX Font Info:    Checking defaults for JY1/mc/m/n on input line 35.
-LaTeX Font Info:    ... okay on input line 35.
-LaTeX Font Info:    Checking defaults for JT1/mc/m/n on input line 35.
-LaTeX Font Info:    ... okay on input line 35.
-\c@lstlisting=\count114
-LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <14.4> not available
-(Font)              Font shape `JT1/gt/m/n' tried instead on input line 89.
-LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <14.4> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 89.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <10.95> on input line 89.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <8> on input line 89.
-LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <12> not available
-(Font)              Font shape `JT1/gt/m/n' tried instead on input line 89.
-LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <12> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 89.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <7> on input line 89.
- [1
-
-
-]
-File: ./pic/codesegment.pdf Graphic file (type pdf)
- <./pic/codesegment.pdf>
-LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <7> not available
-(Font)              Font shape `JT1/gt/m/n' tried instead on input line 177.
-LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <7> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 177.
- [2]
-File: ./pic/gears_structure.pdf Graphic file (type pdf)
-
-<./pic/gears_structure.pdf>
-LaTeX Font Info:    Font shape `OT1/cmtt/bx/n' in size <7> not available
-(Font)              Font shape `OT1/cmtt/m/n' tried instead on input line 226.
-
-Overfull \hbox (69.5623pt too wide) in paragraph at lines 226--226
-[]\OT1/cmr/m/n/9 Context 
- []
-
-[3]
-Overfull \hbox (73.97826pt too wide) in paragraph at lines 245--245
-[]\OT1/cmr/m/n/9 stack.cbc 
- []
-
-
-Overfull \hbox (72.41156pt too wide) in paragraph at lines 262--262
-[]\OT1/cmr/m/n/9 Interface 
- []
-
-
-Overfull \hbox (91.54547pt too wide) in paragraph at lines 274--274
-[]\OT1/cmr/m/n/9 disableGearef 
- []
-
-
-Overfull \hbox (89.442pt too wide) in paragraph at lines 275--275
-[]\OT1/cmr/m/n/9 enableGearef 
- []
-
-[4]
-Overfull \hbox (54.70755pt too wide) in paragraph at lines 294--294
-[]\OT1/cmr/m/n/9 stub 
- []
-
-File: ./pic/generate_context3.pdf Graphic file (type pdf)
-<./pic/generate_context3.pdf>
-Overfull \hbox (83.43721pt too wide) in paragraph at lines 324--324
-[]\OT1/cmr/m/n/9 initContext 
- []
-
-[5] (./sigos.bbl) [6
-
-] (./sigos.aux) ) 
-Here is how much of TeX's memory you used:
- 3180 strings out of 493683
- 43718 string characters out of 6149654
- 304711 words of memory out of 5000000
- 6735 multiletter control sequences out of 15000+600000
- 17676 words of font info for 69 fonts, out of 8000000 for 9000
- 929 hyphenation exceptions out of 8191
- 30i,10n,49p,202b,1565s stack positions out of 5000i,500n,10000p,200000b,80000s
-
-Output written on sigos.dvi (6 pages, 52560 bytes).
Binary file paper/sigos.pdf has changed
--- a/paper/sigos.tex	Sat Apr 22 18:03:05 2017 +0900
+++ b/paper/sigos.tex	Sat Apr 22 18:15:20 2017 +0900
@@ -68,7 +68,7 @@
 \begin{abstract}
     現代の OS では拡張性と信頼性を両立させることが要求されている。
     信頼性をノーマルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に Gears OS を設計中である。
-    Gears OS は Continuation based C によってアプリケーションとOSそのものを記述する。
+    Gears OS は Continuation based C によってアプリケーションと OS そのものを記述する。
     OS の下ではプログラムの記述は通常の処理の他に、メモリ管理、スレッドの待ち合わせやネットワークの管理、エラーハンドリング等の記述しなければならない処理が存在する。
     これらの計算をメタ計算と呼ぶ。
     メタ計算を通常の計算から切り離して記述するために、Code Gear、Data Gear という単位を提案している。
@@ -140,7 +140,7 @@
 操作に対応する Code Gear に goto する。
 Context とは使用される Code Gear と Data Gear を全て格納している Meta Data Gear である。
 これは従来のスレッド構造体に対応する。
-つまり Gears OS では従来はコンパイラが定義する ABI(Aplication Binary Interface) 
+つまり Gears OS では従来はコンパイラが定義する ABI(Application Binary Interface) 
 を Meta Data Gear として CbC で表現し、メタ計算として操作することができる。
 
 ノーマルレベルでは Context を直接見ることはできず、引数は Code Gear の引数を明示する必要がある。
@@ -221,7 +221,7 @@
 \end{figure}
 
 Gears OS には Context と呼ばれる接続可能な Code Gear、Data Gear のリスト、Temporal Data Gear のためのメモリ空間等を持っている Meta Data Gear を持つ。
-Gears OSは必要なCode Gear、Data Gearに参照したい場合、このContext を通す必要がある。
+Gears OS は必要な Code Gear、Data Gear に参照したい場合、この Context を通す必要がある。
 
 \lstinputlisting[label=context, caption=Context]{./src/context1.c}
 
@@ -255,7 +255,7 @@
 呼び出される Code Gear の引数となる Data Gear はここで全て定義される。
 
 Code Gear、Data Gear に参照するために Context を通す必要があるが、
-interface を記述することでデータ構造のapiと Data Gear を結びつけることが出来、呼び出しが容易になった。
+interface を記述することでデータ構造の api と Data Gear を結びつけることが出来、呼び出しが容易になった。
 %create は関数呼び出しで呼び出され、interface と impliment の初期化と Code Gear のポインタの設定を行う。
 %return で interface を返し、その先で Code Gear や Data Gear へ継続できるようになる。
 
@@ -267,7 +267,7 @@
 Code Gear が Context にアクセスする際、ポインタを使用してデータを取り出すため、Code\ref{gearef1} のようにコードが煩雑になってしまう。
 そこで Code Gear がデータを参照するための Gearef というマクロを定義した。
 Gearef に Context と型を渡すことでデータの参照が行える。
-また impliment のデータを参照する際も、ポインタでの記述が複雑になってしまうため 同様に GearImpl を定義した。
+また implement のデータを参照する際も、ポインタでの記述が複雑になってしまうため 同様に GearImpl を定義した。
 GearImpl は Context と interface 名、interface の変数名を指定して参照する。
 Gearef と GearImpl を用いたコードが Code\ref{gearef2}である。