https://mp.weixin.qq.com/s/gbR5fuDbE_nUFVxw-p4rsA

 
简单介绍ReduceOthers的实现。
 
 
1. 基本介绍
 
输入一组Bool元素,把其他位置元素逐个相与的结果,作为当前位置的值输出。
 
2. helper
 
helper实现ReduceOthers的核心功能:
 
1) 输入参数
 
x是输入的一组Bool类型的元素。
 
2) 返回值
 
返回一个元组:(Seq[Bool], Bool)
a. Seq[Bool]:每个位置上返回其他位置上元素逐个相与的结果;
b. Bool:全部输入元素相与的结果;
 
3) x.size <= 1
 
 
可以分成两组情况:
a. x.size == 0:返回(true, true)
b. x.size == 1:返回(true, x(0))
 
4) x.size <= 3
 
因为元素个数有限,所以直接生成结果逻辑。
a. 返回元组的第二个元素为x里的所有元素相与的结果:x.reduce(_ && _)
b. x.take(i)取x中从0到i(不包含,exclusive)的元素:
 
 
c. x.drop(i + 1)取x中从i+1(包含,inclusive)开始的元素;
d. 这样x.take(i) ++ x.drop(i + 1)取x中除去i之外的全部元素;
e. 把这些元素逐个相与:(x.take(i) ++ x.drop(i + 1)).reduce(_ && _)
 
5) x.size > 3
 
如果x中元素过多,则需要提升效率。
 
a. x.grouped(2)把x中的元素每2个分成一个小组,若有多余的1个元素,则自成一组;
 
b. (i ^ 1) >= x.size表示自成一组的多余的1个元素
 
 
c. i/2表示当前元素所在的小组的编号;
d. half(i / 2)表示其他小组中所有元素相与的结果;
e. x(i ^ 1)表示当前小组中的另外一个元素;
f. x(i ^ 1) && half(i / 2)表示其他所有元素的相与结果;
 
3. def apply(x: Seq[Bool]): Seq[Bool]
 
使用helper实现ReduceOthers的功能,考虑输入带有常量的情况。
 
所谓常量就是输入是一个已知恒定的值(字面量,lieral),而不是可变的值(variable)。
a. 把输入分成常量和变量:val (literals, variables) = x.partition(_.isLit)
b. 找出值为假的常量:val falses = literals.count(_.litValue == 0)
c. 如果有两个及以上值为假的常量,则所有输出都为假:
 
这里有个Bug,应该是大于等于2:
 
d. 如果只有一个为假的常量
这个值为假的常量所在位置的输出由其他元素相与获得;
其他位置的输出为假;
 
e. 如果没有为假的常量
 
常量不加入相与运算,只需要求出所有变量ReduceOthers的输出。
 
常量元素对应位置的输出为所有变量相与的结果;
变量元素对应位置的输出从helper的输出中逐个取出;
 
4. def apply(x: Seq[(Bool, Bool)])
 
输入参数为:Seq[(Bool, Bool)]
其中:
a. 所有元组的第二个Bool集中在一起进行ReduceOthers运算。
b. 元组的第一个Bool,连接到第二个Bool对应位置ReduceOthers的运算结果;
 
5. 附录
 
 
 

Rocket - util - ReduceOthers的更多相关文章

  1. Rocket - util - Annotations

    https://mp.weixin.qq.com/s/7C8ZmPpwAqFqyKjL9K40Fg   介绍util中定义的注解(Annotations).   ​​   1. Annotation ...

  2. Rocket - util - Timer

    https://mp.weixin.qq.com/s/Z4JJhZ_jL1lqF1nf_orq9A   简单介绍Timer的实现.   ​​   1. 基本功能   实现定时器的功能.   2. Ti ...

  3. Rocket - util - Replacement

    https://mp.weixin.qq.com/s/zCP7wPuxgQ-r94Tr6BV5iw   简单介绍Replacement的实现.   ​​   1. 基本介绍   用于实现Cache替换 ...

  4. Rocket - util - Repeater

    https://mp.weixin.qq.com/s/xyEq3DgYuf2QuNjssv8pkA   简单介绍Repeater的实现.   ​​   1. 基本功能   A Repeater pas ...

  5. Rocket - util - PrefixSum

    https://mp.weixin.qq.com/s/G2vLP-ncoJzSOgxGGEJkfA   简单介绍PrefixSum的实现.   ​​   1. 基本介绍   ​​ 把一个序列从前向后逐 ...

  6. Rocket - util - MultiWidthFifo

    https://mp.weixin.qq.com/s/CUnrpyQN5LRBR5bxC5u86A   简单介绍MultiWidthFifo的实现.   ​​   1. 基本介绍   实现一个输入宽度 ...

  7. Rocket - util - MaskGen

    https://mp.weixin.qq.com/s/_aJqf1cFJDK5RVRBhxTWOw   介绍MaskGen的实现.   ​​   1. 基本介绍   给定总线宽度beatBytes,根 ...

  8. Rocket - util - Misc

    https://mp.weixin.qq.com/s/kf4FvAFye_bRdT49Yow7Hg   简单介绍Misc中各个辅助方法的用途和实现.   ​​   1. ParameterizedBu ...

  9. Rocket - util - LanePositionedQueue

    https://mp.weixin.qq.com/s/yO_9Ec3S5-AosRVLpsBgOg   简单介绍基于通道位置的队列(LanePositionedQueue)的实现.   ​​   1. ...

随机推荐

  1. idea设置配置提示模板

    File-->Settings-->LIve Templates-->+-->Template Group(模板名称)-->Live Template

  2. Android 电池管理系统架构总结 Android power and battery management architecture summaries

    文章目录 1 整体架构 2 设计构架 2.1 driver 2.1.1 Charger.ko 2.1.2 Battery.ko 2.2 power supply 2.2.1 基础架构 2.2.2 代码 ...

  3. u-boot 源码分析(1) 启动过程分析

    u-boot 源码分析(1) 启动过程分析 文章目录 u-boot 源码分析(1) 启动过程分析 前言 配置 源码结构 api arch board common cmd drivers fs Kbu ...

  4. 盘点6个Kubernetes监视工具

    导读:监控可帮助您确保Kubernetes应用程序平稳运行并排除可能出现的任何问题.Prometheus是一种流行的开源监视工具,许多公司都使用它来监视其IT基础结构.但是,还有许多其他监视工具可用. ...

  5. Mysql 常用函数(14)- lower 函数

    Mysql常用函数的汇总,可看下面系列文章 https://www.cnblogs.com/poloyy/category/1765164.html lower 的作用 将所有字符串更改为小写,然后返 ...

  6. tp5.1使用路径常量

    echo "app_path=========".Env::get('app_path')."</br>"; echo "root_pat ...

  7. 到手的DEM不会用?教你6个常用强大功能

    一.概述 DEM是数字高程模型(Digital Elevation Model)的简称,接触GIS,规划,设计类的多多少少会接触到DEM,可是这个直接查看黑溜溜一片DEM到底可以用来做什么呢? 二.背 ...

  8. python实现简易工资管理系统(Salary Manage)源码

    一.需求: 1.导入文件读取员工的信息和工资信息,最后将增加.删除或修改的员工工资信息写入原来的文件中 2.能够实现员工工资信息的增删改查 3.当增加和修改员工信息时用户用空格分隔员工姓名和薪资 4. ...

  9. ql的python学习之路-day7

    函数与函数式编程 一.编程模式分为三种: 1.面向对象编程:类----->关键字class 2.面向过程编程:过程----->关键字def,没有return 3.函数式编程:函数----- ...

  10. vue中v-for索引不要用key

    今天发现在给元素v-for渲染的时候,想给元素添加key特性存储索引,发现不奏效: <div class="apic" v-for="(pic,index) in ...