实时Linux中共享内存的实现

共享内存是进程间通信最快的途径 ,文中介绍实时Linux中共享内存的实现方法 。

Linux抢占式内核的研究与实现

随着Linux操作系统的成功应用,尤其是在嵌入式实时应用领域,Linux实时性能的提高成为一个很重要的因素。系统核心的可抢占性是决定系统实时性能的一个重要条件,而Linux的核心是不可抢占的,通过将Linux的内核改造为可抢占式内核,可缩短系统的响应延时,提高Linux的实时性。分析了几种实现抢占式内核的方法,介绍了一种实现Linux可抢占式内核的方法,并对其实现细节进行了详细的说明。

一种证明程序正确性的方法

介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 。

分布式嵌入式环境下的容错软件设计

在用于一些关键任务的环境中,由于软件故障而导致的后果是无法容忍的,软件容错技术应运而生而且变得越来越重要。针对分布式嵌入式环境的特点设计了一个容错软件,介绍了容错软件的结构以及各个模块的功能,并分析了节点监测、故障检测和服务迁移等关键技术。

优先级继承协议在Linux中的实现

随着Linux被越来越多地用于实时系统中,实时性能也日益受到关注。通过将Linux的内核改造为可抢占式内核,可缩短系统的响应延时,提高Linux的实时性,但同时也带来了优先级逆转的问题。为了解决优先级逆转问题,基于可抢占式的Linux内核,对Linux内核相关源代码进行修改,实现了优先级继承协议。经过测试证明,采用优先级继承协议的抢占式Linux内核能够解决优先级逆转的问题,满足系统的实时要求。

Linux的Netfilter功能框架

Netfilter是Linux2 .4内核实现数据包过滤、数据包处理、NAT等的功能框架。文章通过和ipchains进行比较分析了netfilter功能框架 。

Linux操作系统特性分析

Linux是当前除了windows外最流行的一种操作系统。从各方面介绍Linux系统的特性 ,包括其综合特性、稳定性、性能、兼容性。

用户级实时线程的设计与实现

连续媒质的应用程序要求有实时线程高效灵活的支持 ,包括对线程属性的动态管理和多线程模式的支持。本文介绍在RT

GLIBC中Linux异步I/O函数的实现

文中主要介绍异步I/O模式的基本思想和GLIBC中Linux异步I/O函数的实现方法 ,给出其主要的数据结构和主要算法 。

Linux中文化问题

Linux已经成为除了Windows外最流行的一种操作系统,其文化也是大家热门的话题。本文分析Linux中文化的标准问题。

薄壁小直径不锈钢钢管扩口裂纹原因分析

针对航空用薄壁小直径不锈钢钢管(Φ6mm×0.6mm)在扩口过程中(管口扩至Φ9.5mm)容易出现裂纹甚至开裂的问题,利用光学显微镜、拉力试验机及硬度测试仪对其扩口裂纹及加工过程中的硬度积累环节进行了试验分析。研究结果表明:出现扩口裂纹的不锈钢钢管硬度高、晶粒小,同时发现在加工过程中随拉拔管径变小,其硬度有呈线性增长的趋势。

薄壁小口径不锈钢管扩口裂纹原因分析

利用光学显微镜、拉力试验机及硬度测试仪对薄壁小口径不锈钢管在扩口时出现裂纹、且在加工过程中存在硬度积累现象进行了分析。结果表明,扩口裂纹管的硬度高,晶粒小,晶粒之间尺寸差别大;在加工过程中随拉拔管径变小,其硬度呈线性增长。

“网链耦合”视角下污染密集型产业转型升级研究——以绍兴印染产业为例

实现污染密集型产业的转型升级是践行"两山"理论的重要方式。以"网链耦合"为理论视角,以绍兴印染产业为研究对象,从耦合方式、耦合动力、耦合效益出发,对其转型升级过程和方式进行了分析。研究发现:第一,在空间生态系统与价值链生产制造的耦合中,采取了规划集聚区,建设印染产业公用基础设施,分批集聚的耦合方式,强制政策推动和优惠政策吸引是其耦合动力,取得了环境效益;第二,在创新生态系统与价值链研发设计的耦合中,采取了集聚印染人才,打造创新平台,集聚创新技术的耦合方式,优惠政策激励和市场机制的驱动是其耦合动力,取得了创新效益;第三,在时尚/工业旅游生态系统与价值链品牌服务的耦合中,采取了建设纺织工业创意设计基地,打造时尚周品牌,开发工业旅游项目等耦合方式,市场机制的驱动和多方主体的支持是其耦合动力,取得了平台效益。