Rocket - tilelink - fastProperty

https://mp.weixin.qq.com/s/9nikweQUGG5FO3Z8t6feaw

 

介绍Parameters中定义的fastProperty的实现。(使用最近的新版本,差别不大)
 
 
1. groupByIntoSeq
 
用于把列表中的每个元素,使用键值(key value)函数f进行分组,然后返回分组结果。
 
1) 两个参数列表:
a. (xs: Seq[A]): A为列表元素的类型,xs为待分组元素的序列;
b. (f: A => K): K为键值的类型,f为计算每个元素(A)键值(K)的函数;可以理解为对每个元素计算哈希值,以方便归入某一个类别。
 
2) 返回值:Seq[(K, immutable.Seq[A])]
a. 元组:(K, immutable.Seq[A]),二元组的第一个元素为键值,第二个为归为此类的元素,这些元素来自于输入参数xs;
b. 键值不止一个,所以返回的是一个二元组的序列。这个序列构成了分组结果;
 
3) 实现
 
a. 创建一个空的有连接的哈希映射:
val map = mutable.LinkedHashMap.empty[K, mutable.ListBuffer[A]]
所谓有连接,即是记录键值对加入Map中的先后顺序,后续遍历时根据这个顺序进行。
 
b. 计算键值:val key = f(x)
c. 如果这个键值当前没有映射任何元素,则创建一个空的ListBuffer:
val l = map.getOrElseUpdate(key, mutable.ListBuffer.empty[A])
d. 如果有,则取出key映射的ListBuffer:
val l = map.getOrElseUpdate(key, mutable.ListBuffer.empty[A])
e. 把x加入到l中:l += x
f. 逐个循环每一个输入元素,进行分组:for (x <- xs) {}
g. 把映射表中的映射,转换为二元组:case (k, vs) => k -> vs.toList }
h. 因为使用的容器是LinkedHashMap,所以转换产生的二元组链表的顺序,跟键值对加入到Map中的顺序一致:map.view.map(...).toList
 
2. fastPropertyGroup
 
基于groupByIntoSeq,使用manager的属性进行分组:
 
1) 使用groupByIntoSeq
 
两个参数列表:
a. 元素列表xs:managers.map(m => (p(m), m.address)),每个元素是一个二元组。
 
二元组第一个元素为p(m)计算得出的键值(K),第二个元素为manager的地址集合。
p是一个函数,他使用参数TLManagerParameters,返回一个K类型的键值。
 
b. 计算键值函数f:_._1
 
这是一个函数,展开形式为:(tuple: Tuple2[K, Seq[AddressSet]]) => tuple._1
 
c. 返回值:二元组序列
 
二元组第一个元素:K,第二个元素为K分组中各个m的address(m.address)的序列。
 
2) 把分组中各个manager的地址集合序列组成一个大的序列:
其中:vs的类型
 
3) 找出区分各个分组的最少的比特位
 
Seq[AddressSet]为一个分组支持的全部地址集合,在AddressDecoder中被成为Port;
Seq[Seq[AddressSet]]为各个分组支持的地址集合,在AddressDecoder中被称为Ports;
 
AddressDecoder的作用是找出区分各个Port的地址的最少的比特集合;
 
4) 尽量合并每个分组的地址集合
 
5) 返回值:Seq[(K, Seq[AddressSet])]
 
返回的是分组之后,需要处理的每个分组的地址集合序列。如注释中所说:Compute the simplest AddressSets that decide a key。
 
3. fastProperty
 
选择一个属性进行分组,然后判断地址属于哪一个分组:
 
1) 待判断的地址:address;
2) 选择熟悉并计算键值的函数:p: TLManagerParameters => K
3) 通过分组键值,转换为输出的函数:d: K => D
4) 判断地址集合序列是否包含待判断地址:a.map(_.contains(address)).reduce(_||_)
5) 把键值转换为输出:d(v)
6) 独热码输出分组键值转换后结果:Mux1H((a.map(_.contains(address)).reduce(_||_), d(v))*)
 
4. findFifoIdFast
 
这是一个使用fifoId进行分组的实例。查找地址属于哪一个fifoId:
 
1) 选择属性并计算键值的函数p:_.fifoId.map(_+1).getOrElse(0)
 
这里选择的熟悉为fifoId。计算出的键值为整数类型。
 
2) 函数d把分组键值转换为可使用的逻辑:(i:Int) => UInt(i)
 
键值i是实际的fifoId+1,如果没有fifoId则为0。函数d把键值直接存入UInt变量,供其他逻辑使用。
 
5. hasFifoIdFast
 
又一个实例:
 
1) 使用属性fifoId是否定义,把所有managers分成两组:_.fifoId.isDefined
2) 根据address所属分组,判断address是否属于一个fifoId:(b:Boolean) => Bool(b)
posted @ 2019-07-17 07:10  wjcdx  阅读(453)  评论(0编辑  收藏  举报