Mercurial > hg > Papers > 2021 > okud-thesis

Binary file Gears OS  device driver.xmind has changed
Binary file USBDriver.graffle has changed
Binary file USBDriver.pdf has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/abstract.tex	Sun Sep 13 22:34:57 2020 +0900
@@ -0,0 +1,5 @@
+\begin{abstract}
+
+An OS must be reliable and extensible. We are designing Gears OS with the goal of guaranteeing reliability for normal level calculations and scalability for meta-level calculations.Currently, It need to connect a Mac to run Geas OS on a Raspberry Pi via serial communication to get input.Being able to use a keyboard and mouse on the Gears OS on the Raspberry Pi will improve convenience. It would also eliminate the need to connect to hardware other than the Raspberry Pi through a PC.The purpose of this study is to develop a Gears OS Device Driver in CbC on a Rasberry Pi.
+
+\end{abstract}
\ No newline at end of file
Binary file device.graffle has changed
Binary file driver.graffle has changed
Binary file driver.pdf has changed
Binary file driver1.pdf has changed
Binary file drover.graffle has changed
Binary file fig1.pdf has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mid_thesis.aux	Sun Sep 13 22:34:57 2020 +0900
@@ -0,0 +1,21 @@
+\relax
+\@writefile{toc}{\contentsline {section}{\numberline {1}研究目的}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {2}Device Driver}{1}}
+\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Device Driverの役割}}{1}}
+\newlabel{fig1}{{1}{1}}
+\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces USB Driverの構成}}{1}}
+\newlabel{fig2}{{2}{1}}
+\bibcite{1}{1}
+\bibcite{2}{2}
+\bibcite{3}{3}
+\bibcite{4}{4}
+\bibcite{5}{5}
+\bibcite{6}{6}
+\bibcite{7}{7}
+\bibcite{8}{8}
+\bibcite{9}{9}
+\@writefile{toc}{\contentsline {section}{\numberline {3}Countinuation based C(CbC)}{2}}
+\@writefile{toc}{\contentsline {section}{\numberline {4}Geas OS}{2}}
+\@writefile{toc}{\contentsline {section}{\numberline {5}今後の予定}{2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}現状}{2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}研究計画}{2}}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mid_thesis.fdb_latexmk	Sun Sep 13 22:34:57 2020 +0900
@@ -0,0 +1,23 @@
+# Fdb version 3
+["pdflatex"] 1599836982 "/Users/e175701/paper/okud-thesis/mid_thesis.tex" "/Users/e175701/paper/okud-thesis/mid_thesis.pdf" "mid_thesis" 1599836982
+  "/Users/e175701/paper/okud-thesis/mid_thesis.aux" 1599836982 8 a94a2480d3289e625eea47cd1b285758 ""
+  "/Users/e175701/paper/okud-thesis/mid_thesis.tex" 1599809507 3128 94448645d0e87f94e68a6faa781ca9aa ""
+  "/usr/local/texlive/2018/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty" 1498861448 10663 d7fcc0dc4f35e8998b8cfeef8407d37d ""
+  "/usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1480098830 1224 978390e9c2234eab29404bc21b268d1e ""
+  "/usr/local/texlive/2018/texmf-dist/tex/latex/graphics-def/dvips.def" 1498170935 5895 4b59bd0c17e1116fd6b6e7c683dea655 ""
+  "/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty" 1523134385 15272 5a97061616e0c8b2aa79c6615ff769f4 ""
+  "/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty" 1523134385 9063 d0a305975932762117cd1f06a582f896 ""
+  "/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty" 1523134385 2591 6404d0c7d28505fb38ce0d86c2e28ae7 ""
+  "/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty" 1523134385 3977 cb9221976ed8a183afad65b59aa8629a ""
+  "/usr/local/texlive/2018/texmf-dist/tex/platex/base/jarticle.cls" 1520635570 25403 82324123cbf325ddd2bdd346e9cb5916 ""
+  "/usr/local/texlive/2018/texmf-dist/web2c/texmf.cnf" 1522066949 33362 cf75436e19743e94a92a6b1b9183c434 ""
+  "/usr/local/texlive/2018/texmf-var/web2c/pdftex/pdflatex.fmt" 1538649976 4220280 ab8a8e4d11217f00efa12391b0eec30e ""
+  "/usr/local/texlive/2018/texmf.cnf" 1523934483 577 0b39adfd7c93507ff20c9c14c2f1a33f ""
+  "mid_thesis.aux" 0 -1 0 ""
+  "mid_thesis.tex" 1599809507 3128 94448645d0e87f94e68a6faa781ca9aa ""
+  "picins.sty" 1599806808 17807 916739e9c8f52c6a085688f05d1594e2 ""
+  (generated)
+  "/Users/e175701/paper/okud-thesis/mid_thesis.log"
+  "mid_thesis.log"
+  "mid_thesis.aux"
+  "/Users/e175701/paper/okud-thesis/mid_thesis.pdf"
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mid_thesis.fls	Sun Sep 13 22:34:57 2020 +0900
@@ -0,0 +1,27 @@
+PWD /Users/e175701/paper/okud-thesis
+INPUT /usr/local/texlive/2018/texmf.cnf
+INPUT /usr/local/texlive/2018/texmf-dist/web2c/texmf.cnf
+INPUT /usr/local/texlive/2018/texmf-var/web2c/pdftex/pdflatex.fmt
+INPUT /Users/e175701/paper/okud-thesis/mid_thesis.tex
+OUTPUT /Users/e175701/paper/okud-thesis/mid_thesis.log
+INPUT /usr/local/texlive/2018/texmf-dist/tex/platex/base/jarticle.cls
+INPUT /usr/local/texlive/2018/texmf-dist/tex/platex/base/jarticle.cls
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-def/dvips.def
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-def/dvips.def
+INPUT /Users/e175701/paper/okud-thesis/picins.sty
+INPUT /Users/e175701/paper/okud-thesis/picins.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
+INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
+INPUT /Users/e175701/paper/okud-thesis/mid_thesis.aux
+INPUT /Users/e175701/paper/okud-thesis/mid_thesis.aux
+OUTPUT /Users/e175701/paper/okud-thesis/mid_thesis.aux
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mid_thesis.log	Sun Sep 13 22:34:57 2020 +0900
@@ -0,0 +1,316 @@
+This is e-pTeX, Version 3.14159265-p3.8.0-180226-2.6 (utf8.euc) (TeX Live 2018) (preloaded format=platex 2018.10.4)  13 SEP 2020 22:30
+entering extended mode
+ restricted \write18 enabled.
+ %&-line parsing enabled.
+**mid_thesis.tex
+(./mid_thesis.tex
+pLaTeX2e <2018-04-01>+1 (based on LaTeX2e <2018-04-01> patch level 2)
+Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
+(/usr/local/texlive/2018/texmf-dist/tex/platex/base/jarticle.cls
+Document Class: jarticle 2018/02/04 v1.7h Standard pLaTeX class
+\c@@paper=\count83
+(/usr/local/texlive/2018/texmf-dist/tex/platex/base/jsize10.clo
+File: jsize10.clo 2018/02/04 v1.7h Standard pLaTeX file (size option)
+)
+\c@part=\count84
+\c@section=\count85
+\c@subsection=\count86
+\c@subsubsection=\count87
+\c@paragraph=\count88
+\c@subparagraph=\count89
+\c@figure=\count90
+\c@table=\count91
+\abovecaptionskip=\skip41
+\belowcaptionskip=\skip42
+\symmincho=\mathgroup4
+LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
+(Font)                  JY1/mc/m/n --> JY1/gt/m/n on input line 614.
+\toclineskip=\dimen118
+\@lnumwidth=\dimen119
+\bibindent=\dimen120
+\heisei=\count92
+)
+(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty
+Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
+
+(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty
+Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
+\KV@toks@=\toks15
+)
+(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty
+Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR)
+
+(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty
+Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
+)
+(/usr/local/texlive/2018/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/2018/texmf-dist/tex/latex/graphics-def/dvipdfmx.def
+File: dvipdfmx.def 2017/06/24 v5.0g Graphics/color driver for dvipdfmx
+))
+\Gin@req@height=\dimen121
+\Gin@req@width=\dimen122
+)
+(/usr/local/texlive/2018/texmf-dist/tex/latex/tools/multicol.sty
+Package: multicol 2018/04/01 v1.8r multicolumn formatting (FMi)
+\c@tracingmulticols=\count93
+\mult@box=\box42
+\multicol@leftmargin=\dimen123
+\c@unbalance=\count94
+\c@collectmore=\count95
+\doublecol@number=\count96
+\multicoltolerance=\count97
+\multicolpretolerance=\count98
+\full@width=\dimen124
+\page@free=\dimen125
+\premulticols=\dimen126
+\postmulticols=\dimen127
+\multicolsep=\skip43
+\multicolbaselineskip=\skip44
+\partial@page=\box43
+\last@line=\box44
+\maxbalancingoverflow=\dimen128
+\mult@rightbox=\box45
+\mult@grightbox=\box46
+\mult@gfirstbox=\box47
+\mult@firstbox=\box48
+\@tempa=\box49
+\@tempa=\box50
+\@tempa=\box51
+\@tempa=\box52
+\@tempa=\box53
+\@tempa=\box54
+\@tempa=\box55
+\@tempa=\box56
+\@tempa=\box57
+\@tempa=\box58
+\@tempa=\box59
+\@tempa=\box60
+\@tempa=\box61
+\@tempa=\box62
+\@tempa=\box63
+\@tempa=\box64
+\@tempa=\box65
+\c@columnbadness=\count99
+\c@finalcolumnbadness=\count100
+\last@try=\dimen129
+\multicolovershoot=\dimen130
+\multicolundershoot=\dimen131
+\mult@nat@firstbox=\box66
+\colbreak@box=\box67
+\mc@col@check@num=\count101
+) (./picins.sty Option `picins' Version 3.0 Sep. 1992, TH Darmstadt/HRZ
+\@BILD=\box68
+\@TEXT=\box69
+\d@breite=\dimen132
+\d@hoehe=\dimen133
+\d@xoff=\dimen134
+\d@yoff=\dimen135
+\d@shad=\dimen136
+\d@dash=\dimen137
+\d@boxl=\dimen138
+\d@pichskip=\dimen139
+\d@tmp=\dimen140
+\d@tmpa=\dimen141
+\d@bskip=\dimen142
+\hsiz@=\dimen143
+\p@getot@l=\dimen144
+\c@breite=\count102
+\c@hoehe=\count103
+\c@xoff=\count104
+\c@yoff=\count105
+\c@pos=\count106
+\c@shad=\count107
+\c@dash=\count108
+\c@boxl=\count109
+\c@zeilen=\count110
+\@changemode=\count111
+\c@piccaption=\count112
+\c@piccaptionpos=\count113
+\c@picpos=\count114
+\c@whole=\count115
+\c@half=\count116
+\c@tmp=\count117
+\c@tmpa=\count118
+\c@tmpb=\count119
+\c@tmpc=\count120
+\c@tmpd=\count121
+\d@leftskip=\skip45
+\ptoti=\dimen145
+\ptotii=\dimen146
+\env@box=\box70
+\d@envdp=\dimen147
+\c@hsize=\count122
+\c@envdp=\count123
+\d@envb=\dimen148
+)
+(/usr/local/texlive/2018/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
+Package: fancyhdr 2017/06/30 v3.9a Extensive control of page headers and footer
+s
+\f@nch@headwidth=\skip46
+\f@nch@O@elh=\skip47
+\f@nch@O@erh=\skip48
+\f@nch@O@olh=\skip49
+\f@nch@O@orh=\skip50
+\f@nch@O@elf=\skip51
+\f@nch@O@erf=\skip52
+\f@nch@O@olf=\skip53
+\f@nch@O@orf=\skip54
+)
+(/usr/local/texlive/2018/texmf-dist/tex/latex/here/here.sty)
+(/usr/local/texlive/2018/texmf-dist/tex/latex/float/float.sty
+Package: float 2001/11/08 v1.3d Float enhancements (AL)
+\c@float@type=\count124
+\float@exts=\toks16
+\float@box=\box71
+\@float@everytoks=\toks17
+\@floatcapt=\box72
+)
+(/usr/local/texlive/2018/texmf-dist/tex/latex/geometry/geometry.sty
+Package: geometry 2018/03/24 v5.7 Page Geometry
+
+(/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/ifpdf.sty
+Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch
+)
+(/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/ifvtex.sty
+Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO)
+Package ifvtex Info: VTeX not detected.
+)
+(/usr/local/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty
+Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
+)
+\Gm@cnth=\count125
+\Gm@cntv=\count126
+\c@Gm@tempcnt=\count127
+\Gm@bindingoffset=\dimen149
+\Gm@wd@mp=\dimen150
+\Gm@odd@mp=\dimen151
+\Gm@even@mp=\dimen152
+\Gm@layoutwidth=\dimen153
+\Gm@layoutheight=\dimen154
+\Gm@layouthoffset=\dimen155
+\Gm@layoutvoffset=\dimen156
+\Gm@dimlist=\toks18
+)
+
+LaTeX Warning: Unused global option(s):
+    [9.5pt].
+
+(./mid_thesis.aux)
+\openout1 = `mid_thesis.aux'.
+
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 12.
+LaTeX Font Info:    ... okay on input line 12.
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 12.
+LaTeX Font Info:    ... okay on input line 12.
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 12.
+LaTeX Font Info:    ... okay on input line 12.
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 12.
+LaTeX Font Info:    ... okay on input line 12.
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 12.
+LaTeX Font Info:    ... okay on input line 12.
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 12.
+LaTeX Font Info:    ... okay on input line 12.
+LaTeX Font Info:    Checking defaults for JY1/mc/m/n on input line 12.
+LaTeX Font Info:    ... okay on input line 12.
+LaTeX Font Info:    Checking defaults for JT1/mc/m/n on input line 12.
+LaTeX Font Info:    ... okay on input line 12.
+
+*geometry* driver: auto-detecting
+*geometry* detected driver: dvips
+*geometry* verbose mode - [ preamble ] result:
+* driver: dvips
+* paper: <default>
+* layout: <same size as paper>
+* layoutoffset:(h,v)=(0.0pt,0.0pt)
+* modes:
+* h-part:(L,W,R)=(28.45274pt, 540.60239pt, 28.45274pt)
+* v-part:(T,H,B)=(56.9055pt, 731.23584pt, 56.9055pt)
+* \paperwidth=597.50787pt
+* \paperheight=845.04684pt
+* \textwidth=540.60239pt
+* \textheight=731.23584pt
+* \oddsidemargin=-43.81725pt
+* \evensidemargin=-43.81725pt
+* \topmargin=-52.36449pt
+* \headheight=12.0pt
+* \headsep=25.0pt
+* \topskip=7.77588pt
+* \footskip=30.0pt
+* \marginparwidth=106.0pt
+* \marginparsep=10.0pt
+* \columnsep=10.0pt
+* \skip\footins=9.0pt plus 4.0pt minus 2.0pt
+* \hoffset=0.0pt
+* \voffset=0.0pt
+* \mag=1000
+* \@twocolumnfalse
+* \@twosidefalse
+* \@mparswitchfalse
+* \@reversemarginfalse
+* (1in=72.27pt=25.4mm, 1cm=28.453pt)
+
+LaTeX Font Info:    External font `cmex10' loaded for size
+(Font)              <12> on input line 16.
+LaTeX Font Info:    External font `cmex10' loaded for size
+(Font)              <8> on input line 16.
+LaTeX Font Info:    External font `cmex10' loaded for size
+(Font)              <6> on input line 16.
+LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <9> not available
+(Font)              Font shape `JT1/gt/m/n' tried instead on input line 17.
+LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <9> not available
+(Font)              Font shape `JY1/gt/m/n' tried instead on input line 17.
+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 23.
+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 23.
+File: fig1.pdf Graphic file (type pdf)
+<fig1.pdf>
+File: USBDriver.pdf Graphic file (type pdf)
+<USBDriver.pdf>
+File: pic/emblem-bitmap.pdf Graphic file (type pdf)
+<pic/emblem-bitmap.pdf>
+
+LaTeX Font Warning: Font shape `JT1/mc/m/sl' undefined
+(Font)              using `JT1/mc/m/n' instead on input line 41.
+
+
+LaTeX Font Warning: Font shape `JY1/mc/m/sl' undefined
+(Font)              using `JY1/mc/m/n' instead on input line 41.
+
+
+Package Fancyhdr Warning: \headheight is too small (12.0pt):
+ Make it at least 20.37784pt.
+ We now make it that large for the rest of the document.
+ This may cause the page layout to be inconsistent, however.
+
+[1
+
+]
+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 46.
+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 46.
+
+Underfull \hbox (badness 10000) in paragraph at lines 63--64
+[]\JY1/mc/m/n/10 デバイスドライバ開発入門\OT1/cmr/m/n/10 .https://prev.net-
+ []
+
+[2] (./mid_thesis.aux)
+
+LaTeX Font Warning: Some font shapes were not available, defaults substituted.
+
+ )
+Here is how much of TeX's memory you used:
+ 1629 strings out of 493281
+ 21212 string characters out of 6145041
+ 104347 words of memory out of 5000000
+ 5565 multiletter control sequences out of 15000+600000
+ 15281 words of font info for 59 fonts, out of 8000000 for 9000
+ 929 hyphenation exceptions out of 8191
+ 25i,15n,43p,916b,494s stack positions out of 5000i,500n,10000p,200000b,80000s
+
+Output written on mid_thesis.dvi (2 pages, 11012 bytes).
Binary file mid_thesis.pdf has changed
--- a/mid_thesis.tex	Fri Sep 11 16:07:19 2020 +0900
+++ b/mid_thesis.tex	Sun Sep 13 22:34:57 2020 +0900
@@ -1,43 +1,69 @@
-\documentclass[twocolumn,twoside,9.5pt]{jarticle}
-\usepackage[dvips]{graphicx}
+\documentclass[9.5pt]{jarticle}
+\usepackage[dvips,dvipdfmx]{graphicx}
+\usepackage{multicol}
 \usepackage{picins}
 \usepackage{fancyhdr}
-%\pagestyle{fancy}
+\usepackage{here}
 \lhead{\parpic{\includegraphics[height=1zw,keepaspectratio,bb=0 0 251 246]{pic/emblem-bitmap.pdf}}琉球大学主催 工学部工学科知能情報コース 中間発表予稿}
-\rhead{}
-\cfoot{}
+\usepackage[top=2cm, bottom=2cm, left=1cm, right=1cm]{geometry}

-\setlength{\topmargin}{-1in \addtolength{\topmargin}{15mm}}
-\setlength{\headheight}{0mm}
-\setlength{\headsep}{5mm}
-\setlength{\oddsidemargin}{-1in \addtolength{\oddsidemargin}{11mm}}
-\setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}}
-\setlength{\textwidth}{181mm}
-\setlength{\textheight}{261mm}
-\setlength{\footskip}{0mm}
-\pagestyle{empty}
+

 \begin{document}
-\title{Raspberry Pi上のGeas OSでのCbCによるUSB Driverの信頼性の検証\\Verifying the reliability of the USB driver with CbC on Geas OS on Raspberry Pi}
+\title{Gears OSのデバイスドライバの開発\\Gears OS device driver development}
 \author{学籍番号:175701G 氏名: 奥田光希 {}{} 指導教員 : 河野真治}
 \date{}
 \maketitle
+\begin{abstract}
+An OS must be reliable and extensible. We are designing Gears OS with the goal of guaranteeing reliability for normal level calculations and scalability for meta-level calculations.Currently, It need to connect a Mac to run Geas OS on a Raspberry Pi via serial communication to get input.Being able to use a keyboard and mouse on the Gears OS on the Raspberry Pi will improve convenience. It would also eliminate the need to connect to hardware other than the Raspberry Pi through a PC.The purpose of this study is to develop a Gears OS Device Driver in CbC on a Rasberry Pi.
+\end{abstract}
+
 \thispagestyle{fancy}
-
+\begin{multicols*}{2}
 \section{研究目的}
-OSには信頼性が保証できることと拡張性があることが求められている。信頼性をノーマ ルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に Gears OS を設計中である。現在,Geas OSに対応するUSB Driverがなく、Raspberry Pi上で動かすためにはMacとシリアル通信で繋げなければ入力ができない。本研究では、Rasberry Pi上でGeas OS のUSB DriverをCbCで作成するとともに、その信頼性を検証することを目指している。
+OSには信頼性が保証できることと拡張性があることが求められている。信頼性をノーマ ルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に Gears OS を設計中である。現在,Geas OSをRaspberry Pi上で動かすためにはMacとシリアル通信で繋げなければ入力ができない。Raspberry Pi上のGears OSでキーボードやマウスを使えるようになれば利便性が向上する。また、Raspberry Pi以外のハードウェアで動かす時にも、PCを介して接続しなくて良くなる。本研究では、Rasberry Pi上でGears OS のDevice DriverをCbCで開発しすることが目的である。
+\section{Device Driver}
+OSは、接続された機器を直接理解することはできず、OSと接続機器の橋渡しの役割を担うのがDevice Driverである。Device DriverはOSごとに作成する必要がある。当研究室で開発されているGeas OSに対応するDevice Driver としてUSB接続機器が市場に多いことやRaspberry PIに接続端子があることからUSB Driverを開発する。また、開発されたDevice Driverの信頼性の検証をしたいため、USBDriverのソースコードをCbCに書き換えていく。USBDriverのソースコードは公開されているものが多く、Cで書かれているコードを元にする。
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=75mm]{fig1.pdf}
+	\caption{Device Driverの役割}
+	\label{fig1}
+\end{figure}
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=90mm]{USBDriver.pdf}
+	\caption{USB Driverの構成}
+	\label{fig2}
+\end{figure}
 \section{Countinuation based C(CbC)}
-Countinuation based C(CbC)とは、当研究室で開発されているプログラミング言語である。CbCは、Cからサブルーチンコールとループ制御構造を取り除き、継続を導入したCの下位言語である。CbC は Code Segment を基本的な処理単位とする。C の関数とは異なり返り値を持たないが、Code Segment の宣言はCの関数の構文と同じように行い、型に\_\_code を用いる。CbC は for 文や while 文といったループ制御構文を持たな いので、ループ処理は自分自身への再帰的な継続を行う事 で実現する。\\現在の Code Segment から次の Code Segment への移動は goto の後に Code Segment 名と引数を並べて記述する。この goto による処理の遷移を継続と呼ぶ。C と異なり、戻り値を持たない Code Segment ではスタックに値を積んで行く必要が無くスタックは変更されない。このようなスタッ クに値を積まない継続を軽量継続と呼ぶ。この軽量継続に より、並列化、ループ制御、関数コールとスタックの操作を意識した最適化がソースコードレベルで行えるようになる。
+Countinuation based C(CbC)とは、当研究室で開発されているプログラミング言語である。CbCは、Cからサブルーチンコールとループ制御構造を取り除き、継続を導入したCの下位言語である。CbC は Code Segment を基本的な処理単位とする。C の関数とは異なり返り値を持たないが、Code Segment の宣言はCの関数の構文と同じように行い、型に\_\_code を用いる。CbC は for 文や while 文といったループ制御構文を持たないので、ループ処理は自分自身への再帰的な継続を行う事で実現する。\par 現在の Code Segment から次の Code Segment への移動は goto の後に Code Segment 名と引数を並べて記述する。この goto による処理の遷移を継続と呼ぶ。C と異なり、戻り値を持たない Code Segment ではスタックに値を積んで行く必要が無くスタックは変更されない。このようなスタッ クに値を積まない継続を軽量継続と呼ぶ。この軽量継続により、並列化、ループ制御、関数コールとスタックの操作を意識した最適化がソースコードレベルで行えるようになる。

 \section{Geas OS}
+Gears OSは当研究室で開発を行っているOSである。Gears OSの実装にはLLVM/Clang上に実装したCbCを用いている。Gears OS では、プログラムの単位として Gear を用いる。Gear は並列実行の単位、データの分割、Gear 間の接続等になる。Code Gear はプログラムの処理そのものであり、任意の数の Data Gear を参照し、処理が完了すると任意の数の Data Gear に書き込む。Code Gear は接続された Data Gear 以外にアクセスできない。Code Segment と同じように Code Gear から次の Code Gear への処理の移動は goto の後に Code Gear の名前と引数を指定する事で実 現できる。Data Gearはデータそのものを表す。int や文字列などの Primitive Data Type を持っている。Gear の特 徴として処理やデータの構造が Code Gear、Data Gear に閉じている事にある。これにより、実行時間、メモリ使用 量などを予測可能なものにすることができる。
+
+\section{今後の予定}
+\subsection{現状}
+現段階では、Raspberry Pi上にGears OSを搭載している。また、Raspberry PiとMacをシリアル通信で繋げることができた。これにより、Raspberry Pi上のGears OSを動かすことができる。
+\subsection{研究計画}
+今後の計画として本格的にDevice Driverを開発していく。USB Driverを開発するためにRaspberry PiのUEFIからUSB Controllerの設定を書き換えてUSB Portを所得できるようにする。次にUSBのDevice NameとDevice Typeを得られるようにし、USBCommandも所得していく。最後にTTY Driverと接続する。その後、USB DriverのソースコードをCbCに書き換えていく。


-\section{raspberry pi}
-Raspberry Piは、ARMプロセッサを搭載したシングルボードコンピュータ。イギリスのラズベリーパイ財団によって開発されている。

 \begin{thebibliography}{9}

-\bibitem{1}
+\bibitem{1}桃原優,河野真治.Gears OS on Raspberry Pi(2018)
+\bibitem{2}坂本昂弘,河野真治.xv6 kernel 上での CbC による interface の実装(2019)
+\bibitem{3}桃原優,坂本昂弘,河野真治.継続を用いたx.v6 kernelの書き換え(2019)
+\bibitem{4}宮城光希, 河野真治,Code Gear と Data Gear を持つ Gears OS の設計(2018)
+\bibitem{5}自作OSの今と昔.https://knowledge.sakura.ad.jp/22042/
+\bibitem{6}Russ Cox,Frans Kaashoek,Robert Morris. xv6
+\bibitem{7}福谷武司,小谷章二,高橋智.Linux による USB デバイスドライバ作成と制御インタフェース開発
+\bibitem{8}城戸英之,吉田泰彦,大原茂之.Linux用USBデバイスドライバの開発支援に関する一提案(情報処理学会第67回全国大会,2005)
+\bibitem{9}デバイスドライバ開発入門.https://prev.net-newbie.com/linux/driver/index.html
+
+

 \end{thebibliography}
+\end{multicols*}
 \end{document}