软件工程小施同学 的专栏

根据相关性理论的研究, 任务间存在三种相关性:数据相关性、 控制相关性 资源相关性.其中, 数据相 关性和控制相关性是任务本身固有的性质, 而资源相 关性则是由于资源不足而导致的, 可以通过增加资源 数量的方式来消除. 下面对这 3 种相关性进行逐一的 说明.数据相关性指的是顺序执行的若干条语句所涉及 的变量存在着交集,在串行程序中, 除了数据相关性外, 还存在控制 相关性. 若程序中有两个任务 T 1 和 T2 . T 2 是否能执行 取决于 T 1 的执行结果. 那么, 就称 T.

一、区别并行并行：多个处理器，从硬件角度真正意义的同时进行多线程多线程：只是逻辑上的并行，同一时刻还是只有一个线程发生并发并发：并行和多线程都叫并发二、锁1. 关于锁：不管并发并行，只要存在共享内存，就要考虑加锁的问题。2. 锁的实质：都是通过阻塞线程实现的(一个线程申请锁未释放，另一个锁再申请就会线程就会阻塞)，区别就是这个锁作用的范围，是否多个进程可以共享这个锁。3. 几种锁的区别:（都是阻塞线程）semphore:信号量，多个进程之间也可.

下是单版本；上是多版本；左是悲观；右是乐观

多版本并发控制（MVCC, Multi-Version Concurrency Control）:解决读写冲突的无锁并发控制乐观锁（occ，Optimistic Concurrency Control）：解决写写冲突的无锁并发控制https://www.cnblogs.com/lijiale/p/12752760.html

ACID事务的概念源自于数据库管理系统（DBMS）中数据库事务的概念。在数据库管理系统中，事务必须满足ACID性质，即原子性，一致性，隔离性和持久性。原子性原子性指的是事务中的动作要么全部执行，要么一个都不执行；一致性一致性指的是任何时刻，数据库必须处于一致性状态，即必须满足某些预先设定的条件；隔离性隔离性是指一个事务不能看见其他未提交事务所涉及到的内部对象的状态;持久性持久性则是指一个已提交的事务对数据库系统的改变必须是永久的。STM中的...

在论文中作者提出了一种全新的解决分布式事务的方案Galvin。它是一个分布式事务解决框架，不依赖存储层，只要满足CRUD的存储层均可。作者的核心思路是对即将处理的事务进行预处理，只事务执行之前在执行层面达成事务执行的共识，作者通过将事务记录写入日志，这样事务在日志中的顺序就是事务的执行顺序，这是一个全局的事务日志，从而保证事务执行在全局层面达成共识。Calvin分成三层sequencing layer：这一层负责劫持和收集所有的事务请求，并将它们按照10ms的时间窗口batch提交到全局事务日志，论

Timestamp concurrency control presume the serial order using timestamp and abort those transactions which violate the presumptive order.Timestamps are assigned at runtime, which means the presumptive serial order is determined at runtime and the final ord

https://www.bilibili.com/video/av500357140/

一、并发控制定义在数据库中，并发控制是指在多个用户/进程/线程同时对数据库进行操作时，保证事务的一致性和隔离性，同时最大程度地并发。并发控制的目的是保证一个用户的工作不会对另一个用户的工作产生不合理的影响。在某些情况下，这些措施保证了当用户和其他用户一起操作时，所得的结果和她单独操作时的结果是一样的。二、并发中存在的冲突状况1、读-读不存在任何问题2、读-写有隔离性问题，可能遇到脏读，不可重复读等。脏读：事务 T1修改某一数据,并将其写回磁盘,事务T2读取同一数.

什么是MVCC?MVCC，全称Multi-Version Concurrency Control，即多版本并发控制。MVCC是一种并发控制的方法，一般在数据库管理系统中，实现对数据库的并发访问，在编程语言中实现事务内存。MVCC在MySQL InnoDB中的实现主要是为了提高数据库并发性能，用更好的方式去处理读-写冲突，做到即使有读写冲突时，也能做到不加锁，非阻塞并发读什么是当前读和快照读？在学习MVCC多版本并发控制之前，我们必须先了解一下，什么是MySQL InnoDB下的当..

crash fault-tolerant protocols,e.g., Paxos [27], guarantee safety (consistency) in an asynchronous network using 2f+1 nodes to overcome the simultaneous crash failure of any f nodes在使用2f + 1个节点的异步网络中确保安全性（一致性），以克服任何f个节点的同时崩溃失败Byzantine fault-to..

https://www.jdon.com/artichect/raft.html