Rocket - diplomacy - AddressAdjuster

https://mp.weixin.qq.com/s/X0s5CWN84GEiwpNR7tiRgA

 

基于AddressAdjuster介绍LazyModule的实现。

 
 
1. AddressAdjuster
 
 
地址适配器,根据chip_id & mask对地址进行区分:
a. 与chip_id & mask相同的在本地(local)处理;
b. 不同的使用远端(remote)处理;
 
2. LazyModule的实现:lazy val module
 
1) AddressAdjuster是一个中间节点,他有一个上游节点(对应一个输入边),两个下游节点(对应两个输出边):
 
2) 计算需要Local节点处理的地址:
效果相当于:local_address = chip_id & mask
 
以channel A为例:
根据地址是否应当由local处理:val a_local: Bool = local_address === (parent.a.bits.address & mask.U)
a. 设置parent.a.ready由谁输入;
b. 设置parent.a.valid输出到谁;
c. 把parent.a.bits输出到local.a.bits/remote.a.bits;
 
3) 错误处理
 
计算local能处理的地址范围:
 
parent的地址是否包含在local中:
 
地址没在范围内,或者执行不支持的操作,则为错误:
 
对local节点channel A的地址进行适配:
a. 如果没出错,则使用parent.a.bits.address;
b. 如果出错,则使用错误地址:errorSet.base.U;
 
错误的地址会把操作导向错误处理设备:errorDev。
 
4) 小结
 
这里有两层适配:
a. 根据parent.a.bits.address & mask是否与chip_id & mask相等,决定parent对接的是local还是remote;
b. 根据local是否能处理对接到他的地址,决定是否把地址适配成为错误处理地址;
 
3. Node的实现:val node
 
AddressAdjuster中的node,用于与其他节点相连接以组成拓扑结构,以及用于协商参数。
 
 
1) clientFn & managerFn
 
clientFn为dFn,用于把参数向下游传递,managerFn为uFn,用于把参数向上游传递:
 
 
 
clientFn和managerFn返回一个参数:val a = uFn(p)
然后复制成n个:Seq.fill(n)(a)
 
这里,clientFn的返回值被复制成2个,managerFn的返回值被复制成1个。
 
2) managerFn
 
managerFn是uFn,使用两个输出边的参数(UO),生成一个输入边的参数(UI):
 
生成的参数如下:
很遗憾的是,因为AddressAdjuster没有被使用,所以也无法得知这个新生成的参数(UI)如何使用。
 
从其实现上,可以得到如下信息:
a. endSinkId:AddressAdjuster的endSinkId是local和remote的endSinkId之和;
b. minLatency:AddressAdjuster的minLatency是local和remote中的较小值;
c. managers:这个下面单看;
 
从endSinkId和minLatency两个参数看,UI是对两个UO的综合。
 
3) managers
 
a. checkMask
 
AddressAdjuster的mask中的所有比特位,都在local/remote的AddressSet的mask中。
也就是说AddressAdjuster的mask中的比特,是local/remote的所有AddressSet的mask中比特的共同子集。
 
b. 使用AddressAdjuster的mask的AddressSet
 
mask之外的地址集合:AddressSet(id, ~mask)
其中,id从ids中取值:
 
c. local的地址集合是remote的子集
 
 
d. AddressSet(0, ~mask)中的地址漏洞(holes)
 
ra: remote中的地址漏洞;
la: la中的地址漏洞;
holes: ra中的地址集合减去la中的地址集合;
 
这些地址漏洞中的地址要转发(route)到local中去处理,所以la就不算是漏洞,需要从ra中减掉。
 
e. newLocal
 
 
newLocal的地址集合是原地址集合与(0, ~mask)的交集。如果是errorDev,那么还要处理ra的地址漏洞。
 
f. newRemote
 
newRemote的地址集合是原地址集合与(id, ~mask)的交集。
 
问题1:为什么这里没有减去local与(id, ~mask)的交集?
 
g. newLocal + newRemote
 
UI的managers如下:
 
问题2:为什么UI参数的managers中的地址集合,都是原local/remote地址集合与mask之外地址集合的交集呢?
 
因为不知道这个参数如何使用,所以这两个问题就不得而知了。
 
4. 另外一个Node:val chip_id
 
这也是一个Node。
所以AddressAdjuster中包含两个节点(node, chip_id),都可以与其他节点相连接。
 
5. 附录
 
AddressAdjuster.scala:
 
posted @ 2019-05-06 23:05  wjcdx  阅读(362)  评论(2编辑  收藏  举报