任怡
- 作品数：129 被引量：121H指数：4
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信文化科学理学更多>>
- 基于特征提取的Rust程序缺陷自动检测方法及系统
- 本发明公开了一种基于特征提取的Rust程序缺陷自动检测方法及系统，通过分析Rust中有限类不安全Rust的主要使用场景，静态分析不安全代码本质不安全原因，构成每类不安全操作数据集，作为特征提取的输入；对不安全Rust不安...
- 董攀江仁霜黄辰林丁滟蹇松雷谭郁松李宝任怡王晓川张建锋谭霜罗军
- 一种用于并行系统的非阻塞消息队列机制被引量：4
- 2011年
- 并行线程之间的消息传递和同步机制与系统的并行性能密切相关。在并行系统中,人们期望不必要的同步尽可能少,以充分开发系统的并行性,提高系统的运行效率。非阻塞缓冲区机制(NBB)允许消息生产者和消费者在不使用同步机制的情况下实现消息传递。但是,NBB机制存在着消息缓冲区有限、在多生产者和/或多消费者情况下使用不便、有时甚至功能不能满足要求等问题。本文介绍的非阻塞队列机制(NBL)可看作是NBB的链表实现,但NBL可以有效地避免NBB的上述缺陷。本文描述了相关算法及其正确性证明。最后讨论了NBL机制的使用方法,并进行了有效性和性能评测。
- 刘晓建吴庆波戴华东任怡
- 关键词：并行计算分布式计算线程
- 通用操作系统对比评测标准研究被引量：3
- 2011年
- 当前国内外研究机构以及操作系统开发商主要关注的是操作系统技术本身的技术提升和产品推广,在如何合理、客观地对比和衡量不同通用操作系统的技术水平的相关研究方面比较欠缺。而国内评测机构仍采用一般软件的通用评测标准来评测操作系统,其适用性和评测结果的针对性有所不足。深入研究了目前国际主流操作系统产品以及不同操作系统之间的典型对比方法,论述了各种方法的优势和不足。提出了一套定性和定量方法相结合的改进的操作系统技术对比评测标准,确定了操作系统技术对比的7个维度、各个维度的具体对比项以及缺省权重,给出了操作系统对比标准的实施方案和步骤,描述了对比结论的表述方式。基于该标准将RHEL 5.5与Windows Server2008进行了对比。提出的评测标准可填补国内通用操作系统评测标准的空白。
- 任怡吴庆波戴华东廖湘科杨沙洲
- 关键词：通用操作系统
- 面向操作系统版本构建的软件包依赖关系分析被引量：1
- 2021年
- 基于Linux的开源操作系统发行版本通常都是由一系列相互关联的软件包构建而成,由于软件包数量庞大、互相之间依赖和冲突等关系复杂,操作系统版本构建也变得复杂,定制裁剪的粒度和精度不足,可能存在很多冗余软件包。目前,操作系统版本的构建主要还是根据工程经验进行组织,特别是软件包的选择缺少理论分析和指导。给出基于依赖关系的操作系统版本构建的基本模型,并结合Ubuntu开源发行版本的版本构建过程和软件仓库数据,对软件包的出入度、优先级和分类等特征进行统计分析和模型验证,从依赖关系角度总结出操作系统版本构建的主要原则,为后续提升版本自动化定制裁剪的精度以及软件发行演化和故障分析提供指导和重要参考。
- 马俊周凯任怡朱浩秦莹王静
- 关键词：操作系统
- 基于计数副本的传统操作系统代码空闲状态监测技术
- 2012年
- 在系统不重启的情况下对操作系统进行缺陷修复对于保障服务器系统的性能、安全和可用性等方面具有重要意义。因传统操作系统并未针对在线更新进行实现,现有在线更新技术不能较好地处理被更新代码正处于"使用中"状态的问题,导致在有些场景下无法进行在线更新。本文针对这一问题,设计了一种用于传统操作系统的代码使用计数动态监测技术,通过将原始函数二进制码替换为与其对等的计数副本,以及修改相关线程的内核栈上返回地址,实现对于被更新代码执行情况的监测,从而发现可进行在线更新的时机。最后,本文基于开源的动态升级软件ksplice验证了上述工作的有效性。
- 刘晓建任怡戴华东
- 关键词：可用性
- 基于代码属性图的软件脆弱性智能检测方法、系统及介质
- 本发明公开了一种基于代码属性图的软件脆弱性智能检测方法、系统及介质，方法包括为被检测的代码样本生成代码属性图并提取出抽象语法树序列、控制流图序列和程序依赖图序列，将得到的各种序列分别通过预先训练好的向量映射器转换为数值型...
- 任怡肖添明谭郁松李宝杨立明杨洒情蹇松雷董攀阳国贵张建锋王静黄辰林王晓川丁滟谭霜王庆坤姜智文
- 面向瘦客户端的WebOS研究被引量：4
- 2010年
- 基于浏览器的WebOS是操作系统技术向网络化发展的一个典型代表。WebOS整合Internet上服务和资源,供在线用户"随时随地"使用,这种特点使得它将成为未来瘦客户端Web应用的一种重要使用模式。首先阐述了WebOS的由来、概念和组成,接着分析了WebOS的发展现状和趋势,然后论述了制约其发展的主要技术因素。在此基础上,选择较有代表性的开源EyeOS进行了深入研究,分析了其原理和组成,并对其服务器端功能进行了扩充。
- 任怡管剑波尹虎哲吴庆波戴华东
- 关键词：云计算瘦客户端WEBOSWEB服务
- 一种用于FPR的软件包代码缺陷数据处理方法、系统及介质
- 本发明公开了一种用于FPR的软件包代码缺陷数据处理方法、系统及介质，软件包代码缺陷数据处理方法实施步骤包括：输入基于FPR文件得到的PDF格式的Fortify扫描报告；将PDF格式的Fortify扫描报告转换为易处理的文...
- 任怡郭教文周凯谭郁松黄辰林阳国贵李宝王晓川丁滟张建锋谭霜汪哲邓平贺云皓
- 文献传递
- 云边环境中面向CPU异构集群的容器化微服务负载均衡方法
- 本发明公开了一种云边环境中面向CPU异构集群的容器化微服务负载均衡方法，本发明包括确定目标微服务的各个容器单元Pod副本在对应节点上的CPU使用量；根据各个容器单元Pod副本在对应节点上的CPU使用量，确定目标微服务的各...
- 任怡王庆坤谭郁松李宝董攀张建锋蹇松雷阳国贵王晓川丁滟谭霜姜智文李漠赵俊
- 一种基于多核无锁环形缓冲区的共生虚拟机通信方法
- 本发明公开了一种基于多核无锁环形缓冲区的共生虚拟机通信方法，实施步骤包括：预先在共享内存中申请固定大小的缓冲区，将所述缓冲区等分划分为元数据区域，指定一个元数据区域存储缓冲区的描述信息以及缓冲区的标识变量，将其余的元数据...
- 任怡游资奇吴庆波戴华东谭郁松刘仁仕阳国贵
- 文献传递
