【摘 要】
：
互联网、社交、购物、金融等各类应用直接面临海量用户的高并发访问,传统的单点数据库逐渐成为这些应用系统的瓶颈,而众多互联网应用能够良好运行的主要原因是使用了基于集群
【机 构】
：
华东师范大学计算机科学与软件工程学院,广西可信软件重点实验室桂林电子科技大学
【基金项目】
：
国家高技术研究发展计划（863）（2015AA015307）,国家自然科学基金（61332006,61432006,61672232）,广西可信软件重点实验室研究课题（kx201602）
论文部分内容阅读
互联网、社交、购物、金融等各类应用直接面临海量用户的高并发访问,传统的单点数据库逐渐成为这些应用系统的瓶颈,而众多互联网应用能够良好运行的主要原因是使用了基于集群环境的数据管理系统作支撑.与传统数据库系统相比,基于集群环境的数据库系统具有更好的扩展性和可用性,而日志复制是保证这些特性的核心组件.传统的主备架构的日志复制在异常情况下对未决事务日志处理不佳,导致数据副本之间存在不一致的风险.另外,分布式系统领域的一致性算法缺乏对事务一致性的处理,而且在选主时存在活锁、多主和频繁选主的问题,无法直接适用于事务日志复制.提出了一种集群环境下的事务日志复制策略和恢复机制,能够有效处理未提交日志,提供了强弱两种读一致性,并且提出一种轻量级的选主算法,可以避免出现以上的选主问题.在开源Ocean Base分布式数据库系统中实现了上述机制,并使用基准测试工具对系统进行测试,通过一系列实验验证了系统的扩展性和可用性.
其他文献
当爱国的口号漫天喊响的时候，往往是一个国家多事的时候。2012年的秋天，似乎就是这么个多事之秋。因为保钓5f发的爱国热潮中，有人呐喊，有人捐款，有人到美国打广告，有人在中国打耳光
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形
杨恒头衔很多，海外博士专家创业联合会执行副主席、IDETCO.ASIA(SINGAPORE)中国及亚洲执行总裁、西雅图数码科技有限公司总裁、无锡海外领军人才、青岛飞洋学院客座教授等等。但眼前的杨恒，却不像他名片上的头衔那么“张扬”，随和而又谦逊的性情，似乎更符合他知识型企业家的身份。 与杨恒的交流，自然是从他不寻常的成长经历开始的。 游子的冲动 杨恒从小学习成绩优秀，是众人眼里的天才
同时,提出一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,可以自动生成循环语句的规约,包括循环不变式、循环
近年来,随着移动智能设备的普及,移动社交网络方兴未艾,用户习惯和朋友分享自己的精彩经历,因此产生了大规模具有时空属性的用户轨迹数据.从狭义的角度来看,轨迹数据是指连续采样的GPS数据.从广义的角度来看,在时空域存在连续性的序列,都可以称作轨迹.例如:在社交网络上的用户签到序列就可以认为是粗粒度的轨迹数据.广义轨迹数据具有时空异构性、连续与离散并存、时空项目的层次性不明显和分类不明确等特点,但是相比