Транзакции, уровни изоляции, блокировки и аномалии
Что на самом деле обещает ACID, какие аномалии живут на каждом уровне изоляции, как устроены 2PL, MVCC и SSI — и почему в проде ломается не корректность, а очередь …
Локально и без аккаунта. Аккаунта нет, регистрация не нужна: введённое в инструменты остаётся в localStorage браузера и на сервер не уходит.
Свой счётчик считает открытия страниц и дочитывания: уезжает адрес и десятая доля текста. Без cookies и чужих счётчиков, IP не хранится, Do Not Track уважается. Как это проверить
Репозиторий портала не выложен, «открытым кодом» мы его не зовём. Открыто это:
Живёт портал на донатах, платных консультациях и разборах по запросу и покупке Workbench.
Планов делать курсы платными нет.
Выкладка от 16 сентября 2026, срез 95043e5
Что изменилось на портале с вашего прошлого захода. Полный список выкладок — в разделе «Что изменилось» на странице «О нас».
23 материалов в этой теме.
Что на самом деле обещает ACID, какие аномалии живут на каждом уровне изоляции, как устроены 2PL, MVCC и SSI — и почему в проде ломается не корректность, а очередь …
Как дисциплина доступа LIFO/FIFO превращается в кольцевые буферы, монотонные стеки, work-stealing деки и продакшн-очереди с backpressure
Единственная дверь из процесса в ядро: ABI системного вызова, vDSO, EINTR и частичные записи, батчинг через io_uring — и весь спектр IPC от пайпов и SCM_RIGHTS до …
Три значения слова «сервер», подробный разбор пути запроса от сокета до ответа, четыре модели конкурентности и C10K, stateless как требование масштабирования, …
Почему добавление потоков перестаёт помогать и начинает вредить: закон Амдала как арифметика потолка, универсальный закон масштабируемости с разворотом кривой вниз, …
Как устроены потоки в C: pthreads, гонки данных как неопределённое поведение, мьютексы и futex, условные переменные, модель памяти C11, атомарные операции и инструменты, …
Что происходит со структурами данных, когда время перестаёт быть линейным: персистентность и структурное разделение, path copying, персистентное дерево отрезков, …
Кто освобождает соединения, файлы и буферы: RAII, scope guard, with и using как один паттерн, Object Pool с валидацией и таймаутом, финализаторы как диагностика — и …
Как устроены пул воркеров, producer-consumer с обратным давлением, future/promise и pipeline — с формулами размера пула, рабочим кодом на Python и Go и разбором …
Как считать сложность параллельных алгоритмов в модели работа/глубина, писать scan и параллельную сортировку, и почему в распределённой системе согласование упирается в …
Почему запрет на изменение данных убирает целый класс багов, как обновлять неизменяемые структуры без квадратичного копирования и сколько это реально стоит в проде.
Аппаратная сторона многоядерности: чем когерентность отличается от согласованности, почему буфер записи ломает интуитивный порядок, как устроены модели памяти разных ISA, …
По этому запросу ничего не найдено.