-
题名Linux实时性研究及其中断进程化的实现
被引量：4
- 1
-
-
作者
洪雪玉
张凌
陈宝钢
许宪成
-
机构
华南理工大学广东省计算机网络重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第10期64-65,94,共3页
-
文摘
Linux属于通用的分时操作系统,因此将它应用于实时系统领域必然存在一些不确定性问题,如内核不可抢占、时钟粒度粗糙、缺乏有效的实时调度策略等。为了解决这些问题,出现了一些如RT-Linux、Kurt-Linux、Hardhat-Linux等Linux实时性研究项目。文章在对Linux实时性研究的基础上,介绍了中断进程化的研究工作和实验结果。结果表明这种改进是显著的,较大地减少了内核的不确定延迟。
-
关键词
实时系统
LINUX
中断进程化实现
确定性
-
Keywords
Real-time system
Linux
Implementation of interrupt in process
confirmability
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名刑事证据“三性”刍议
- 2
-
-
作者
廖祥正
-
机构
中国人民大学法学院
-
出处
《天中学刊》
2012年第3期55-59,共5页
-
文摘
刑事证据能力包含三个要素:关联性、可印证性和合法性。关联性是指从逻辑上看证据与待证事实之间有实质性联系;可印证性是指从主观经验上看证据是对客观事实的反映;合法性是指从价值上看取证主体、取证程序和证据形式合法。没有关联性或可印证性的证据首先排除有证据能力,不论其合法性有无。可印证的关联性证据具有证明力,但是否具有证据能力还需看其是否合法。证据的"三性"具有不同质性和相对独立性。
-
关键词
证据能力
可印证性
合法性
价值判断
不同质性
-
Keywords
competency of evidence
confirmability
legality
value judgment
relative independence
-
分类号
D915.3
[政治法律—诉讼法学]
-
