首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

数据库事务一致性实现上的各种细节,你注意到了吗? | DB·洞见

数据库的事务包含原子性、一致性、隔离性、持久性四个特性。隔离性与一致性紧密相连,它们也容易让人迷惑。SQL标准定义了4个隔离级别,但由于定义使用的是自然语言,而非形式化语言,导致人们对隔离级别的理解有所差异,各个数据库系统的实现方式也有所不同。然而在分布式的场景下,又面临新的问题。 探索前沿研究,聚焦技术创新。本期由腾讯云数据库高级工程师孟庆钟为大家介绍数据库事务一致性的实现,内容包括事务的基本概念以及特性、主要的隔离级别及实现、TDSQL事务一致性的实现。 事务的基本概念及特性 1.1 事务的基本

02

OptaPlanner规划引擎的工作原理及简单示例(1)

在之前的文章中,已介绍过APS及规划的相关内容,并对Optaplanner相关的概念和一些使用示例进行过介绍,接下来的文章中,我会自己做一个规划小程序 - 一个关于把任务分配到不同的机台上进行作业的小程序,并在这个小程序的基础上对OptaPlanner中更多的概念,功能,及使用方法进行讲解。但在此之前,我需要先讲解一下OptaPlanner在进行规则运算的原理。所以,本文是讲述一些关于寻找最优解的过程中的原理性的内容,作为后续通过示例深入讲解的基础。但这些原理知识不会涉及过分深奥的数学算法,毕竟我们的目标不是写一个新的规划引擎出来,更不是要研究各种寻优算法;只是理解一些概念,用于理解OptaPlanner是依据什么找出一个相对优解的。以便在接下来的一系列文章中,可以快速无障碍地理解我所讲解的更细化的OptaPlanner功能。

00

高效的快照隔离检测算法与工具 | VLDB 2023入选论文解读

在数据库事务中,快照隔离(Snapshot Isolation, SI)是一种已被广泛使用的弱隔离级别,它既避免了可串行化带来的性能损失,又能防止多种不希望出现的数据异常。然而,近期的研究指出,一些声称提供快照隔离级别保证的数据库会产生违反快照隔离的数据异常。在本工作中,我们设计并实现了快照隔离检测器PolySI。PolySI 能够高效地判定给定数据库的执行历史是否满足快照隔离,并在检测到数据异常时提供易于理解的反例。PolySI的性能优于目前已知的最好的黑盒快照隔离检查器,并且可以扩展到包含百万级别事务数量的大规模数据库执行历史上。

05
领券