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 изменяется без мьютекса, и знаем, что это некорректно. Но что конкретно может произойти не так?

Когда я пришел в HFT, то мне быстро попался в поле зрения Henrique Bucher в Substack. Он интересный и полезный, но стоит нескромно - $8 в месяц (и это если платишь за год). На мой взгляд, стоит почитать бесплатную версию (свежие статьи открыты, а старые уходят в платный архив). Например, сейчас можно почитать статью про реализацию rate limit'ов на клиентской стороне.

На любой бирже ты не можешь спамить ордерами с произвольной частотой, биржа задаёт лимиты. Например, в Bybit: не больше 600 http запросов в 5 секундном плавающим окне per IP address, и не больше 10 ордеров в секунду. Если нарушаешь расчёты, то получаешь троттлинг через ответ HTTP 429 (Too many requests), а могут и временно забанить, чтобы было время хорошо подумать. На бинансе существуют еще суточные лимиты на кол-во ордеров, и лимиты без плавающего окна (сбрасывающиеся каждые N секунд, довольно удобная для расчётов схема, мне нравится идея). В итоге на каждый ордер тебе нужно рассчитывать "можно ли посылать сейчас" (либо знать это заранее), лимитов много разных видов, поэтому задача хоть и небольшая, но важная. Если хочешь выше лимиты, то получай vip tier, договаривайся лично, используй больше source ip адресов, и batch запросы.

https://lucisqr.substack.com/p/controlling-rate-limited-events-implementation

Некоторое время назад начал записывать результаты бенчмарков в базу знаний в Obsidian. Спустя год-два ты ведь уже не вспомнишь что быстрее std::to_string или fmt::to_string или my_to_string, и насколько, и почему, и какие инсайты это тебе дало. А если записано, то позже вернёшься и освежишь в памяти.

Для корректности стоит так же записать используемые:
- железо (CPU, RAM, caches)
- окружение (os distribution, kernel, версия используемого компилятора, версия std lib)
- флаги процесса, с котороми запускал бенч (например, для google benchmark использую --benchmark_min_warmup_time=0.1 --benchmark_repetitions=5 --benchmark_report_aggregates_only=1, но со временем привычки могут меняться, и это должно быть записано)
- версии библиотек
- флаги компилятора и линковщика

Например:

--------------------------------
Benchmark                      Time        CPU
--------------------------------
bench_libfmt_mean           45.4 ns    45.4 ns
bench_libfmt_median         45.3 ns    45.3 ns
bench_libfmt_stddev        0.455 ns   0.402 ns

bench_fmt_to_string_mean    23.7 ns    23.7 ns
bench_fmt_to_string_median  23.6 ns    23.6 ns
bench_fmt_to_string_stddev 0.340 ns   0.340 ns

bench_std_to_string_mean     132 ns     132 ns
bench_std_to_string_median   132 ns     132 ns
bench_std_to_string_stddev 0.460 ns   0.445 ns


libfmt: v8.1.1
c++23
g++: v11.4.0


CPU: AMD Ryzen 7 5800U
RAM: DDR4
CPU Caches:
  L1 Data 32 KiB (x8)
  L1 Instruction 32 KiB (x8)
  L2 Unified 512 KiB (x8)
  L3 Unified 16384 KiB (x1)
OS: 23.04, kernel 5.15.0-89-generic
Run: `--benchmark_min_warmup_time=0.1 --benchmark_repetitions=5 --benchmark_report_aggregates_only=1`

По сему получается, fmt::to_string заметно шустрее.

Чего не хватает в моей реализации записок:
- Иногда не храню исходник самого бенча. Через год уже и не вспомнишь, что подавал на вход, что конкретно мерил, и не сделал ли ошибок.
- Не автоматизирован сбор данных об окружении.
- На записаны флаги компиляции.

Надеюсь, это вам не пригодится:

В CMake 3.27 появился дебаггер. Это не впечатлит CLion и MS VS, у них есть такая функциональность больше года, но тогда они собирали свои форки cmake'а, а теперь дебаггер есть официально. Не то, чтобы я мечтал дебажить эту историю, но за десяток последних лет это бы мне пригодилось.

Прямо сейчас узнал, что у меня стоит v3.27 и оно работает и ждёт подключения:

> cmake --debugger --debugger-pipe ./abc -Bbbb .
Running with debugger on.
Waiting for debugger client to connect...

Clion умеет этим пользоваться с версии 2023.3 :)

Открытие дня: некоторые спрятанные под paywall статьи с Substack могут быть получены через Pocket (приложение для скрейпинга статей в удобо-читаемый формат).

Например, так я почитал платную статью "Stop measuring time", где автор предлагает измерять длительность циклами процессора, а не временем, потому что замеры времени:
- имеют больший latency (самого замера)
- имеют больший jitter
- несравнимы для разных частот ядра (а частота легко может меняться)

Я как-то раз пробовал замерять кол-во циклов, всё хорошо, но непривычно. Мозг привык оперировать нано/микросекундами, и 12.3 микросекунды воспринимается проще, чем 37240 циклов.

Если бы C++ придумали в СССР:

шаблон<класс Переборщик>
ничего_не_возвращай отсортируй(Переборщик первый, Переборщик крайний)
{
    если (первый == крайний)
        верни;
 
    авто пивот = *следующий(первый, расстояние(первый, крайний) / 2);
    авто серединка1 = раздели(первый, крайний, [пивот](нетрогай авто& эм) {
        верни эм < пивот;
    });
    авто серединка2 = раздели(серединка1, крайний, [пивот](нетрогай авто& эм) {
        верни !(пивот < эм);
    });
 
    отсортируй(первый, серединка1);
    отсортируй(серединка2, крайний);
}

цел main() {
    массив<цел> в1 = {9, 5, 7, 1};
    отсортируй(в1.начало(), в1.конец());
    для (авто в : в1) {
        печать << в << " ";
    }
    верни 0;
}

Компилируется и работает: пруф. Но есть нюанс...

Новая рубрика в канале: "Random job interview shit", другими словами, вопросы с собеседований, как хорошие, так и всратые.

1) Что будет результатом выполнения?

std::string s = "1234567890123";
std::string_view sv = s + "456";
std::cout << sv;

2) Как результат зависит от размера строки `s`?

Кстати, это тоже рабочая C++ программа:

🌘<🛟 👕>
🪴 💬(👕 🥄, 👕 😮)
{
    🥹 (🥄 == 😮)
        🙀;
 
    🦊 😄 = *🥩(🥄, 🏛(🥄, 😮) / 2);
    🦊 🚾 = 🍆(🥄, 😮, [😄](🐒 🦊& 👽) {
        🙀 👽 < 😄;
    });
    🦊 🧠 = 🍆(🚾, 😮, [😄](🐒 🦊& 👽) {
        🙀 !(😄 < 👽);
    });
 
    💬(🥄, 🚾);
    💬(🧠, 😮);
}

  🧧 main() {
    🎮<  🧧> 🥃 = {9, 5, 7, 1};
    💬(🥃.🎈(), 🥃.🎋());
    🏪 (🦊 🎃 : 🥃) {
        🎄 << 🎃 << " ";
    }
    🙀 0;
}

ссыльк

Интересный тред на Reddit: какие самые малоизвестные и удивляющие элементы C++ вы узнали?

Например:
1) Функция может начинаться с try/catch блока и не иметь своих скобок:

void foo(int i)
try {
    // do stuff
} catch (...) {
    // more stuff
}

2) В std есть аж три сущности с именем move. Один всем известный move, который, на самом деле, ничего не перемещает, а другой как раз наоборот перемещает, не говоря уже про третий move.

3) А как вам функция get_money в стандартной библиотеке? Это именно то, что делают C++ программисты, - гребут деньги.

4) Это работает:

int and foo = std::move(another);

В общем, там много интересного. Что мне нравится в Reddit, там не принято умничать. Если кто-то напишет: "я недавно узнал про placement new, это взорвало мне мозг", на него не накинутся гении программирования с критикой, только поддержат.

Как-то был у нас класс с несколькими мьютексами:

std::mutex _m_one;
// field1
// field2

std::mutex _m_two;
// field3
// field4

Когда мьютексов в одном месте становится больше одного, и в целом полей много, нужно как-то разграничивать и показывать:
- Что чем защищается. Чтобы было сложнее перепутать и использовать _m_one для field3/4.
- Что не защищается мьютексом.
- Что к этим полям нельзя обращаться без мьютекса.

Я тогда делал это форматированием, т.е. сначала писал мьютекс, а потом без пробелов все поля, которые с ним используются (прямо как на примере выше). Иногда добавлял комментарий. А как иначе?

И тут на помощь приходит идея MutexProtected - паттерн, в котором к полю нельзя обратиться без мьютекса, а при обращении мьютекс блокируется автоматом. Набросал тестово: https://godbolt.org/z/jPG33vxGG

В CLion 2023.3 (да, я давно не обновлялся) заехала killer feature: Assembly view! Давно об этом мечтал, и даже подумывал написать подобный плагин для VS Code.

upd: Но есть нюанс. У меня сходу не взлетело на рабочем проекте, показывает только набор string literals 😅 Еще позже попробую, поднастрою, сборку подшаманю.
upd: Заработало. Это бомба!

Джун-задачка, которая образовалась с реального случая на пред. работе:

#include <cinttypes>
#include <iostream>

uint64_t wtf() {
    double d = 32120 / 1000.0;
    return d * 1000.0;
}

int main() {
    std::cout << wtf();
}

Будет выведено 32119, почему?

Вы пишете заметки? Ведёте базу знаний?

Мой путь в использовании приложений для заметок был таким: тетради → тетради со сменными страницами → Google Keep (в конце он похерил мне заметки) → Evernote (кратко) → Google Docs → Notion → Obsidian.

Сначала были тетради со своим набором недостатков: некрасивые исправления, иногда плохие ручки, меняющиеся шрифты. Но самое неудобное было то, что трудно было предугадать сколько страниц тебе понадобится на определенную тему. Приходилось закладывать несколько пустых страниц, которые не пригождались.

Потом появились тетради, у которых можно делать std::move страницам. Это вполне удобно: лишнее можно вырвать и заменить другим, перетасовать, уплотнить. Важно сразу закупить несколько штук (3-4), потому что через пару лет таких же тетрадей ты не найдешь. Но была одна серьезная проблема: я только писал в эти тетради, и никогда их не читал.

Так я на время перестал записывать знания по программированию и после недолгих экспериментов перешёл в Notion. Он был хорош для меня за счёт одной киллер-фичи: возможности перетаскивать блоки курсором мыши или пальцем на смартфоне. Но раздражал своей медлительностью: долго загружался.

Не так давно перешёл на Obsidian. Чем он хорош:
- Хранит файлы локально, и мне пришлось по душе это ощущение: мои данные лежат у меня, и доступны всегда. Мне не нужно думать о возможных санкциях, блокировках по IP, мириться с лагами.
- Загружается заметно быстрее Notion'а.
- Клавиатурно ориентирован и имеет shortcut'ы для быстрого доступа.

Перенёс туда всю информацию из Notion и различные доки из Google Docs, начал вести базу знаний по программированию и интересующим техническим темам. Только одно пока осталось в Notion: план на неделю, как раз из-за той фичи с перетаскиванием. Оказалось, именно планы чаще всего нужно перетаскивать на следующий день.

Что у меня лежит в обсиде:
- Cheatsheets - мои подсказки по командам и утилитам linux
- Знания по C++, Networking, Linux, System design, и прочее
- Бенчмарки, о которых писал ранее
- Резюме и заметки по прочитанным книгам
- Заметки по здоровью
- План для блога, черновики постов
- Различные списки (например, список книг на прочтение, фильмов на просмотр, напоминание что брать в перелёт и т.п.)
- Спонтанные заметки, записки, идеи

Ребят, это, конечно, маловероятно, но я попробую закинуть удочку:

Кто-нибудь проходил Яндекс Практикум по C++ в 2022-2024? Я ищу реальные отзывы о современной версии курса, и хотел бы задать пару вопросов, чтобы выработать для себя оценку курса. (для чего это нужно, скоро напишу)

Для связи: @yukigaru

Рассказываю, зачем я это спрашивал. Я иногда заглядываю в чаты по C++, и периодически вижу новичков, которые приходят с одним и тем же вопросом вида "посоветуйте как изучать C++", "что почитать по C++ новичку" или "посоветуйте хороший курс". Подумал "а сделаю-ка я свой гайд", перечислю там материалы, которые на мой взгляд подходят на этом сложном пути изучения плюсов.

Сказано, git init'чено. Написал общие слова про обучение, чтение статей, просмотр ютуба, менторство, и т.п. Осталось самое сложное: перечислить курсы и книги. Как-то давно я проходил otus, но ни разу не видел курсы от яндекса, поэтому спросил у вас про них. А книги (обычно рекомендуемые) вчера перелистывал. Хорошую (на мой вкус) книгу было сложно найти, потому что:
- Для многих книг C++11 это просто - дополненное издание, а сама книга так и остаётся в стиле C++03.
- В отличие от курсов, книги строятся по принципу "перечислю в этой главе всё, что есть". Поэтому они больше справочники, и не ставят себе цели плавно вводить в язык.

Репа с гайдом: https://github.com/Yukigaru/learn-cpp-recommendations
Буду благодарен за комментарии.

Что почитать по разработке и плюсам?

1) Обсуждение std::deque на Reddit. Из интересного: разработчик из MS, взявший на себя ответственность за размер аллоцируемого блока равный 16 байтам (жесть, конечно, что в него влезет?).

2) Стоит ли продолжать развиваться в программировании в 60 лет. Оцените количество бодрых 60-летних, которые продолжают развиваться. Меня это заряжает, т.к. я хочу программировать еще долго.

3) [hard] Статья про Linux HugePages для минимизации затрат на TLB cache misses. Напрямую не использовал, но видел использование в DPDK.

4) [easy] Не надо проверять результат malloc'а assert'ом от PVS.

5) [easy] Как всё обернуть в RAII с помощью unique_ptr.

5) Почему не стоит приносить корповые практики в инди разработку. Frontend framework 2025 года, Kubernetes, scrum master'а, ретроспективы, это про вас!

https://www.youtube.com/watch?v=gl_Ikc_tOe4

^^ ооо как интересно! Я раньше очень любил демосцены, смотрел их по много раз, хранил на диске. Но никогда не видел код и не разбирался в них. Для меня это было что-то сложное и непонятное. Это был год, наверное, 2003. С тех пор давно не смотрел, но ностальгия простреливает при просмотре доклада. Смотрю...

Привет! Я готовлю онлайн воркшоп по std::condition_variable на C++ Russia, который пройдёт в мае. Это практический вебинар, в котором после небольшого теоретического введения, вам нужно будет писать C++ код, компилировать и запускать у себя локально, но прямо во время воркшопа. На данный момент подтверждения участия еще нет, но я готовлю и улучшаю материал.

Это будет мой первый подобный опыт, и мне нужно сделать несколько тестовых прогонов, после которых я буду улучшать программу воркошопа (код, слова, план, тайминги, дикцию и т.п.). Я ищу добровольцев, которые поучаствуют на ~1.5ч в ближайшую субботу (в 20:00 gmt+3). Напишите в личку @yukigaru, пожалуйста, если вам интересно мне помочь в этом.

Для кого:
- сам воркшоп для всех, кому интересен практический опыт в C++ concurrency.
- тестовый прогон для всех, кто готов помочь, поучаствовать и дать обратную связь (т.е. не обязательно для новичков в теме).

Тут в канале "C++ User Group" вышел доклад, в котором автор предлагает идею SharedState класса для согласованного синхронизированного доступа к данным, что очень похоже на MutexProtected из предыдущего поста, но добавляет еще wait/notify семантику. Код на sourceforge. Подождите, где где?

В целом, мне нравится, попробую в каком-нибудь pet project'е.

Ура, в субботу предстоит тестовый прогон, в результате которого комитет решит, брать или не брать. Мы набрали ~13 человек, очень неплохо. Трое пришли через канал, и я вас очень рад видеть.

Один человек в supapro.cxx чате сказал "не слишком ли просто для cpprussia"? Для кого-то просто, для кого-то нет, пусть решит комитет. В cppcon есть секция "back to basics", и они не стесняются объяснять базовые вещи. Для тех, кто решает всё быстро, постараюсь дать усложнение: подзадача со звёздочкой. Если успеем за два часа, то будет 7 задач, и 1-2 в качестве домашнего задания.