厉海燕
- 作品数：16 被引量：67H指数：4
- 供职机构：装备指挥技术学院更多>>
- 发文基金：中国人民解放军总装备部预研基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 分布式嵌入式环境下的容错软件设计被引量：4
- 2006年
- 在用于一些关键任务的环境中,由于软件故障而导致的后果是无法容忍的,软件容错技术应运而生而且变得越来越重要。针对分布式嵌入式环境的特点设计了一个容错软件,介绍了容错软件的结构以及各个模块的功能,并分析了节点监测、故障检测和服务迁移等关键技术。
- 厉海燕赵志国李新明
- 关键词：容错分布式系统嵌入式系统
- Linux操作系统特性分析被引量：2
- 2002年
- Linux是当前除了windows外最流行的一种操作系统。从各方面介绍Linux系统的特性 ,包括其综合特性、稳定性、性能、兼容性。
- 厉海燕李新明
- 关键词：LINUX操作系统稳定性兼容性特性分析
- 实时Linux中共享内存的实现被引量：17
- 2001年
- 共享内存是进程间通信最快的途径 ,文中介绍实时Linux中共享内存的实现方法 。
- 厉海燕李新明
- 关键词：共享内存LINUX操作系统
- Linux系统增加系统调用的方法被引量：1
- 2001年
- 厉海燕李新明
- 关键词：操作系统LINUX计算机平台
- 嵌入式实时Linux的研究与实现
- 嵌入式系统在军事和人类工作生活的各个领域具有广阔的应用前景.本文分析了嵌入式实时系统,并在Linux上进行了实践,实现了一个嵌入式实时Linux的原型系统.
- 厉海燕李新明
- 关键词：嵌入式LINUX操作系统
- 文献传递
- Linux抢占式内核的研究与实现被引量：12
- 2005年
- 随着Linux操作系统的成功应用,尤其是在嵌入式实时应用领域,Linux实时性能的提高成为一个很重要的因素。系统核心的可抢占性是决定系统实时性能的一个重要条件,而Linux的核心是不可抢占的,通过将Linux的内核改造为可抢占式内核,可缩短系统的响应延时,提高Linux的实时性。分析了几种实现抢占式内核的方法,介绍了一种实现Linux可抢占式内核的方法,并对其实现细节进行了详细的说明。
- 厉海燕李新明
- 关键词：抢占调度
- 优先级继承协议在Linux中的实现被引量：1
- 2005年
- 随着Linux被越来越多地用于实时系统中,实时性能也日益受到关注。通过将Linux的内核改造为可抢占式内核,可缩短系统的响应延时,提高Linux的实时性,但同时也带来了优先级逆转的问题。为了解决优先级逆转问题,基于可抢占式的Linux内核,对Linux内核相关源代码进行修改,实现了优先级继承协议。经过测试证明,采用优先级继承协议的抢占式Linux内核能够解决优先级逆转的问题,满足系统的实时要求。
- 厉海燕赵志国
- 关键词：抢占优先级逆转优先级继承互斥锁
- Linux的Netfilter功能框架被引量：21
- 2002年
- Netfilter是Linux2 .4内核实现数据包过滤、数据包处理、NAT等的功能框架。文章通过和ipchains进行比较分析了netfilter功能框架 。
- 厉海燕李新明
- 关键词：LINUXNETFILTERIPCHAINS防火墙数据包NAT
- 一种证明程序正确性的方法被引量：3
- 2001年
- 介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 。
- 厉海燕李新明
- 关键词：程序设计方法学
- Linux中文化问题
- 2001年
- Linux已经成为除了Windows外最流行的一种操作系统,其文化也是大家热门的话题。本文分析Linux中文化的标准问题。
- 厉海燕李新明
- 关键词：LINUX操作系统中文化WINDOWS
