Mercurial > hg > Papers > 2009 > rep-verify-sigos
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 による検証 + +--検証とデバッグ + +--比較