公共文化服务平台

杨秋松: 作品数：56 被引量：79H指数：4; 供职机构：中国科学院软件研究所更多>>; 发文基金：国家自然科学基金国家科技重大专项中国科学院战略性先导科技专项更多>>; 相关领域：自动化与计算机技术文化科学更多>>

合作作者

一种基于微内核操作系统进程间通信恢复方法: 2015年; 微内核架构为操作系统提供了良好的隔离性,高度模块化的架构设计使得微内核架构操作系统对进程间通信的依赖度极高,进程间通信恢复是系统恢复正常运行的关键。权能是微内核架构操作系统中进程对资源操作权限的描述,决定进程间能否进行通信。针对微内核操作系统在系统服务恢复过程中出现的进程间通信信道丢失问题,提出并实现了一种进程间通信恢复方法。在通信异常时保存权能信息,用于在系统关键服务恢复过程中重新建立客户程序与服务程序的进程间通信信道。实验结果表明所提出的方法是有效的,可以提高操作系统的可靠性。; 孙可钦王玉庆刘剑杨秋松马越; 关键词：微内核操作系统安全进程间通信

基于邻接点的VMM动态完整性度量方法被引量：3: 2015年; 对于虚拟机监控器的动态完整性度量,由于其位于特权层,且复杂多变,一直是领域内的研究难点。提出了一种基于邻接点的动态完整性度量方法,利用邻接点作为度量模块的宿主,通过面向内存页的完整性模型和评估算法,实现了动态完整性度量。实验表明,能够准确地检测到完整性受到破坏,且仅对计算密集型任务造成适中的性能损耗。; 吴涛杨秋松贺也平; 关键词：虚拟机监控器完整性

基于指令流混合模式学习的缓存预取算法被引量：1: 2023年; 近期缓存预取算法的研究热点是使用基于模式识别的预测技术,例如Lookahead,推算访存请求的地址.此类算法一方面很难学习访存行为中的依赖缓存失效,另一方面不能精确控制预取请求发送和写回的时机.为了解决上述问题,本文提出了一种基于分支预测技术和混合模式学习的缓存预取(Instruction Flow Based Hybrid Predic⁃tion,IFBHP)算法.使用分支预测技术识别程序未来指令流中的访存指令流,通过多种地址关联模式的学习逐一计算访存指令流中每条指令的地址,写入访存地址队列.使用阈值评估未来指令流进入处理器主流水线的时刻,精确控制指令流所对应的预取请求的发送和写回.实验表明,本文算法相比STeMS(Spatio-Temporal Memory Streaming)算法、ISB++(Irregular Stream Buffer++)算法、SANGAM算法、IPCP(Instruction Pointer Classifier based spatial Prefetching)算法一级数据的读操作缓存失效次数分别平均减少31.58%,28.85%,17.85%,11.48%;本文算法相比STeMS算法、ISB++算法、SANGAM算法、IPCP算法一级数据的写操作缓存失效次数分别平均减少31.58%,28.85%,17.85%,11.48%.; 王玉庆杨秋松杨秋松; 关键词：指令流

一种在多任务环境下防止死锁的互斥信号量管理方法: 一种在多任务环境中防止死锁的互斥信号量管理方法，包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号；B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信...; 李彦峰潘远明杨秋松武延军翟健杜栓柱刘立宇

一种增强实时性能的任务管理方法: 一种在RTEMS实时操作系统中增强实时性能的任务管理方法，包括如下步骤：A、通过发送信号量的方式调度某一个任务；B、设置同任务优先级任务就绪队列，如果根据所述某一任务的信号量的状态值确定其应该被放入就绪队列，则将该任务排...; 李彦峰潘远明杨秋松武延军翟健杜栓柱刘立宇

一种有效的层次化错误定位方法: 本发明公开了一种有效的层次化错误定位方法，该方法首先用错误路径中失败assert语句的取值初始化异常值集合V；然后从集合V中挑选一个异常值v计算其不可满足的最弱前置条件；计算异常值v产生的原因c；判断c是否含有错误语句，...; 易秋萍周艺刘剑赵琛杨秋松

一种支持模糊约束关系的图模式匹配方法: 本发明提供一种支持模糊约束关系的图模式匹配方法，涉及图信息查询技术领域，用于解决现有技术无法在满足所有精确约束的基础上，支持对模糊约束关系的匹配的问题。所述方法包括：通过输入层，获取用户输入的查询图Q和存储的目标数据图G...; 谢淼王青杨秋松; 文献传递

一种形式化的组件化软件过程建模方法被引量：6: 2011年; 为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.; 翟健杨秋松肖俊超李明树; 关键词：形式化方法

基于代数的软件过程建模系统的设计与实现被引量：1: 2008年; 软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性。介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求。; 杨国伟杨秋松翟健袁峰; 关键词：软件过程建模形式化分析

一种在多任务环境下防止死锁的互斥信号量管理方法: 一种在多任务环境中防止死锁的互斥信号量管理方法，包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号；B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信...; 李彦峰潘远明杨秋松武延军翟健杜栓柱刘立宇; 文献传递