|
0
|
1 -title: Remote Editing Protocol の実装と検証
|
|
|
2
|
|
|
3 --author: 与儀健人, 宮城健太, 河野真治
|
|
|
4
|
|
1
|
5 --Remote Editing Protocol の設計方針
|
|
|
6
|
|
|
7 --Protocol の構成
|
|
|
8
|
|
|
9 ---Session managerの導入
|
|
|
10
|
|
|
11 ---Session managerの接続protocol
|
|
|
12
|
|
|
13 sm_join
|
|
|
14
|
|
|
15 session manager id
|
|
|
16
|
|
|
17 ---Session 接続 protocol
|
|
|
18
|
|
|
19 session id
|
|
|
20
|
|
|
21 editor id
|
|
|
22
|
|
|
23 join/put
|
|
|
24
|
|
|
25 select
|
|
|
26
|
|
|
27 ---Editor Command
|
|
|
28
|
|
|
29 ---Merge Protocol
|
|
|
30
|
|
|
31 point to point
|
|
|
32
|
|
|
33 merge ring ( nop の挿入)
|
|
|
34
|
|
|
35 merge ring ( ack の導入)
|
|
|
36
|
|
|
37 ---Merge のSession Managerへの移動
|
|
|
38
|
|
|
39 非同期merge時の衝突解消
|
|
|
40
|
|
|
41 Editor のlock
|
|
|
42
|
|
|
43 --Protocol の正しさ
|
|
|
44
|
|
|
45 Merge Protocol の正しさの証明
|
|
|
46
|
|
|
47 --Protocol の実装
|
|
|
48
|
|
|
49 Session Manager
|
|
|
50
|
|
|
51 Ecplise Plug-in
|
|
|
52
|
|
|
53 Emacs
|
|
|
54
|
|
|
55 Vim
|
|
|
56
|
|
|
57 --Socket Simulator
|
|
|
58
|
|
|
59 Java Pathfinder による検証
|
|
|
60
|
|
|
61 --検証とデバッグ
|
|
|
62
|
|
|
63 --比較
|
