DigitableCourses
База знаний

Материалы

Статьи, гайды, разборы и курсы Digitable.

Остальные материалы

12 на странице
Статья

Управление памятью: виртуальная память, страницы, TLB, swap, аллокаторы

Как ядро превращает виртуальные адреса в физические, зачем нужны TLB и huge pages, как работают page fault, reclaim, swap и OOM-killer, и что на самом деле делает …

#операционные системы#память#виртуальная память
27 мин
Статья

Удалённая и гибридная работа: границы, режим, самоорганизация

Честный разбор исследований об удалённой работе, механика того, что именно ломается без офиса, теория границ работа-дом и конкретные ритуалы, режим дня, гибридная неделя …

#тайм-менеджмент#удалённая работа#распределённые команды
21 мин
Статья

Транзакции, уровни изоляции, блокировки и аномалии

Что на самом деле обещает ACID, какие аномалии живут на каждом уровне изоляции, как устроены 2PL, MVCC и SSI — и почему в проде ломается не корректность, а очередь …

#базы данных#транзакции#изоляция
25 мин
Статья

Типичные ошибки внедрения DDD

Каталог провалов DDD-внедрений — от папок вместо модели и контекстов по таблицам до агрегатов-гигантов и организационных ловушек — с признаками, кодом, метриками и планом …

#ddd#архитектура#рефакторинг
19 мин
Статья

Типизированное лямбда-исчисление и соответствие Карри-Ховарда

Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, …

#лямбда-исчисление#типы#функциональное программирование
26 мин
Статья

Тестирование распределённых систем: chaos engineering, Jepsen, симуляция

Как проверять систему, у которой нет одного правильного ответа: детерминированная симуляция с одним seed, проверка историй на линеаризуемость и изоляцию, устройство …

#распределённые системы#тестирование#chaos engineering
25 мин