期刊文献+
共找到47篇文章
< 1 2 3 >
每页显示 20 50 100
Modelling Magnetization Transfer Considering Spin-Locking Effects
1
作者 Claus Kiefer 《Open Journal of Medical Imaging》 2014年第4期199-204,共6页
Purpose: Recently it was demonstrated that spin-locking (SL) effects can manifest as pseudo magnetization transfer (MT). To our best knowledge the MT models proposed so far cannot distinguish between saturation effect... Purpose: Recently it was demonstrated that spin-locking (SL) effects can manifest as pseudo magnetization transfer (MT). To our best knowledge the MT models proposed so far cannot distinguish between saturation effects caused by the MT preparation pulses and SL phenomena. Therefore a new MT model is proposed. Materials and Methods: A binary spin-bath model for magnetization transfer was extended in that sense that SL effects are considered. The new modified spin bath model was tested for a phantom with different agar concentrates (2%, 4%, 8%) and a MnCl2 (0.3 mM) solution. Results: The mean fitting error is 3.2 times lower for the modified model compared to the original model. Especially the parameter F for the fractional part of the bounded proton pool describes the situation for the MnCl2 (F = 0) better than the original model (F = 0.004). Conclusion: The proposed mathematical modifications of the binary spin-bath model considering SL seem to be a step in the right direction in that sense that the effects associated with SL are not interpreted as magnetization transfer. 展开更多
关键词 MRI MAGNETIZATION TRANSFER spin-locking
下载PDF
基于改进SOGI-FLL的旋转弹舵机滞后测试方法
2
作者 张鑫 林凡 沈鑫杰 《兵工学报》 EI CAS CSCD 北大核心 2023年第2期428-436,共9页
针对旋转弹舵机滞后测试中存在的噪声及常值偏移问题,将2阶广义积分锁频环(SOGI-FLL)改进后应用于测试数据处理,以精确地得到舵机滞后角。舵机滞后角测试问题的本质是存在噪声及常值偏移下的正弦信号相位提取问题。通过在常规SOGI-FLL... 针对旋转弹舵机滞后测试中存在的噪声及常值偏移问题,将2阶广义积分锁频环(SOGI-FLL)改进后应用于测试数据处理,以精确地得到舵机滞后角。舵机滞后角测试问题的本质是存在噪声及常值偏移下的正弦信号相位提取问题。通过在常规SOGI-FLL中引入常值偏移补偿回路,使其具有常值偏移扰动抑制能力。改进SOGI-FLL表现为带通滤波器特性,可实现正弦信号基波频率处无滞后无衰减的滤波,有效消除噪声及常值偏移的影响,其输出的正交信号供给带有PI环节的锁相环(PLL)进行相角估计。仿真和实验结果表明,在测试信号存在噪声及常值偏移时,相比于传统FFT方法和相关分析法,改进SOGI-FLL能够有效地提高滞后角处理精度。 展开更多
关键词 旋转弹舵机 2阶广义积分锁频环 带有PI环节的锁相环 滞后角
下载PDF
鸭式布局双旋稳定弹强迫运动理论研究 被引量:16
3
作者 常思江 王中原 刘铁铮 《兵工学报》 EI CAS CSCD 北大核心 2016年第5期829-839,共11页
为深入理解鸭式布局双旋稳定弹的动力学特性,对前体鸭舵周期性干扰引起的强迫运动进行了理论研究。建立一个简化七自由度飞行动力学模型,利用双旋稳定弹的横向运动方程组,在小攻角条件下推导出线性攻角运动模型,得到周期性舵控作用强迫... 为深入理解鸭式布局双旋稳定弹的动力学特性,对前体鸭舵周期性干扰引起的强迫运动进行了理论研究。建立一个简化七自由度飞行动力学模型,利用双旋稳定弹的横向运动方程组,在小攻角条件下推导出线性攻角运动模型,得到周期性舵控作用强迫项对应特解的具体表达式。通过对攻角快、慢圆运动角频率及强迫振幅变化特性在不同条件下的仿真分析,讨论该强迫运动的共振条件,分析舵面偏转角、舵面位置和极转动惯量比对共振幅值的影响。对大攻角条件下的前体转速闭锁问题进行初步分析,导出了该弹发生转速闭锁的稳定方位角及临界攻角表达式。 展开更多
关键词 兵器科学与技术 双旋弹 鸭舵 转速特性 攻角 共振 转速闭锁
下载PDF
WDM驱动程序开发疑难分析 被引量:8
4
作者 刘鸿 王平 俞伟 《计算机应用》 CSCD 北大核心 2003年第6期112-113,116,共3页
旨在探讨WDM(WindowsDriverModel)驱动程序开发过程中,经常困扰开发人员的中断优先级(IRQL)、自旋锁以及内存管理等疑难问题,澄清了概念,分析了难点,提出了克服的方法和应该采取的措施。
关键词 WDM 中断优先级 自旋锁 内存管理
下载PDF
利用SystemC实现多核系统的快速建模 被引量:11
5
作者 奚杰 陈杰 朱玥 《微电子学与计算机》 CSCD 北大核心 2010年第7期214-217,共4页
在多核系统设计中,传统的Verilog/VHDL等语言由于仿真速度慢的缺点,不适合多核处理器建模.为实现快速建模,文中利用SystemC对多核处理器进行建模,并且给出了处理器、共享存储区、信号量、邮箱、自旋锁等模块的建模方法.通过详细的性能分... 在多核系统设计中,传统的Verilog/VHDL等语言由于仿真速度慢的缺点,不适合多核处理器建模.为实现快速建模,文中利用SystemC对多核处理器进行建模,并且给出了处理器、共享存储区、信号量、邮箱、自旋锁等模块的建模方法.通过详细的性能分析,寻找系统的性能瓶颈并改进设计.在此基础上,采用手动翻译的方法,实现了可综合的Verilog多核处理器模型.仿真结果显示,SystemC模型相对于Verilog模型可以使仿真速度提高约15倍,并且建模简单,周期级的仿真精确性较高. 展开更多
关键词 多核 SYSTEMC 信号量 邮箱 自旋锁
下载PDF
家猪体外胰蛋白酶消化关节软骨:7.0TMR T1ρ加权成像与量化分析 被引量:5
6
作者 周智洋 单鸿 +6 位作者 李占军 邹学农 Steffen Ringgaard 邹立津 李海声 Hans Stodkilde-Jorgensen Cody Bünger 《中国组织工程研究与临床康复》 CAS CSCD 北大核心 2009年第37期7221-7225,共5页
背景:T1ρ驰豫时间是探测软骨生化改变的最具吸引力的新的磁共振参数。早期骨关节炎主要表现为蛋白多糖的丢失以及胶原的轻微改变。目的:应用T1ρ成像技术与弛豫时间图量化分析方法,评价体外胰蛋白酶消化与未消化家猪髌骨软骨T1ρ驰豫... 背景:T1ρ驰豫时间是探测软骨生化改变的最具吸引力的新的磁共振参数。早期骨关节炎主要表现为蛋白多糖的丢失以及胶原的轻微改变。目的:应用T1ρ成像技术与弛豫时间图量化分析方法,评价体外胰蛋白酶消化与未消化家猪髌骨软骨T1ρ驰豫时间的改变。设计、时间及地点:同体对照观察,于2007-02/2008-01在丹麦奥胡斯大学医院骨科与磁共振研究中心完成。材料:丹麦雌性长白猪10头,左右侧髌骨共20个。方法:选择10头家猪,取右侧髌骨10个为对照组,浸泡于PBS中4h后取出。取左侧髌骨10个为消化组,浸泡于含有胰蛋白酶的PBS溶液中,4h后取出。利用7.0T磁共振机,分别采用自旋锁定自动补偿脉冲簇的三维SE序列进行扫描,获得关节软骨的T1ρ加权图像。重构T1ρ弛豫时间图,测定关节软骨T1ρ值。取两组髌骨软骨标本行番红O/固绿染色进行组织学观察。主要观察指标:①T1ρ弛豫时间图量化分析结果。②两组软骨标本组织学结果。结果:经酶诱导消化的体外家猪髌骨关节软骨T1ρ加权图像成像清晰,呈分层状表现,对比度好,无异常伪影。大体观察两组关节软骨T1ρ加权图像,见局部的信号异常改变。重构T1ρ弛豫时间图并量化测定分析显示,消化组软骨表层T1ρ值高于对照组,差异具有显著性意义(P<0.05),其全层、深层与钙化层之间的比较差异无显著性意义(P>0.05)。结论:经胰蛋白酶诱导消化可引起退变软骨T1ρ驰豫时间改变,特别是在软骨的表层变化明显,提示T1ρ驰豫时间是较敏感、特异性的检测指标,可进一步应用于关节软骨退变的早期诊断。 展开更多
关键词 磁共振成像 T1ρ 酶诱导关节软骨退变 量化分析
下载PDF
Linux调度器免锁优化方法研究 被引量:3
7
作者 张旭 顾乃杰 苏俊杰 《小型微型计算机系统》 CSCD 北大核心 2017年第4期690-695,共6页
Linux操作系统被广泛用于各领域,多核环境下Linux调度器依靠自旋锁保证其正确运行,这给调度器带来了严重的锁竞争.在分析Linux调度器的基础上,对其提出三个层次的免锁优化方法:基础优化、调度行为优化和基于上层应用特征的参数调优.基... Linux操作系统被广泛用于各领域,多核环境下Linux调度器依靠自旋锁保证其正确运行,这给调度器带来了严重的锁竞争.在分析Linux调度器的基础上,对其提出三个层次的免锁优化方法:基础优化、调度行为优化和基于上层应用特征的参数调优.基础优化尝试从代码层面直观地缩小程序的锁冲突域;调度行为优化针对进程创建过程中的唤醒操作提出了一种新进程延迟唤醒方法,有效地减少了进程创建过程中的锁竞争;基于上层应用特征的参数调优可以在对内核修改很小的情况下完成调度器性能提升. 展开更多
关键词 LINUX内核 调度器 自旋锁 锁竞争
下载PDF
肝脏T1rho MRI扫描优化及对肝纤维化的诊断价值初探 被引量:3
8
作者 谢双双 李清 +3 位作者 程悦 陈丽华 张莉 沈文 《放射学实践》 北大核心 2019年第1期35-40,共6页
目的:探讨3.0T肝脏T1rho MRI最简自旋锁定时间(SLT)扫描方案及用于诊断肝纤维化的可行性。方法:前瞻性搜集20例正常志愿者(正常组)和20例慢性肝病且临床疑诊为肝纤维化者(肝纤维化组),均行肝脏T1rho MRI扫描。自旋锁定脉冲设定为500Hz,... 目的:探讨3.0T肝脏T1rho MRI最简自旋锁定时间(SLT)扫描方案及用于诊断肝纤维化的可行性。方法:前瞻性搜集20例正常志愿者(正常组)和20例慢性肝病且临床疑诊为肝纤维化者(肝纤维化组),均行肝脏T1rho MRI扫描。自旋锁定脉冲设定为500Hz,SLT为1、10、20、30、40和50ms。扫描结束后分别采用所有6-SLT(1、10、20、30、40和50ms)和5种简化SLT组合,即最大SLT为40ms的5-SLT(1、10、20、30、和40ms)、最大SLT为50ms的3-SLT(1、10、50ms;1、20、50ms;1、30、50ms;1、40、50ms),生成T1rho mapping。通过兴趣区(ROI)放置法测量各组合肝脏的T1rho值。采用配对样本t检验比较各简化SLT组合与6-SLT所测肝脏T1rho值的差异;采用Bland-Altman法分析各简化SLT组合与6-SLT所测肝脏T1rho值的一致性。采用ROC曲线分析6-SLT与简化SLT组合对肝纤维化诊断效能的差异。结果:正常组、肝纤维化组6-SLT和5种简化SLT组合所测肝脏T1rho值分别为(44.86±2.65)ms vs(53.01±5.79)ms、(43.07±3.15)ms vs(50.90±5.62)ms、(45.24±2.62)ms vs(53.22±5.25)ms、(45.11±2.53)ms vs(53.85±5.13)ms、(45.11±2.60)ms vs(52.80±5.53)ms和(45.22±2.64)ms vs(53.68±5.78)ms,两组间的差异均有统计学意义(P值均<0.001),用于诊断肝纤维化的曲线下面积(AUC)分别为0.910、0.895、0.910、0.933、0.917和0.923;5种简化SLT组合与6-SLT相比,诊断效能差异均无统计学意义(P值均>0.05)。其中正常组和肝纤维化组最大SLT为50ms的3-SLT所测肝脏T1rho值与6-SLT差异均无统计学意义(P>0.05),最大SLT为40ms的5-SLT所测肝脏T1rho值与6-SLT差异有统计学意义(P<0.01)。Bland-Altman分析结果显示所有3-SLT组合与6-SLT差值的散点分布在正常组和肝纤维化组中均较集中,且3-SLT(1、10、50ms)组合的差值和95%一致性区间最小,分别为-0.37(-2.12~1.37)、-0.2(-3.7-3.3)。结论:3-SLT和5-SLT均能简化6-SLT(1~50ms)以测量肝脏T1rho值,可用于诊断肝纤维化,且最大SLT为50ms的3-SLT测量的肝脏T1rho值与6-SLT(1~50ms)差异无统计学意义,其中3-SLT(1、10、50ms)组合的测量变异度最小。 展开更多
关键词 肝脏 肝纤维化 磁共振成像 磁共振T1rho成像 自旋锁定时间
下载PDF
基于Linux内核修改的车载监控系统实时性研究 被引量:5
9
作者 梁中华 吴晓云 冯兴乐 《现代电子技术》 2010年第15期173-176,共4页
针对以往车载监控系统存在较大延时的缺点,设计一种实时宽带车载监控系统。该系统通过在32位ARM微处理器中选用可抢占内核和O(1)调度器的Linux2.6.13操作系统,以直接修改Linux内核的方式,从线程化中断、自旋锁可抢占两方面提高系统的实... 针对以往车载监控系统存在较大延时的缺点,设计一种实时宽带车载监控系统。该系统通过在32位ARM微处理器中选用可抢占内核和O(1)调度器的Linux2.6.13操作系统,以直接修改Linux内核的方式,从线程化中断、自旋锁可抢占两方面提高系统的实时响应性。测试表明,此系统的数据传输实时性和带宽可以满足车载监控的要求。 展开更多
关键词 LINUX ARM微处理器 线程化中断 自旋锁 实时响应性
下载PDF
工艺参数对镍基合金薄壁筒旋压稳定性的影响 被引量:2
10
作者 张怀亮 邹佰文 +2 位作者 肖雷 周胜 邓锐 《中国有色金属学报》 EI CAS CSCD 北大核心 2012年第12期3456-3461,共6页
为实现径厚比达1 400的镍基合金薄壁筒减薄旋压,研究工艺参数对旋压稳定性的影响,建立超薄壁大径厚比筒形件旋压的数值仿真模型,分析主轴转速和旋轮进给速度等工艺参数对旋压变形稳定性的影响规律和不同工艺参数下金属材料的流变规律,... 为实现径厚比达1 400的镍基合金薄壁筒减薄旋压,研究工艺参数对旋压稳定性的影响,建立超薄壁大径厚比筒形件旋压的数值仿真模型,分析主轴转速和旋轮进给速度等工艺参数对旋压变形稳定性的影响规律和不同工艺参数下金属材料的流变规律,结合数值模拟的结论旋压出径厚比达1 400的筒形件。结果表明:当主轴转速为160 r/min、旋轮进给速度为40 mm/min、旋轮圆角半径为6 mm,减薄率为30%、工模间隙率为5%时,旋压过程中工件内壁将出现一个均匀的锁模环,加载区局部材料在锁模环的约束下发生定向流变,使超薄壁筒形件在旋压过程中保持足够的稳定性。 展开更多
关键词 减薄旋压 锁模环 大径厚比 镍基合金
下载PDF
提高实时内核对实时任务响应时间的新方法 被引量:1
11
作者 郑晓曦 张虎 鲍松堂 《计算机工程与应用》 CSCD 北大核心 2009年第16期90-92,196,共4页
提出了一种延迟锁方法,以减小实时内核对周期性实时任务的响应时间。该技术的基本策略为:只让那些不影响实时任务的非实时任务进入非抢占临界区。为实现该策略,引入了定时器中断预测和锁持有时间的概念。此外,还设计了一种用于该策略的... 提出了一种延迟锁方法,以减小实时内核对周期性实时任务的响应时间。该技术的基本策略为:只让那些不影响实时任务的非实时任务进入非抢占临界区。为实现该策略,引入了定时器中断预测和锁持有时间的概念。此外,还设计了一种用于该策略的紧急定时器。最后将该策略原型在Linux2.6内核中实施,实验结果显示,在最差的情况下,Linux对实时任务的响应时间比原来降低了23%,同时,对非实时任务的响应时间比原来增加20%。 展开更多
关键词 延迟锁 自旋锁 实时LINUX 响应时间
下载PDF
多核操作系统自旋锁技术研究 被引量:4
12
作者 虞保忠 郝继锋 《航空计算技术》 2017年第4期115-117,共3页
多核操作系统通常采用自旋锁技术保证多核之间互斥。处理器核属于硬件设备,需要硬件锁机制实现核间互斥,各类处理器都提供相应的硬件指令实现自旋锁,如锁总线。处理器核在获取自旋不成功时,一直自旋,直到获取锁成功。自旋锁持有时间非常... 多核操作系统通常采用自旋锁技术保证多核之间互斥。处理器核属于硬件设备,需要硬件锁机制实现核间互斥,各类处理器都提供相应的硬件指令实现自旋锁,如锁总线。处理器核在获取自旋不成功时,一直自旋,直到获取锁成功。自旋锁持有时间非常短,不引起睡眠,效率很高。 展开更多
关键词 多核 操作系统 互斥 自旋锁 确定性
下载PDF
旋入式自锁髓内钉治疗胫骨骨折 被引量:1
13
作者 姚关锋 齐伟力 +2 位作者 王新家 陈孔冠 王伟东 《河北医学》 CAS 2009年第4期426-428,共3页
目的:评估旋入式自锁髓内钉治疗胫骨骨折的疗效。方法:应用旋入式自锁髓内钉治疗胫骨骨折31例,闭合性骨折23例,开放性骨折8例。结果:按Johner-W ruh评分标准,优25例,良5例,可1例。平均随访14个月,平均愈合时间13周,无主钉弯曲、断裂现象... 目的:评估旋入式自锁髓内钉治疗胫骨骨折的疗效。方法:应用旋入式自锁髓内钉治疗胫骨骨折31例,闭合性骨折23例,开放性骨折8例。结果:按Johner-W ruh评分标准,优25例,良5例,可1例。平均随访14个月,平均愈合时间13周,无主钉弯曲、断裂现象,无感染。骨折全部愈合。结论:旋入式自锁髓内钉在治疗胫腓骨骨折中具有创伤小、固定确实、感染率低、骨折愈合率高等优点,是治疗胫骨骨折的理想方法,具有广泛的适应症及临床应用前景。 展开更多
关键词 旋入式髓内钉 内固定 胫骨骨折
下载PDF
基于SMP的Linux内核自旋锁分析 被引量:7
14
作者 彭正文 徐新爱 《江西教育学院学报》 2005年第3期23-25,28,共4页
现代操作系统中多支持SMP系统,而在SMP系统中一个必须解决的问题就是多个CPU之间的并发执行问题,Linux也不例外。在Linux内核中,实现并执行的方法有许多,其中包括信号量、自旋锁、原语操作和等待队列等,但对SMP的并发实现则主要采用自... 现代操作系统中多支持SMP系统,而在SMP系统中一个必须解决的问题就是多个CPU之间的并发执行问题,Linux也不例外。在Linux内核中,实现并执行的方法有许多,其中包括信号量、自旋锁、原语操作和等待队列等,但对SMP的并发实现则主要采用自旋锁机制。本文通过对Linux2.4.20内核源码分析,使用实例简要说明读写自旋锁在SMP的并发机制及实现。 展开更多
关键词 LINUX内核 SMP 自旋锁
下载PDF
微波电子自旋共振的微分测量 被引量:7
15
作者 李潮锐 《物理实验》 2017年第3期21-24,共4页
实验教学仪器性能优化更有利于教与学的课堂交流,但缺乏日常教研讨论可能导致物理实验教学变为实验技能教学.特别对于近代物理实验教学,掌握实验原理有助于理解科研专业设备的工作原理.可以认为,理解基于调制场作用的锁相技术是掌握电... 实验教学仪器性能优化更有利于教与学的课堂交流,但缺乏日常教研讨论可能导致物理实验教学变为实验技能教学.特别对于近代物理实验教学,掌握实验原理有助于理解科研专业设备的工作原理.可以认为,理解基于调制场作用的锁相技术是掌握电子自旋共振吸收微分测量的关键.为此,教学实施中通过实验技术分解,提高物理实验教学的可操作性.在利用原有教学装置主体器件的基础上,采用通用仪器组建微分测量实验.教学实践表明:微分测量实验既帮助学生更好地理解电子自旋共振谱分析的实验原理,又展示了近代物理实验教学的灵活性及其连接物理实验研究的桥梁作用. 展开更多
关键词 电子自旋共振 锁相技术 微分测量 频响特性
下载PDF
DNMR研究金属烯烃内质子交换的动力学行为
16
作者 张贵荣 Stephen Matchett +1 位作者 戴立益 陆嘉星 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第2期46-53,共8页
该文用完全线形分析法、磁化强度迁移法和自旋锁定技术等三种具体的DNMR法对含有不同取代基的金属烯烃有机化合物中因碳碳键转动引起的分子内质子的化学交换的动力学行为进行了较为详细的研究。结果表明,测得的化学交换的速率常数是合... 该文用完全线形分析法、磁化强度迁移法和自旋锁定技术等三种具体的DNMR法对含有不同取代基的金属烯烃有机化合物中因碳碳键转动引起的分子内质子的化学交换的动力学行为进行了较为详细的研究。结果表明,测得的化学交换的速率常数是合理的。它们满足Eyring和Ar-rehenuius关系式;由此获得的化学交换的活化能参数和活化自由能的变化与化合物中的取代基的Hammett常数б存在很好的一致关系。 展开更多
关键词 线形拟合 磁化强度 自旋锁定 DNMR 活化能 化学交换
下载PDF
用锁相放大技术采集电子自旋共振信号 被引量:5
17
作者 陈丽 胡永茂 李汝恒 《大学物理实验》 2010年第1期16-18,25,共4页
利用示波器通过电子顺磁共振波谱仪观察了DPPH样品中未偶电子的自旋共振信号,使用锁相放大技术采集了电子自旋共振信号的微分线,讨论了影响实验结果的因素,给出了相关的实验参数。分析发现,所采集到的微分线为典型的Guass线型,这与所使... 利用示波器通过电子顺磁共振波谱仪观察了DPPH样品中未偶电子的自旋共振信号,使用锁相放大技术采集了电子自旋共振信号的微分线,讨论了影响实验结果的因素,给出了相关的实验参数。分析发现,所采集到的微分线为典型的Guass线型,这与所使用固体试样中电子的周边环境是一致的,这从实验的角度实现了锁相放大器对电子自旋共振信号的采集。 展开更多
关键词 电子自旋共振 未偶电子 锁相放大技术 Guass线型
下载PDF
光学相位锁定激光在原子玻色-爱因斯坦凝聚中实现拉曼耦合 被引量:5
18
作者 孟增明 黄良辉 +4 位作者 彭鹏 陈良超 樊浩 王鹏军 张靖 《物理学报》 SCIE EI CAS CSCD 北大核心 2015年第24期172-177,共6页
采用光学相位锁定环路技术将外腔反馈式半导体激光器锁定到与钛宝石激光器输出激光频率上.锁定后两束激光的差频线宽从MHz降低到Hz量级,同时两束激光的频率差可实现几百兆赫兹到7 GHz的精密调节.锁定的两束激光作用在铷原子玻色-爱因斯... 采用光学相位锁定环路技术将外腔反馈式半导体激光器锁定到与钛宝石激光器输出激光频率上.锁定后两束激光的差频线宽从MHz降低到Hz量级,同时两束激光的频率差可实现几百兆赫兹到7 GHz的精密调节.锁定的两束激光作用在铷原子玻色-爱因斯坦凝聚的两个基态超精细态=2,1,观测到在两个超精细态之间的拉曼跃迁.该技术可用于超冷原子两个超精细态之间自旋轨道耦合. 展开更多
关键词 光学锁相环 拍频 拉曼跃迁 自旋轨道耦合
下载PDF
一种面向多核环境加速算法的研究
19
作者 梅青平 袁正午 《西南大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第5期161-165,共5页
在共享存储器的多核环境中,锁住共享资源是完成同步操作的有效方法之一.为了提高同步对象工作效率,借鉴windows同步对象工作原理,利用windows原子操作的不可分割性和高效性,提出了一种用户级轻量级自旋锁(CSpinLock)算法,该算法具有执... 在共享存储器的多核环境中,锁住共享资源是完成同步操作的有效方法之一.为了提高同步对象工作效率,借鉴windows同步对象工作原理,利用windows原子操作的不可分割性和高效性,提出了一种用户级轻量级自旋锁(CSpinLock)算法,该算法具有执行速度快的特点.在实验中,将该算法与windows同步对象分别实施于射线跟踪程序.理论分析与实验结果表明,在基于windows系统的共享存储多核环境中和在同步操作频繁的情况下,采用用户级轻量级自旋锁的程序性能较windows同步对象有明显的提升. 展开更多
关键词 多核 同步 自旋锁 用户级 原子操作 射线跟踪
下载PDF
面向多核处理器的低级并行程序验证 被引量:4
20
作者 朱允敏 张丽伟 +2 位作者 王生原 董渊 张素琴 《电子学报》 EI CAS CSCD 北大核心 2009年第B04期1-6,共6页
随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求,多核并行程序验证的重要性日益凸显.本文提出了一个完整的基于多核的并行程序验证框架,该验证框架包括抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及其证明... 随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求,多核并行程序验证的重要性日益凸显.本文提出了一个完整的基于多核的并行程序验证框架,该验证框架包括抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及其证明.我们的目标程序使用自旋锁机制来实现线程间对共享内存的互斥访问.验证框架采用Hoare风格的推导方式,使用高阶逻辑来同时描述机器指令的操作语义和所需要的安全策略.在该框架下,程序员可以对多核并行程序的部分正确性进行验证. 展开更多
关键词 程序验证 多核处理器 自旋锁 汇编级代码 部分正确性
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部