--- a/Paper/master_paper.tex	Fri Jan 12 17:50:36 2024 +0900
+++ b/Paper/master_paper.tex	Fri Jan 12 18:52:08 2024 +0900
@@ -85,17 +85,13 @@
 %図目次
 \listoffigures
 
-
-
 %リスト目次
-% \lstlistoflistings
+\lstlistoflistings
 
 %chapters
 
 \chapter{GearsOSにおけるファイルシステムとDB}
 
-
-
 情報システムの信頼性を確保することは重要な課題である．
 2023年には銀行システムや航空機の旅客システム，
 電子決済システムなどで障害が発生した\cite{zengin,ana,glory}．
@@ -318,7 +314,14 @@
 inputDataGearのnextはCodeGearの処理が終わった際に次にgotoするCodeGearを指定する．
 よって，take CodeGearの処理が全て終了すると，次にodgCommitCPUWorker4へgotoする．
 nextは\texttt{next(...)}と引数に\texttt{...}が渡される．
-これは
+これは仕様を記述する時点では不定である次に遷移するCodeGearのinputDataGearを表現している．
+GearsOSでgotoする際は実際にはContextから必要な値を取り出す．
+よって，\texttt{...}は必要な値をContextから取り出すことを意味している．
+
+次にinterfaceの実装似ついて説明する．
+Queue interfaceの実装の一つであるSingleLinkedQueueをソースコード\ref{src:SingleLinkedQueue.cbc}に示す．
+
+\lstinputlisting[label=src:SingleLinkedQueue.cbc, caption=Queueのインターフェース]{src/SingleLinkedQueue.cbc}
 
 
 \section{GearsOSのRedBlackTree}