https://mp.weixin.qq.com/s/jrqBg2AIpQogBrpwNXjmwg
简单介绍Bundles文件中对TileLink规范(1.7.1)的定义。
1. TLMessages
1) 定义TileLink支持的各种消息:
两点区别:
a. Acquire分成了两个AcquireBlock和AcquirePerm;
b. 使用Hint/HintAck消息实现Hint操作,而非Intent/HintAck。这样更直接易理解,一致性更好;
2) 各个Channel支持的消息:
2. TLPermissions
定义TL-C支持的各个权限(Permission):
协议中定义如下:
主干、主干尖端、分支,这里Tip直接写Trunk Tip更好。
一致性树中:
a. 每个节点都可以缓存一部分数据;
b. 访问节点与被访问节点之间的节点组成访问路径;
c. 主干分出分支;
d. 处在主干最前端的是主干尖端;
从中可以看出:
a. 空白节点(Nothing)未被访问(其中无缓存数据);
b. 因为分支(Branch)还有其他兄弟分支,所以其中的节点不能被写,不然无法做到Cache一致性;
c. 针对Trunk尖端的写操作会穿透之前的所有Trunk节点,所以可以做到自然同步。如果针对TT之前的T节点进行写,则需要额外的同步动作,所以T节点只读。
d. 因为针对B节点的读必然经过TT节点(Cache命中,直接返回),所以无需把TT中的脏数据向B中同步。
3. TLAtomics
定义数字运算、逻辑运算两种原子操作:
4. TLHints
定义两种Hint消息:
5. TLBundle
定义各个Channel的输入输出接口。
1) 概念抽象
2) A
3) B
4) C
5) D
6) E
7) 集中在一起
方向如下:
6. TLBundleSnoop
添加了解耦信号的TLBundle:
最近对DecoupledIO有了新的理解(或者说有了理解)。
所谓DecoupledIO或者ReadyValidIO,即是解耦信号。通过Ready/Valid这一组额外的信号,把信号的两端解耦。
要想知道一件事情是否发生有两种方法:
a. 轮询:自己不停地去检查;
b. 中断:别人告诉自己;
DecoupledIO通过一组信号通知对方有信息要发送或者自己准备好要接收了,这样就避免了自己不停地去检查。
在没有带外信息的情况下,这种检查意味着信号同步的动作。一方启动了同步,另一方则必须被同步,不然就会丢失信息。如此两端被同步信号紧密的耦合在一起。
有了DecoupledIO使用带外的一组信号进行通信,就把两端从同步信号中解放出来。不必被同步,也可以忽略对方的发送信号。耦合性大大降低。
总结一下,解耦体现在如下两点:
a. 不必在意对方在干什么,有需要时对方会呼叫;
b. 不必被对方强制干什么,有需要时可拒绝对方;
7. TLAsyncBundle
实现异步的TLBundle:
8. TLRationalBundle
实现基于RationalIO的TLBundle: