张晔
- 作品数：12 被引量：28H指数：3
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：安徽省自然科学基金国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 安全操作系统中的功能隔离机制被引量：2
- 2008年
- 在分析现有操作系统安全机制的基础上,针对空间隔离技术的不足之处,提出了功能隔离的新思想.功能隔离可以提供更细致的隔离粒度,并可使不同类别的功能请求在相互隔离的执行域中执行,从而提高系统的可靠性与安全性.详细描述了功能隔离的定义,讨论了功能划分的方法和PFI、ASFI两种功能隔离机制及其关键实现技术.实验数据说明,采用功能隔离不会明显影响系统的效率.
- 龚育昌唐玲张晔贾永泉
- 一种基于服务体/执行流的新型操作系统构造模型被引量：12
- 2006年
- 在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.
- 吴明桥陈香兰张晔龚育昌
- 关键词：执行流
- 一种针对可执行代码的内存泄漏静态分析方案被引量：3
- 2009年
- 针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.
- 龚育昌胡燕张晔赵振西
- 关键词：可执行代码内存泄漏
- 一种基于模块的调度策略被引量：1
- 2009年
- Cache的缺失严重影响着计算机系统的运行效率.现代构件化软件架构中模块化程度越来越高,操作系统中传统的调度策略忽视任务的模块特性,若模块具有特定的代码/数据访问集合,模块间不合理的任务调度会导致严重的Cache缺失.本文提出了一种基于模块的调度策略MBS,可以尽量连续调度同一模块中的任务,尤其适应于构件化的服务系统.分析与实验结果表明,MBS可以有效减少此类系统的Cache缺失,明显提高系统性能.
- 张晔李曦唐玲陈香兰龚育昌
- 关键词：高速缓存调度策略
- 一种新型的构件化操作系统的内核设计被引量：5
- 2009年
- 采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
- 龚育昌张晔李曦陈香兰
- 关键词：构件化操作系统端口
- 基于模块的调度策略及其对多处理器系统的支持
- 处理器高速缓存(Cache)的利用对系统性能起着关键性影响。随着计算机技术的进步，中央处理器的性能迅速提升，与系统内存的性能差距越来越大，Cache缺失所带来的性能损失十分可观，因此降低Cache的缺失率有着极其重要的意...
- 张晔
- 关键词：多处理器系统调度策略高速缓存中央处理器操作系统
- 在基于VxWorks的实时网络中统计UDP丢包率的方法被引量：2
- 2005年
- 在基于VxWorks实时局域网中,如何统计及定位UDP(userdatapacket)的丢包率对许多应用是十分重要的,目前还没有理想的解决方法。文章在用标准SNMP协议实现网络监测功能的基础上,通过扩展MIB与在TCP/IP协议栈中插入协议封装层的方法有效的解决了UDP丢包的统计与分析问题。
- 朱建民张晔陈香兰龚育昌
- 关键词：SNMPMIB
- 纳米TiO<,2>和ZnO聚合物复合体系的微结构与光学特性研究
- 张晔
- 关键词：微结构光吸收发光特性
- 安全操作系统中的权能管理模型被引量：5
- 2006年
- 最小特权和责任分离原则要求安全操作系统能够提供细粒度的访问控制.基于权能的安全操作系统可以满足这种需求,但现有的权能管理模型不能同时解决权能控制的客体有限、权能撤销机制不够完善以及访问检查的速度太慢的问题.本文提出一种新的权能管理模型(GYC模型),较好的解决了上述三个问题.该模型已被应用到安全操作系统Minicore中,实验结果表明,与典型的Redell模型相比,GYC模型在整体性能上更好.
- 龚育昌吴明桥张晔朱建民
- 关键词：权限权能安全操作系统
- 基于服务体/执行流模型的操作系统
- 本发明涉及一种基于服务体/执行流模型的操作系统，该模型由服务体和执行流两类机制构成；每个服务体均具有自己的服务体地址空间，服务体之间采用消息推动通信；所述执行流是物理CPU沿着指令计数器指示的指令执行顺序执行指令而形成的...
- 龚育昌陈香兰李曦李宏张晔吴明桥周学海杨文增赵振西
- 文献传递
