🍪 Почему compare_exchange_weak может "случайно" провалиться?

Многие разработчики думают, что compare_exchange_weak — это просто облегчённая версия compare_exchange_strong. На самом деле у неё есть неочевидное поведение: она может вернуть false, даже если значение совпадает.


🍿 Как это работает:

На некоторых архитектурах (ARM, PowerPC) атомарные операции реализованы через инструкции load-link/store-conditional (LL/SC). Процессор помечает адрес памяти при чтении и проверяет при записи — не изменился ли он.

Но вот проблема: между LL и SC может произойти spurious failure — ложный отказ. Это случается, если:

• Произошло переключение контекста
• Кеш-линия была вытеснена
• Другой процессор обратился к соседней памяти

std::atomic<int> counter{0};
int expected = 0;
// Может вернуть false, даже если counter == 0!
bool success = counter.compare_exchange_weak(expected, 1);

✈️ На x86 такого нет — там используется инструкция CMPXCHG, которая атомарна на уровне железа. Но спецификация C++ допускает spurious failures для переносимости.


💡 Практический вывод:

Всегда используй compare_exchange_weak в цикле. Для однократных попыток бери compare_exchange_strong — она гарантирует, что false означает реальное несовпадение значений.


📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#под_капотом

✏️ std::execution — параллелизм одной строкой

Добавление execution policy превращает обычный алгоритм в параллельный (sort, for_each, transform и др.).

🙂 Последовательно (C++98):

std::vector<int> data(1'000'000);
std::sort(data.begin(), data.end());

😃 Параллельно (C++17):

#include <execution>

// Автоматическая векторизация + многопоточность
std::sort(std::execution::par_unseq, 
          data.begin(), data.end());

❗️Политики:

std::execution::seq        // Последовательно
std::execution::par        // Параллельно
std::execution::par_unseq  // Параллельно + векторизация
std::execution::unseq      // Только векторизация (C++20)

‼️ Замечание: Измеряйте производительность — параллелизм не всегда быстрее!

📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#константная_правильность

🏭 Трудоголизм — новая база корпоративной культуры в IT 2026

В 2025 году IT-индустрия завершила эксперимент с wellbeing-программами и пришла к циничному выводу: попытка избавить зумеров от выгорания экономически невыгодна. В 2026 карьерный рост линейно зависит от готовности работать сверх сил, а компании внедряют up-or-out: либо показываешь рост, либо уходишь.

👉 Читать статью

🐸 Библиотека мобильного разработчика

#MadeInProglib

🍴 Почему co_return не возвращает значение напрямую?

Большинство думают, что корутины — это просто синтаксический сахар. На деле это хирургическая операция над указателем стека.

🍉 При вызове co_await компилятор генерирует код, который:

1. Сохраняет текущий RSP (указатель стека)
2. Копирует локальные переменные в heap-allocated фрейм
3. Переключает RSP на стек другой корутины

‼️ Магия в одной инструкции:

mov rsp, [coroutine_stack_ptr]

Процессор продолжает выполнение, но теперь все push/pop идут в другую область памяти. Регистры RBP, RIP тоже меняются — полная иллюзия «другой функции».

💡 В C++20 stackless корутины делают иначе — вообще не трогают RSP, храня состояние в объекте. Но stackful (Boost.Context) именно так и работают.

📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#под_капотом

🛠 restrict — keyword, которого нет в C++

Компилятор не может векторизовать, если боится, что указатели пересекаются.

// ❌ Компилятор не знает, пересекаются ли a и b
void add(float* a, float* b, size_t n) {
    for (size_t i = 0; i < n; ++i) {
        a[i] += b[i]; // Что если a и b — один массив?
    }
}

// ✅ Подсказываем компилятору (C++20)
void add(float* __restrict a, float* __restrict b, size_t n) {
    for (size_t i = 0; i < n; ++i) {
        a[i] += b[i]; // Теперь векторизуется!
    }
}

// ✅ Или используйте std::span (C++20)
void add(std::span<float> a, std::span<float> b) {
    std::transform(a.begin(), a.end(), b.begin(), a.begin(),
                   std::plus<>{}); // Векторизуется автоматически
}

❗️ restrict — это ключевое слово из C99 (стандарта языка C), которое не является частью стандарта C++.

📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#под_капотом

😃 Задача на выходные

#include <iostream>
#include <thread>
#include <chrono>

struct Counter {
    long long a;
    long long b;
};

void increment(long long& val) {
    for (int i = 0; i < 100'000'000; i++) val++;
}

int main() {
    Counter cnt{ 0, 0 };
    auto start = std::chrono::high_resolution_clock::now();

    std::thread t1(increment, std::ref(cnt.a));
    std::thread t2(increment, std::ref(cnt.b));
    t1.join(); t2.join();

    auto end = std::chrono::high_resolution_clock::now();
    std::cout << "Time: " << std::chrono::duration_cast<std::chrono::milliseconds>(end - start).count() << "ms\n";
    return 0;
}

❓ Вопрос: Как можно ускорить работу данного кода?


📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#междусобойчик