Q&A
前から思っていたんですが、変数の型のサイズとアラインメントって何が違うんですか？
偶然同じなんですか？
int : 4B
char 1B
構造体のアラインメントについては過去に質問したので、今回は別の話です。
４バイト整数または４バイト浮動小数をメモリに格納する場合， 先頭アドレスが４の倍数になるようにすれば上図の１ワードに収まるため， １回のメモリアクセスで読み書きできる． このようにデータの先頭アドレスを４の倍数にすることを， 「４バイト境界にアライン (align：整列，位置合わせ) する」という．
64bitシステムだと8Bなので、8の倍数にすれば美しくなるんですかね。
char buf[a]; // aが8の倍数
ところがアセンブリ言語を見ると64bitでもスタックは32bitです。
つまり64bitでもアラインメントは4の倍数にしなくてはダメという事ですよね？
このサイトの説明が変なのでしょうか？
8B? 4B?
私の本の中にこう書いてあります。
malloc() calloc() realloc()により割り当てたメモリについては、C言語すべての標準の型を正しくアラインメントするようにPOSIXでも定義されています。Linuxでも上記ライブラリ関数は、32bitシステムは8バイト境界に、64bitシステムでは16バイトにアラインメントします。
ヒープ領域はスタックとは別物なのでアラインメントも異なるという事ですかね。
各領域ごとにアライメントが決められているんでしょうか？？
１回のメモリアクセスで読み書きできる． このようにデータの先頭アドレスを４の倍数にすること
この説明では全く分かりません。
CPUによって固定ならどんな領域でも64bitなら8Bにしなくてはならないはずです。
さらに謎な点が・・・
アライメントはそのシステムのアーキテクチャによって固定ですよね？
#define _XOPEN_SOURCE 600 #define GNU_SOURCE #include<stdlib.h> int posix_memalign(void **memptr, size_t alignment, size_t size);
任意のサイズでアラインメントを可能にする関数ですが、任意のアライメントってどういうことですか？？
Linux 64bit x86_64です。
回答3件
0
質問文から察するに、「アラインメント要件」と「(実際の)アラインメント」を混同されているようです。
- アラインメント要件：CPUアーキテクチャにおいて、型(type)毎に 最低限満たすべき アラインメントが決められています。例：
char型では1、int型では4、double型では8など。 - (実際の)アラインメント：プログラム実行時に決まる、変数や動的確保メモリのアドレス値。例：
malloc()関数が確保するメモリ領域のアライメントは8など。
(実際の)アライメントは、アライメント要件を満たす必要があります。mallocが返したアドレス値のアラインメントが8であれば、それより 小さいアライメント要件を持つ 型(type)を安全に格納できます。maisumakunさん回答にある「大は小を兼ねる」のイメージが分かりやすいかと思います。
各領域ごとにアライメントが決められているんでしょうか？？
(実際の)アライメントは、コンパイル（静的リンク）およびプログラムロード（動的リンク）に決定されます。つまり、プログラムがメモリ上にロードされるときまでに最終決定されるものです。
アライメントはそのシステムのアーキテクチャによって固定ですよね？
「アライメント要件」はアーキテクチャで決まります。
任意のアライメントってどういうことですか？
前述の説明通りです。C言語の仕様により、「動的確保されるメモリアドレスには、任意の型を配置できること」が保証されています。
投稿2017/09/26 09:44
総合スコア6191
0
アライメントはそのシステムのアーキテクチャによって固定ですよね？
いえ、状況によってアラインメントは異なります。
マシン内では、整数のアライメントはふつう、整数自体の長さ以下となります（そうでないと、整数配列に隙間が空いて、効率が悪くなります）。32ビット整数なら4バイト境界、64ビット整数なら8ビット境界、SSEで使うような128ビット整数は16バイト境界というようになることもあります。もちろん、1バイトのcharは好きな場所に置けます。
malloc()のアライメントは、大きな型の変数を入れても問題ないように、大きなアライメントを取るようになっています…が、SSEなどアセンブラで特殊な型を触る場合にはそれでも合わないので、手動調整が必要になる場合もあります。
「アライメントを手動で調整する機能」は、基本的に「バイナリデータが特定のアライメントで決め打ちになっているような場合」に使うもので、処理中にずらすようなことはあまり行いません。
投稿2017/09/25 05:23
総合スコア146063
x86の浮動小数点計算は、（x64でSSEに移行するまで）80ビット精度があったので、それをそのまま扱う「long double」を使える環境もありました。
ただ、「10バイトアライン」では処理の手間なので、4バイトや8バイトで切り上げてアラインすることになります（sizeofもアライメントに合わせる隙間を入れて、12バイトや16バイトとなります）。
アライメントは変数によっても異なり、領域によっても異なるという事ですかね？？
mallocの場合の扱いは、「領域の違い」というより「何が入るかわからないから、大きめに取っている」という話です（16バイト境界に揃えておけば、8バイト・4バイトなどのアラインとして使っても全く問題ないので、「大は小を兼ねる」ということです）。
あ、なるほど！ヒープの場合はそういう考え方なんですね！
0
「アライメントとは？」については皆さんの回答と議論がすでにあるので、
posix_memalign()についてだけ。
posix_memalign() は通常用途ではなく、ハードに依存してて例えば1024バイトきざみのアドレスでないとうまく動作しない、あるいはその方が速くなる、というような条件がある場合に利用します。
通常のアプリケーションでも本来は意識しなければならないデータバスの問題とかであれば、コンパイラとライブラリがアーキテクチャ（x64など）を理解しているのでmalloc()で良いです。
投稿2017/09/28 05:26
総合スコア1563
う～～～ん。
大きなアライメントが必要になる場面がいまいちよくわからないんですよね。
ぱっと思いつくのは、sysconf()やmlock()あたりと組み合わせて、ページ境界に合わせてメモリ確保＆ページロックしちゃうようなコードを書きたいときとか。
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。
2017/09/26 11:54
2017/09/26 13:24 編集
2017/09/26 13:36
2017/09/26 13:46 編集
2017/09/26 13:56
2017/09/26 14:01
2017/09/26 14:06 編集
2017/09/26 14:41
2017/09/26 14:45
2017/09/26 15:27
2017/09/26 15:42
2017/09/28 04:15