multithreading - ライブラリ/APIがスレッドセーフかどうかを確認するための一般的なメソッド

Question

明確に定義されたAPI（C ++およびJava）の形式で外部開発者からライブラリを受け取りました。ライブラリがスレッドセーフであるかどうかを確認するためのいくつかのテストは何でしょうか？

Answer 1

基本的にできません。スレッドセーフをテストすることは多かれ少なかれ不可能です。

また、ライブラリがスレッドセーフであるという作成者の保証がない場合、スレッド化の問題は修正されないため、将来のバージョンではスレッドセーフ性が低下する可能性があります。

ソース コードを入手した場合は、一般的なスレッド セーフの問題 (共有状態、ロックなど) を調べることができます。安全。それでも、問題を確実に再現することは非常に難しい場合があります。