文档协作技术——Operational Transformations简单了解

OT是支持协作软件系统的一种广泛使用的技术。

OT通常使用副本文档储存,每个客户端都拥有对文档的副本。客户端在本地副本以无锁非堵塞方式操作,并将改变传递到其他客户端。当客户端收到其他客户端传播的改变之后,通过转换应用更改,从而保证一致性

  1. 初始文档为"abc",并存在客户端A、B

  2. A发起操作O1=insert[0, “x”],在位置0插入字符x

    B发起操作O2=delete[2, “c”],在位置2删除字符c

在没有OT之前,加入O1发生在O2之前,那么执行O1之后字符串变为"xabc",执行O2之后由于位置2从原来的c变为了b,所以最终字符串会变为"xac",这并不符合预期

而利用OT的协作系统通常使用复制文档存储,其中每个客户端都有自己的文档副本。客户端以无锁、非阻塞的方式操作其本地副本,然后将更改传播到其他客户端。这确保了客户机在Internet等其他高延迟环境中的高响应性。

当客户端接收到从另一个客户端传播的更改时,它通常在执行更改之前对更改进行转换。转换确保所有副本都维护一致性标准(不变量)。这种操作模式产生的系统特别适合在web等高延迟环境中实现协作功能,例如同时编辑文档。

一致性模型——CCI

收敛性

所有文档副本在所有操作执行完成之后都要保持一致

意图保持

确保一个操作作用于所有文档副本的状态需与操作意图一致。操作意图定义为在操作者在其副本执行效果

因果关系保持

操作必须根据自然因果顺序执行

结构

  • transformation control algorithm:

    决定什么操作被转换,并以什么顺序转换

  • transformation properties and conditions:

    定义算法和函数之间关系,并验证算法和函数是否正确

  • transformation functions:

    负责根据操作的影响执行实际的转换。转换函数取决于操作的类型和参数,以及OT系统的数据和操作模型。

在这里插入图片描述

OT方法

以字符层面的OT方法为例

  • T({insert c1, p1}, {insert c2, p2}):

    // 例如插入b到位置4,应用插入a到位置3,那么转换之后就是插入a到位置3,因为插入b到位置4并不影响插入a到位置3
    // 如果是插入b到位置1,应用插入a到位置3,那么转换之后就是插入a到位置4,因为插入b之后,原来3的位置变成了4
    if p1 <= p2 {return insert(c1, p1)
    }else {return insert(c1, p1+1)
    }
    
  • T({insert c1, p1}, {delete, p2}):

    if p1 <= p2 {return insert(c1, p1)
    }else{return insert(c1, p1-1)
    }
    
  • T({delete, p1}, {insert c1, p2}):

    if p1 < p2 {return delete(p1)
    }else {return delete(p1+1)
    }
    
  • T({delete, p1}, {delete, p2}):

    if p1 < p2 {return delete(p1)
    }else if p1 > p2 {return delete(p1-1)
    }else{return
    }
    

设计基于字符串的转换函数比基于字符的操作更具挑战性,因为:

(1)字符串删除包括删除范围,该范围可以包括字符串中的字符以及字符之间的间隔位置;

(2)并发的字符串删除操作可能任意重叠,甚至可能与并发的插入操作重叠

(3)由前一个插入操作插入的字符串可能会被后面的插入和删除操作所改变。

上述因素使得字符转换函数的简化设计方法不适用于字符串转换函数,以获得字符串转换函数的示例)。当字符串转换函数被设计用于组撤销和一致性维护时,额外的复杂性就会发挥作用。是否支持字符串转换可能会对OT系统的各个方面(例如正确性、复杂性和效率)产生重大影响。

基本流程

介绍流程之前,先展示下client、server各自储存的信息

client

  • 最后同步版本id
  • 所有未被发送到服务器的本地改动(pending changes)
  • 所有已发送服务器的本地改动,但未ack(sent changes)
  • 当前文档状态

server

  • 所有收到但未处理的改变(pending changes)
  • 所有已处理的改变log(revision log)
  • 自上次处理后文档状态

以下便是基本流程

当客户端接收到服务端ack或者接收到操作,则版本加一

  1. 初始文档为空文本,A、B版本均为0

  2. A在本地执行{insert “hello”, @0}并发送给服务器

    A本地文本变为"hello"

  3. B在本地执行{insert “!”, @0}

    B本地文本变为"!"

  4. 随后A在本地执行{insert “world”, @5},但未发送,因为前一个条件还未ack

    A本地文本变为"helloworld"

  5. server处理完A的第一条改动,记录到revision log,随后发送ack给A,并传播改变到B

    A版本变更为1

  6. B接收到改动后,应用transformation函数作为结果。原来pending change中的{insert “!”, @0}变为{insert “!”, @5}

    B本地文本变为"hello!",并更新版本为1

  7. A发送第二次改动,B也发送改动,但A先得到ack

    此时A文本为"helloworld",B文本变为"helloworld!"

    A版本更新为2,B收到A的改动后,也更新为2

  8. server收到B的改动后,但由于B操作版本id 2小于实际id 3,因此再次应用transformation函数,并将其保存为版本3,并将最终改动传播给所有客户端

    所有客户端最终文本为"helloworld!"

基本流程中关键在于以服务器确定顺序为准,应用transformation函数转换使得最终状态一致

Undo流程

  1. 最初文档内容为"12"

  2. A执行O1 = {insert “y”, 2},随后操作传递到B,所有文档都更新为"12y"

  3. B执行O2 = {insert “x”, 0},随后操作传播到A,所有文档都更新为"x12y"

  4. A执行undo(O1)去撤回O1操作

    1. OT会先生成逆操作!O1 = {delete, 2}
    2. 然后会应用转换函数到!O1和O2,!O1’ = T(!O1, O2) = {delete, 3}

    最终得到文档"x12"

压缩

假设最初文本为"123",连续执行了

  1. O1 = {insert “x”, 2}
  2. O2 = {insert “abc”, 1}
  3. O3 = {insert “y”, 2}
  4. O4 = {delete, 7}

那么压缩过程

  1. 将最右边的操作O4与相邻的操作O3进行转置:转置(O3, O4) = [O’4, O’3],其中O’4 = Delete[6], O’3 = O3,得到L’ = [O1, O2, O’4, O3]。
  2. 将O’4进一步与新的相邻操作O2进行转置:转置(O2, O’4) = [O’ 4, O’2],其中O’4 = Delete[3], O’2 = O2,得到L’ = [O1, O’4, O2, O3]。
  3. 用新的相邻操作O1检查O’ 4;并且发现它们相互重叠互补(即对文档没有影响),因此将O’ 4和O’ 1从L中剔除,得到L’ = [O2, O3]。
  4. 将L’中相邻重叠的两个操作O2和O3合并为一个操作O’2 = Insert[1,“aYbc”],得到L’ = [O '2]。
  5. 将L’ = [O ’ 2],而不是L = [O1, O2, O3, O4]传播到各本地文档进行集成。

批判

在分布式系统世界中,操作以有限速度传播,参与者状态往往不同,因此产生的状态和操作的组合非常难以预测和理解。这使得形式证明非常复杂和容易出错

Ref

  1. https://operational-transformation.github.io/
  2. https://en.wikipedia.org/wiki/Operational_transformation
  3. https://medium.com/coinmonks/operational-transformations-as-an-algorithm-for-automatic-conflict-resolution-3bf8920ea447
  4. https://www3.ntu.edu.sg/scse/staff/czsun/projects/otfaq

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/673174.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【前端web入门第四天】03 显示模式+综合案例热词与banner效果

文章目录: 1. 显示模式 1.1 块级元素,行内元素,行内块元素 1.2 转换显示模式 综合案例 综合案例一 热词综合案例二 banner效果 1. 显示模式 什么是显示模式 标签(元素)的显示方式 标签的作用是什么? 布局网页的时候&#xff0c;根据标签的显示模式选择合适的标签摆放内容。…

揭秘备忘录模式:打造灵活高效的状态管理解决方案

备忘录模式&#xff08;Memento Pattern&#xff09;是一种行为设计模式&#xff0c;它允许在不暴露对象内部状态的情况下捕获和恢复对象的内部状态。这种模式主要用于实现撤销操作。 在 Java 中&#xff0c;备忘录模式通常包括以下三个角色&#xff1a; 发起人&#xff08;O…

leetcode 1539.第k个缺失的正整数

这个题作者就当作是练习C的STL容器来做的&#xff0c;也就是暴力硬解吧。 思路&#xff1a;按照数据范围&#xff0c;我们再创造一个全集&#xff0c;利用差集的概念来求出来arr所没有的元素&#xff0c;放到结果数组里面&#xff0c;然后再对位置进行筛选。 注意&#xff1a…

vue3:25—其他API

目录 1、shallowRef和shallowReactive 2、readonly与shallowReadonly readonly shallowReadonly 3、toRaw和markRaw toRaw markRaw 4、customRef 1、shallowRef和shallowReactive shallowRef 1.作用:创建一个响应式数据&#xff0c;但只对顶层属性进行响应式处理。2…

代码随想录算法训练营第13天—二叉树02 | ● *层序遍历(对应10道题) ● *226.翻转二叉树 ● 101.对称二叉树

*层序遍历&#xff08;二叉树的广度优先搜索&#xff0c;对应10道题&#xff09; 102.二叉树的层序遍历(opens new window) 107.二叉树的层次遍历II(opens new window) 199.二叉树的右视图(opens new window) 637.二叉树的层平均值(opens new window)斜体样式 429.N叉树的层序…

Windows 安装 MySQL 最新最简教程

Windows 安装 MySQL 最新最简教程 官网地址 https://dev.mysql.com/downloads/mysql/下载 MySQL zip 文件 配置 MySQL1、解压文件 2、进入 bin 目录 搜索栏输入 cmd 回车进入命令行 C:\Users\zhong\Desktop\MySQL\mysql-8.3.0-winx64\mysql-8.3.0-winx64\bin 注意这里是你自己…

JUnit实践教程——Java的单元测试框架

前言 大家好&#xff0c;我是chowley&#xff0c;最近在学单元测试框架——JUnit&#xff0c;写个博客记录一下&#xff01; 在软件开发中&#xff0c;单元测试是确保代码质量和稳定性的重要手段之一。JUnit作为Java领域最流行的单元测试框架&#xff0c;为开发人员提供了简单…

std::vector<cv::Mat>和unsigned char** in_pixels 互相转换

将std::vectorcv::Mat转换为unsigned char** in_pixels&#xff0c; std::vector<cv::Mat> matVector; // 假设已经有一个包含cv::Mat的vector// 创建一个二维数组&#xff0c;用于存储像素数据 unsigned char** in_pixels new unsigned char*[matVector.size()]; for …

(2)(2.14) SPL Satellite Telemetry

文章目录 前言 1 本地 Wi-Fi&#xff08;费用&#xff1a;30 美元以上&#xff0c;范围&#xff1a;室内&#xff09; 2 蜂窝电话&#xff08;费用&#xff1a;100 美元以上&#xff0c;范围&#xff1a;蜂窝电话覆盖区域&#xff09; 3 手机卫星&#xff08;费用&#xff…

JS - 处理元素滚动

业务功能中时常有元素滚动的功能&#xff0c;现在就总结一下一些常用的事件。 一、定位滚动元素 做一切滚动操作之前都应该先定位到滚动元素&#xff0c;再做其他操作&#xff0c;如滚动顶部&#xff0c;获取滚动距离、禁止滚动等。 把以下代码复制粘贴到浏览器 Console 面板…

IT行业顶级证书:助力职业生涯的制胜法宝

IT行业顶级证书&#xff1a;助力职业生涯的制胜法宝 在IT行业&#xff0c;拥有一系列高含金量的证书是事关职业生涯发展的关键。这些证书不仅是技能的象征&#xff0c;更是在激烈的市场竞争中脱颖而出的法宝。让我们一起揭晓在中国IT行业中&#xff0c;哪些证书是最具含金量的…

仰暮计划|“​爷爷说这些话的时候眼睛都红着,他那变形的脊柱和瘸拐的双腿都证明他曾为这个家付出了血汗拼尽了全力”

赴一场拾光之旅&#xff0c;集往年回忆碎片 爷爷生于1952年&#xff0c;今年已有七十一了&#xff0c;是河南焦作沁阳北金村的一位地道农民&#xff0c;劳苦一生&#xff0c;如今终于得以颐养天年。许是早年经历过于难忘&#xff0c;爷爷如今与我讲起仍是记忆犹新&#xff0c;…

百卓Smart管理平台 uploadfile.php 文件上传漏洞【CVE-2024-0939】

百卓Smart管理平台 uploadfile.php 文件上传漏洞【CVE-2024-0939】 一、 产品简介二、 漏洞概述三、 影响范围四、 复现环境五、 漏洞复现手动复现小龙验证Goby验证 免责声明&#xff1a;请勿利用文章内的相关技术从事非法测试&#xff0c;由于传播、利用此文所提供的信息或者工…

uniapp 本地存储的方式

1. uniapp 本地存储的方式 在uniapp开发中&#xff0c;本地存储是一个常见的需求。本地存储可以帮助我们在客户端保存和管理数据&#xff0c;以便在应用程序中进行持久化存储。本文将介绍uniapp中本地存储的几种方式&#xff0c;以及相关的代码示例。 1.1. 介绍 在移动应用开发…

#Js篇:字符串的使用方法es5和es6

字符串 \ &#xff1a;单引号&#xff08;\u0027&#xff09;\" &#xff1a;双引号&#xff08;\u0022&#xff09; charAt 定义&#xff1a; 返回指定位置的字符&#xff0c;参数时从0开始编号的位置 参数&#xff1a; 位置下标 abc.charAt(1) // "b" …

瑞_力扣LeetCode_二叉树相关题

文章目录 说明题目 144. 二叉树的前序遍历题解 题目 94. 二叉树的中序遍历题解 题目 145. 二叉树的后序遍历题解 题目 105. 从前序与中序遍历序列构造二叉树题解 题目 106. 从中序与后序遍历序列构造二叉树题解 &#x1f64a; 前言&#xff1a;本文章为瑞_系列专栏之《刷题》的…

【深度学习】Softmax实现手写数字识别

实训1&#xff1a;Softmax实现手写数字识别 相关知识点: numpy科学计算包&#xff0c;如向量化操作&#xff0c;广播机制等 1 任务目标 1.1 简介 本次案例中&#xff0c;你需要用python实现Softmax回归方法&#xff0c;用于MNIST手写数字数据集分类任务。你需要完成前向计算…

牛客周赛 Round 31 E.小红的子集取反【dp+设置偏移量】

原题链接&#xff1a;https://ac.nowcoder.com/acm/contest/74362/E 时间限制&#xff1a;C/C 1秒&#xff0c;其他语言2秒 空间限制&#xff1a;C/C 262144K&#xff0c;其他语言524288K 64bit IO Format: %lld 题目描述 小红拿到了一个数组&#xff0c;她准备选择若干元素…

python将Word页面纸张方向设置为横向

通过python-docx的章节属性&#xff0c;就可以更改纸张方向、纸张尺寸。 import docx from docx.enum.section import WD_ORIENT from docx.shared import Cmdocument docx.Document() section document.sections[0]# 设置纸张大小为A4大小 section.page_width Cm(21) sect…

work day7

第七章 运算符重载 一、填空题 1、在下列程序的空格处填上适当的字句&#xff0c;使输出为&#xff1a;0&#xff0c;2&#xff0c;10。 #include <iostream> #include <math.h> class Magic {double x; public: Magic(double d0.00):x(fabs(d)) {} Magic operato…