Один микросек - C++, low latency, concurrency, HFT

UBBook: https://github.com/Nekrolm/ubbook - довольно интересная серия заметок про undefined behavior в языке.

Несложный пример с condition_variable из книги:

void thread1() {
    std::unique_lock lock { event_mutex };
    cv.wait(lock, [&] {
        return event_happened;
    });
}

void thread2() {
    ...
    event_happened = true;
    cv.notify_one();
}

Мы здесь видим, что в thread2 event_happened изменяется без мьютекса, и знаем, что это некорректно. Но что конкретно может произойти не так?

GitHub

GitHub - Nekrolm/ubbook: C++ programmer's guide to undefined behavior

C++ programmer's guide to undefined behavior. Contribute to Nekrolm/ubbook development by creating an account on GitHub.

👍3

www.tgoop.com/hft_dev/9

637 viewsedited  Feb 12, 2024 at 07:53

UBBook: https://github.com/Nekrolm/ubbook - довольно интересная серия заметок про undefined behavior в языке.

Несложный пример с condition_variable из книги:

void thread1() {
    std::unique_lock lock { event_mutex };
    cv.wait(lock, [&] {
        return event_happened;
    });
}

void thread2() {
    ...
    event_happened = true;
    cv.notify_one();
}

BY Один микросек - C++, low latency, concurrency, HFT