1
2
3
4
5
6
7

typedef struct AtomicT <T>{
    union Data* atomicTImpl;
    T newData;
    __code checkAndSet(Impl* atomicTImpl, T newData, __code next(...), __code fail(...));
    __code next(...);
    __code fail(...);
} AtomicT;

# tの置換

• Tの境界が指定されていない場合
  • 置き換えられるかの確認
  • 置き換えられそうならコードを生成する
    • 型(header)
    • CodeGear
• Tの境界が指定されている場合
  • 型チェック
    • data gearの同一性
    • primitive typeはwrapeperをいれる?
  • 置き換えられそうなら置換する

いずれにせよ.cbcと.hを生成する必要がありそう - 動的にコンパイルする必要があるので、CMakeをいじる必要性がありそう…