[发明专利]用于生成程序代码的方法和工具有效
申请号: | 201610877773.7 | 申请日: | 2016-09-30 |
公开(公告)号: | CN107122255B | 公开(公告)日: | 2021-07-27 |
发明(设计)人: | L·特拉斯;W·奥兰多 | 申请(专利权)人: | 意法半导体(鲁塞)公司 |
主分类号: | G06F11/07 | 分类号: | G06F11/07 |
代理公司: | 北京市金杜律师事务所 11256 | 代理人: | 王茂华 |
地址: | 法国*** | 国省代码: | 暂无信息 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 在待监测的程序代码中插入同步点(@WD_ti),这些点与由间接分支指令(INSPF4)的执行所得的不同分支相关联。这些同步点可以由用于标识在主程序代码的间接分支指令(INSXF4)的执行期间使用哪个分支的监视程序代码访问。 | ||
搜索关键词: | 用于 生成 程序代码 方法 工具 | ||
【主权项】:
一种用于生成旨在由主处理单元执行的主程序代码以及旨在由辅助处理单元执行的用于校验所述主程序代码的控制流的辅助程序代码的方法,其特征在于,生成所述主程序代码(CPP)包括生成至少一个主间接分支指令(INSPF4),生成辅助程序代码(CPX)包括生成与所述至少一个主间接分支指令相关联的至少一个辅助间接分支代码(CPX),以及生成所述主程序代码还包括至少一个同步信息项(@WD_ti)的至少一个插入,所述至少一个同步信息项(@WD_ti)旨在由所述辅助处理单元(WD)处理并且被配置成允许在辅助程序代码部分和主程序代码部分之间的至少一个同步,所述辅助程序代码部分和所述主程序代码部分分别由所述至少一个辅助间接分支指令(INSXF4)的执行和所述至少一个主间接分支指令(INSPF4)的执行所得。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于意法半导体(鲁塞)公司,未经意法半导体(鲁塞)公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201610877773.7/,转载请声明来源钻瓜专利网。
- 上一篇:一种启动虚拟机的方法和装置
- 下一篇:数据存储装置