Video在线视频

合同 最早提出这个 这个例子的

当时这个苏联还存在

苏联和美国呢是 世界上的两个超级大国

没有任何一个组织 能够凌驾于他们之上

对他们指手画脚

所以这个合同呢 是他们双方要订立的合同

有这么三个条件

第一个互相提供服务

说一个提供的服务叫做a

一个提供的服务叫做b

这两个都是变迁了 我给你服务吗

第二 不接受任何第三方的仲裁

一切都在合同里面写清楚

出现了矛盾说有国际法庭

有联合国来做一个评价说谁是谁非

我们不接受

两个超级大国比联合国还要大

所以他们不接受这样的

调停也好 评估也好 判决也好

所以第二条叫不接受

第三方的仲裁

第三个呢 不承担首先服务的义务

说我先服务 然后你给我服务

任何一方不提供首先服务的这个义务

我们要用同步距离这个概念

来为他们提供一个参考的

这个合同的样本吧

你可以根据这个 因为我们不知道a和b是什么

所以没法去涉及到细节

a和b之间的同步距离呢

就是一方比另外一方多做的

所以就是他的损失 可能的损失

不可能这个同步距离是零

说我一点损失都没有

你又不承担任何这个先服务的义务

你又不接受第三方仲裁

同步距离为零

大家绝对的同时服务不大可能

我们刚才讲了同步距离为零

实际上是一件事情的两个方面

所以同步距离为1呢 是最小可能的选择

就是你最多 多服务一次

如果能够做到这样

你这个合同就是最优的了 损失最小的

我们看看行不行呢

这个图 就是a和b轮流发生

我们这个token放在哪里呀

放在s1还是放在s2

如果放在s1

那么a就有义务首先服务了

如果你要是放在s2

那么b有义务首先发生了

不符合我们的要求

所以既不能放在s1也不能放在s2

那你说我们来掷色子吧

把这个token放在中间

掷个色子看看这两个变迁

一个把它放到s1 一个把它放到s2

这两个是冲突的

那么怎么决定这个谁发生的

怎么决定把这个token放到哪里呢

我们说过要由外界

输入一位信息来消减这个冲突

也就是说有谁来掷这个色子呢

但是合同要求不接受任何第三方的仲裁

你这引入第三方

两个人都不接受

所以呢 同步距离为1 签不成合同

你说我的损失 我要求最多只损失1

我告诉你不行

这个同步距离 我们做不到

没有这样的合同

下一个同步距离就是2了 对不对

我们看同步距离为2

如果你这两个token要是一个放在s1

一个放在s2

作为一个EN系统就死了

因为它要求输入有token

但是输出没有token

它不可能是EN系统

EN系统它就死了

如果它是个PT系统

那么这个token归谁呢

我们下面再一看就知道

token归谁是什么含义

那么我们把这个同步距离为2呢

我们给它改写一下

改写成这样一个圈

这个a呢在最上面 就是一方提供的服务

b呢是另一方提供的服务

我们两个token放在

中间的这两个s元素里面

这里面呢

有a a1 a2 这三个以a命名的变迁

这个a呢 就是刚才我说的提供的服务

这个a1是什么呢

是我提供完服务以后

这个token会落在它后面的库所里面

而这个库所就使得a1呢有发生权了

这个a1呢就是a方

提供完这个服务以后

把服务网的信息传递给b

所以这个里面的这个token

a完了以后这个token呢

是属于a方的

下面那就是b1了

b1是什么呢 是对方

对方接受这个token以后

说你给我服务完了

b1呢是来检查你的服务

符合不符合我们的要求

你是不是糊弄我呀

所以这个a以后的这个token呢

是由a方产生的

但是它是属于b方的

b拿了这个token以后来检查你的质量

符合要求了以后b1发生

然后产生一个token

这个token呢是交给了a方

a方呢就是这个a2

a2干什么就是b方说

我觉得你的服务是可以接受的

然后我给你一个凭证

说你可以拿这个凭证呢

向我方要求下一次的服务

所以这个a2呢 是a方的这个动作

它凭着b1给它的这个token

向b方提出要求说

你给我服务吧 我已经接受了

然后呢 这个b呢就发生了

同样的b发生以后交给a方来检查

a方检查以后满足了

给b方一个凭证

b方又来向a方要求下一次的服务

token都由谁产生 归谁

这样的很好理解的

这样一个合同的模板吧

那么当你补充了a和b是什么

怎么来验收等等这些细节以后

那么这个合同呢 就行了

我能告诉你的就是

这样的合同你签了以后

你最多的损失就是2

因为σ等于2同步距离为2

你最多提供连续两次服务

可能多了一次

a这个服务 b这个服务 足够的小

你能够承担这样的损失

那么这个合同就签订完了

就是告诉你

你的损失是什么

最多你连续服务两次

然后人家不理你 不服务了

你呢 其实最多服务 多服务了一次

所以这就是这个合同

那么有了同步距离以后

我们可以帮助两个超级大国

现在虽然超级大国

这个概念好像不怎么提了

国与国之间的合同还是有效的

好像很少有两个国家的合同

能够接受第三国的这个仲裁的 是不是

所以这就是同步距离的第一个应用

来帮助大家起草一个合同的模板