#ACID

揭露数据库隔离级别的肮脏秘密:可串行性与“严格”可串行化区别! - Matt Freels

19-02-22 961 2 banq

多年来,“可串行化/序列化”(serializability)被称为数据库隔离级别的“  黄金标准  ”。它是绝大多数商业数据库系统中提供的最高隔离级别,一些高度广泛部署的系统甚至 . 详细

分布式事务有自己的架构语言吗?TLA +简介

19-04-15 2093 1 banq

TLA +是一种正式的规范语言。它是设计系统和算法的工具,然后以编程方式验证这些系统没有严重错误。它是相当于蓝图的软件。通常用于设计分布式事务系统,亚马逊等公司普遍使用该语言规范设计他们的分布式事务... 详细

共有 26 上一页 1 2 3 4