view final_main/chapter2/chapter2.tex @ 10:5ddb3e41e515

remove .DS_Store
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Wed, 12 Feb 2020 19:40:35 +0900
parents a37b7bd13be9
children b8149a449b7d
line wrap: on
line source

%\input{/Users/e155753/.tex/setup}

%%文書開始****************************
\begin{document} 
%%**************************************
\chapter{リモートエディタ}
リモートエディタとは他のマシン上に存在するファイルのバッファを別デバイスから開いて編集, 保存することができる機能である. 
加えてこのリモートエディタを複数人が同時に同じファイルを編集し, その上変更がリアルタイムに反映されるように設計する. 
この章ではリモートエディタの実装の上で踏んだプロセスや, 開発の上で問題となる点と解決策について説明する。

\section{document listenerによる編集オフセット番号の読み取り}
    エディタ同士の基本通信環境の構成のため, Chrisitie と同様のjava 言語で作成したエディタのインスタンスを使い, 異なるマシン同士の同期の実現を目指した. 
自作エディタは java. swingの機能で構成されており, コードをオフセット番号で取り扱っている. 

追記または削除されたオフセット位置とその内容の取得はDocumentListenrを使用した. 
DocumentListenerのクラスはswingで実装したエディタ部分の入力と削除を検知し, 動作するメソッドであり, DocumentEvent内に入力されたオフセットとその長さや文字列が入力されるため, それをChrisitie側で検知し処理を行った. 
insertUpdateメソッドではバッファに入力が行われた際に自動的に実行され, removeUpdateメソッドは同様にバッファ内の文字のいずれかが削除が行われた際に実行される. 
他ノードから送信されてきた命令によるバッファの変更によっても実行され, 意図しないループが発生したため, 受信した命令では実行されないように記述をおこなった. 
コード\ref{code:DocumentListener}はinsertUpdate, removeUpdateの記述部分である. 
    
\lstinputlisting[caption=DocumentListenerのコード部分, label=code:DocumentListener]{./src/DocumentListener.java}


\section{Command パターンによる命令オブジェクトの作成}
リモートエディタを実装する上において, 各エディタは自身に起きたバッファの変更を他ノードに送信する必要がある. 
この変更の送り合いをCommand パターンとして実装した. 
Command パターンとは, 命令を一つのオブジェクトとして表現する方法である. 
コマンドパターンの利点として,

\begin{itemize}
\item インスタンスを利用して命令を作成するため, 後述のChristieのGearの概念と相性が良い. 
\item 命令に必要な内容をまとめて送信するため, 相違の発生を防ぐことができる. 
\item 命令の管理が行いやすい, 行列に並ばせ命令の順番を管理したり, 命令の際, 実行, 取り消しが容易になる. 
\end{itemize}

といった点が挙げられる. 
ソースコード:\ref{code:Command}は書き込み, 送信を行う際の命令をクラスとして作成したものである. 
このクラスのインスタンスを命令オブジェクトとして送信し合う. 

\lstinputlisting[caption=Commandパターンとして実装した命令, label=code:Command]{./src/Command.java}

\section{命令オブジェクトを実装する際に起きた問題}
インスタンス化した命令を他ノードに送信する際にエラーが発生し, 送信に失敗してしまうという問題が発生した.
クラスの送信の際のシリアライズはmsgpackクラスを利用している. 
msgpackクラスは,シリアライズしたいクラスにMessage アノテーションをつけることにより, シリアライズ化を行う.
 原因を調査した結果, 以下の原因が見つかった.
 
\begin{itemize}
\item Christieのjavaバージョンは11を使用していたが, msgpackバージョン0.6.12はjava11に対して対応していなかった.
\item msgpackの最新版0.8.20はシリアライズ機能が含まれなくなった.
\end{itemize}

以上の原因に対処するために以下のことを行った.

\begin{itemize}
\item Christieのjavaバージョンを8まで下げ, msgpackバージョン0.6.12を動作できるようにした.
\item シリアライズする命令クラスに対し, フィールドをpublic にした.
\item javassistのバージョンを最新版へ変更した.
\end{itemize}

javaのバージョンを下げたのは応急的な処置となってしまったが, これらの処置により問題なくCommandパターンでの命令実装を行うことができた. 
javaのバージョンに左右されずリモートエディタを実装するには, シリアライズの機能について他のパッケージを使うか, 自信で作成する必要が生まれた。


\section{編集位置の相違}
セッション中のエディタ間の通信で生じうる, 編集結果の相違について説明する. 
エディタ同士のコマンドの送信はそれぞれが独立して行うため, 編集対象の領域にエディタ間で相違が生じる場合がある.

 例としてエディタが一対一の接続となっている時に発生しうる相違を図\ref{fig:difference} を使用して解説する.
 編集対象は各オフセット番号に同じ値の数字が入っているものとする. 
 EditorA ではオフセット番号 3 の 3 という 要素を削除 (テキストエディタ上のため削除されたオフセットにはその後ろの要素が繰り上げられる.), EditorB では オフセット番号 2 に A という要素を挿入するという編集をしたとする. 
 この編集を共通プロトコルとして互いに送信しあった際, 本来編集する予定だったオフセットの中身が異なってしまい編集結果に違いが生じてしまう. 
 これらの問題を解決することのできるエディタ同士の通信手法を作成しなければならない。

\begin{figure}[H]
\centering
  \fbox{
   \includegraphics[scale=0.6]{./images/difference_offset.pdf}
  }
\caption{通信のすれ違いによる編集位置の相違}
\label{fig:difference}
\end{figure}

\section{編集位置の相違解消方法}
編集するオフセットに相違が発生する条件として, サーバーとノードがお互いにコマンドを送り合った際, その命令コマンドが相手に到着する前に相手が自身のバッファに変更を加えてしまった場合に起きる. 
したがって, 相違の解消に必要なことは

\begin{itemize}
\item サーバーとノード間のコマンド送信のすれ違いが発生したということを検知する方法
\item すれ違いが発生した際に編集したオフセットのズレを修正する方法
\end{itemize}

が挙げられる. 



%%文書終了****************************
\end{document}