回答編集履歴

 

 

  .NET Frameworkの文脈ならば、大意としては「あるクラスについて、そのメソッドを異なるスレッドから同時に呼び出しても、仕様通りに動作すると保障される」という感じでしょう。これは、あるクラスのインスタンスに対して、同一メソッドを異なるスレッドから同時に呼び出す／異なるスレッドを異なるスレッドから同時に呼び出す、の両方を含みます。

 

 

 

 

 

  スレッドセーフは対外的な「仕様」であり、ロックはその「内部実装」と考えたほうがよいです。スレッドセーフを実現するために、内部実装としてロック機構を用いることがよくあります。ただし、ロック機構を用いないスレッドセーフの実現方式もあります。

 

 

 

 

 

 

 

 

 

 

 

  たとえば、次のメソッド`getUniqueId`はスレッドセーフではありません。一意で重複しないID値を返すことを期待されますが、複数スレッドから同時に呼び出すと、仕様に反した”同じID値”を返す**可能性**があります。

 

  ```

 

  class Foo {

 

 

 

  return counter++;