[发明专利]一种基于图形化卫式命令演算的多任务编译方法有效
| 申请号： | 201810045360.1 | 申请日： | 2018-01-17 |
| 公开（公告）号： | CN108319458B | 公开（公告）日： | 2021-04-06 |
| 发明（设计）人： | 杨志斌;袁胜浩;谢健;刘承威;王飞;薛垒;王永孟 | 申请（专利权）人： | 南京航空航天大学 |
| 主分类号： | G06F8/41 | 分类号： | G06F8/41 |
| 代理公司： | 南京瑞弘专利商标事务所(普通合伙) 32249 | 代理人： | 杨晓玲 |
| 地址： | 211106 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明为一种基于图形化卫式命令演算的多任务编译方法，涉及到一个图形化卫式命令演算GCC_graph自动编译生成可执行多任务Ada/C代码方法，对于设计人员输入的GCC_graph程序，该编译器自动将其编译生成相应的可执行多任务Ada/C代码。该编译器的所有功能由函数式程序设计语言CAML编程实现，由于CAML是一种安全的语言，CAML程序在执行之前由自身编译器进行验证。此外，本发明设计的编译器使用模块化结构，一旦程序发生改变，我们只需要修改对应模块的代码。 | ||
| 搜索关键词： | 一种 基于 图形 化卫式 命令 演算 任务 编译 方法 | ||
【主权项】：
1.一种基于图形化卫式命令演算的多任务编译方法，其特征在于：用于将图形化卫式命令演算语言GCC_graph编译生成多任务可执行Ada/C代码，编译过程包括如下步骤：1)定义图形化卫式命令演算GCC_graph语言，包括图形化规约、文本语法和形式语义；2)使用函数式程序设计语言CAML描述基于GCC_graph的时钟演算；3)使用函数式程序设计语言CAML描述基于GCC_graph的任务划分，包括划分前进行的数据依赖分析和依次采用的三种划分方法，所述三种划分方法包括基于拓扑排序的任务划分、优化拓扑排序划分结果和基于流水线方式的任务划分方法；4)使用函数式程序设计语言CAML描述基于划分结果的虚拟多线程代码自动生成方法；5)使用函数式程序设计语言CAML描述虚拟多线程代码转换到可执行多任务Ada/C代码方法。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京航空航天大学，未经南京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810045360.1/，转载请声明来源钻瓜专利网。
- 上一篇：积木式硬件编程套件
- 下一篇：一种行为级描述到RTL描述的CCC编译器
