PostSharp6.5/API Reference/Post­Sharp.​Patterns.​Threading Namespace/Deadlock­Detection­Policy Class

DeadlockDetectionPolicy Class

Detects deadlocks occurring because of circular wait conditions.
Inheritance Hierarchy
System.Object
  System.Attribute
    PostSharp.Extensibility.MulticastAttribute
      PostSharp.Aspects.Aspect
        PostSharp.Aspects.AssemblyLevelAspect
          PostSharp.Patterns.Threading.DeadlockDetectionPolicy

Namespace:  PostSharp.Patterns.Threading
Assembly:  PostSharp.Patterns.Threading (in PostSharp.Patterns.Threading.dll) Version: 6.5.2.0 (6.5.2.0)
Syntax
C#
Copy
public sealed class DeadlockDetectionPolicy : AssemblyLevelAspect, 
	IAspectProvider, IAspect, IService

The DeadlockDetectionPolicy type exposes the following members.

Constructors
  NameDescription
Public methodDeadlockDetectionPolicy
Initializes a new instance of the DeadlockDetectionPolicy class
Properties
  NameDescription
Public propertyAspectPriority
Gets or sets the weaving priority of the aspect.
(Inherited from Aspect.)
Public propertyAttributeExclude
If true, indicates that this attribute removes all other instances of the same attribute type from the set of elements defined by the current instance.
(Inherited from MulticastAttribute.)
Public propertyAttributeInheritance
Determines whether this attribute is inherited
(Inherited from MulticastAttribute.)
Public propertyAttributePriority
Gets or sets the priority of the current attribute in case that multiple instances are defined on the same element (lower values are processed before).
(Inherited from MulticastAttribute.)
Public propertyAttributeReplace
Determines whether this attribute replaces other attributes found on the target declarations.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetAssemblies
Gets or sets the assemblies to which the current attribute apply.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetElements
Gets or sets the kind of elements to which this custom attributes applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetExternalMemberAttributes
Gets or sets the visibilities, scopes, virtualities, and implementation of members to which this attribute applies, when the member is external to the current module.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetExternalTypeAttributes
Gets or sets the visibilities of types to which this attribute applies, when this type is external to the current module.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetMemberAttributes
Gets or sets the visibilities, scopes, virtualities, and other characteristics of members to which this attribute applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetMembers
Gets or sets the expression specifying to which members this instance applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetParameterAttributes
Gets or sets the passing style (by value, out or ref) of parameters to which this attribute applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetParameters
Gets or sets the expression specifying to which parameters this instance applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetTypeAttributes
Gets or sets the attributes of types to which this attribute applies. Visibility, scope (Instance or Static) and generation are the only categories that are taken into account; attributes of other categories are ignored.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetTypes
Gets or sets the expression specifying to which types this instance applies.
(Inherited from MulticastAttribute.)
Public propertyUnsupportedTargetAction
Specifies the action to take when the aspect is applied to an unsupported target element. This property affects only simple aspects, not composite aspects.
(Inherited from Aspect.)
Methods
  NameDescription
Public methodCompileTimeInitialize
Method invoked at build time to initialize the instance fields of the current aspect. This method is invoked before any other build-time method.
(Inherited from AssemblyLevelAspect.)
Public methodCompileTimeValidate(Object)
Method invoked at build time to ensure that the aspect has been applied to the right target.
(Inherited from AssemblyLevelAspect.)
Public methodCompileTimeValidate(Assembly)
Method invoked at build time to ensure that the aspect has been applied to the right target.
(Overrides AssemblyLevelAspect.CompileTimeValidate(Assembly).)
Public methodGetAspectConfiguration
Method invoked at build tome to get the imperative configuration of the current Aspect.
(Inherited from Aspect.)
Public methodStatic memberIsEnabled
Determines whether an Assembly has been instrumented for deadlock detection.
Remarks

The DeadlockDetectionPolicy works by building, in real time, a graph of dependencies between threads and waiting objects. All synchronization aspects of the threading pattern library, additionally to the most common .NET synchronization primitives. The following .NET methods that are supported: Mutex.WaitOne, Mutex.WaitAll, Mutex.Release, Mutex.SignalAndWait, Monitor.Enter, Monitor.Exit, Monitor.TryEnter, Thread.Join, all methods of ReaderWriterLockSlim, all methods of ReaderWriterLock except ReaderWriterLock.ReleaseLock, ReaderWriterLock.RestoreLock, all methods of Dispatcher, Dispatcher.BeginInvoke, Dispatcher.InvokeAsync, DispatcherOperation.Wait, Dispatcher

When synchronization objects wait for more then 200ms, a deadlock detection is performed. The algorithm analyzes the dependency graph for cycles and throws a DeadlockException in all threads involved in the cycle if one is detected.

Some actions on synchronization primitives, such as ReaderWriterLock.RestoreLock and WaitHandle.Handle, make it impossible to track deadlocks. If such methods are called, the synchronization primitive is excluded from the deadlock detection mechanism. If too many objects are excluded, the deadlock detection is automatically turned off.

See Also