MFP and MOP
MFP and MOP
- MFP and MOP
- 参考
MFP and MOP
MFP(Maximal Fixed Point)是在运行过程中沿着数据流反复迭代。
M F P = F ( x ⊔ y ) MFP = F(x ⊔ y) MFP=F(x⊔y)
MOP(Meet Over all Paths)是找出从开头到结尾所有路径,分别进行传递函数计算,最后将算完的所有路径进行⊔/⊓。
M O P = F ( x ) ⊔ F ( y ) MOP = F(x) ⊔ F(y) MOP=F(x)⊔F(y)
如上图,则MFP为:
I N [ S 4 ] = f 3 ( f 1 ( O U T [ E n t r y ] ) ⊔ ( f 2 ( O U T [ E n t r y ] ) ) IN[S4] = f_{3}(f_{1}(OUT[Entry]) ⊔ (f_{2}(OUT[Entry])) IN[S4]=f3(f1(OUT[Entry])⊔(f2(OUT[Entry]))
MOP为:
I N [ S 4 ] = f 3 ( f 1 ( O U T [ E n t r y ] ) ) ⊔ f 3 ( ( f 2 ( O U T [ E n t r y ] ) ) IN[S4] = f_{3}(f_{1}(OUT[Entry])) ⊔ f_{3}((f_{2}(OUT[Entry])) IN[S4]=f3(f1(OUT[Entry]))⊔f3((f2(OUT[Entry]))
如果F是distributive的话,MFP和MOP的精度一样,否则MOP精度高于MFP。
F是distributive,也即
F ( x ⊔ y ) = F ( x ) ⊔ F ( y ) F(x ⊔ y) = F(x) ⊔ F(y) F(x⊔y)=F(x)⊔F(y)
对于可达性分析(Reaching Definitions)、存活变量分析(Live Variables Analysis)和可用表达式分析(Available Expressions Analysis),都是distributive的。
对常量传播则不是distributive的。下面这个例子,显然MOP分析结果更加准确。
参考
- https://blog.csdn.net/zhang971105/article/details/109244115#t27
MFP and MOP相关推荐
- 【Groovy】MOP 元对象协议与元编程 ( 方法委托 | 批量方法委托 )
文章目录 一.批量方法委托 二.完整代码示例 一.批量方法委托 在上一篇博客 [Groovy]MOP 元对象协议与元编程 ( 方法委托 | 正常方法调用 | 方法委托实现 | 代码示例 ) 中 , 将 ...
- 【Groovy】MOP 元对象协议与元编程 ( 方法注入 | 使用 @Mixin 注解进行方法注入 | Mixin 混合多个类优先级分析 )
文章目录 一.使用 Mixin 混合进行方法注入 二.Mixin 混合多个类优先级分析 一.使用 Mixin 混合进行方法注入 在上一篇博客 [Groovy]MOP 元对象协议与元编程 ( 方法注入 ...
- 【Groovy】MOP 元对象协议与元编程 ( 方法注入 | 使用 ExpandoMetaClass 进行方法注入 )
文章目录 一.使用 ExpandoMetaClass 进行方法注入 三.完整代码示例 一.使用 ExpandoMetaClass 进行方法注入 在 [Groovy]MOP 元对象协议与元编程 ( 方法 ...
- 【Groovy】MOP 元对象协议与元编程 ( 方法注入 | 使用 Category 分类进行方法注入的优缺点 )
文章目录 一.使用 Category 分类进行方法注入的优点 二.使用 Category 分类进行方法注入的缺点 一.使用 Category 分类进行方法注入的优点 之前的博客 [Groovy]MOP ...
- mfp 服务器控制中心,小身材大作用 固网USB打印服务器评测
1固网USB打印服务器整体介绍 [中关村在线办公打印频道原创]网络打印服务器的主要作用就是将那些不支持网络打印的打印机变身成为网络打印机,除此之外因为网络打印成为日常办公不可或缺的一部分,使用打印服务 ...
- 网络打印机安装教程:HP LaserJet Pro MFP M226dw,Windows解决外网无法使用打印机问题
网络打印机安装教程:HP LaserJet Pro MFP M226dw,Windows解决外网无法使用打印机问题 本实验室打印机型号为 HP LaserJet Pro MFP M226dw 目前设置 ...
- 惠普局域网共享打印机设置_Windows7局域网共享打印机教程,HP M1136 MFP打印机共享方法...
Windows7共享局域网打印机比较麻烦,要设置很多东西.本文以HP M1136 MFP打印机为例详细说明一下. 1.右击打印机属性,共享打印机,为其起一个共享名: 2.打开控制面板,更改高级共享设置 ...
- 惠普HP LaserJet Enterprise M4555 MFP 驱动
惠普HP LaserJet Enterprise M4555 MFP 驱动是官方提供的一款打印机驱动,本站收集提供高速下载,用于解决打印机与电脑连接不了,无法正常使用的问题,本动适用于:Windows ...
- winxp连接不到HP LaserJet Pro M128fp MFP解决方法
HP LaserJet Pro M128fp MFP驱动下载地址: https://support.hp.com/cn-zh/drivers/selfservice/hp-laserjet-pro-m ...
最新文章
- linux perl telnet安装,linux @ Net :: Telnet和vt-100终端的Perl问题
- MWC 2015:Peel全面升级为用户打造智能家居控制新体验
- 陈丹琦带着清华特奖学弟发布新成果:打破谷歌BERT提出的训练规律!这个庆祝方式太学神了吧...
- 动态代理——》AOP —— Spring 中的 AOP||AOP 相关术语||学习 spring 中的 AOP 要明确的事
- php+sqlserver实现分页效果
- Apache Tomcat Configuration Reference
- 易语言 取dns服务器,易语言自动修改内网IP地址和DNS
- kali锁屏后无法唤醒_面试官:说一下公平锁和非公平锁的区别?
- Rsyslog 日志相关内容
- mysqld命令相关介绍
- 说真的,程序员相亲,真的太太太太太太难了 | IT巨能唠
- jquery ajax提交表单数据的两种方式
- 为什么越来越多员工反感公司办年会?
- 未来智能穿戴把计算机织进纤维里,未来智能穿戴 把计算机“织”进纤维里
- 中兴JAVA编程题_最新中兴Java语言笔试真题及答案
- 使用VC 编程改变字体 注意点--需要设置GB2312—CHARSET
- 远程erp打印文件本地打印机没反应问题
- C++/MFC修行之路(5)Ribbon(功能区)的使用
- [Xilinx ZYNQ] #4 Petalinux 入门 [黑金资料 基础教程s1 整理]
- PyTorch以及VGG模型