码迷,mamicode.com
首页 > 其他好文 > 详细

Rocket - tilelink - Parameters

时间:2019-07-04 00:25:55      阅读:94      评论:0      收藏:0      [点我收藏+]

标签:family   cut   多个   node   必须   undle   pwa   编号   oauth   

https://mp.weixin.qq.com/s/1I6DcONr0Mg7xiX8F1C7SQ

 
简单介绍TileLink相关的参数实现(具体问题暂时不展开,后续用到时再做分析)。
 
?技术图片?
 
1. TLManagerParameters
 
?技术图片?
定义TileLink Manager节点的参数,Manager节点为Sink节点。
 
1) 参数列表
 
a. address:支持的地址集合;
b. resources:包含的资源;
c. regionType:区域类型;
d. executable:是否可执行;
e. nodePath:使用本参数的节点的路径;
f. 能力标志:supportsXXX, mayDenyXXX等;
g. fifoId:是否支持FIFO,以及FIFO的编号;
 
2) 限制条件
 
?技术图片?
 
a. 支持的地址集合不能为空;
b. 支持的地址集合不能包含无限个地址;
c. 任意两个地址集合不能重叠;
d. 支持PutFull操作的大小不能小于PutPartial;
e. 支持PutFull操作的大小不能小于Arithmetic;
f. 支持PutFull操作的大小不能小于Logical;
g. 支持Get操作的大小不能小于Arithmetic;
h. 支持Get操作的大小不能小于Logical;
i. 支持Acquire Branch操作的大小不能小于Acquire Trunk;
 
3) name
 
?技术图片?
TLManagerParameters是下游(Sink)节点的参数,其传递方向是从下游向上游(Upward)传递。nodePath中记录了参数传递过程中经历的节点:
?技术图片?
 
name表示最后一个节点的名称。如果没有,则使用默认值“disconnected”。
 
4) maxTransfer
 
各个操作支持的最大的传输大小:
?技术图片?
 
5) maxAddress
 
节点支持的最大的地址:
?技术图片?
 
6) minAlignment
 
节点支持的最小对齐:
?技术图片?
 
要求最小对齐不小于最大传输大小:
?技术图片?
 
7) toResource
 
生成地址空间资源类型的描述:
?技术图片?
 
8) findTreeViolation/isTree
 
查找是否存在破坏规则的节点:
?技术图片?
 
2. TLManagerPortParameters
 
一个Manager Port包含多个Manager:
?技术图片?
 
1) 参数列表
 
a. managers: 包含的Managers;
b. beatBytes:单个时钟(心跳、beat)可以传递的数据宽度(字节数);
c. endSinkId:最后一个下游节点的编号;
d. minLatency:最小延迟;
 
2) 限制条件
 
?技术图片?
其中:beatBytes需要是2的幂;
 
3) requireFifo
 
?技术图片?
所有的manager节点必须都定义fifoId,并且都相同。
 
4) 能力
 
?技术图片?
 
5) 软件查找:def find(address: BigInt)
 
在软件执行期使用的查找功能:
?技术图片?
返回包含第一个包含address的manager。
 
6) 硬件查找
 
生成一个硬件查找逻辑:
?技术图片?
 
a. findSafe(UInt)
 
逐个生成查找逻辑。
 
b. findFast(UInt)
 
快速查找:
- 使用AddressDecoder生成需要比对的位的掩码:val routingMask = AddressDecoder(managers.map(_.address))
- 忽略不需要比对的位:_.address.map(_.widen(~routingMask))
- 把扩展后生成的新地址去重:.distinct.
- 再检查是否包含address:.map(_.contains(address)).reduce(_ || _)
 
剩余的find不再介绍。
 
7) 能力
 
使用safe和fast两种方式实现的是否支持能力判断方法:
?技术图片?
 
8) findTreeViolation/isTree
 
检查所有manager是否都符合规则:
?技术图片?
 
3. TLClientParameters
 
TileLink的Client端为上游(Source),定义其参数:
?技术图片?
 
1) 参数列表
 
a. name: 名称;
b. sourceId:源端编号;
c. nodePath:本参数向下游传递过程中经过的节点序列;
d. requireFifo:是否需要使用FIFO;
e. visibility:可见性,可以看到哪些地址;
f. 能力集合:supportsXXX;
 
2) 限制条件
 
?技术图片?
其中:
a. 可见的地址集合不能重合;
 
3) maxTransfer
 
?技术图片?
 
4. TLClientPortParameters
 
?技术图片?
 
1) 限制条件
 
?技术图片?
其中:
a. 所有client的IdRange不能重合;
 
2) 参数处理
 
?技术图片?
 
3) 能力判断
 
a. 全部支持
 
?技术图片?
 
b. 某个支持
 
?技术图片?
 
c. 硬件判断逻辑
 
?技术图片?
 
4) 查找
 
a. 软件查找
 
?技术图片?
 
b. 硬件查找逻辑
 
?技术图片?
 
5) requireFifo
 
生成硬件判断逻辑:
?技术图片?
 
 
5. TLBundleParameters
 
?技术图片?
 
1) 参数列表
 
a. addressBits:地址占用的比特数;
b. dataBits:数据占用的比特数;
c. sourceBits:source编号占用的比特数;
d. sinkBits:sink编号占用的比特数;
e. size:操作大小占用的比特数;
 
2) 合并
 
取各参数的最大值:
?技术图片?
 
3) 通过两端的参数生成
 
?技术图片?
a. addressBits:支持的地址集合在manager中定义;
b. dataBits:使用manager.beatBytes;
c. sourceBits:source编号由client决定;
d. sinkBits:sink编号由manager决定;
e. size:由client/manager共同决定;
 
6. TLEdgeParameters
 
?技术图片?
Edge的参数包含:
a. client的参数;
b. manager的参数;
c. 其他配置参数: parameters;
 
可以通过client和manager参数生成bundle参数:
?技术图片?
 
7. Async相关参数
 
使用AsyncQueueParams表示异步相关的参数:
?技术图片?
 
8. Rational相关参数
 
另一种异步实现。
?技术图片?
 
9. ManagerUnification
 
Manager参数合并。
 
1) 定义一个包含各个参数的Key:
 
?技术图片?
 
2) key: 从manager参数转化为Key的方法:
 
?技术图片?
 
3) 把所有manager根据key映射到哈希映射中:
 
?技术图片?
a. 若没有manager对应key的映射(key => manager),则添加新的映射;
b. 若已有映射,则把当前manager与已有的manager合并;
 
4) 返回新的manager:
 
能力一致的manager合并后的manager列表:
?技术图片?
 

Rocket - tilelink - Parameters

标签:family   cut   多个   node   必须   undle   pwa   编号   oauth   

原文地址:https://www.cnblogs.com/wjcdx/p/11129686.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!