论文部分内容阅读
本文将延迟等待的方法引入到该协议中，并阐明此改进协议能减少重新启动的次数，具有免级联夭折的特性。可串行化只是正确运行的充分不必要条件，本文给出一类不满足可串行条件的正确运行的形式化描述，并阐明延迟多版本时间戳协议可接受此类运行。
一个基于多版本时间戳方法的并发控制协议
【摘 要】
：
本文将延迟等待的方法引入到该协议中，并阐明此改进协议能减少重新启动的次数，具有免级联夭折的特性。可串行化只是正确运行的充分不必要条件，本文给出一类不满足可串行条件的正
【机 构】
：
华中理工大学计算机科学与工程学院,华中理工大学计算机科学与工程学院,武汉
【出 处】
：
计算机与数字工程
【发表日期】
：
1998年5期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
今年的中央1号文件又一次聚焦“三农”。这已经是中央连续12年将1号文件聚焦在“三农”工作上。 “这是因为在中国经济进入新常态的背景下，中国农业发展也进入新阶段，面临新的挑战和矛盾。”国务院发展研究中心研究员程国强说。 1号文件《关于加大改革创新力度加快农业现代化建设的若干意见》全文共5部分，加快农业现代化建设引人注目。 新挑战倒逼“三农”问题顶层设计 从统计数据来看，到2014年，我国粮食
该文利用2012—2015年区域自动站小时降雨资料对安顺市短时暴雨时空分布特征、天气学概念模型、物理量指数特征等进行分析,结果表明:①安顺市有5个短时暴雨大值区,其中有4个
目的探讨血清NGAL、hs-CRP检测对诊断糖尿病肾病患者早期损伤的临床意义。方法选取2013年12月至2015年12月90例在我院治疗的糖尿病肾病患者,按24 h尿蛋白排泄率（UAER）将患者分
土地生态安全是区域可持续发展的重要保证。针对袁州区土地资源的利用状况和所面临的主要生态问题,应用改进的PSR模型框架,构建了袁州区土地生态安全评价指标体系,并引入相对
根据乌克兰共和国汽车运输和公路部安排的任务,基辅汽车公路学院桥梁和建筑结构教研室的全体成员从1962年起进行了小跨径公路桥梁合理结构的选型工作。去年根据乌克兰共和国
以3-氨基酚和乙酰乙酸乙酯为原料,经过两步合成得到一种新型香豆素荧光单体——N-（4-甲基-2-氧代-2H-苯并吡喃-7-基）丙烯酰胺（FM）;以FM与丙烯酸（AA）共聚制备了新型荧光示踪型共聚物
为了研究茶叶产量与气象要素的关系,基于青岛市崂山区1994—2015年气温、降水量、日照时数、空气相对湿度及茶叶产量数据,利用数理统计方法,筛选影响崂山茶产量的关键气象因