当多个线程可以调用单个对象的属性和方法时,对这些调用进行同步处理是非常重要的。 否则,一个线程可能会中断另一个线程正在执行的任务,使该对象处于一种无效状态。 其成员不受这类中断影响的类叫做线程安全类。
Common Language Infrastructure 提供了几种可用来同步对实例和静态成员的访问的策略:
-
同步代码区域。 可以使用 Monitor 类或此类的编译器支持来仅同步需要此类的代码块,从而提高性能。
-
手动同步。 可以使用 .NET Framework 类库提供的同步对象。 请参见 同步基元概述 ,这部分对 Monitor 类进行了讨论。
-
同步上下文。 可以使用 SynchronizationAttribute 为 ContextBoundObject 对象启用简单的自动同步。
-
System.Collections.Concurrent 命名空间中的集合类。 这些类提供了内置的同步添加和移除操作。 有关更多信息,请参见 线程安全集合 。
公共语言运行时提供一个线程模型,在该模型中,类分为许多类别,这些类别可以根据要求以各种不同的方式进行同步。 下表显示了为具有给定同步类别的字段和方法提供的同步支持。
类别
全局字段
静态字段
静态方法
实例字段
实例方法
特定代码块
无同步 |
否 |
否 |
否 |
否 |
否 |
否 |
同步上下文 |
否 |
否 |
否 |
是 |
是 |
否 |
同步代码区域 |
否 |
否 |
仅当标记时 |
否 |
仅当标记时 |
仅当标记时 |
手动同步 |
手动 |
手动 |
手动 |
手动 |
手动 |
手动 |
可以使用 Monitor 类或编译器关键字来同步代码块、实例方法和静态方法。 不支持同步静态字段。
Visual Basic 和 C# 都支持使用特定语言关键字标记代码块,在 C# 中使用的是 lock 语句,在 Visual Basic 中使用的是 SyncLock 语句。 当由线程执行该代码时,会尝试获取锁。 如果该锁已由其他线程获取,则在锁变为可用状态之前,该线程一直处于禁止状态。 当线程退出同步代码块时,锁就会被释放,它与线程的退出方式无关。
lock 和 SyncLock 语句是使用 Monitor :: Enter 和 Monitor :: Exit 实现的,因此,可以在同步区域中将它们与 Monitor 的其他方法一起使用。 |
还可以用 MethodImplAttribute 和 MethodImplOptions.Synchronized 修饰方法,其效果和使用 Monitor 或其中一个编译器关键字锁定整个方法体相同。
Thread :: Interrupt 可用于使线程跳出阻止操作(如等待访问同步代码区域)。 Thread.Interrupt 还用于使线程跳出 Thread :: Sleep 等操作。
为保护 static 方法(Visual Basic 中的 Shared 方法),请不要锁定类型,即:C# 中的 typeof(MyType) 、Visual Basic 中的 GetType(MyType) 或 C++ 中的 MyType::typeid 。 而应改用私有静态对象。 类似地,不要使用 C# 中的 this (Visual Basic 中的 Me )锁定实例方法。 而应使用私有对象。 类或实例可由其他代码锁定,您自己的代码进行锁定可能会引起死锁或性能问题。 |
编译器支持
Visual Basic 和 C# 都支持使用 Monitor :: Enter 和 Monitor :: Exit 来锁定对象的语言关键字。 Visual Basic 支持 SyncLock 语句;C# 支持 lock 语句。
这两种情况下,如果代码块中引发异常,则 lock 或 SyncLock 锁获取的锁将自动释放。 C# 和 Visual Basic 编译器在发出 try / finally 块时,在 try 的起始处使用 Monitor.Enter ,在 finally 块中使用 Monitor.Exit 。 如果 lock 或 SyncLock 块内部引发了异常,则会运行 finally 处理程序,从而使您可以执行任何清除工作。