陈韬
- 作品数:5 被引量:23H指数:2
- 供职机构:南京航空航天大学计算机科学与技术学院更多>>
- 发文基金:江苏省普通高校研究生科研创新计划项目国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于云平台的VMI库存管理系统架构研究被引量:2
- 2013年
- 本文首先介绍云计算与Map/Reduce、基于多Agent工作流的供应链管理的主要特征,从而分析了将两者结合的必要性,给出了基于云平台的供应链软件总体功能模型,并结合Map/Reduce并行编程框架与Agent工作流过程管理提出了一种基于并行处理的VMI库存管理软件系统架构。
- 陈韬万麟瑞
- 关键词:MAPREDUCEAGENT
- 基于多线程监控器的运行时验证被引量:1
- 2019年
- 运行时验证是一种轻量级的新型自动化验证技术。运用了该技术的验证软件由两部分组成:一部分是被监控的目标程序;另一部分是监控器。对于基于形式化语言的运行时验证方法主要思想就是输入表示描述事件和性质的形式化规约语法,目标程序。输出插桩好的新程序。插桩好的新程序在遇到需要监控的切点时,就会执行相应的函数去判断是否满足形式化规约语法。然而传统的单线程运行时验证监控器在目标程序需要监控的规约性质比较多的时候,重新生成的程序可能会因为要验证比较多的规约性质,造成程序的性能变慢。文中利用多核并行技术,对原型工具Movec进行优化。通过使用串行程序中多个监控器分配到多线程的方法,Clang编译器的插桩技术和多核任务分配方法,实现了Movec原型工具的优化。并将优化之后的Movec与没有改进之前的进行实验数据对比,实验结果表明采用多线程的运行方法具有很好的效果。
- 陈韬王明明
- 关键词:多线程编程语言
- 面向多线程程序的内存安全运行时验证被引量:4
- 2019年
- Linux操作系统、嵌入式系统、航电系统、通信系统等一般都是用C/C++语言进行编写。因为C语言具有偏底层硬件、移植性强、执行效率高等优秀特性。但是随着多核并行机的出现,许多语言也开始支持多线程编程。由于C语言本身存在着对内存访问时,不对内存边界进行检查的问题,从而造成软件系统相关的可靠性和安全性问题。对多线程C语言程序来说,由于多线程程序的不确定性,使得运行时验证多线程C程序的内存安全问题变得更加困难。通过使用基于改进的指针运行时验证技术、多核多线程技术、并行计算、无锁数据结构技术、源代码插桩技术方法,并结合开源工具Clang编译器实现原型工具Movec对多线程C程序的支持。该工具实现了对多线程C程序内存安全问题的运行时验证。然后通过Mibench和SARD测试用例进行实验,验证了该工具对多线程C程序进行运行时验证的有效性。
- 陈韬王明明
- 关键词:多线程多核编程语言
- 供应链云//并行工作流软件框架研究
- 随着供应链管理系统用户规模的不断扩大,传统供应链管理系统在处理大量任务请求的效率以及分布资源调度的灵活性等方面的不足逐渐体现出来,基于云平台的供应链管理软件恰好能够解决上述问题。本文以云计算的供应链管理软件的开发为研究背...
- 陈韬
- 关键词:BPELOWL本体
- 文献传递
- 云环境下资源调度模型研究被引量:16
- 2013年
- 云计算环境下资源调度管理是云计算的关键技术之一。介绍了一种云计算下资源调度模型,阐述了云计算资源调度流程和云计算环境下实体之间的关系。根据物理服务器的资源属性,建立了一种综合考虑云计算资源负载的调度模型,利用人工加自动的虚拟机迁移技术实现云计算中物理服务器的负载均衡。通过仿真实验分析和比较,该资源调度模型不但可以很好地实现资源负载均衡,而且可以提高资源池虚拟化和弹性化程度。最后展望了下一步的研究方向。
- 刘赛李绪蓉万麟瑞陈韬
- 关键词:云计算资源调度负载均衡资源池