lock ステートメント (C# リファレンス)lock statement (C# reference)
lock ステートメントは、指定のオブジェクトに対する相互排他ロックを取得し、ステートメント ブロックを実行してからロックを解放します。The lock statement acquires the mutual-exclusion lock for a given object, executes a statement block, and then releases the lock. ロックが保持されている間、ロックを保持するスレッドではロックを再度取得し、解放することができます。While a lock is held, the thread that holds the lock can again acquire and release the lock. 他のスレッドはブロックされてロックを取得できず、ロックが解放されるまで待機します。Any other thread is blocked from acquiring the lock and waits until the lock is released.
lock ステートメントの形式は次のようになります。The lock statement is of the form
lock (x)
{
// Your code...
}
x は参照型の式です。where x is an expression of a reference type. これは次にまったく等しくなります。It's precisely equivalent to
object __lockObj = x;
bool __lockWasTaken = false;
try
{
System.Threading.Monitor.Enter(__lockObj, ref __lockWasTaken);
// Your code...
}
finally
{
if (__lockWasTaken) System.Threading.Monitor.Exit(__lockObj);
}
このコードでは try...finally ブロックが使用されているため、lock ステートメントの本文内で例外がスローされた場合でもロックは解放されます。Since the code uses a try...finally block, the lock is released even if an exception is thrown within the body of a lock statement.
lock ステートメントの本文で await 演算子を使用することはできません。You can't use the await operator in the body of a lock statement.
ガイドラインGuidelines
共有リソースへのスレッド アクセスを同期する場合、専用オブジェクト インスタンス (private readonly object balanceLock = new object(); など) またはコードの関連のない部分によってロック オブジェクトとして使用される可能性がない別のインスタンスをロックします。When you synchronize thread access to a shared resource, lock on a dedicated object instance (for example, private readonly object balanceLock = new object();) or another instance that is unlikely to be used as a lock object by unrelated parts of the code. 異なる共有リソースに対して同じロック オブジェクト インスタンスを使用することは避けてください。デッドロックやロックの競合が発生する可能性があります。Avoid using the same lock object instance for different shared resources, as it might result in deadlock or lock contention. 特に、以下をロック オブジェクトとして使用しないでください。In particular, avoid using the following as lock objects:
this。ロックとして呼び出し元に使用される可能性があります。this, as it might be used by the callers as a lock.- Type インスタンス。typeof 演算子またはリフレクションによって取得される可能性があります。Type instances, as those might be obtained by the typeof operator or reflection.
- 文字列リテラルを含む文字列インスタンス。インターン処理される可能性があります。string instances, including string literals, as those might be interned.
ロックの競合を減らすために、できるだけ短い時間ロックを保持します。Hold a lock for as short time as possible to reduce lock contention.
例Example
次の例では、専用 balanceLock インスタンスをロックすることでそのプライベート balance フィールドへのアクセスを同期する Account クラスが定義されます。The following example defines an Account class that synchronizes access to its private balance field by locking on a dedicated balanceLock instance. ロッキングに同じインスタンスを使用すると、2 つのスレッドが Debit または Credit メソッドを同時に呼び出すことによって balance フィールドを同時に更新することができなくなります。Using the same instance for locking ensures that the balance field cannot be updated simultaneously by two threads attempting to call the Debit or Credit methods simultaneously.
using System;
using System.Threading.Tasks;
public class Account
{
private readonly object balanceLock = new object();
private decimal balance;
public Account(decimal initialBalance) => balance = initialBalance;
public decimal Debit(decimal amount)
{
if (amount < 0)
{
throw new ArgumentOutOfRangeException(nameof(amount), "The debit amount cannot be negative.");
}
decimal appliedAmount = 0;
lock (balanceLock)
{
if (balance >= amount)
{
balance -= amount;
appliedAmount = amount;
}
}
return appliedAmount;
}
public void Credit(decimal amount)
{
if (amount < 0)
{
throw new ArgumentOutOfRangeException(nameof(amount), "The credit amount cannot be negative.");
}
lock (balanceLock)
{
balance += amount;
}
}
public decimal GetBalance()
{
lock (balanceLock)
{
return balance;
}
}
}
class AccountTest
{
static async Task Main()
{
var account = new Account(1000);
var tasks = new Task[100];
for (int i = 0; i < tasks.Length; i++)
{
tasks[i] = Task.Run(() => Update(account));
}
await Task.WhenAll(tasks);
Console.WriteLine($"Account's balance is {account.GetBalance()}");
// Output:
// Account's balance is 2000
}
static void Update(Account account)
{
decimal[] amounts = { 0, 2, -3, 6, -2, -1, 8, -5, 11, -6 };
foreach (var amount in amounts)
{
if (amount >= 0)
{
account.Credit(amount);
}
else
{
account.Debit(Math.Abs(amount));
}
}
}
}
C# 言語仕様C# language specification
詳細については、「C# 言語仕様」の lock ステートメントに関するセクションを参照してください。For more information, see The lock statement section of the C# language specification.