用于并发性分析和检测CHD/LCSD图的构造算法及实现

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:qrl307821498
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Java通过'同步'机制为多线程面向对象程序设计避免'相干性'破坏数据一致性提供了一种可行的手段,但这种手段若使用不当,则会造成死锁.针对Java同步机制提出Java多线程程序死锁潜在可能性分析的一种方法,进一步描述了该方法中使用的CHD/LCSD图的构造算法及实现.
其他文献
根据停-等流控原理构造了一种基于蓝牙HCIUART传输层的流控模型,并对该模型进行了流控效率的分析,给出了流控效率的数学表达式,提出了最佳流控效率的条件表达式,这对降低HCIUART
一、教材分析单手肩上投篮是篮球运动中主要的基本技术,是全队进攻的重要手段,起着组织全队相互配合的重要桥梁作用,是中学篮球教学重要组成部分,是更好地学习各种技术和战术的基
为了合理有效地利用企业的计算资源,快速高效地进行企业业务处理,建立了一个企业级并行处理模型.提出了业务处理与业务请求相互分离,介绍了.NET框架下的远程处理机制,解决了
葛南直流输电线路于2005年4月1日进入双极试运行,标志着国内第1套完全国产化的新葛南直流控制保护系统顺利投运。
“到2020年,我国将有4亿多中产阶级或中等收入以上的家庭,每一个家庭都有老年人消费的需求,这个群体有望支撑养老市场的发展。”在3月5日举行的2018中国国际养老产业发展高峰论
报纸
随着网络技术的发展,三层交换机开始取代路由器,成为内部网完成三层转发的核心设备.介绍了千兆三层交换机SW1200软件系统的设计.首先介绍了SW1200的硬件结构和软件平台,接着
分析燃煤电厂烟气中SO2、CO2的吸收过程,分别计算出烟气中SO2质量浓度为500 mg/L、1 000 mg/L、1500 mg/L,CO2质量比为12%、14%、16%时吸收液中[SO2]、[CO2]平衡质量浓度、pH
基于角色的权限管理在信息管理系统的开发中得到广泛应用。应用角色权限管理可使不同身份用户登录验证后具有不同的交互界面,提高了系统的易用性和健壮性。对基于角色的权限管
【目的】预测和研究蒙古栎天然林的生长与发展规律,以更好地经营蒙古栎天然林。【方法】以蒙古栎天然林为研究对象,基于吉林省汪清林业局195块蒙古栎林固定样地的2期复测数据
对威胁进行准确识别是威胁评估的重要内容之一,它涉及到许多不确定性因素.贝叶斯网络是处理不确定性知识的有效工具.根据威胁识别与贝叶斯网络的特点,提出了基于贝叶斯网络的