Linux终端设备连接属性控制及应用

终端是对Linux系统进行控制和管理的重要方式,在Linux系统中,终端被视作文件,像普通的磁盘文件一样,终端与系统的连接同样具有一组属性,属性规定了终端的工作方式,Linux提供了修改终端属性的方法,提高了终端的灵活性。该文介绍了修改终端连接属性的方法,并通过实例来具体说明使用方法。     

基于环境属性的访问控制系统设计与实现

目前研究的访问控制机制大多将访问策略与主客体相关联,访问权限相对固定,但在实际应用中,访问控制权限需要根据服务环境变化而实时调整。为此,构建一种基于环境属性的访问控制模型,在Linux系统下设计并实现基于该模型的访问控制系统。在访问控制的判定过程中增加环境属性因素,实现根据环境属性动态调整访问控制权限。测试结果表明,该模型对系统开销少,不会降低Linux平台的正常运行效率,能有效提升系统的安全性和可用性。     

Linux防火墙内核中Netfilter和Iptables的分析

近些年来Linux得到了迅速的发展,这既得益于它的开源软件属性和稳定、高效、健壮的内核,也与Linux是一个高性能的网络操作系统密不可分。文章在Linux相关源码的基础上对Linux内核防火墙框架Netfilter/Iptables进行了研究,并利用HOOK函数,实现了对Land和Winnuke攻击的检测。     

基于Linux的网络计算机服务器的设计与实现

由于Linux在电子政务,企业,教育等等方面的推广应用,为网络计算机(NC)提供Linux上的各种应用服务的需求日益迫切,在Linux上实现网络计算机服务器(NCS)可以满足这种需求。文章通过从用户会话管理,Linux应用服务的输入输出传输,图像像素的压缩编码方式,及对不同NC运行环境的自适应性及系统安全配置几个关键方面深入研究与实现了Linux上的网络计算机服务器,使网络服务器能够为NC提供可用的应用服务。NCS为X客户程序的X服务器,目前已有的Linux应用可以不需修改为NC提供服务。另外,为提高系统的适应范围,提出了在会话服务中加入针对NC运行环境和网络属性的反馈式(Feedback)适应策略。文章最后指出了当前方案的不足和今后的研究方向。     

一种基于NAND闪存的嵌入式Linux文件系统

本文分析了NAND闪存的独特属性和它对嵌入式Linux文件系统提出的新要求，在此基础上提出了一个基于NAND闪存的嵌入式Linux文件系统。     

一种基于属性的操作系统内核自动验证方法

传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码进行抽象存在建模工作量大、人工参与过多易出错以及属性难以描述和检测等问题.本文以Linux内核作为实验对象,提出了一种基于属性的OS内核自动验证方法,利用模型抽取工具Modex自动的从inux内核源代码抽取模型,试图保证模型与实现代码一致性的同时减少因人工参与产生的人为错误,然后用时间轴属性来描述属性,最后用模型检测工具Spin对Linux内核代码模型进行检测.实验选取了Linux内核中接口和数据结构相对复杂的调度器进行模型的自动抽取与属性检测,验证了该方法在操作系统内核模型检测中的有效性和实用性.     

基于Linux的嵌入式汽车智能监控系统的设计

介绍了基于Linux的嵌入式汽车智能监控系统的功能和硬件选型,阐述了基于图元的组态软件的设计思想、方法,强调了图元库的管理,以及根据图元属性绘制图形的实现方式,最后作为一个应用给出了汽车智能监控系统的软件设计。     

Linux防火墙中mark模块分析及编写

本文主要分析了linux下防火墙netfilter/iptables的结构和模块属性,主要解决系统在多线负载均衡和自己开发的防火墙不能共用mark时,提供了一种扩展模块应用。通过对netfilter/iptables程序结构的分析,期待解决Linux中防火墙系统在实际生活中的应用。     

关于大专院校开设Linux应用基础课的初步探讨

对Linux进行了简单介绍,通过分析Linux应用的现状和当前的Linux教育状况,对Linux人才的培养和大专院校开设Linux应用基础课程的必要性和前瞻进行了初步探讨.     

浅谈Linux课程在职业院校开设的必要性

本文对Linux进行了简单介绍,通过分析Linux应用的现状和当前的Linux教育状况,对Linux人才的培养和职业院校开设Linux应用基础课程的必要性和前瞻性进行了初步探讨.     

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

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

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

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

基于亚像素特征点提取的螺纹检测粗糙聚类算法

本文研究了一种应用于高速图像检测的基于亚像素特征点提取的螺纹检测粗糙聚类算法。其基本思想是:采用分阶段的高精度亚像素特征点提取方法,将图像边缘特征离散为亚像素级特征点,利用粗糙集中的不可分辨概念和近似集合概念,对图像亚像素级特征点进行粗糙聚类,以便区分图像中多个螺纹零件,确定螺纹小径不可分辨类。在此基础上,给出了螺纹几何参数测量的步骤和计算规则,根据计算结果对螺纹零件进行基于图像特征的判别和处理。这种基于亚像素特征点提取的螺纹检测粗糙聚类方法具有较高的检测精度。     

Java语言多线程技术

本文从线程的概念及特点、多线程和多进程的区别以及死锁等基本原理出发，论述Java语言中的多线程机制-线程调度模式，同步互斥机制以及内置多线程功能，并对线程的状态，创建和控制方法以及避免死锁的方法作了深入的探讨。     

线程池技术在B/S 网络管理软件架构中的应用

针对网络管理软件后台存在应用服务器的数据处理量多和资源消耗过大的问题,提出了改进算法,研究了线程池技术,包括线程池的工作原理、线程池使用方式、线程池配置方法、线程池监控方法和线程池的关闭方法。线程池根据基本线程池、工作队列和整个线程池的饱和情况进行工作,依据任务性质、任务优先级、任务执行时间和任务依赖性进行线程配置,以达到高效执行和最优资源的利用。     

Dot Net 多线程技术相关应用的研究

多线程技术可以极大地提高系统资源利用率和应用程序运行效率,在现代程序设计中得到广泛采用。本文介 绍了多线程技术的概念,并对多线程技术在C#中的实现和应用进行了简单阐述,以便更进一步认识和掌握多线程技术,并将 其应用于实际问题的解决当中。     

帮助线程预取质量的实时在线评价方法

针对传统静态枚举设置帮助线程控制参数值的繁杂耗时问题,提出了一种帮助线程预取质量的实时在线评价方法。首先,明确了帮助线程的预取服务质量（QoS）的目标;其次,分析了帮助线程预取性能评价的动态指标,对帮助线程预取QoS进行了建模分析;最后,提出一个帮助线程预取的动态自适应调节算法,算法根据程序的阶段行为变化和动态预取获益变化等信息来判断参数值的适用度以及是否需要进行反馈优化,从而实现对预取控制的自适应调节。实验结果表明,应用自适应预取评价算法之后,Mst热点模块的性能提升加速比为1.496,所提出的自适应预取评价方法能够根据程序的动态阶段行为对帮助线程控制参数值作出自适应控制和调节。     

面向嵌入式系统的威胁建模与风险评估*

为提高嵌入式系统可靠性,开发安全可信的系统,需要在软件开发设计阶段尽早考虑安全问题。提出一种面向嵌入式系统的威胁建模方法,该方法分析了嵌入式系统可能存在的威胁漏洞,以威胁树的形式建立了嵌入式系统威胁模型;根据该模型,以量化的方式从下到上迭代地计算各个节点的威胁值,然后根据各个节点的威胁值对嵌入式系统进行风险评估。为更好地说明威胁模型及其各节点威胁值的计算方法,以智能电表中用户电表账单信息受到的威胁为例,说明了整个建模和量化过程。通过具体实例验证了该方法的实用性和有效性。     

面向GPU并行编程的线程同步综述

并行计算已成为主流趋势. 在并行计算系统中, 同步是关键设计之一, 对硬件性能的充分利用至关重要. 近年来, GPU (graphic processing unit, 图形处理器)作为应用最为广加速器得到了快速发展, 众多应用也对GPU线程同步提出更高要求. 然而, 现有GPU系统却难以高效地支持真实应用中复杂的线程同步. 研究者虽然提出了很多支持GPU线程同步的方法并取得了较大进展, 但GPU独特的体系结构及并行模式导致GPU线程同步的研究仍然面临很多挑战. 根据不同的线程同步目的和粒度对GPU并行编程中的线程同步进行分类. 在此基础上, 围绕GPU线程同步的表达和执行, 首先分析总结GPU线程同步存在的难以高效表达、错误频发、执行效率低的关键问题及挑战; 而后依据不同的GPU线程同步粒度, 从线程同步表达方法和性能优化方法两个方面入手, 介绍近年来学术界和产业界对GPU线程竞争同步及合作同步的研究, 对现有研究方法进行分析与总结. 最后, 指出GPU线程同步未来的研究趋势和发展前景, 并给出可能的研究思路, 从而为该领域的研究人员提供参考.     

Decision problems for pushdown threads

Threads as contained in a thread algebra emerge from the behavioral abstraction from programs in an appropriate program algebra. Threads may make use of services such as stacks, and a thread using a single stack is called a pushdown thread. Equivalence of pushdown threads is shown decidable whereas pushdown thread inclusion is undecidable. This is again an example of a borderline crossing where the equivalence problem is decidable, whereas the inclusion problem is not.