C#lock关键字和死锁

用于确保代码块在任何时候都只有一个线程能执行。它主要用于防止多个线程同时访问共享资源，避免数据竞争和不一致性。

当一个线程持有该对象的锁时，其他线程在尝试获取该锁时会被阻塞，直到锁被释放。

private readonly object lockObject = new object();

public void Increment()

{

    lock (lockObject)

    { count++; }

}

重要注意事项

避免死锁：确保不会发生死锁情况，即一个线程永远等待另一个线程释放锁。通常通过确保锁的获取顺序和最小化锁的持有时间来避免死锁。

锁的粒度：选择合适的锁粒度。过大范围的锁会导致性能问题，过小范围的锁可能无法保证线程安全。

不可用值类型作为锁对象：通常使用引用类型作为锁对象，如 object、string 等，不要使用值类型，如 int、bool 等。

死锁的四个必要条件：

        互斥条件：资源是独占的且排他使用，进程互斥使用资源，即任意时刻一个资源只能给一个进程使用，其他进程若申请一个资源，而该资源被另一进程占有时，则申请者等待直到资源被占有者释放。
        不可剥夺条件：进程所获得的资源在未使用完毕之前，不被其他进程强行剥夺，而只能由获得该资源的进程资源释放。
        请求和保持条件：进程每次申请它所需要的一部分资源，在申请新的资源的同时，继续占用已分配到的资源。
        循环等待条件：在发生死锁时必然存在一个进程等待队列{P1,P2,…,Pn},其中P1等待P2占有的资源，P2等待P3占有的资源，…，Pn等待P1占有的资源，形成一个进程等待环路，环路中每一个进程所占有的资源同时被另一个申请，也就是前一个进程占有后一个进程所深情地资源。
以上给出了导致死锁的四个必要条件，只要系统发生死锁则以上四个条件至少有一个成立。事实上循环等待的成立蕴含了前三个条件的成立，似乎没有必要列出然而考虑这些条件对死锁的预防是有利的，因为可以通过破坏四个条件中的任何一个来预防死锁的发生。

死锁的发生：线程 1 工作时锁定了资源 A，期间需要锁定使用资源 B；但此时资源 B 被线程 2 独占，恰巧资线程 2 此时又在待资源 A 被释放；而资源 A 又被线程 1 占用......，如此，双方陷入了永远的循环等待中。

class Program
{
    static void Main(string[] args)
    {
        var workers = new Workers();
        workers.StartThreads();
        var output = workers.GetResult();
        Console.WriteLine(output);
    }
}
 
class Workers
{
    Thread thread1, thread2;
 
    object resourceA = new object();
    object resourceB = new object();
 
    string output;
 
    public void StartThreads()
    {
        thread1 = new Thread(Thread1DoWork);
        thread2 = new Thread(Thread2DoWork);
        thread1.Start();
        thread2.Start();
    }
 
    public string GetResult()
    {
        thread1.Join();
        thread2.Join();
        return output;
    }
 
    public void Thread1DoWork()
    {
        lock (resourceA)
        {
            Thread.Sleep(100);
            lock (resourceB)
            {
                output += "T1#";
            }
        }
    }
 
    public void Thread2DoWork()
    {
        lock (resourceB)
        {
            Thread.Sleep(100);
            lock (resourceA)
            {
                output += "T2#";
            }
        }
    }
}

信号量机制：