基于同步语言模型驱动的时间可预测多线程代码生成方法
大小:2.35 MB 人气: 2018-01-16 需要积分:2
能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难,为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明:提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.
非常好我支持^.^
(0) 0%
不好我反对
(0) 0%
下载地址
基于同步语言模型驱动的时间可预测多线程代码生成方法下载
相关电子资料下载
- AMD EPYC 9554处理满足高频率、多线程所需 296
- 从多线程设计模式到对 CompletableFuture 的应用 57
- 网上找不到的源码,ESP32 AP热点 TCPsever 多线程控制开关 215
- 黑芝麻智能代码生成工具荣获DEKRA德凯ISO 26262:2018 ASIL D功能安全认证 170
- 黑芝麻智能自动驾驶代码生成工具荣获ISO 26262:2018 ASIL D功能认证 396
- 黑芝麻智能代码生成工具喜获DEKRA德凯ASIL D功能安全产品认证 251
- 嵌入式微控制器的自动代码生成 129
- 谷歌发布CodeGemma大语言模型,优化代码生成及理解 262
- 搭载中科创达端侧智能应用的“迅思代码生成一体机”重磅上市 1367
- 鸿蒙OS开发实例:【ArkTS类库多线程@Concurrent装饰器校验并发函数】 336