>>327
ロック変数は、ロックする対象と一対一に対応させて利用しさえすれば、
対象となる構造体の一部である必要はない。

struct T a;
pthread_mutex_t lock_for_a;

でもよい。

>>317,>>319-320
どうしてそうなるかは、Windowsの仕様ではなく、
Windowsの実装や動作環境に依存する話だから、
そんな物に依存しない様に同期を取りながらプログラムを記述せねばならない。

> 重たいループに優先的にCPUが使われてしまう、と考えていいのでしょうか？

そういうことはない。Busy loopがCPUを占有するだけ。