[go 面试] 并发与数据一致性：事务的保障

并发

并发是计算机系统中同时执行多个独立任务的能力。通过共享资源和并发执行，系统可以提高性能和效率。然而，并发可能引发一些问题，如竞态条件和资源冲突，需要适当的并发控制机制来确保正确性。

数据一致性

数据一致性指的是数据库中的数据始终保持正确、完整和有效的状态。在并发环境中，多个事务可能同时对数据库进行读写操作，因此需要确保数据一致性。实现数据一致性的方法包括锁机制、事务隔离级别和并发控制算法。

事务与ACID属性

事务是数据库中执行的一系列操作，作为一个不可分割的工作单元。事务具有ACID属性，确保数据操作的可靠性和一致性：

• 原子性（Atomicity）： 事务中的所有操作要么全部成功执行，要么全部回滚，不会部分执行。
• 一致性（Consistency）： 事务执行前后，数据库的完整性约束应保持一致，不会违反任何约束。
• 隔离性（Isolation）： 并发执行的事务之间应该相互隔离，每个事务都应该感知不到其他事务的存在。
• 持久性（Durability）： 一旦事务提交，其结果应该永久保存在数据库中，即使发生系统故障也不会丢失。

事务的目标是确保数据的完整性和一致性，通过将一系列操作作为一个原子单元进行处理。如果事务中的任何操作失败，整个事务将被回滚，以保持数据的一致性。在并发环境中，正确使用事务和并发控制机制是保障数据一致性的关键。