Mercurial > hg > Papers > 2009 > rep-verify-sigos

comparison rep-verify-sigos.ind @ 1:e3f7ff6dc640

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 21 Mar 2009 22:34:51 +0900
parents 5de476fabbbc
children ac15ac2df491
comparison
equal deleted inserted replaced
0:5de476fabbbc 1:e3f7ff6dc640
1 -title: Remote Editing Protocol の実装と検証 1 -title: Remote Editing Protocol の実装と検証
2 2
3 --author: 与儀健人, 宮城健太, 河野真治 3 --author: 与儀健人, 宮城健太, 河野真治
4 4
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 --比較