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

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

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

05

超越Yann LeCun:世界模型的学习和推理

了解大脑中的信息处理并创造通用人工智能是全世界科学家和工程师的长期愿望。人类智能的显着特征是在与包括自我在内的世界的各种互动中的高级认知和控制,这些不是预先定义的,而是随着时间而变化的。构建类人智能机器的挑战,以及脑科学和行为分析、机器人技术及其相关理论形式化方面的进展,说明了世界模型学习和推理的重要性。在本文中,在简要回顾了内部模型学习和概率学习的历史和挑战之后,我们介绍了自由能原理,它为考虑神经元计算和概率世界模型提供了一个有用的框架。接下来,我们展示了在该原则下解释的人类行为和认知的示例。然后,我们将概率建模背景下的符号出现描述为认知机器人学前沿的一个主题。. 最后,我们回顾了使用新颖的概率编程语言在创建类人智能方面的最新进展。这些研究得出的惊人共识是,对学习和推理的概率描述是创建类人人工智能机器并在人类如何与世界互动的背景下理解智能的强大而有效的方法。

02

导致系统性能失败的10个原因

很多软件系统由于性能问题导致了失败,在开发生命周期和性能测试生命周期的每个阶段都存在导致性能失败的原因。有时候,性能问题是无法控制的,它不在项目经理、技术架构师或性能工程师的控制范围之内。从业务和个人层面来看,大多数的系统性能失败仅仅是因为性能工程师、开发人员、 DBA、业务团队和利益相关者之间从一开始就缺乏沟通,这导致了许多其他问题,这些问题将直接影响应用程序的性能和 ROI。对任何应用/产品进行有效性能测试的唯一目标是实现令人满意的投资回报。性能测试和软件工程是有风险的,并且总是需要从开发的早期阶段开始,进行大量的反复试验。

03
领券