3.28-课后知识总结-多线程-互斥量数据共享问题&死锁

什么是多线程数据共享问题？

多线程数据共享问题是指在多线程环境下，多个线程同时访问和修改共享数据可能导致的各种并发问题，包括竞态条件（Race Condition）、死锁（Deadlock）、活锁（Livelock）、数据不一致等情况。

1. 竞态条件（Race Condition）：当多个线程同时竞争对共享资源进行读写操作时，由于操作的执行顺序不确定，可能导致最终结果与期望不符，造成数据的不一致性。
2. 死锁（Deadlock）：当两个或多个线程在持有某些资源的同时，又试图获取对方持有的资源，导致彼此之间都无法继续执行的状态。
3. 活锁（Livelock）：类似于死锁，不同之处在于线程并非阻塞，而是一直重复某个操作，导致系统无法继续向前推进。
4. 数据不一致：多线程环境下，如果没有合适的同步机制，可能导致共享数据的读写不一致，例如读取到的数据可能是过时的或者部分更新的。 为了解决多线程数据共享问题，可以采用以下方法：
   • 使用同步机制：如互斥锁（Mutex）、信号量（Semaphore）、条件变量（ConditionVariable）等来保护共享资源，确保同一时间只有一个线程可以访问它。（今天只学了互斥锁）
   • 使用原子操作：对于基本数据类型或者简单的数据结构，可以使用原子操作来保证操作的原子性，避免竞态条件。
   • 使用线程安全的数据结构：如线程安全的队列、哈希表等数据结构，它们内部实现了适当的同步机制，可以安全地在多线程环境下使用。
   • 避免共享数据：尽可能减少共享数据的使用，通过消息传递等方式来避免多个线程之间直接访问共享数据，从而避免并发问题的出现。

什么是线程安全？（可以看看操作系统的书）

线程安全是指在多线程编程中，当多个线程同时访问某个共享资源时，不会出现不可预知的结果或者破坏数据的情况。具体来说，一个线程安全的程序在多线程环境下能够确保共享数据的一致性，不会产生竞态条件（Race
Condition）或死锁（Deadlock）等并发问题。要实现线程安全，通常会采用各种同步机制，如互斥锁（Mutex）、信号量（Semaphore）、条件变量（ConditionVariable）等，以确保在多线程环境下对共享资源的访问是有序和安全的。

例如：创建一个fc函数，在主函数中创建t1、t2两个线程用于执行fc。

#include<iostream>
#include<thread>
using namespace std;
int a = 0;
void fc()
{
   
	for (int i = 0; i < 10000; i++)
	{
   
		a += 1;
	}
}
int main()
{
   
	thread t1(fc);
	thread t2(fc);
	t1.join