Mercurial > hg > Papers > 2021 > okud-thesis

changeset 2:f3d87bc7dffc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Koki Okuda <e175701@ie.u-ryukyu.ac.jp>
date Mon, 14 Sep 2020 19:48:50 +0900
parents af576025f1ac
children 9849745dbd29
files .hgignore USBDriver.graffle USBDriver.pdf abstract.tex device.graffle driver.graffle driver.pdf driver1.pdf drover.graffle mid_thesis.aux mid_thesis.fdb_latexmk mid_thesis.fls mid_thesis.log mid_thesis.pdf mid_thesis.tex pic/USBDriver.graffle pic/USBDriver.pdf pic/device.graffle pic/driver.graffle pic/driver.pdf pic/driver1.pdf pic/drover.graffle
diffstat 22 files changed, 337 insertions(+), 398 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Mon Sep 14 19:48:50 2020 +0900
@@ -0,0 +1,298 @@
+syntax:glob
+
+# Created by https://www.toptal.com/developers/gitignore/api/tex
+# Edit at https://www.toptal.com/developers/gitignore?templates=tex
+
+### TeX ###
+## Core latex/pdflatex auxiliary files:
+.DS_Store
+*.gz
+*.aux
+*.lof
+*.log
+*.lot
+*.fls
+*.out
+*.toc
+*.fmt
+*.fot
+*.cb
+*.cb2
+.*.lb
+
+## Intermediate documents:
+*.dvi
+*.xdv
+*-converted-to.*
+# these rules might exclude image files for figures etc.
+# *.ps
+# *.eps
+# *.pdf
+
+## Generated if empty string is given at "Please type another file name for output:"
+.pdf
+
+## Bibliography auxiliary files (bibtex/biblatex/biber):
+*.bbl
+*.bcf
+*.blg
+*-blx.aux
+*-blx.bib
+*.run.xml
+
+## Build tool auxiliary files:
+*.fdb_latexmk
+*.synctex
+*.synctex(busy)
+*.synctex.gz
+*.synctex.gz(busy)
+*.pdfsync
+
+## Build tool directories for auxiliary files
+# latexrun
+latex.out/
+
+## Auxiliary and intermediate files from other packages:
+# algorithms
+*.alg
+*.loa
+
+# achemso
+acs-*.bib
+
+# amsthm
+*.thm
+
+# beamer
+*.nav
+*.pre
+*.snm
+*.vrb
+
+# changes
+*.soc
+
+# comment
+*.cut
+
+# cprotect
+*.cpt
+
+# elsarticle (documentclass of Elsevier journals)
+*.spl
+
+# endnotes
+*.ent
+
+# fixme
+*.lox
+
+# feynmf/feynmp
+*.mf
+*.mp
+*.t[1-9]
+*.t[1-9][0-9]
+*.tfm
+
+#(r)(e)ledmac/(r)(e)ledpar
+*.end
+*.?end
+*.[1-9]
+*.[1-9][0-9]
+*.[1-9][0-9][0-9]
+*.[1-9]R
+*.[1-9][0-9]R
+*.[1-9][0-9][0-9]R
+*.eledsec[1-9]
+*.eledsec[1-9]R
+*.eledsec[1-9][0-9]
+*.eledsec[1-9][0-9]R
+*.eledsec[1-9][0-9][0-9]
+*.eledsec[1-9][0-9][0-9]R
+
+# glossaries
+*.acn
+*.acr
+*.glg
+*.glo
+*.gls
+*.glsdefs
+*.lzo
+*.lzs
+
+# uncomment this for glossaries-extra (will ignore makeindex's style files!)
+# *.ist
+
+# gnuplottex
+*-gnuplottex-*
+
+# gregoriotex
+*.gaux
+*.gtex
+
+# htlatex
+*.4ct
+*.4tc
+*.idv
+*.lg
+*.trc
+*.xref
+
+# hyperref
+*.brf
+
+# knitr
+*-concordance.tex
+# TODO Comment the next line if you want to keep your tikz graphics files
+*.tikz
+*-tikzDictionary
+
+# listings
+*.lol
+
+# luatexja-ruby
+*.ltjruby
+
+# makeidx
+*.idx
+*.ilg
+*.ind
+
+# minitoc
+*.maf
+*.mlf
+*.mlt
+*.mtc[0-9]*
+*.slf[0-9]*
+*.slt[0-9]*
+*.stc[0-9]*
+
+# minted
+_minted*
+*.pyg
+
+# morewrites
+*.mw
+
+# nomencl
+*.nlg
+*.nlo
+*.nls
+
+# pax
+*.pax
+
+# pdfpcnotes
+*.pdfpc
+
+# sagetex
+*.sagetex.sage
+*.sagetex.py
+*.sagetex.scmd
+
+# scrwfile
+*.wrt
+
+# sympy
+*.sout
+*.sympy
+sympy-plots-for-*.tex/
+
+# pdfcomment
+*.upa
+*.upb
+
+# pythontex
+*.pytxcode
+pythontex-files-*/
+
+# tcolorbox
+*.listing
+
+# thmtools
+*.loe
+
+# TikZ & PGF
+*.dpth
+*.md5
+*.auxlock
+
+# todonotes
+*.tdo
+
+# vhistory
+*.hst
+*.ver
+
+# easy-todo
+*.lod
+
+# xcolor
+*.xcp
+
+# xmpincl
+*.xmpi
+
+# xindy
+*.xdy
+
+# xypic precompiled matrices and outlines
+*.xyc
+*.xyd
+
+# endfloat
+*.ttt
+*.fff
+
+# Latexian
+TSWLatexianTemp*
+
+## Editors:
+# WinEdt
+*.bak
+*.sav
+
+# Texpad
+.texpadtmp
+
+# LyX
+*.lyx~
+
+# Kile
+*.backup
+
+# gummi
+.*.swp
+
+# KBibTeX
+*~[0-9]*
+
+# TeXnicCenter
+*.tps
+
+# auto folder when using emacs and auctex
+./auto/*
+*.el
+
+# expex forward references with \gathertags
+*-tags.tex
+
+# standalone packages
+*.sta
+
+# Makeindex log files
+*.lpz
+
+# REVTeX puts footnotes in the bibliography by default, unless the nofootinbib
+# option is specified. Footnotes are the stored in a file with suffix Notes.bib.
+# Uncomment the next line to have this generated file ignored.
+#*Notes.bib
+
+### TeX Patch ###
+# LIPIcs / OASIcs
+*.vtc
+
+# glossaries
+*.glstex
+
+# End of https://www.toptal.com/developers/gitignore/api/tex
Binary file USBDriver.graffle has changed
Binary file USBDriver.pdf has changed
--- a/abstract.tex	Sun Sep 13 22:34:57 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-\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
--- a/mid_thesis.aux	Sun Sep 13 22:34:57 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-\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}}
--- a/mid_thesis.fdb_latexmk	Sun Sep 13 22:34:57 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-# 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"
--- a/mid_thesis.fls	Sun Sep 13 22:34:57 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-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
--- a/mid_thesis.log	Sun Sep 13 22:34:57 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,316 +0,0 @@
-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	Sun Sep 13 22:34:57 2020 +0900
+++ b/mid_thesis.tex	Mon Sep 14 19:48:50 2020 +0900
@@ -23,7 +23,7 @@
 \section{研究目的}
 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で書かれているコードを元にする。
+OSは、接続された機器を直接理解することはできず、OSと接続機器の橋渡しの役割を担うのがDevice Driverである。Device DriverはOSごとに作成する必要がある。当研究室で開発されているGeas OSに対応するDevice Driver としてUSB接続機器が市場に多いことやRaspberry PIに接続端子があることからUSB Driverを開発する。また、開発されたDevice Driverの信頼性の検証をしたいため、USBDriverのソースコードをCbCで書いていく。
 \begin{figure}[H]
 	\centering
 	\includegraphics[width=75mm]{fig1.pdf}
@@ -37,17 +37,50 @@
 	\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 文といったループ制御構文を持たないので、ループ処理は自分自身への再帰的な継続を行う事で実現する。\par 現在の 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 文といったループ制御構文を持たないので、ループ処理は自分自身への再帰的な継続を行う事で実現する。 
+現在の 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 に閉じている事にある。これにより、実行時間、メモリ使用 量などを予測可能なものにすることができる。
+Gears OSは当研究室で開発を行っているOSである。
+Gears OSの実装には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{Raspberry Pi上のGears OS}
+先行研究でRaspberry Pi上でGears OSを実装するために、Raspberry Pi上でCbCのmakeを行った。
+しかし、メモリが小さくてmakeするのに時間がかかる。
+またRaspbianでは、qemuによるメモる拡張ができないので別のOSでRaspberry Piで動くCbCを実装する必要がある。
+そこでCross Compileを行うことで別のOSでRaspberry Piで動くCbCを実装した。
+\subsection{Cross Compile}
+Cross Compileとは、別のOSで実行可能なコードを生成するコンパイル手法である。
+Raspbian以外の以外のOS環境であらかじめRaspberry Pi上でCbCが動くようにCross Compileを行い、そのコードをRaspberry Piに移すことで、実行できるようになる。
+
+\subsection{xv6}
+xv6とは MIT のオペレーティングコースの教育目的で 2006 年に開発されたオペレーティングシステムである。
+xv6 はオリジナルである v6 が非常に古い C 言語で書かれている為、 ANSI-C に書き換えられ x86 に再実装された。xv6 は read や write などの systemcall、プロセス、仮想メモリ、カーネルとユーザーの分離、割り込み、ファイルシステムなど Unix の基本的な構造を持っている。
+xv6はRaspberry Piに移植することができ、ANSI-Cで書かれているxv6をCbCに書き直すことで、Raspberry Pi上でCbCを動かすことができる。
+
 
 \section{今後の予定}
 \subsection{現状}
-現段階では、Raspberry Pi上にGears OSを搭載している。また、Raspberry PiとMacをシリアル通信で繋げることができた。これにより、Raspberry Pi上のGears OSを動かすことができる。
+現段階では、Raspberry Pi上にGears OSを搭載している。
+また、Raspberry PiとMacをシリアル通信で繋げることができた。
+これにより、Raspberry Pi上のxv6でCbCを書くことができる。
 \subsection{研究計画}
-今後の計画として本格的にDevice Driverを開発していく。USB Driverを開発するためにRaspberry PiのUEFIからUSB Controllerの設定を書き換えてUSB Portを所得できるようにする。次にUSBのDevice NameとDevice Typeを得られるようにし、USBCommandも所得していく。最後にTTY Driverと接続する。その後、USB DriverのソースコードをCbCに書き換えていく。
-
+今後の計画として本格的にDevice Driverを開発していく。
+USB Driverを開発するためにRaspberry PiのUEFIをbootできるようにする。
+その後、xHCIを実装するために、そのUSBプロトコルをCbCで実装していきたい。
+また、CbCのバージョンが上がったのでCross Compilerも新たに作成する必要がある。
 
 
 \begin{thebibliography}{9}
Binary file pic/USBDriver.graffle has changed
Binary file pic/USBDriver.pdf has changed
Binary file pic/device.graffle has changed
Binary file pic/driver.graffle has changed
Binary file pic/driver.pdf has changed
Binary file pic/driver1.pdf has changed
Binary file pic/drover.graffle has changed