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

Rocket - tilelink - fastProperty的更多相关文章

  1. Rocket - tilelink - RegisterRouter

    https://mp.weixin.qq.com/s/DaJhf7hEoWsEi_AjwSrOfA   简单介绍RegisterRouter的实现.   ​​   1. 基本介绍   实现挂在Tile ...

  2. Rocket - tilelink - Nodes

    https://mp.weixin.qq.com/s/KJ8pVH76rdxPOZ1vE3QlKA   简单介绍tilelink对Diplomacy Nodes的实现.   ​​   1. TLImp ...

  3. Rocket - tilelink - AsyncCrossing

    https://mp.weixin.qq.com/s/v8plWCBD8vZkxykjJe4TCg   介绍AsyncCrossing的实现,主要介绍如何实现diplomacy Node和LazyMo ...

  4. Rocket - tilelink - mask

    https://mp.weixin.qq.com/s/Gqv09RIgSSg5VKe-wb4aGg   讨论tilelink中使用MaskGen生成mask的用法.   1. tilelink中的ma ...

  5. Rocket - tilelink - Parameters

    https://mp.weixin.qq.com/s/1I6DcONr0Mg7xiX8F1C7SQ   简单介绍TileLink相关的参数实现(具体问题暂时不展开,后续用到时再做分析).   ​​   ...

  6. Rocket - tilelink - Bundles

    https://mp.weixin.qq.com/s/jrqBg2AIpQogBrpwNXjmwg   简单介绍Bundles文件中对TileLink规范(1.7.1)的定义. 参考链接:https: ...

  7. Rocket - tilelink - TLBusWrapper.to

    https://mp.weixin.qq.com/s/jSnhBzU5_ayQCg5fWAcx-g 简单介绍TLBusWrapper.to()的实现.主要介绍确定this{...}对应代码的过程. 1 ...

  8. Rocket - tilelink - BusWrapper

    https://mp.weixin.qq.com/s/03BvgTNQtD75Guco6gUGQg   简单介绍BusWrapper的实现.   1. HasTLBusParams   定义SoC的挂 ...

  9. Rocket - tilelink - Xbar

    https://mp.weixin.qq.com/s/UXFHYEQaYotWNEhshro68Q   简单介绍Xbar的实现.   ​​   1. 基本介绍   用于为Xbar的输入和输出连接生成内 ...

随机推荐

  1. 解决php获取不到Authorization问题

    我用的是thinkphp3.2.3, 在使用jwt的时候通过Authorization传递token,但是每次都接收不到,通过修改..htaccess文件,问题成功解决了,下面是的.htaccess文 ...

  2. 【带着canvas去流浪(15)】threejs fundamentals翻译系列1-scene graph

    示例代码托管在:http://www.github.com/dashnowords/blogs 博客园地址:<大史住在大前端>原创博文目录 华为云社区地址:[你要的前端打怪升级指南] 目录 ...

  3. [hdu5101]计数问题

    http://acm.hdu.edu.cn/showproblem.php?pid=5101 题目大意:给n个集合,求从两个不同集合里面各取一个数使得它们的和大于给定数的方案数. ans=从所有数里面 ...

  4. SpringMVC 自定义全局PropertyEditor

    <mvc:annotation-driven></mvc:annotation-driven>注入了@Controller与@RequestMapping需要的注解类 < ...

  5. JavaWeb学习之JSP(二) JSP标签

    JSP常用标签 什么是JSP标签 JSP标签,有的地方也叫做JSP动作,在JSP中编写大量的java代码会使JSP页面显得杂乱无章,看起来非常不舒服,因此JSP提供了一些类似html的标签,通过这些标 ...

  6. Abp领域事件(EventBus)源码解析

    Abp中使用EventBus来解耦领域中的业务逻辑,也是订阅-发布模式的一种实现.简单来说就是,当我触发一个事件,注册了这个事件的处理器就会被找到并执行. 先看看整体代码结构 其中Entities文件 ...

  7. ubuntu下图形程序自启动的几种方法

    版权声明:本文为本文为博主原创文章,转载请注明出处.如有问题,欢迎指正.博客地址:https://www.cnblogs.com/wsg1100/ @ 目录 0.前言 1.带桌面环境的自动启动 1.1 ...

  8. 关于python中第三方库安装方法和问题解决

    一.安装方法 方法一: 1.管理员身份启动命令行(运行--->cmd) 2.pip install 库的绝对路径和库的详细名称 :或者运用cd命令跳转到下载好的库所在的位置然后pip insta ...

  9. Gitlab 修改ldap认证

    1. 备份数据 2. 修改配置 使用自己搭建的openldap 使用用户中心的openldap 说明:base属性执行所有员工,user_filter属性主要用来实现分组功能.上面的配置是只有ldap ...

  10. Copy与mutableCopy的个人理解

    Copy与mutableCopy的个人理解 1. 相同点 都是将原有对象进行深拷贝(狭义) 这里的狭义上的深拷贝指的是在不考虑编译器在编译时对不可变对象进行copy时采取的优化策略:即将不可变对象的地 ...