リトルエンディアンでのデータ配置とメモリアクセス時の処理について

前提

使用環境：仮想環境(VirtualBox)上の64bit KaliLinux(ホストOSは64bitのWindows10)

質問内容

リトルエンディアンでのメモリ上のデータ配置とメモリアクセス時の処理について質問がございます。

下記のプログラムを実行すると

c
1#include <stdio.h>
2
3int main(){
4    char *st = "\x41\x42\x43\x44\x45\x46\x47\x48"; 
5    
6    for(int i=0;i<8;i++){
7        printf("%x  ",st[i]);
8    }
9    printf("\n");
10}

41  42  43  44  45  46  47  48

がコマンドライン上に出力されます。
この時、メモリ上において文字列stの先頭番地を0x100とします。

次にGDBでこのプログラムをデバックした時に、xコマンドを使って0x100番地以降のメモリ内容を2通り調べました。
1つはコマンド：x/xg 0x100 を入力(つまり0x100番地を先頭に8バイト単位でメモリ内容を表示する)して調べるやり方。
この場合は以下の結果が出力されました。

0x100 :  0x4847464544434241

これについてはリトルエンディアンでの配置通りなので疑問はないです。

しかし、2つ目の調べ方コマンド：x/8xb　0x100を入力する(つまり0x100番地を先頭に1バイト単位でメモリ内容を表示する)して調べるやり方で疑問が出ました。
このやり方では以下の結果が出力されました。冒頭プログラムの結果と同様です。

0x100 :  0x41	0x42	0x43	0x44	0x45	0x46	0x47	0x48

この結果に対して疑問があります。
64bit環境では8バイト単位でリトルエンディアンでメモリにデータが配置されるので、
文字列stのデータがメモリに格納される時、実際のメモリ上のデータ配置は1つめの調べ方の結果のはず。
なので、0x100番地には0x48が配置されている(つまりst[0]=0x48になる)はずなのに、
冒頭のプログラムの結果や2つめの調べ方の結果では0x100番地には0x41が配置されている(つまりst[0]=0x41になる)ことになってしまっています。

以上を踏まえて質問としては
冒頭のプログラムの結果は、本来はリトルエンディアンによる実際のデータ配置を踏まえて

48  47  46  45  44  43  42  41

になるはずなのに、なぜそうならないのか？　です。

まとまりがなくわかりにくい文章で申し訳ございませんが、ご回答いただけると幸いです。

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

回答5件

ベストアンサー

リトル/ビッグの影響は、複数バイトでのアクセスの場合のみです。
char(1byte)の配列では、その順番に格納されます。

char で、0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47, 0x48 とすると、
この順番にメモリ上に格納されます。(上記の例では、0x100 に 0x41)
これを 8byteのデータ(8byte長のレジスタとして)読みだすと、逆の 0x48474645_44434241 としてレジスタに格納されます。

質問文の例だと、0x100から、8byteを読みだした、という事なので、レジスタには、逆順に格納され、メモリ上とは逆に表示されます。

ただし、今回の例では、0x100 という 8の倍数のアドレスですが、それ以外の場合は要注意です。
また、Big/Little もCPU依存性があり、2byte単位で、交換なんてのもあるので、こちらも要注意。 (Intelは、バイト単位で、入換え)

投稿2019/04/13 04:25

pepperleaf

総合スコア6383

flyingPengin

2019/04/13 06:35

詳細にご回答していただきありがとうございます。回答に対して自分なりにまとめました。・冒頭プログラムに関して、まず前提としてプログラム実行開始時に右辺の値の「"\x41\x42\x43\x44\x45\46\47\48"」はメモリ上のテキスト領域にこの順番で配置されている。また0x41の値が格納されている番地を0x10番地とする。・冒頭のプログラムの char *st = "\x41\x42\x43\x44\x45\46\47\48"の行において、この行の実行時、st[0]に右辺の値を格納する際に、st[0]のデータサイズはchar型の1Byteなので格納順序はまったく関係なくテキスト領域の0x10番地の値(0x41)をst[0]に格納する。次にst[1]に0x11番地の値(0x42)を格納する。以降の値も同様。・なので実際のメモリ上のデータ配置は以下の通り(stの先頭番地を0x100番地とする) 0x100番地：0x41 0x42 0x43 0x44 0x45 0x46 0x47 0x48 ・GDBのx/xgコマンド(8バイト単位でメモリ内容を表示)実行時にコンソール上に「0x100番地：0x484746.....41」が表示されるのは、コマンドを実行してメモリの0x100番地以降の内容を8バイト単位で読み込む際に複数バイトにまたがるメモリアクセスなので、レジスタにはリトルエンディアンの順序に基づいて0x484746.....41が格納される。そして、コンソールにはこのレジスタに格納された値が表示されるから。・プログラムがコンソール上にメモリ内の値を出力する際、メモリ上にアクセスして値をそのままコンソールに出力するのではなく、正確にはメモリ上にアクセスしそこから値をレジスタに格納(複数バイトにまたがるメモリ読み込み時はエンディアンの格納順序が関係する)し、レジスタ内の値をコンソール上に出力する。私の認識の齟齬があればそれに対するコメントや追加コメント等がございましたら、ご回答いただけると幸いです。pepperleafさんのご回答が詳細にわたっていてわかりやすかったのでベストアンサーとさせていただきます。皆様、ご回答いただきありがとうございました。

jimbe

2019/04/13 07:28

> GDBのx/xgコマンド(8バイト単位でメモリ内容を表示) が8バイトの値(int?long?)として表示するのかというのが(ちょっとした検索では)確認できませんでしたが, おそらくそうではないかと推測します. であれば, ```8バイトをレジスタに転送(この時エンディアンの影響を受ける)→レジスタの8バイトを(上位バイトから)表示``` となっているものと思います. そして, > x/8xb　0x100を入力する(つまり0x100番地を先頭に1バイト単位でメモリ内容を表示する) では, ```1バイトをレジスタ最下位バイトに転送→レジスタの最下位1バイトを表示, を8回繰り返す``` 動作となり, エンディアンに関係無く先頭アドレスの値から表示されるのではないでしょうか.

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

64bit環境では8バイト単位でリトルエンディアンでメモリにデータが配置されるので、

これが、勘違いの大元ですね。CPUやOSのビット数は関係ありません。

投稿2019/04/13 17:41

otn

総合スコア84505

これならひっくり返ってるのが確認できるぞ。

C
1#include <stdio.h>
2
3int main(){
4    unsigned long long data = 0x4142434445464748LL;
5    const unsigned char* st = (unsigned char*)&data;
6    for(int i=0;i<8;i++){
7        printf("%x  ",st[i]);
8    }
9    printf("\n");
10    return 0;
11}