C# 线程的高级话题的详细说明

最新推荐文章于 2024-10-19 16:02:10 发布

生命不息-学无止境

最新推荐文章于 2024-10-19 16:02:10 发布

阅读量1k

点赞数 32

分类专栏： C#理论知识文章标签： c# 开发语言

本文链接：https://blog.csdn.net/weixin_39604653/article/details/141979419

版权

C#理论知识专栏收录该内容

23 篇文章 0 订阅

订阅专栏

在 C# 中，多线程编程是一项强大的技术，它可以显著提高程序的并发能力和执行效率。而线程的高级话题涉及到更复杂的概念和机制，旨在优化多线程程序的性能、减少资源占用并确保线程之间的协作更有效。下面是 C# 线程的高级话题的详细说明，包括线程优先级、线程局部存储、线程上下文切换、死锁及竞态条件的检测和避免等内容。

1. 线程优先级与调度

1.1 线程优先级

每个线程都有一个优先级，系统根据线程的优先级来调度和分配 CPU 时间。在 C# 中，Thread 类的 Priority 属性允许我们设置线程的优先级。优先级的枚举值是 ThreadPriority，包括以下几个级别：

ThreadPriority.Highest
ThreadPriority.AboveNormal
ThreadPriority.Normal
ThreadPriority.BelowNormal
ThreadPriority.Lowest

Thread myThread = new Thread(SomeWork);
myThread.Priority = ThreadPriority.AboveNormal;
myThread.Start();

注意：

优先级较高的线程会比低优先级的线程更频繁地获得 CPU 时间片，但这并不能保证高优先级线程一定能比低优先级线程运行更快。
不应依赖线程优先级来控制逻辑顺序，而应当通过同步机制来保证顺序。

1.2 线程调度

线程调度器是操作系统中的一部分，负责决定哪个线程在某个时间点执行。在 Windows 上，C# 使用的是基于抢占式的线程调度（preemptive scheduling），这意味着线程的执行可以被中断，并由另一个线程接管 CPU。

2. 线程局部存储 (Thread Local Storage)

线程局部存储（Thread-Local Storage, TLS）是每个线程独立的数据存储区域。在并发编程中，有时我们需要为每个线程保留独立的数据副本，而不让多个线程共享相同的数据。这时可以使用 ThreadLocal<T> 类。

2.1 使用 `ThreadLocal<T>`

ThreadLocal<T> 为每个线程提供了自己的数据副本。每个线程访问该对象时，都会得到一个独立的值。

ThreadLocal<int> _field = new ThreadLocal<int>(() => Thread.CurrentThread.ManagedThreadId);

void SomeMethod()
{
    Console.WriteLine($"Thread ID: {_field.Value}");
}

Thread thread1 = new Thread(SomeMethod);
Thread thread2 = new Thread(SomeMethod);
thread1.Start();
thread2.Start();

在上面的代码中，每个线程的 _field.Value 都是它自己的线程 ID，而不是共享的值。

2.2 `ThreadLocal<T>` 的使用场景

ThreadLocal<T> 常用于：

在线程池中为每个线程维护独立的上下文数据。
在并发环境下为每个线程存储日志或统计信息。

3. 线程上下文切换

3.1 什么是线程上下文切换

线程上下文切换是指操作系统暂停当前正在运行的线程，并保存它的状态（即上下文），然后恢复并运行另一个线程的过程。上下文切换会消耗一定的时间和资源，因为系统必须保存和恢复线程的状态（如寄存器内容、栈指针等）。

3.2 如何减少上下文切换

大量的上下文切换会显著影响程序性能，特别是在频繁切换的情况下。可以通过以下方式减少上下文切换：

减少锁竞争：避免多个线程频繁地争用共享资源，从而减少线程被阻塞的次数。
使用线程池：线程池中的线程在任务之间被重用，避免了频繁创建和销毁线程的开销。
使用无锁算法：尽可能使用无锁的数据结构（如 ConcurrentDictionary），减少锁的使用，从而减少上下文切换。

例如，使用 SpinLock 而不是传统的 lock，可以在短时间的锁等待中避免切换线程。

4. 线程同步高级机制

4.1 高级同步原语

除了常见的 lock 关键字，C# 还提供了一些高级的同步原语，适用于更复杂的并发场景。

Monitor：比 lock 更灵活，允许显式进入和退出临界区，还可以使用 Monitor.Wait() 和 Monitor.Pulse() 实现线程间通信。
```
Monitor.Enter(obj);
try
{
    // 进入临界区
}
finally
{
    Monitor.Exit(obj);
}
```
Mutex：可以用于跨进程同步，而不仅仅是线程间同步。适合需要在多个进程之间同步资源的场景。
```
Mutex mutex = new Mutex();
mutex.WaitOne();  // 请求资源
// 临界区
mutex.ReleaseMutex();  // 释放资源
```

Semaphore 和 SemaphoreSlim：控制同时访问某个资源的线程数量。SemaphoreSlim 是更轻量的版本，适合单进程使用。

SemaphoreSlim semaphore = new SemaphoreSlim(3);  // 同时允许 3 个线程
await semaphore.WaitAsync();  // 请求信号
// 临界区
semaphore.Release();  // 释放信号

ReaderWriterLockSlim：允许多个线程同时读取资源，但只有一个线程可以写入，适合读多写少的场景。

ReaderWriterLockSlim rwLock = new ReaderWriterLockSlim();
rwLock.EnterReadLock();
// 读取操作
rwLock.ExitReadLock();

rwLock.EnterWriteLock();
// 写入操作
rwLock.ExitWriteLock();

5. 死锁、活锁与线程饥饿

5.1 死锁

死锁是指两个或多个线程互相等待对方释放资源，导致程序无法继续执行。死锁可以通过避免循环依赖、使用超时锁、或采用有序的资源分配策略来防止。

检测与避免死锁：

避免嵌套锁定不同的资源。
使用超时锁（例如 Monitor.TryEnter() 或 Mutex.WaitOne(timeout)）来防止无限期的等待。

if (Monitor.TryEnter(resource1, TimeSpan.FromSeconds(1)))
{
    try
    {
        // 临界区
    }
    finally
    {
        Monitor.Exit(resource1);
    }
}
else
{
    Console.WriteLine("Could not acquire lock, avoiding deadlock.");
}