分布式系统中死锁检测方法的研究

一、分布式系统中的死锁若在分布式系统中存在一组进程,其中每一个进程都占有了某种资源而等待其他进程占有的资源,这种等待状态如果不加以干预,将永远也不能结束,则系统产生了死锁,或者说这组进程处于死锁状态。产生死锁的原因是由于系统提供的资源数比多个进程所需的资源数少,并且系统的资源分配策略和进程并发执行的速度不当。死锁问题如果处理不当,将严重影响系统的效率和可靠性。     

OS中死锁问题研究

死锁问题是多用户操作系统的一个重要事件,是进程运行过程中对资源请求在时间上的冲突,通过对操作系统的瞬间状态研究,就可以避免死锁的发生。     

银行家算法的类C语言描述

在多道程序系统中，多个程序并发执行，共享系统资源，若对资源的管理和使用不当，会使系统导致死锁，死锁避免是解决死锁问题的常用方法，而银行家算法是最名的避免死锁算法，用类C语言描述了单项资源银行家算法和多项资源银行家算法。     

银行家算法的类C语言描述

在多道程序系统中，多个程序并发执行，共享系统资源，若对资源的管理和使用不当，会使系统导致死锁。死锁避免是解决死销问题的常用方法，而银行家算法是最著名的避免死锁算法。用类Ｃ语言描述了单项资源银行家算法和多项资源银行家算法。     

一类s-组合Petri网模型及其结构分析研究

基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型。通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析，给出了系统死锁存在的充分必要条件。     

银行家算法的类C语言描述

在多道程序系统中,多个程序并发执行,共享系统资源,若对资源的管理和使用不当,会使系统导致死锁.死锁避免是解决死锁问题的常用方法,而银行家算法是最著名的避免死锁算法.用类C语言描述了单项资源银行家算法和多项资源银行家算法.     

一类资源共享系统的Petri网最优活性控制

在资源共享系统中,竞争系统的有限资源会导致系统死锁等不希望事件的发生,文中利用辅助弧,通过引入资源回路概念来描述系统中的这一竞争过程,揭示了一类资源共享系统的资源竞争过程本质特点,阐述了资源回路与系统死锁之间的相互关系,给出了系统在Petri网模型下死锁存在的必要条件.提出了一种避免系统死锁的最优Petri网控制器设计方法,其方法在设计和计算上是有效的,几何上是直观的.     

优先级置顶算法在FlexRay线控转向系统中的应用研究

为解决FlexRay线控转向系统中常见的死锁问题,采用优先级置顶算法进行多任务动态调度。首先,分析FlexRay线控转向系统多任务动态调度过程中的死锁问题|然后深入研究优先级置顶算法防止死锁问题的原理|最后搭建双通道多冗余的FlexRay线控转向系统,进行重要系统参数配置。运行结果表明,未使用优先级置顶算法的FlexRay线控转向系统出现了死锁现象,使用优先级置顶算法进行动态任务调度之后,系统可正常运行,证明了算法有效性。     

基于蚁群系统的网格资源分配与任务调度

为了解决基于启发式算法的资源分配和任务调度过程中由于没有考虑任务间的相互依赖关系而出现的任务死锁问题,提出了一种基于蚁群系统的改进算法.首先阐述了如何将分配调度问题映射到任务资源分配图的优化选择问题上和如何将信号量机制引入到最优任务资源分配图中来解决死锁问题.其次说明了基于蚁群系统如何利用网格信息素系统模型实现该算法,涉及任务资源分配图的构造,以及通过蚁群的正反馈和分布式并行计算机制优化任务资源分配图.最后模拟试验结果说明所提出的算法可以有效地解决网格中任务死锁问题.     

基于记录重播的嵌入式系统死锁检测方法

针对嵌入式系统死锁缺陷问题,提出了一种基于Lamport clock插桩记录的嵌入式系统死锁检测方法——LPM(Lamport clock Pile Record Deadlock Detection Method)。首先利用Lamport clock对嵌入式程序线程关系、资源依赖关系进行记录,然后离线提取日志记录信息,获取资源图并进行死锁检测。仿真实验表明,与经典的插桩机制相比,该方法可有效降低插桩开销并能准确检测出死锁。     

再生产原理探实简述--与生产力研究诸学派商榷

再生产是由再生产实体、再生产关系和再生产力三大因素构成的动态网络系统.再生产实体可分为活劳动实体和物化劳动实体两类;也可分为幼青体和成老体两个段期,且都具"六有--变性"属性.再生产关系是两个以上的具体再生产实体之间的维系.再生产力以三种形态存在,即产出的潜存形态、"产出--吸收"的运行形态和吸收的存贮形态.再生产效益是由再生产实体生命周期形成的再生产力差量与再生产周期形成的再生产实体差量共同表现的.     

国家电网移动终端综合监测系统的设计与实现

为了更好地对国家电网的运营环境进行监控,本文开发了一个移动终端综合监测系统,并对该软件的客户端进行了系统分析,给出了内部网元监测、外部网元监测、动力环境监测和运营监测等功能的设计与实现。     

制度设计的人性基础分析

任何制度设计,都是以一定的人性假设作为逻辑起点的。西方社会建立在“性恶”的人性预设基础上的宪政制度有效地实现了限权与法治,但也有明显的弊端。我国过去建立在“性善”的人性预设基础上的制度安排从积极方面鼓励发扬人性中美好的一面,制度约束却过于宽松。要建设有中国特色的社会主义民主与法治国家,必须坚持从我国国情出发,总结自己的实践经验,同时,借鉴吸收西方宪政制度以及我国传统政治文化中的有益成果,正确认识人性问题,作出合理的制度安排。     

论邓演达的平民政权观

邓演达是民主革命的坚强斗士,小资产阶级激进分子的代表人物。他坚持和发展了孙中山的三民主义,主张组织以工农为主体的革命同盟,通过平民革命建立平民政权,实现社会主义。其平民政权观涉及实现途径、组织体制、运作原则、性质作用、政权维护等诸多层面,是系统化的思想体系,至今仍有借鉴意义。     

浅析"拿到手"教育的教学实践

"拿到手"是傅正泰先生"少而精,拿到手"教育理论的缩略语,其内涵是指在社会要求多样化与知识爆炸时代的高等教育机构,应根据社会的需要,对大学生实施精品教育,从而真正地让学生熟练地掌握一门或数门技能,并能切实而有效地应用于社会之中.为了实现让学生"拿到手"的教学目的,教师必须认真思考、认真落实每一个教学环节,哪怕是细小的环节.只有这样,"拿到手"的目标,才不会成为可望而不可及的"空中楼阁".     

高职院校师资培育机制探究

纵观高职院校师资队伍现状,与高职院校所追求的"双师型"师资队伍建设目标相比还有较大的差距。要从根本上解决师资队伍建设的瓶颈问题,尚需在机制体制上创新。既使要解决目前高职院校师资队伍存在的突出问题,也必须建立完善系统化的师资培育机制,有效培育符合高职教育发展要求的师资队伍,只有这样才能使高职院校师资队伍得以可持续发展。     

试论大学文化建设战略谋划

大学文化建设应当将战略谋划放在首位,立足战略高度,运用战略思维进行整体设计和战略运筹,使大学文化建设成为全面、协调、扎实有效的运行系统。谋划过程中,应当构建目标体系,理清建设思路,对大学文化建设做出全局性、前瞻性和深刻性的设计,要将结构布局的系统安排,文化内涵的多元整合,个性特色的提炼培育以及载体形式的开发与开放运行作为战略谋划的重要着眼点。     

大数据时代会计信息化水平提升研究

会计信息化为企业提供及时、准确和完整的财务信息,利用现代信息技术可以有效地防范财务风险,提高企业经营效益。但是,会计信息化是一个系统工程,不可能一蹴而就。针对会计信息化发展存在的问题,需要从观念更新、人才培养、内控设置及监理机制等方面进行提升。     

一种连续输出半导体激光器群并联驱动电源的研制

针对大功率半导体激光器价格较为昂贵的现状,我们用一个驱动电源同时驱动若干个激光二极管,并使其各自能够独立工作,再通过光纤合束器将这若干束激光耦合输出,从而得到较大的功率和性价比,特别是对大功率激光二极管更能显著地提高性价比。文章分析了半导体激光器的工作原理和使用要求。提出了对单个半导体激光器驱动电源的基本要求。并根据对半导体激光器驱动电源的基本要求,结合系统指标的要求,确定驱动电源的主体电路结构,对部分电路作了分析。从实现电流精度角度考虑,设计并实现高精度、高稳定性的控制系统及外围电路。从半导体激光器损坏机理角度考虑,设计并实现高效、可靠的保护电路及抗干扰电路。     

对我国现阶段健身健美市场现状的思考

通过对我国现阶段健身健美市场发展现状的研究发现,民众对健身健美的欲望越来越迫切,群体不断地拓展,形成了极具潜力的体育产业发展市场.同时也发现,健身健美市场的发展处于无序状态,对品牌认识浅显,消费主体两极分化,政府干预过多.要完善健身健美市场,必须建立科学的管理机制和运行机制,以促进我国健身健美市场快速有序地发展.