[发明专利]一种OCaml函数式语言调用GPU进行算子加速的方法在审
| 申请号： | 202111359591.8 | 申请日： | 2021-11-17 |
| 公开（公告）号： | CN114153433A | 公开（公告）日： | 2022-03-08 |
| 发明（设计）人： | 陈钢;陈宁 | 申请（专利权）人： | 南京航空航天大学 |
| 主分类号： | G06F8/30 | 分类号： | G06F8/30;G06F9/50 |
| 代理公司： | 南京瑞弘专利商标事务所(普通合伙) 32249 | 代理人： | 任志艳 |
| 地址： | 210016 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 一种 ocaml 函数 语言 调用 gpu 进行 算子 加速 方法 | ||
1.一种OCaml函数式语言调用GPU进行算子加速的方法，其特征在于，包括以下步骤：
步骤1，用CUDA代码编写所需算子并生成可供C语言调用的CUDA动态链接库；
步骤2，使用可供OCaml调用的C函数调用CUDA动态链接库中的CUDA核函数；并将包含此C函数的C文件生成可供OCaml函数式语言调用的C动态链接库；
步骤3，OCaml调用已经调用CUDA核函数的C函数，并与C动态链接库及其他所需库进行链接，实现OCaml对GPU的调用。
2.根据权利要求1所述一种OCaml函数式语言调用GPU进行算子加速的方法，其特征在于，步骤1中用CUDA代码编写所需算子并生成可供C语言调用的CUDA动态链接库，具体步骤为：
将OCaml所需的算子运算操作用CUDA语言实现，并声明其可供C函数调用，然后将其编译成CUDA动态链接库。
3.根据权利要求1所述一种OCaml函数式语言调用GPU进行算子加速的方法，其特征在于，步骤2中使用可供OCaml调用的C函数调用CUDA动态链接库中的CUDA核函数；并将包含此C函数的C文件生成可供OCaml函数式语言调用的C动态链接库，具体步骤为：
步骤2.1，将调用CUDA核函数的C函数用关键字声明为可供OCaml语言调用；
步骤2.2，将运行时OCaml传递过来的运算参数进行OCaml数据类型到C语言数据类型的格式转换；
步骤2.3，将转换后的C语言类型数据传递给C函数所调用的CUDA核函数进行计算；
步骤2.4，C函数将计算结果返回给OCaml；
步骤2.5，将包含上述功能的C文件编译成可供OCaml调用的C动态链接库。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京航空航天大学，未经南京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/202111359591.8/1.html，转载请声明来源钻瓜专利网。
- 上一篇：控制方法、装置、电子设备及存储介质
- 下一篇：一种大跨径隧道塌体的加固方法
