排序方式: 共有22条查询结果,搜索用时 140 毫秒
1.
用户级实时线程的设计与实现 总被引:1,自引:0,他引:1
连续媒质的应用程序要求有实时线程高效灵活的支持,包括对线程属性的动态管理和多线程模式的支持。本文介绍在RT-Mach微内核上用户实时线程的设计和实现。 相似文献
2.
文中主要介绍异步I/O模式的基本思想和GLIBC中Linux异步I/O函数的实现方法,给出其主要的数据结构和主要算法,并分析了该方法在实际应用中的优点和缺点。 相似文献
3.
一种证明程序正确性的方法 总被引:1,自引:0,他引:1
介绍一种证明程序正确性的方法,并和Floyed_Hoare公理学方法作了一些比较.为了形象的描述该方法,建立了一个抽象模型及一个程序实例,然后相对于这一模型并结合程序,给出了程序正确性的定义及其证明方法. 相似文献
4.
5.
Linux是符合POSIX标准的操作系统,异步I/O是POSIX1003.1b提出的要求.介绍了异步I/O模式的基本思想,分析了线程技术,比较了用户线程和内核线程,给出了Linux下内核异步I/O的具体实现及其主要数据结构和算法、测试方法、结果,指出了这种实现方法的优缺点和改进方案. 相似文献
6.
Linux已经成为除了Windows外最流行的一种操作系统,其文化也是大家热门的话题。本文分析Linux中文化的标准问题。 相似文献
7.
8.
实时Linux中共享内存的实现 总被引:5,自引:0,他引:5
共享内存是进程间通信最快的途径,文中介绍实时Linux中共享内存的实现方法,并和FIFO方式进行了一些比较。 相似文献
9.
1Linux简介 Linux是用于多种计算机平台的操作系统,它是由全世界各地数以百计的程序员设计和实现的,其目的是建立不受任何商品化软件版权制约的、全世界都能自由使用的UNIX兼容产品。 Linux是目前唯一可免费获得的、为IBMPC及其兼容机硬件平台上的多个用户提供多任务、多进程功能的操作系统,这是人们要使用它的原因。Linux源代码开放,许多应用程序也可以从网上免费获得,但到底谁拥有Linux的所有权呢?首先Linux不是公共领域中的软件;Linux各组成部分的版权由多人拥有。LinusTor… 相似文献
10.
优先级继承协议在Linux中的实现 总被引:1,自引:1,他引:0
随着Linux被越来越多地用于实时系统中,实时性能也日益受到关注。通过将Linux的内核改造为可抢占式内核,可缩短系统的响应延时,提高Linux的实时性,但同时也带来了优先级逆转的问题。为了解决优先级逆转问题,基于可抢占式的Linux内核,对Linux内核相关源代码进行修改,实现了优先级继承协议。经过测试证明,采用优先级继承协议的抢占式Linux内核能够解决优先级逆转的问题,满足系统的实时要求。 相似文献