Replace the generic emphasis note with a structured, section-by-section reading order and clarify the central question around strict serializability. Remove the unused "additional reading" placeholder from the remaining seminar files.
31 lines
1.7 KiB
Markdown
31 lines
1.7 KiB
Markdown
# 6. Boki: Stateful Serverless Computing with Shared Logs
|
||
|
||
[К списку семинаров](README.md) · [Общие правила](../seminars.md) · [Расписание](../schedule.md)
|
||
|
||
- **Дата:** 2 ноября 2026 года, 18:10
|
||
- **Статья:** [Boki: Stateful Serverless Computing with Shared Logs](https://www.cs.utexas.edu/users/witchel/pubs/jia21sosp-boki.pdf)
|
||
- **Центральный вопрос:** как общий журнал меняет архитектуру, согласованность и стоимость stateful serverless-приложений?
|
||
|
||
## Участники
|
||
|
||
| Роль | Участник |
|
||
|---|---|
|
||
| Автор 1 | Вторушин Дмитрий |
|
||
| Автор 2 | Мазур Александр |
|
||
| Автор 3 | Шевляков Фёдор |
|
||
| Рецензент | Верютина Алина |
|
||
| Археолог 1 | Кривощеков Виктор |
|
||
| Археолог 2 | Сеннов Егор |
|
||
| Исследователь | Малков Максим |
|
||
| Практик | Бельский Артём |
|
||
|
||
## Маршрут чтения и акценты
|
||
|
||
По умолчанию основной текст читается полностью. Важно связать устройство общего журнала с моделью исполнения функций, состоянием и отказами, затем проверить, какие преимущества действительно подтверждены экспериментами и какой ценой они достигаются.
|
||
|
||
## Выбранные дополнительные тезисы
|
||
|
||
| После блока | Автор тезиса | Формулировка |
|
||
|---|---|---|
|
||
| — | — | — |
|