您的位置： 专家智库 > >

盛田维

作品数：7 被引量：1H指数：1
供职机构：清华大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 2篇自动化与计算...

主题

  • 4篇开销
  • 4篇控制流
  • 3篇数据竞争
  • 3篇通信
  • 3篇通信模式
  • 3篇共享变量
  • 2篇代码
  • 2篇时间开销
  • 2篇数据依赖
  • 2篇通信函数
  • 2篇资源需求
  • 2篇系统开销
  • 2篇进制
  • 2篇二进制
  • 2篇二进制代码
  • 2篇程序语句
  • 1篇通信特征
  • 1篇内核
  • 1篇寄存器
  • 1篇LINUX内...

机构

  • 7篇清华大学

作者

  • 7篇盛田维
  • 6篇陈文光
  • 4篇郑纬民
  • 3篇翟季冬
  • 2篇蒋运韫
  • 2篇何江舟
  • 1篇商海峰

传媒

  • 1篇华中科技大学...
  • 1篇2013全国...

年份

  • 1篇2014
  • 1篇2013
  • 1篇2012
  • 1篇2011
  • 2篇2010
  • 1篇2005
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
基于静态共享变量识别的动态数据竞争检测方法
本发明公开了一种基于静态共享变量识别的动态数据竞争检测方法，包括：S1：识别待检测程序的共享变量；S2：对所述待检测程序中包含共享变量的基本块进行数据竞争检测插装和采样，得到所述待检测程序经插装和采样后的二进制代码，所述...
郑纬民盛田维陈文光蒋运韫
文献传递
并行程序通信模式的提取方法及系统
本发明涉及一种并行程序通信模式的提取方法及系统，该方法包括步骤：解析并行程序源码，识别并行程序中的通信函数调用，确定所述通信函数中的通信变量，并将所述通信变量放入设定集合；分析并行程序的控制流和数据流，收集并行程序的数据...
郑纬民陈文光翟季冬盛田维何江舟
文献传递
使用调试寄存器进行Linux内核数据竞争检测
并发程序中的数据竞争问题很难被检测和修复。以往的研究大多针对用户层的数据竞争检测并在此问题上取得了重大的进展，但在操作系统内核层面的数据竞争问题却几乎没有涉及。内核代码使用的同步机制远比用户层应用程序中复杂，如不同种类的...
蒋运韫杨弋肖天盛田维陈文光
关键词：LINUX内核采样
基于静态共享变量识别的动态数据竞争检测方法
本发明公开了一种基于静态共享变量识别的动态数据竞争检测方法，包括：S1：识别待检测程序的共享变量；S2：对所述待检测程序中包含共享变量的基本块进行数据竞争检测插装和采样，得到所述待检测程序经插装和采样后的二进制代码，所述...
郑纬民盛田维陈文光蒋运韫
并行程序通信模式的提取方法及系统
本发明涉及一种并行程序通信模式的提取方法及系统，该方法包括步骤：解析并行程序源码，识别并行程序中的通信函数调用，确定所述通信函数中的通信变量，并将所述通信变量放入设定集合；分析并行程序的控制流和数据流，收集并行程序的数据...
郑纬民陈文光翟季冬盛田维何江舟
文献传递
基于消息传递的科学应用通信模式特征分析被引量：1
2005年
对Grapes,Mx3dg和TH-PaPSM三种应用程序的通信模式进行了分析.重点讨论了点对点消息的数量、大小和目的进程的分布情况,对并行应用程序中的消息局部性进行了量化研究.本研究对设计符合真实应用的测试程序、优化科学应用程序具有较好的参考价值.
翟季冬盛田维商海峰陈文光
关键词：通信模式通信特征
并发程序数据竞争检测关键技术研究
盛田维
关键词：数据竞争共享变量
全选 清除 导出
共1页<1>
聚类工具0