64ビットマシン上での構造体の整列

Question

64ビットLinuxマシン上に以下の構造体があります。

struct __wait_queue_head { 
      spinlock_t lock; 
      struct list_head task_list; 
    }; 

where 

typedef struct { 
      raw_spinlock_t raw_lock; 
    } spinlock_t; 

and 

struct list_head { 
      struct list_head *next, *prev; 
    }; 

raw_spinlock_t is defined as: 

typedef struct { 
      volatile unsigned int slock; 
    } raw_spinlock_t; 

は、今私はLP64標準以下の64ビットLinuxマシン上の構造体__wait_queue_headのアライメントを理解したいです。私が知っていることから、この構造体の最初のフィールドすなわち、

spinlock_t lock 

は、64ビットマシンで4バイトを占めるunsigned intです。この構造体は、4バイトのアライメントされたアドレスから開始する必要があります。しかし、私はそれが実際のシステムの場合ではないことを見てきました。代わりに、構造体は8バイトのアライメントされたアドレスから開始しますが、最初のフィールドのアラインメント要件は4バイトのアライメントされたアドレスで満たされます。基本的に、構造体のアライメントを制御するのは何ですか？私は構造体内のフィールドのパディング概念についてはっきりしていることに注意してください。構造体そのものの位置合わせの必要条件は、私が混乱していることです。

Answer 1

構造体の位置合わせの要件は、そのメンバーの中で最も大きな位置合わせ要件です。この場合、struct list_headにはポインタが含まれているため、struct list_headのアラインメントは8バイトです。 struct __wait_queue_headにはstruct list_headが含まれているため、その配置も8バイトです。これは、構造体がより緩い位置合わせ要件を有する場合、構造体のパディングが、メンバーが適切に位置合わせされることを保証するのに十分でないために必要とされる。