C#


CSHARP.CONCURRENCY.LOCK.STATIC : Synchronization on static (C#)

Summary

A synchronized statement on a static guard should lock an instance guard instead.

Concurrency is an important but complex aspect of modern software. As a consequence, it is often used in an incorrect way, also because the subtleties of the C# memory model are not always understood. This checker identifies a large class of common programming errors due to incorrect uses of concurrency primitives, such as incorrect implementations of the singleton pattern and incorrect uses of the volatile field modifier, whose goal is to publish a field update to all executing cores. The latter, however, has a cost in terms of execution time.

Properties

Class Name Synchronization on static (C#)
Significance reliability
Mnemonic CSHARP.CONCURRENCY.LOCK.STATIC
Categories
CWE CWE:413 Improper Resource Locking
Availability Available for C# only.
Enabling Checks for this warning class are enabled by default. To disable them, add the following WARNING_FILTER rule to the project configuration file.
WARNING_FILTER += discard class="Synchronization on static (C#)"

Resolution

Check if the warnings correspond to actual possible errors for a concurrent execution of the program.

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.