[发明专利]一种基于图像处理器加速的符号执行方法及系统有效
申请号: | 201910213435.7 | 申请日: | 2019-03-20 |
公开(公告)号: | CN110033405B | 公开(公告)日: | 2020-11-06 |
发明(设计)人: | 陈典章;王夏阳;陈海波;臧斌宇 | 申请(专利权)人: | 上海交通大学 |
主分类号: | G06T1/20 | 分类号: | G06T1/20;G06F9/50 |
代理公司: | 上海汉声知识产权代理有限公司 31236 | 代理人: | 庄文莉 |
地址: | 200240 *** | 国省代码: | 上海;31 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供了一种基于图像处理器加速的符号执行方法及系统,包括:符号执行分解步骤:将符号执行分解为可并行化部分和非并行化部分;任务分配步骤:将可并行化部分分配给GPU并行化执行,将非可并行化部分分配给CPU执行。本发明利用GPU的内核数量多、并行度高的特性去并行地执行简单的指令解析过程,以缓解路径爆炸问题从而加速符号执行。 | ||
搜索关键词: | 一种 基于 图像 处理器 加速 符号 执行 方法 系统 | ||
【主权项】:
1.一种基于图像处理器加速的符号执行方法,其特征在于,包括:符号执行分解步骤:将符号执行分解为可并行化部分和非并行化部分;任务分配步骤:将可并行化部分分配给GPU并行化执行,将非可并行化部分分配给CPU执行。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于上海交通大学,未经上海交通大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201910213435.7/,转载请声明来源钻瓜专利网。
- 上一篇:智慧城市排涝指挥控制平台
- 下一篇:用于处理图像的方法和装置
- 彩色图像和单色图像的图像处理
- 图像编码/图像解码方法以及图像编码/图像解码装置
- 图像处理装置、图像形成装置、图像读取装置、图像处理方法
- 图像解密方法、图像加密方法、图像解密装置、图像加密装置、图像解密程序以及图像加密程序
- 图像解密方法、图像加密方法、图像解密装置、图像加密装置、图像解密程序以及图像加密程序
- 图像编码方法、图像解码方法、图像编码装置、图像解码装置、图像编码程序以及图像解码程序
- 图像编码方法、图像解码方法、图像编码装置、图像解码装置、图像编码程序、以及图像解码程序
- 图像形成设备、图像形成系统和图像形成方法
- 图像编码装置、图像编码方法、图像编码程序、图像解码装置、图像解码方法及图像解码程序
- 图像编码装置、图像编码方法、图像编码程序、图像解码装置、图像解码方法及图像解码程序