🍴 Почему 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++ разработчика

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