实时协同编辑系统中并发控制算法的研究
| 摘要 | 第1-8页 |
| Abstract | 第8-9页 |
| 插图索引 | 第9-10页 |
| 附表索引 | 第10-11页 |
| 第1章 绪论 | 第11-15页 |
| ·课题背景及意义 | 第11-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·论文主要研究内容 | 第13-14页 |
| ·论文内容安排 | 第14-15页 |
| 第2章 协同编辑系统概述 | 第15-19页 |
| ·协同编辑系统体系结构 | 第15-16页 |
| ·协同编辑系统会话模型 | 第16页 |
| ·主要技术问题 | 第16-18页 |
| ·数据发散 | 第17页 |
| ·因果关系冲突 | 第17页 |
| ·操作意愿冲突 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 第3章 协同并发控制算法 | 第19-28页 |
| ·已有并发控制算法 | 第19-21页 |
| ·令牌环、加锁、事务处理 | 第19页 |
| ·dOPT算法、adOPTed算法 | 第19-21页 |
| ·SOCT3/SOCT4算法 | 第21页 |
| ·GOT/GOTO算法 | 第21页 |
| ·基本概念和定义 | 第21-24页 |
| ·因果关系和并发操作 | 第21-22页 |
| ·CCI模型 | 第22-23页 |
| ·上下文 | 第23页 |
| ·状态向量时间戳 | 第23-24页 |
| ·全序关系 | 第24页 |
| ·包含变换和排除变换 | 第24-26页 |
| ·本章小结 | 第26-28页 |
| 第4章 IGOT算法 | 第28-48页 |
| ·GOT算法存在的问题 | 第28-29页 |
| ·IGOT低层控制算法 | 第29-33页 |
| ·操作变换控制 | 第29-30页 |
| ·光标位置控制 | 第30-32页 |
| ·低层调度算法 | 第32-33页 |
| ·IGOT高层控制算法 | 第33-46页 |
| ·包含变换 | 第34-40页 |
| ·排除变换 | 第40-46页 |
| ·IGOT算法复杂度 | 第46页 |
| ·本章小结 | 第46-48页 |
| 第5章 IGOT算法证明 | 第48-59页 |
| ·操作变换控制算法 | 第48-50页 |
| ·光标控制算法 | 第50-51页 |
| ·低层调度算法 | 第51-52页 |
| ·高层调度算法 | 第52-58页 |
| ·包含变换证明 | 第53-55页 |
| ·排除变换证明 | 第55-58页 |
| ·本章小结 | 第58-59页 |
| 总结与展望 | 第59-61页 |
| 参考文献 | 第61-65页 |
| 致谢 | 第65-66页 |
| 附录A 攻读学位期间所发表的学术论文目录 | 第66页 |
