Code Correctness: Macro Misuse

共有リソース上で動作しいくつかのプラットフォームでマクロとして実装される関数ファミリは、同じプログラム領域内でコールする必要があります。

特定の関数ファミリはプラットフォームによっては関数またはマクロとして実装されています。関数が依存している共有リソースが、呼び出されるときに渡されるものではなく内部的に保持されるものである場合、これらの関数は同じプログラム領域内で使用される必要があります。同じプログラム領域内で使用されないと、共有リソースにアクセスできなくなります。

例 1: 次のコードは pthread_cleanup_push() を使用して、関数 routine をコールしたスレッドのクリーンアップスタックにプッシュして戻っています。pthread_cleanup_push() およびそのパートナ関数 pthread_cleanup_pop() が IBM AIX 以外のプラットフォームではマクロとして実装されているため、pthread_cleanup_push() で作成されるデータ構造は、pthread_cleanup_pop() への後続のコールで利用できなくなります。このコードは、これらの関数がマクロとして実装されているすべてのプラットフォームでコンパイルに失敗するか、あるいは、ランタイム時の動作が不正となります。

void helper() {
   ...
   pthread_cleanup_push (routine, arg);
}