C++ (Cpp) var::getの例

コード例 #1

ファイル: file0.cpp プロジェクト: mtak-/lockfree-stm

void other_function()
{
    atomic([](read_transaction tx) {
        if (x.get(tx) != 0)
            std::terminate();
    });
}

コード例 #2

ファイル: file1.cpp プロジェクト: mtak-/lockfree-stm

void run_other_file()
{
    other_function();
    atomic([](transaction tx) { y.set(tx, x.get(tx)); });
    atomic([](transaction tx) { w.set(tx, z.get(tx)); });
    atomic([](transaction tx) {
        if (x.untracked_get(tx) != 0)
            std::terminate();
    });
    atomic([](read_transaction tx) {
        if (x.get(tx) != 0)
            std::terminate();
    });
    atomic([](read_transaction tx) {
        if (x.untracked_get(tx) != 0)
            std::terminate();
    });
}

コード例 #3

ファイル: file0.cpp プロジェクト: mtak-/lockfree-stm

int main()
{
    run_other_file();
    atomic([](transaction tx) { x.set(tx, y.get(tx)); });
    atomic([](transaction tx) { z.set(tx, w.get(tx)); });
    atomic([](transaction tx) {
        if (x.untracked_get(tx) != 0)
            std::terminate();
    });
    atomic([](read_transaction tx) {
        if (x.get(tx) != 0)
            std::terminate();
    });
    atomic([](read_transaction tx) {
        if (x.untracked_get(tx) != 0)
            std::terminate();
    });

    return test_result();
}