Javaでマルチスレッドで実行した際の処理の挙動について

###前提・実現したいこと
Windows7Pro（またはCentOS7.3）、Java1.8でマルチスレッドでコードを実行する時
共通処理用としてstaticクラスやstaticメソッド、１つだけのインスタンス（シングルトンに限らない）にアクセスする場合について
※共通処理用であって、共通リソースではない（マルチスレッドを跨いでcounterのような変数共有はしない）

１：共通処理用部分は、メモリとして確保されるのは1つ分のみなのか
２：共通処理用getObjectの場合、マルチスレッドからアクセスしても
問題なくvalueにあわせたAクラスが取得できるのか
３：「１：」が1つ分であった場合で、「２：」が問題ない場合
処理には同じメモリ領域を使うため、マルチスレッドでアクセスしても
処理は順次1つ分ずつしか実行されていないのか。
（この共通処理部分だけは同期化されているのと同じ処理になり、処理速度はシングルスレッド実行時と同義なのか）

###該当のソースコード

java
1public static counter = 0;
2public static ParentA getObject(int value){
3	ParentA res = null;
4
5	//counter++;
6
7	switch(value){
8		case 1:
9			res = new A1();
10		break;
11		
12		case 2:
13			res = new A2();
14		break;
15		
16		case 3:
17			res = new A3();
18		break;
19	}
20	
21	return res;
22}

###試したこと
getObjectメソッドを3つのスレッドから実行し、データを取得するようにした際は、問題なく各Aクラスが取得出来ていたが、そういう仕様なのかどうかが、調べても分かりませんでした。
また、実験から理解した内容で
getObject内だけで使われるローカル変数（作成するインスタンス内も、他と共有されていないもの）であれば、同期化の必要なく、実行できていましたが、それも、上記同様、仕様なのかどうなのかを見つける事ができませんでした。

そもそも認識が間違っていることや、WindowsのみやLinuxのみなど、片側だけでも結構ですので、ご教授頂ければ幸いです。
よろしくお願いします。

行動規範の内容に同意します

回答1件

ベストアンサー

１：共通処理用部分は、メモリとして確保されるのは1つ分のみなのか

処理部分というのが「メソッドの実体」のことならＹＥＳです。

２：マルチスレッドからアクセスしても問題なくvalueにあわせたAクラスが取得できるのか

本件についていえばＹＥＳです。なぜなら「複数のスレッドで競合し得るような可変情報」をアクセスしていないからです。メソッドの引数やローカル変数は「スレッド固有です」

３：「１：」が1つ分であった場合で、「２：」が問題ない場合

処理は順次1つ分ずつしか実行されていないのか。

ＮＯです。並行して動きます。平行して動いても「同じ実体の可変情報をアクセスしていない」から動作的に問題ないのです。これは言語、プラットフォームに関係なく成立するマルチスレッドプログラミングの原則です。逆に問題になるような極端な実装の例を挙げてみます。

java
1public class Utility {
2
3  static int meaninglessValue;
4
5  public static ParentA getObject(int value){
6    ParentA res = null;
7    meaninglessValue = value;
8
9    //counter++;
10
11    switch (meaninglessValue) {
12      case 1:
13        res = new A1();
14        break;
15
16      case 2:
17        res = new A2();
18        break;
19
20      case 3:
21        res = new A3();
22        break;
23    }
24
25    return res;
26}

このようにするとmeaninglessValueは「複数のスレッドから共通に参照される可変情報」のため、正しくない実装ということになります。

投稿2017/05/10 06:03

KSwordOfHaste

総合スコア18394

ratetail

2017/05/10 15:18

ご回答ありがとうございます。「１：」について、メソッド（以下、共通メソッド）の実体がメインメモリとして1つだけと言う状態で仮にスレッド１とスレッド２がそのメソッドを使う際は、同じメインメモリ領域にアクセスするということで合っていますでしょうか？また、厳密に見た場合、同じ実体のメインメモリにアクセスするため、CPUのそれぞれのスレッドがアクセスするメインメモリ側は、どちらか片方のスレッドのみが、共通メソッドの実体のあるメインメモリにアクセスしているということにはならないでしょうか？またはメインメモリ部分は同時アクセスが可能なのでしょうか？または、スレッド1が共通メソッドを実行するときは、共通メソッドの実体を、スレッド１側（のCPUキャッシュに対して）に読み込みスレッド2も、同様にスレッド2側（のCPUキャッシュに対して）読み込む。そして、それぞれ自分のスレッド側にコピーするので、マルチスレッドでも同時並行して処理を実行できる、ということなのでしょうか？質問が多く申し訳ありません。また内容が主質問と離れてしまっていてすみません。

KSwordOfHaste

2017/05/10 15:41

> 同じメインメモリ領域にアクセスはい。 > メインメモリ部分は同時アクセスが可能なのでしょうか？同じプロセスで動作中であるならプロセス内のメモリー空間はスレッド共通ですので同じアドレスのメモリーに非同期にアクセスできます。非同期にといっても実際はハードウェア上は完全に同一のタイミングなどではアクセス不能でしょうが、質問者さんの疑問にはそのレベルは無関係であると判断します。キャッシュに分割して読み込まれるあどうかのレベルは考えない方がいいと思います。例えプロセッサごとにキャッシュの違う場所をアクセスしたからといって値が変わらないものを違う場所にあるコピーから読んでも同一の場所から読んでもその違いをプログラマーが意識する必要はないと思います。ただ・・・コメントを拝見していると質問者さんが「コピーだから平行して実行できるのではないか」ということろにひっかかっておられると思いますが、自分にはそのひっかかりの理由が今一つピンときません。自分が認識できていないレベルの話を気にされているのでしょうか？

ratetail

2017/05/10 16:05

＞同じプロセスで動作中であるならプロセス内のメモリー空間はスレッド共通ですので同じアドレスのメモリ＞ーに非同期にアクセスできます。非同期にといっても実際はハードウェア上は完全に同一のタイミングなど＞ではアクセス不能でしょうが、質問者さんの疑問にはそのレベルは無関係であると判断します。まさに、知りたいことに全てぴったりとはまった内容でした。どの程度の粒度で質問すればよいか分からない、及び、正しい知識を持っていなかったため「コピーだから・・・」の下りを書いていましたが、そもそも質問自体があっているかもわからないため正しく説明できていない部分が「今一つピンとこない」部分になってしまっているかと思います。ハードウェア上での話しについては、動作イメージするときの考え方に使ったりする事があったため個人的に大枠での理解がしたかっただけですので「レベルは無関係」「意識する必要はない」はその通りでした。ですので、十分な回答が得られていますので、先ほどの質問はお忘れくださいませ。どうも、ありがとうございました。

行動規範の内容に同意します