WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

WithLock[File["path"],expr]

ファイル path をロックして expr を評価した後で，そのファイルを解放する．

WithLock[LocalSymbol["name"],expr]

局所シンボル name をロックして expr を評価した後で，その局所シンボルを解放する．

WithLock[var,expr]

共有変数 var をロック，expr を評価し，共有変数を解放する．

詳細とオプション
Details and Options Details and Options
例題  
例  
スコープ  
ファイルのロック  
局所シンボルによるロック  
共有変数によるロック  
オプション  
ExpirationDate  
PersistenceTime  
TimeConstraint  
特性と関係  
考えられる問題  
関連項目
関連するガイド
履歴
引用書式

WithLock

WithLock[File["path"],expr]

ファイル path をロックして expr を評価した後で，そのファイルを解放する．

WithLock[LocalSymbol["name"],expr]

局所シンボル name をロックして expr を評価した後で，その局所シンボルを解放する．

WithLock[var,expr]

共有変数 var をロック，expr を評価し，共有変数を解放する．

詳細とオプション

  • WithLockはFileまたはLocalSymbolを作ることでロックする．WithLockはFileまたはLocalSymbolを削除することで解放する．
  • WithLockは，ロックオブジェクトがすでにロックされている場合はロックが解放されるまで待つ．
  • ロックはアトミックである．最大で1つのプロセスしかオブジェクトをロックできないので，そのプロセスが expr を独占的に評価できる．
  • WithLockは属性HoldAllを持つ．
  • 次は，使用可能なオプションである．
  • TimeConstraint Infinityロックが使用可能になるまで待つ時間
    ExpirationDate Noneロックがいつ期限切れになるか
    PersistenceTime Infinityロックが有効である期間
  • TimeConstraintの時間内でロックが得られなければ，WithLockは$TimedOutを返し，expr の評価は行わない．
  • 有効期限または寿命に達したロックは，それをロックしようとする次のWithLockによってアンロックされる．ExpirationDateは有効期限の絶対日付／時間を与える．PersistenceTimeは相対的な時間を与える．
  • WithLock[var,expr]は並列サブカーネル間のロックに共有変数を使う．これはCriticalSection[var,expr]に等しい．
  • 異なるコンピュータで使用される際，ロックファイルはWithLockが実行されているすべてのコンピュータが使用可能な共有ファイルシステムになければならない．

例題

すべて開く すべて閉じる

例  (2)

多くの同時プロセスでファイルにアクセスしようとする：

Wolfram Language code: file = CreateFile[]

同じディレクトリ内のロックファイルで同時アクセスを阻止する：

Wolfram Language code: lock = file <> "-lck"

いくつかの並列プロセスを使って同じファイルに同時に書き込もうとする：

Wolfram Language code: With[{file = file, lock = lock}, ParallelEvaluate[WithLock[File[lock], PutAppend[$KernelID, file]]] ];

データは，プロセス間の干渉なしに（非決定論的順序で）書き込まれた：

Wolfram Language code: ReadList[file]

ファイルに0を書き込むことでそのファイルを初期化する：

Wolfram Language code: file = CreateFile[];
Wolfram Language code: Put[0, file]

ファイルを読み，ファイルに更新された値を書き込むことを同時に行う：

Wolfram Language code: With[{file = file, lock = file <> "-lck"}, ParallelEvaluate[WithLock[File[lock], v = Get[file] + 1;Put[v, file];v]] ]

すべてのアクセスが事実上直列化された：

Wolfram Language code: Get[file]

保護されていない同時アクセスは，互いの値を上書きし，部分的な値を読み出してしまうかもしれない：

Wolfram Language code: Put[0, file]
Wolfram Language code: With[{file = file}, ParallelEvaluate[v = Get[file] + 1;Put[v, file];v] ]

スコープ  (3)

ファイルのロック  (1)

ロックファイルを使って同時の更新操作を直列化する：

Wolfram Language code: LocalSymbol["counter"] = 0;
Wolfram Language code: With[{file = "/tmp/lockfile"}, ParallelEvaluate[WithLock[File[file], LocalSymbol["counter"] = LocalSymbol["counter"] + 1]]]
Wolfram Language code: LocalSymbol["counter"]

局所シンボルによるロック  (1)

局所シンボルをロックとして使う：

Wolfram Language code: ParallelEvaluate[WithLock[LocalSymbol["/tmp/lock"], Put[$KernelID, "/tmp/output"]]]
Wolfram Language code: Get["/tmp/output"]

共有変数によるロック  (1)

並列計算で共有シンボルをロックとして使う：

Wolfram Language code: ParallelEvaluate[WithLock[locksym, Put[$KernelID, "/tmp/output"]]];

ファルを書き込む最終プロセスが勝つ．以前の値はきれいに上書きされる：

Wolfram Language code: Get["/tmp/output"]

オプション  (3)

ExpirationDate  (1)

ロック過程がロックを解放できなくなるのを防ぐために，ロックには有効期限が設定できる：

Wolfram Language code: WithLock[File["/tmp/lock"], expr, ExpirationDate -> Now + Quantity[10, "Seconds"]]

解放されていないロックには識別情報が含まれる：

Wolfram Language code: Get["/tmp/lock"]

ロックが期限切れになると，次にこれを使用するWithLockがロックを解除する：

Wolfram Language code: WithLock[File["/tmp/lock"], Print["success"]]

PersistenceTime  (1)

ロック過程がロックを解放できなくなるのを防ぐために，ロックに有効期限が設定できる：

Wolfram Language code: WithLock[File["/tmp/lock"], expr, PersistenceTime -> 10]

解放されていないロックには識別情報が含まれる：

Wolfram Language code: Get["/tmp/lock"]

ロック期限切れになると，次にこれを使用するWithLockがロックを解除する：

Wolfram Language code: WithLock[File["/tmp/lock"], Print["success"]]

TimeConstraint  (1)

ロックされているとWithLockは永遠に待つので，放棄する必要がある：

Wolfram Language code: lock = CreateFile[];
Wolfram Language code: WithLock[File[lock], Print["inside lock"]]

有限のタイムアウト値を与えてロックが使用可能になるまでの時間を制限する：

Wolfram Language code: WithLock[File[lock], Print["inside lock"], TimeConstraint -> 2]

特性と関係  (2)

WithLockで共有されている値を使うことはCriticalSectionに等しい：

Wolfram Language code: ParallelEvaluate[WithLock[locksym, Put[$KernelID, "/tmp/output"]]];
Wolfram Language code: ParallelEvaluate[CriticalSection[locksym, Put[$KernelID, "/tmp/output"]]];
Wolfram Language code: Get["/tmp/output"]

局所シンボルの更新操作は同時並行性から自動的に保護される：

Wolfram Language code: LocalSymbol["counter"] = 0;
Wolfram Language code: ParallelEvaluate[LocalSymbol["counter"]++]
Wolfram Language code: LocalSymbol["counter"]

考えられる問題  (4)

ロックとし使用するファイルが既存の場合はロックがハングする：

Wolfram Language code: lock = CreateFile[]

この評価は放棄されるまで戻らない：

Wolfram Language code: WithLock[File[lock], Print["inside lock"]]

ロックには常に存在していないファイルを使う：

Wolfram Language code: WithLock[File[lock <> ".lck"], Print["inside lock"]]

ロックとして使われる局所ファイルに値がある場合はロックがハングする：

Wolfram Language code: LocalSymbol["/tmp/lock"] = 0;

この評価は放棄されるまで戻らない：

Wolfram Language code: WithLock[LocalSymbol["/tmp/lock"], Print["inside lock"]]

ロックには常に存在していない局所シンボルを使う：

Wolfram Language code: Remove[LocalSymbol["/tmp/lock"]]
Wolfram Language code: WithLock[LocalSymbol["/tmp/lock"], Print["inside lock"]]

すべてのファイルシステムが局所シンボルのロックについての必要な操作をサポートする訳ではない：

Wolfram Language code: $LocalSymbolBase
Wolfram Language code: WithLock[LocalSymbol["lock"], Print["inside lock"]]

ファイルのロックはより多くの場合にサポートされている：

Wolfram Language code: WithLock[File["lock"], Print["inside lock"]]

ローカルマシンと1つのリモートマシンで並列カーネルを起動する：

Wolfram Language code: LaunchKernels[{KernelConfiguration["Local", "KernelCount" -> 4], KernelConfiguration["andromeda", "KernelCount" -> 4]}];$KernelCount

ローカルのファイルシステムで作成されたファイルとロックファイルは，リモートマシンでは使えないかもしれない：

Wolfram Language code: file = CreateFile[] lock = file <> ".lck"

すべての並列サブカーネル上のfileに同時に書き込む：

Wolfram Language code: With[{lock = File[lock], file = file}, ParallelEvaluate[WithLock[lock, PutAppend[{$MachineName, $KernelID}, file];$KernelID]]]

このファイルでは，ローカルカーネルからの結果しか使用できない：

Wolfram Language code: FilePrint[file]

リモートマシンからの結果は，そのマシンにローカルなファイルに書き込まれている：

Wolfram Language code: RemoteEvaluate["andromeda", FilePrint[file]]

共有ファイルシステムでんファイルとロックファイルを使う：

Wolfram Language code: file = FileNameJoin[{$HomeDirectory, "output.txt"}] lock = file <> ".lck"

すべての並列サブカーネル上のfileに同時に書き込む：

Wolfram Language code: With[{lock = File[lock], file = file}, ParallelEvaluate[WithLock[lock, PutAppend[{$MachineName, $KernelID}, file];$KernelID]]]

こうすると，すべての結果が同じファイルに書き込まれる：

Wolfram Language code: FilePrint[file]
Wolfram Research (2021), WithLock, Wolfram言語関数， https://reference.wolfram.com/language/ref/WithLock.html.

テキスト

Wolfram Research (2021), WithLock, Wolfram言語関数， https://reference.wolfram.com/language/ref/WithLock.html.

CMS

Wolfram Language. 2021. "WithLock." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/WithLock.html.

APA

Wolfram Language. (2021). WithLock. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/WithLock.html

BibTeX

@misc{reference.wolfram_2026_withlock, author="Wolfram Research", title="{WithLock}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/WithLock.html}", note=[Accessed: 07-July-2026]}

BibLaTeX

@online{reference.wolfram_2026_withlock, organization={Wolfram Research}, title={WithLock}, year={2021}, url={https://reference.wolfram.com/language/ref/WithLock.html}, note=[Accessed: 07-July-2026]}