操作系统内核程序函数执行上下文的自动检验

函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的时空运行开销、良好的可扩展性等等.该技术已应用在Linux内核2.4.20的网络设备驱动程序检查中.应用表明,PRPF能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux内核的23处编程错误,另有5处误报.该技术对提高内核代码编写的质量可起到重要作用.

WinNT4.0内核驱动程序简析

随着个人计算机及NT操作系统的流行壮大，工业控制系统必然有一部分将从DOS转移到WinNT．如何为数控系统专用设备编写WinNT内核驱动程序将成为数控程序员的必备知识．文中分析了WinNT4．0系统框架、组件及其内核驱动程序的结构、编程要领。

Windows内核模式驱动程序运行环境的分析

在各种不同情况下,Windows的内核模式驱动程序所运行的环境是不同,它决定了驱动程序能使用的内核支持例程种类和数量,决定了驱动程序的功能,对于应用层程序与驱动程序的数据传输方式也具有重要的影响。文章分析了运行环境的实质,系统中可能存在的运行环境的种类,通过对应用层与驱动层的数据传输方式的分析,说明了运行环境对驱动程序开发的重要意义。

WindowsNT4.0内核模式驱动程序中浮点运算的实现

Windows操作系统是当前测控软件发展的主流操作系统。在 Windows NT操作系统中 ,内核模式驱动程序作为操作系统的一个信任部分 ,运行于 Windows NT的内核模式。但是 ,Windows NT4 .0内核模式不支持浮点运算 ,本文将就此问题 ,探讨如何在 Windows NT 4 .

Windows 2000内核模式驱动程序设计

介绍了 Windows2 0 0 0驱动程序模型的基本结构、设计和开发的基本问题。并以 PCI接口的 ATM信令接口卡开发的驱动程序部分为例 ,简单介绍了驱动程序开发的方法和步骤 .并介绍了驱动程序开发环境的设置及编译方法。这种内核模式驱动程序设计的开发过程得到了简化 。

基于主机内核的混合型入侵防御系统的设计与实现技术

入侵防御系统(IPS,Intrusion Prevention System)是信息安全产品的发展趋势。设计了一个工作在W indows操作系统平台上的混合型入侵防御系统。它将NIPS(基于网络的IPS)和H IPS(基于主机的IPS)无缝地结合起来,分别从网络、主机的重要进程(线程)和重要文件三个主要层次实施较全面的保护。给出了该系统的框架,针对W indows2000系统给出了一些关键的实现技术。

利用KMDF驱动程序实现USB设备的功耗控制

当今越来越多的设备通过USB接口与计算机连接,这种方式虽然为功能的扩展提供了便利,但使得连接在主机上的各种USB设备总耗电量越来越大。因此适时将USB设备切换至"睡眠"状态可以有效地降低主机的整体功耗。KMDF驱动程序框架提供了基于事件驱动、面向对象的驱动程序开发接口,丰富的指令集和函数库使得控制USB设备功耗和切换运行状态的工作变得非常简便。介绍选择性挂起、设备栈等技术概念,说明设备I/O请求的处理原则和分发流程,描述如何通过内核模式驱动程序框架(KMDF)实现USB设备的挂起和唤醒。通过简单的代码片段,证明了设备的"功耗控制"工作简便、可行。

访问物理内存的Windows NT设备驱动程序设计

描述了WindowsNT下内核模式设备驱动程序的结构和内存管理机制 。

设备驱动非内核化通信架构的研究与实现

操作系统内核安全是整个计算机及信息系统安全的基石,而拥有50%以上份额内核代码的设备驱动程序则被认为是内核漏洞的主要来源。设备驱动程序通常以系统级权限运行在内核空间,而操作系统对运行在内核空间的程序是完全信任的。所以,一旦设备驱动程序存在漏洞或恶意代码,往往会影响操作系统安全,甚至导致整个系统的崩溃。为解决此类安全问题,设备驱动程序非内核化成为可选的有效途径之一。考虑到设备驱动程序的复杂性及其与操作系统其他内核模块之间的密切关联性,设备驱动程序的非内核化迁移是一项耗时耗力的工作。立足于自动化迁移的最终目标,文章试图构建一种规范的通信架构,探索选择设备驱动函数迁移的科学依据、迁出函数与用户空间函数的设计框架以及典型的非内核化迁移操作过程。相关原型测试结果表明,文章给出的设备驱动非内核化通信机制在有效隔离设备驱动安全问题的同时,并未过多增加系统开销,对系统性能没有造成太大影响。

UNIX操作系统特性介绍

本文重点对 UNIX 操作系统基本结构及其内核程序中的中断处理、存贮管理、进程管理、设备管理等重要特性进行了分析,同时提出 UNIX 的理想应用环境。

基于段长限制的缓冲区溢出保护

为防范缓冲区溢出攻击,在Intel32位CPU及Windows系统下实现了不可执行堆栈。设计了一个内核驱动程序,将应用程序的堆栈移动到代码区的上部,并修改代码段的限长将堆栈区排除在代码段之外。堆栈中的攻击代码被执行时,CPU就会触发一个保护异常,攻击代码不能继续执行。这种方法能够防范各种已知及未知的堆栈溢出攻击,性能开销低于基于页的防护方式。

浏览器:25年入口之争

浏览器是人类通向互联网世界的第一窗口,不仅伴随着互联网发展而发展,而且也成为推动互联网发展的重要力量。移动互联网时代来临,新的浏览器战争已经打响,互联网公司凭借自己庞大的用户群和互联网服务,纷纷加入这场战争。第一次大战：微软IE完胜网景（1990年-2002年）关键词：IE称霸,内核开源这个阶段,微软将IE浏览器与Windows操作系统捆绑营销,市场份额不断扩大,完胜网景浏览器（Netscape）,市场称霸。

DSP应用青睐实时操作系统

ＤＳＰ应用习惯上采用人工优化的汇编代码。然而,由于ＤＳＰ应用趋于复杂化,使用高级语言亦很普遍,促使开发者目前多采用实时操作系统(ＲＴＯＳ)。为了满足开发者的需求,ＤＳＰ供应商和第三方ＲＴＯＳ厂商已发布了ＤＳＰ芯片专用的操作系统。

新三板规范推荐业务 主办券商职责明晰

全国股转公司日前发布了《全国中小企业股份转让系统主办券商内核工作指引（试行）（征求意见稿）》,拟进一步规范主办券商推荐业务,明确主办券商内核职责,指导主办券商做好推荐业务内核工作。

用于ARM9芯片的Linux定制和裁减

对要装载到ARM9系列芯片开发板上的Linux系统进行定制和裁减,主要分为两个方面:(1)在开发板上装载用于引导和硬件初始化的U-BOOT程序。(2)根据开发的实际需要,在移植Linux内核的基础上对Linux源程序进行筛择,在INIT、KERNEL、LIB等程序及其库中选择要使用和简化的部分,合并成新的Linux源代码。提供了一个用ARM9蕊片的Linux系统的定制和裁减的操作范例。

极速磁盘优化工具——UltraDefrag

功能简介： UltraDefrag是强大的开源磁盘整理工具，适用于NT内核的Windows。它使用内核模式驱动程序，因此它的引擎非常快。

智慧法院建设对接近正义的双刃剑效应与规制路径

接近正义理论追求司法亲民化建设,为全球化司法改革的主要指导,也是我国"司法为民"的内在含义。智慧法院因其技术优势而对接近正义改革具有举足轻重的推动作用,也因其技术特性而具有阻碍司法亲民化建设的潜在风险。我国当前的智慧法院建设对接近正义方面的双刃剑效应关注不够,应加以重视,谨慎推进智慧法院在便民化、公开化、资源分配精准化方面的积极效果,注重智能技术对传统程序理论的解构重组,减小智能技术因数字鸿沟和心智带宽而引起的司法不平等,从宏观的政策性响应下沉至具体的需求性建设。