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);