|
23
|
1 \documentclass[12pt]{jsreport}
|
|
1
|
2 \usepackage{ie-thesis}
|
|
4
|
3 \usepackage{listings}
|
|
1
|
4
|
|
46
|
5 \jtitle{GearsOSにおけるinodeを用いた\\File systemの構築}
|
|
|
6 \title{Building a File system using inode in GearsOS}
|
|
1
|
7
|
|
|
8 \affiliation{琉球大学工学部工学科知能情報コース}
|
|
|
9 \studentid{185742J}
|
|
|
10 \author{又吉 雄斗}
|
|
|
11 \supervisor{河野 真治}
|
|
|
12
|
|
|
13 %\Jabstract{\include{./text/Jabstract}}
|
|
|
14 \Jabstract{\input{./text/Jabstract.tex}}
|
|
|
15 \Eabstract{\input{./text/Eabstract.tex}}
|
|
4
|
16
|
|
|
17 \lstset{
|
|
|
18 frame=single,
|
|
|
19 keepspaces=true,
|
|
|
20 stringstyle={\ttfamily},
|
|
|
21 commentstyle={\ttfamily},
|
|
|
22 identifierstyle={\ttfamily},
|
|
|
23 keywordstyle={\ttfamily},
|
|
|
24 basicstyle={\ttfamily},
|
|
|
25 breaklines=true,
|
|
|
26 xleftmargin=0zw,
|
|
|
27 xrightmargin=0zw,
|
|
|
28 framerule=.2pt,
|
|
|
29 columns=[l]{fullflexible},
|
|
|
30 numbers=left,
|
|
|
31 stepnumber=1,
|
|
|
32 numberstyle={\scriptsize},
|
|
|
33 numbersep=1em,
|
|
|
34 language={},
|
|
|
35 tabsize=4,
|
|
|
36 lineskip=-0.5zw,
|
|
|
37 escapechar={@, $},
|
|
|
38 }
|
|
|
39
|
|
|
40 \renewcommand{\lstlistingname}{ソースコード}
|
|
|
41 \renewcommand{\lstlistlistingname}{ソースコード目次}
|
|
41
|
42
|
|
1
|
43 \begin{document}
|
|
|
44 \maketitle %Don't remove.
|
|
|
45
|
|
|
46 % 目次
|
|
|
47 \tableofcontents %Don't remove.
|
|
|
48
|
|
|
49 % 図目次，図がある場合のみ
|
|
|
50 \listoffigures
|
|
|
51
|
|
|
52 % 表も軸，表がある場合のみ
|
|
|
53 \listoftables
|
|
|
54
|
|
4
|
55 % ソースコード目次
|
|
|
56 \lstlistoflistings
|
|
|
57
|
|
1
|
58 % pagecounter settings
|
|
|
59 \setcounter{page}{0} %Don't remove.
|
|
|
60
|
|
|
61 % main text
|
|
|
62 % introduction
|
|
45
|
63 \include{./text/introduction}
|
|
1
|
64
|
|
|
65 % ...
|
|
|
66 \include{./text/chapter2}
|
|
|
67
|
|
|
68
|
|
|
69 \chapter{まとめ}
|
|
|
70
|
|
33
|
71 本研究では主としてgearsFileSystemの構築に必要なgearsDirectoryの実装について説明した．
|
|
|
72 いくつか課題はあるが，RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた．
|
|
|
73 また，RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，
|
|
|
74 Unix Likeに構築することが出来た．
|
|
|
75
|
|
34
|
76 信頼性については，定理証明やモデル検査を用いて保証を行うが，
|
|
|
77 非破壊的なTree編集によるdirectoryのバックアップやファイルのバックアップをファイルシステムに組み込むことでも
|
|
|
78 信頼性の向上が期待できる．形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える．
|
|
33
|
79
|
|
1
|
80 \chapter*{謝辞}
|
|
|
81
|
|
21
|
82 本研究を行うにあたりご多忙にも関わらず日頃より多くのご助言、ご指導をいただきました河野真治准教授に心より感謝いたします。
|
|
54
|
83 また、研究に対する意見、実装、実験に協力いただいた一木貴裕さんをはじめとする並列信頼研究室の皆さまに感謝いたします。
|
|
21
|
84 最後に、長年に渡り理解を示し、支援してくださった家族に感謝いたします。
|
|
|
85
|
|
|
86 \begin{flushright}
|
|
40
|
87 2022年 2月 \\又吉 雄斗
|
|
21
|
88 \end{flushright}
|
|
|
89
|
|
1
|
90 % reference
|
|
4
|
91 \bibliography{thesis}
|
|
|
92 \bibliographystyle{junsrt}
|
|
1
|
93
|
|
|
94 %付録がある場合のみ
|
|
11
|
95 \appendix
|
|
1
|
96 %付録項目ごとに章構成する．章番号は本文とは独立に構成される．
|
|
25
|
97 \chapter{gearsDirectory source code}
|
|
|
98 \lstinputlisting[caption=gearsDirectory source code,label=src:gearsDirectory]{src/GearsDirectoryImpl.cbc}
|
|
|
99
|
|
|
100 \chapter{MindMap}
|
|
|
101 \begin{figure}[ht]
|
|
|
102 \begin{center}
|
|
|
103 \includegraphics[width=111mm]{figs/gearsDirectoryMM.PNG}
|
|
|
104 \end{center}
|
|
|
105 \caption{本研究のMindMap}
|
|
|
106 \label{fig:mm}
|
|
|
107 \end{figure}
|
|
1
|
108
|
|
|
109 \end{document} |
