论文部分内容阅读
两段加锁是分布式系统中最广泛使用的并发控制算法。该算法除实现较为复杂外，其致命弱点是容易产生死锁。本文在分析两段加锁产生死锁原因的基础上，给出了一个不会产生死锁的两段加锁方法的充分条件和构造性定理以及实现的方法。
一个两段加锁不死锁的充分条件
【摘 要】
：
两段加锁是分布式系统中最广泛使用的并发控制算法。该算法除实现较为复杂外，其致命弱点是容易产生死锁。本文在分析两段加锁产生死锁原因的基础上，给出了一个不会产生死锁的两
【机 构】
：
陕西师范大学杂志社,陕西师范大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2007年1期
其他文献
采用磷钼酸铵容量法验证了磷在酸碱滴定法中的计量系数，实验结果表明，磷的计量系数可根据具体实验条件选用不同的数值。
叙述了研究标准物质量值溯源性的必要性，讨论了实现标准物质值溯源性的基本途径及技术难点。指出了量值溯源的关键是对定值方法和分析过程质量保证技术进行系统的研究。
在酸度0.15N、波长570nm处,消除干扰元素的情况下,利用葛素紫与锡形成稳定紫红色赘合物,用分光光度计测定锌合金中的微量锡。经比对实验证明,该方法准确可靠。
小鼠子宫系膜三角区在妊娠后出现上皮样细胞群,群内的细胞称颗粒子宫腺细胞(granu-lated metriial gland cells,GMG细胞),该区改称子宫腺细胞区(metriial gland cell area,MG
孤立点发现是数据挖掘活动的重要组成部分,被广泛应用于电子贸易、信用卡等领域的欺诈检测。由于优良的拓扑结构保持和概率分布保持特性,SOM（Self-Organizing Maps）可作为一种
本文针对现有的基于任务复制的静态调度算法在调度周期性分布实时任务时存在的缺点，提出了一种称之为调度簇树（SCT）的新的结构并研究了其特性，在此基础上给出了一种基于SCT树的周
Web中存在大量的镜像页面，这会严重影响分析的结果，并且占据大量的空间和资源，严重影响了计算的效率，因此，如何去除这些镜像页面是社区发现技术中的一个重要的问题。对基于纯链接
以系统总速率最大化为目标，提出在非理想信道信息情形下基于空分复用的多用户MIMO／OFDM下行系统的自适应资源分配方案，并满足用户的QoS要求。该方案首先根据用户信道估计误差模
本实验取１０只Ｗｉｓｔａｒ大鼠的睾丸和附睾，睾丸石蜡切片，附睾精子涂片后用苯胺蓝染色显示赖氨酸含量。结果是睾丸生精小管中精原细胞和精母细胞染色较深即赖氨酸含量较高，精子细胞和精子染色
采用ＬＳＡＢ法对１０例卵巢粘液性囊腺瘤、２１例交界性粘液性乳头状囊腺瘤、３０例粘液性乳头状囊腺癌，进行了Ｐ５３蛋白的免疫组化法检测。结果：Ｐ５３蛋白的表达率在囊腺瘤为阴性，交界性囊腺瘤为１９％，囊腺癌为５３．３％。囊