changeset 1:e3f7ff6dc640

add
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 21 Mar 2009 22:34:51 +0900
parents 5de476fabbbc
children ac15ac2df491
files rep-verify-sigos.ind
diffstat 1 files changed, 59 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/rep-verify-sigos.ind	Sat Mar 21 19:14:32 2009 +0900
+++ b/rep-verify-sigos.ind	Sat Mar 21 22:34:51 2009 +0900
@@ -2,3 +2,62 @@
 
 --author: 与儀健人, 宮城健太, 河野真治
 
+--Remote Editing Protocol の設計方針
+
+--Protocol の構成
+
+---Session managerの導入
+
+---Session managerの接続protocol
+
+sm_join
+
+session manager id
+
+---Session 接続 protocol
+
+session id
+
+editor id
+
+join/put
+
+select
+
+---Editor Command
+
+---Merge Protocol
+
+point to point
+
+merge ring ( nop の挿入)
+
+merge ring ( ack の導入)
+
+---Merge のSession Managerへの移動
+
+非同期merge時の衝突解消
+
+Editor のlock
+
+--Protocol の正しさ
+
+Merge Protocol の正しさの証明
+
+--Protocol の実装
+
+Session Manager
+
+Ecplise Plug-in
+
+Emacs 
+
+Vim
+
+--Socket Simulator
+
+Java Pathfinder による検証
+
+--検証とデバッグ
+
+--比較