高效的操作转换一致性维护方法研究
| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第1章 绪论 | 第12-24页 |
| ·研究背景 | 第12-14页 |
| ·操作转换概述 | 第14-20页 |
| ·基本思想 | 第14-15页 |
| ·基础概念 | 第15-20页 |
| ·相关工作及研究现状 | 第20-22页 |
| ·本文工作及内容组织 | 第22-24页 |
| 第2章 String转换算法 | 第24-48页 |
| ·引言 | 第24页 |
| ·相关工作 | 第24-25页 |
| ·ABTS算法 | 第25-32页 |
| ·ABTS算法框架 | 第25-27页 |
| ·updateHL过程 | 第27-28页 |
| ·updateHR过程 | 第28-30页 |
| ·String转换中的原子操作和组合操作 | 第30-32页 |
| ·IT函数 | 第32-38页 |
| ·基本的IT函数 | 第32-35页 |
| ·序列相关的IT函数 | 第35-38页 |
| ·SWAP函数 | 第38-43页 |
| ·基本的SWAP函数 | 第38-40页 |
| ·序列相关的SWAP函数 | 第40-43页 |
| ·正确性讨论 | 第43-44页 |
| ·复杂度分析 | 第44-46页 |
| ·本地操作的处理 | 第44-45页 |
| ·远程操作的处理 | 第45-46页 |
| ·小结 | 第46-48页 |
| 第3章 优化的String转换算法 | 第48-60页 |
| ·引言 | 第48-49页 |
| ·ABTSO算法 | 第49-56页 |
| ·LIntegrate过程 | 第49-50页 |
| ·RIntegrate过程 | 第50-51页 |
| ·提取并发操作 | 第51-52页 |
| ·将操作合并到操作序列 | 第52-53页 |
| ·IT函数 | 第53-55页 |
| ·交换函数 | 第55-56页 |
| ·算法复杂度和实验评估 | 第56-58页 |
| ·小结 | 第58-60页 |
| 第4章 序列转换算法 | 第60-86页 |
| ·引言 | 第60-61页 |
| ·相关工作 | 第61-63页 |
| ·数据和文件同步 | 第61-62页 |
| ·序列相关的操作转换工作 | 第62-63页 |
| ·序列转换算法ABST | 第63-69页 |
| ·本地操作序列 | 第63-64页 |
| ·整合远程操作序列 | 第64-65页 |
| ·提取并发子操作序列 | 第65-66页 |
| ·转换两个操作序列 | 第66-68页 |
| ·合并两个操作序列 | 第68-69页 |
| ·生成用户级事务操作序列 | 第69-76页 |
| ·概述 | 第70-72页 |
| ·提交本地事务操作 | 第72-74页 |
| ·序列交换 | 第74-76页 |
| ·序列转换示例 | 第76-78页 |
| ·处理本地操作序列 | 第77-78页 |
| ·处理远程操作序列 | 第78页 |
| ·正确性证明 | 第78-80页 |
| ·复杂度分析和实验评估 | 第80-83页 |
| ·小结 | 第83-86页 |
| 第5章 Web环境下的同步协议 | 第86-112页 |
| ·引言 | 第86-87页 |
| ·相关工作 | 第87-88页 |
| ·TIPS同步协议 | 第88-94页 |
| ·同步协议概述 | 第89页 |
| ·核心协议 | 第89-91页 |
| ·讨论:健壮性和扩展 | 第91-94页 |
| ·相关的序列转换算法 | 第94-99页 |
| ·相关符号 | 第94页 |
| ·公用函数 | 第94-95页 |
| ·转换函数 | 第95-99页 |
| ·正确性证明 | 第99-106页 |
| ·TIPS协议中的(?)序 | 第99-102页 |
| ·操作转换函数的正确性 | 第102-104页 |
| ·协议的正确性 | 第104-106页 |
| ·复杂度分析和实验评估 | 第106-109页 |
| ·复杂度分析 | 第106页 |
| ·性能评估实验 | 第106-108页 |
| ·讨论 | 第108-109页 |
| ·小结 | 第109-112页 |
| 第6章 统一的Do-Undo框架 | 第112-132页 |
| ·引言 | 第112-113页 |
| ·相关工作 | 第113-114页 |
| ·ERU算法 | 第114-124页 |
| ·ERU概述 | 第114-115页 |
| ·相关符号 | 第115-116页 |
| ·相关操作符 | 第116-117页 |
| ·处理本地Do/Undo操作 | 第117-119页 |
| ·处理远程Do/Undo操作 | 第119-120页 |
| ·整合本地操作 | 第120页 |
| ·整合远程操作 | 第120-124页 |
| ·正确性证明和复杂度分析 | 第124-131页 |
| ·Undo Puzles | 第124-126页 |
| ·Do转换属性 | 第126-128页 |
| ·Undo转换属性 | 第128-129页 |
| ·ERU正确性证明 | 第129-131页 |
| ·复杂度分析 | 第131页 |
| ·小结 | 第131-132页 |
| 第7章 总结与展望 | 第132-134页 |
| ·总结 | 第132-133页 |
| ·展望 | 第133-134页 |
| 参考文献 | 第134-144页 |
| 发表论文及参与项目列表 | 第144-148页 |
| 致谢 | 第148-149页 |
