Java：1次元配列は常にメモリ内で連続していますか？

Question

私がこのトピックで読んだ多くの書籍や記事、「Unsafe」を使って書いた小さなプログラムは、Javaの1-d配列が常にメモリ内で連続していることを示しています。それはJLSによって規定されているのですか、それとも実装のコンベンションですか？この表示を確認するための質問があります。

Answer 1

いいえ、JVMの仕様はどのような保証はありません。 http://docs.oracle.com/javase/specs/jvms/se5.0/html/Concepts.doc.html#16446

実際にはそれはおそらくケースですが、あなたはまた、ワードサイズについての保証はありません。

あなたのプログラムがこれを使用している場合、それはとにかく、ポータブルではありませんので、安全でないが、私はその可能性は低いと思う多くのJVMのヒープがメモリ内に連続である必要性があることを考えると...、

Answer 2

Javaのメモリアドレスと対話する実際の方法はないので、メモリ内のオブジェクトのレイアウトがどのように見えるかは仕様には定義されていません。

Unsafeを使用すると、自動的に、あなたが仕様の領域外を歩いていることになります。

私はほとんどのJVM実装でdoは実際には（1次元の）配列に線形レイアウトを使用していることを確信しています。

Answer 3

標準のJavaクラスではありませんメモリ内の別の場所にプリミティブの1次元配列を配置します。

Object []によって参照されるオブジェクトは、メモリに連続している可能性は低く、たとえそうであっても、警告なしに再配置できます。

注：Unsafeを使用すると、配列の参照をintという値で読み取って、GC前後の内容を確認できます。いくつかのJVMは長いが必要な32ビットリファレンスを使用する64ビットリファレンスを使用しますが、32ビットリファレンスを使用するのが最も適しています（64ビットJVMの場合でも）。

Answer 4

この質問をThe Java Language Specification, Java SE 8 Edition (JLS)とThe Java Virtual Machine Specification, Java SE 8 Edition (JVMS)でお伝えしたいと思います。

は、我々はこの質問に答えるための選択肢を持っている：JVMの実装に課されているものな制約

1. 。どのような仕様の実装も本来"禁止されていないものすべてが許可されている"と仮定しているので、これは最も信頼できる方法です原則。
2. ほとんどのJVMの実装は、合理的な

を示唆して私は、仕様上の制約に指摘します。

我々は第10章配列JLS（や配列に関連JLSとJVMSの任意の他の章）のを見れば、我々は配列に課せられたメモリレイアウトの制約の一切の言及を見つけることができませんでした。 したがって、配列が連続していない可能性があります。。

また、JLSは、アレイがオブジェクトであることを言う：

第10章アレイ。 Javaプログラミング言語で

、アレイは オブジェクト（§4.3.1）あり、動的に作成され、そして型オブジェクト（§4.3.2）の 変数に割り当てることができます。 Objectクラスのすべてのメソッドは、配列で呼び出される です。
...

4.3.1。オブジェクト。

オブジェクトは、クラスのインスタンスまたはアレイあります。

（配列はオブジェクトである）そして同時にJVMSオブジェクトとアレイがヒープに格納されていることを言う：

2.5.3。ヒープ

Java仮想マシンには、すべてのJava仮想マシンスレッド間で共有されるヒープがあります。 ヒープは実行時データ領域 で、すべてのクラスインスタンスと配列のメモリが割り当てられます。

しかしJVMSが連続するようにヒープメモリを強要しません：

2.5.3。ヒープ

... ヒープのメモリは連続している必要はありません。すべての配列は、ヒープとヒープに格納されているよう

が連続していないかもしれない、アレイはまた、連続していないかもしれないことになります。