https://mp.weixin.qq.com/s/v8plWCBD8vZkxykjJe4TCg
介绍AsyncCrossing的实现,主要介绍如何实现diplomacy Node和LazyModule相关内容。
1. TLAsyncCrossingSource
异步上游节点(源节点):
1) node:LazyModule的节点成员
node用于与其他diplomacy节点协商参数,在这里是一个异步上游节点:
TLAsyncSourceNode是一个适配器节点:
其使用实例如下:
每一条边在tilelink中是一个link,每条link必然包含a/d两个channel(TL-UL/TL-UH),可能包含b/c/e三条channel(TL-C)。
2) LazyModuleImp匿名子类的实例
TLAsyncCrossingSource是一个原子节点,其内部没有其他子节点。所以其实现只需要连接好输入边和输出边,实现处理逻辑即可。TLAsyncCrossingSource的处理逻辑是添加异步处理。
a. LazyModuleImp的匿名子类
花括号中定义的是LazyModuleImp的匿名子类。因为这个类只在这里使用一次,所以没有命名。
b. 实例化
这里的使用就是直接将其实例化:new LazyModuleImp(this) { ... }
3) 节点逻辑的实现
a. 取出一对输入输出边
适配节点把输入边适配之后,通过输出边输出,所以这里输入边和输出边成对取出:
b. 判断是否TL-C,即是否支持channel b/c/e:
Acquire/Probe都是处理Permission的Transfer消息,TL-C独有:
c. 对必然支持的channel a/d做异步处理
- 输入边的channel a(in.a)经过异步处理,输出到输出边的channel a(out.a);
- 输出边的channel d(out.d),经过异步处理,输出到输入边的channel d(in.d);
d. 若支持b/c/e,则对其做异步处理
根据channel方向的不同,使用ToAsyncBundle/FromAsyncBundle:
e. 若不支持b/c/e,则处理成:不打扰对方。
2. TLAsyncCrossingSink
1) node:LazyModule的节点成员
node用于与其他diplomacy节点协商参数,在这里是一个异步上游节点:
TLAsyncSinkNode也是一个适配器节点。
2) LazyModuleImp匿名子类的实例
a. LazyModuleImp的匿名子类
花括号中定义的是LazyModuleImp的匿名子类。因为这个类只在这里使用一次,所以没有命名。
b. 实例化
这里的使用就是直接将其实例化:new LazyModuleImp(this) { ... }
3) 节点逻辑的实现
a. 取出一对输入输出边
适配节点把输入边适配之后,通过输出边输出,所以这里输入边和输出边成对取出:
b. 判断是否TL-C,即是否支持channel b/c/e:
Acquire/Probe都是处理Permission的Transfer消息,TL-C独有:
c. 对必然支持的channel a/d做异步处理
- 输入边的channel a(in.a)经过异步处理,输出到输出边的channel a(out.a);
- 输出边的channel d(out.d),经过异步处理,输出到输入边的channel d(in.d);
d. 若支持b/c/e,则对其做异步处理
根据channel方向的不同,使用ToAsyncBundle/FromAsyncBundle:
e. 若不支持b/c/e,则处理成:不打扰对方。
3. 对比
1) TLAsyncCrossingSource的diplomacy节点定义为:
MixedAdapterNode传入了两个参数:TLImp, TLAsyncImp,分别作为InwardNodeImp, OutwardNodeImp:
也就是说输入边使用的是TLImp这一组类:
输出边使用的是TLAsyncImp这一组类:
TLImp这一组是标准接口:
TLAsyncImp这一组是添加了异步处理的接口:
所以对TLAsyncCrossingSource而言,输入边是标准的tilelink连接(link, 包含channel a/b/c/d/e), 而输出边是加了异步处理的tilelink连接。
异步信号从TLAsyncCrossingSource节点发出,所以是异步信号的上游节点(Source)。
2) TLAsyncCrossingSink的diplomacy节点定义为:
与TLAsyncCrossingSource相反:
其输入边为加了异步处理的TLAsyncBundle,输出边为TLBundle。
异步信号输入TLAsyncCrossingSink节点,所以是下游节点(Sink)。
3) 组合
TLAsyncCrossingSource和TLAsyncCrossingSink连接在一起,组成了一个异步适配结构。输入的TLBundle输入TLAsyncCrossingSource节点,经过这个适配结构异步处理之后,从TLAsyncCrossingSink的输出边输出。
4. TLAsyncCrossing
把TLAsyncCrossingSource和TLAsyncCrossingSink连接在一起:
1) 复合节点:包含子节点
这是一个复合节点,其内部包含source/sink两个子节点。
2) 子节点连接
这两个节点直接连在一起:sink.node := source.node。
3) 悬边(Dangle)
悬边是指子节点悬而未连的边。
source没有输入边,sink没有输出边。所以自成一体,不需要跟父节点连接。也就不存在需要父节点中转(forward)的悬边(Dangle)。
4) 适配器节点
source是一个适配器节点,但是并没有输入边连接,所以不能适配输入只能自行输出;
sink是一个适配器节点,但是并没有输出边连接,所以不能把输入适配出去,只能自行消化;
由此可以看出,适配器节点的特点是,有则适配,无则不适配。
5) 时钟和复位信号
source和sink这两个LazyModule包含时钟和复位信号,TLAsyncCrossing需要为他们引入时钟和复位信号。
5. 组合与继承
可以看到diplomacy Node是以组合的形式出现在各个LazyModule中的,如TLAsyncCrossingSource和TLAsyncCrossingSink中都有一个node成员。
这个意义是:
a. TLAsyncCrossingSource有一个(has a)异步处理上游节点(TLAsyncSourceNode);
b. TLAsyncCrossingSink有一个(has a)异步处理下游节点(TLAsyncSinkNode);
如果使用继承关系,意义就是:
a. TLAsyncCrossingSource是一个(is a)异步处理上游节点(TLAsyncSourceNode);
b. TLAsyncCrossingSink是一个(is a)异步处理下游节点(TLAsyncSinkNode);
两者在意义上不相同,在使用上灵活度也不同。这里权且提出这个问题,不做深入讨论。