Просмотр кода страницы ТПМС

= Общие сведения =
* Семестр: 4 (второй курс)
* Форма контроля: дифф. зачет

'''Материалы прошлых лет'''
* [https://gitlab.com/Lipovsky/tpcc-course-2020 Репозиторий 2020 года]
* [https://www.youtube.com/playlist?list=PL4_hYwCyhAvalRjpPlvaCYPpPE8TL-fn3 Видео лекций 2020 года]
* [https://www.youtube.com/playlist?list=PL4_hYwCyhAvY-mbXKJwKLLdafLrSOIgRN Видео семинаров 2020 года]
* [https://www.youtube.com/playlist?list=PL4_hYwCyhAvbW4DHFV3CY5CqupNqPf4jS Видео лекций 2019 года]
* [https://www.youtube.com/playlist?list=PL4_hYwCyhAvZgIfxf4nLnjXprGGWBs5VO Видео семинаров 2019 года]

= Преподаватели =
* '''Лектор'''
** Липовский Роман

* '''Семинаристы'''
** Александр Гришутин
** Дмитрий Инютин
** Евгений Госткин
** Евгений Шлыков
** Камиль Талипов
** Мария Феофанова
** Никита Михайлов
** Роман Санду
** Степан Калинин
** Вадим Плахтинский
** Михаил Анухин

= Критерии получения оценки =
Домашние задания
В ходе семестра вам будет предложено X домашних заданий, в каждом задании будет несколько задач.

'''Стоимости'''

У каждой задачи будет своя стоимость в баллах.
У каждого домашнего задания (и иногда – у отдельных задач) будет дедлайн, после которого стоимость задач снижается.

'''Лимиты'''

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

'''Дедлайны'''

Стандартный дедлайн на домашнее задание – 2 недели. После дедлайна в течение недели стоимость задач линейно падает в два раза. После этого стоимость задачи не меняется.
Домашние задания будут наслаиваться друг на друга, будьте к этому готовы и планируйте свое время.
Не оставляйте решение домашнего задания на последние выходные перед дедлайном!

'''Защита'''

Чтобы задача была зачтена, мало написать код и пройти тесты, нужно защитить задачу.
Формат защиты остается на усмотрение семинариста, но в самом общем виде процедуру можно описать так: семинарист атакует вас каверзными вопросами на понимание тонкостей задачи и решает, достаточно ли вашего понимания или нет.
На защиту тоже устанавливается дедлайн. Сделано это для того, чтобы:
* Нагрузка на семинаристов и ассистентов распределялась равномерно в течение семестра
* Вы не успевали забывать решения собственных задач

'''Базовая оценка'''

В конце семестра баллы за все домашние задания суммируются, после чего результат нормируется в базовую оценку от 0 до 8 баллов.
Точные правила округления будут известны во второй половине семестра, но можно сказать сразу, что выбить 8 баллов на этом этапе будет крайне сложно, для этого придется прорешивать почти все домашние задания.

'''Обязательные задачи'''

Некоторые домашние работы и отдельные задачи будут обязательными для получения зачета.
Дедлайна на защиту для них не будет. Но помните, что если вы решите сдавать их в самом конце семестра, то семинарист может физически не успеть проверить их. В этот момент приоритет будет отдаваться студентам, которые претендуют на более высокие оценки.

= План курса =
Темы лекций и семинаров:
# Introduction
# Взаимное исключение
# Механика потоков
# Мелкогранулярные блокировки
# Когерентность кэшей
# Модели памяти - I
# Moдели памяти - II
# Futures / Promises
# Лок-фри
# Планировщик / Work stealing
# Coroutines [в С++] - I
# Coroutines [в С++] - II
# ?
# Final

= Список рекомендуемых материалов =
* Intro
** [https://deadlockempire.github.io/ Игра-тренировка Deadlock Empire]
** [https://github.com/chriskohlhoff/asio/ Asio]
** [http://think-async.com/Asio/asio-1.12.2/doc/asio/overview/core/basics.html Basic Asio Anatomy]
** [https://www.youtube.com/watch?v=D-lTwGJRx0o Thinking Asynchronously: Designing Applications with Boost.Asio], [http://cpp.mimuw.edu.pl/files/boost_vs_qt/asio/thinking_asynchronously.pdf слайды]
** [https://web.archive.org/web/20160714182232/https://www3.nd.edu/~dthain/courses/cse40243/fall2015/intel-intro.html Introduction to X86-64 Assembly for Compiler Writers]
** [https://manybutfinite.com/post/journey-to-the-stack/ Journey to the Stack]
** [https://eli.thegreenplace.net/2011/09/06/stack-frame-layout-on-x86-64/ Stack frame layout on x86-64]

* Mutex
** [https://eli.thegreenplace.net/2018/basics-of-futexes/ Basics of Futexes]
** [https://www.microsoft.com/en-us/research/uploads/prod/2019/04/fork-hotos19.pdf A fork() in the road]

* Condvar
** [https://preshing.com/20150316/semaphores-are-surprisingly-versatile/ Semaphores are Surprisingly Versatile]
** [http://greenteapress.com/semaphores/LittleBookOfSemaphores.pdf Little book of semaphores]

* Fibers
** [https://www.boost.org/doc/libs/1_60_0/libs/coroutine/doc/html/coroutine/intro.html Корутина]
** [http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4024.pdf Distinguishing coroutines and fibers.]
** [https://www.youtube.com/watch?v=Ts-1mWBmTNE Гор Нишанов, C++ Coroutines – a negative overhead abstraction]
** [https://github.com/lewissbaker/cppcoro A library of C++ coroutine abstractions for the coroutines TS]
** [https://www.youtube.com/watch?v=J31o0ZMQEnI Project Loom with Ron Pressler and Alan Bateman]
** [http://cr.openjdk.java.net/~rpressler/loom/Loom-Proposal.html Project Loom: Fibers and Continuations for the Java Virtual Machine]
** [https://docs.oracle.com/javase/8/docs/api/java/util/concurrent/ForkJoinPool.html ForkJoinPool – планировщик (Java)]
** [https://github.com/Kotlin/KEEP/blob/master/proposals/coroutines.md Kotlin Coroutines Proposal]
** [https://www.youtube.com/watch?v=_hfBv0a09Jc KotlinConf 2017 - Introduction to Coroutines by Roman Elizarov]
** [https://jeffknupp.com/blog/2013/04/07/improve-your-python-yield-and-generators-explained/ Генераторы]
** [https://journal.stuffwithstuff.com/2013/01/13/iteration-inside-and-out/ Iteration Inside and Out]
** [https://twitter.github.io/finagle/guide/Futures.html Concurrent Programming with Futures]
** [https://github.com/facebook/folly/blob/master/folly/docs/Futures.md Folly Futures]
** [https://lewissbaker.github.io/2017/11/17/understanding-operator-co-await C++ Coroutines: Understanding operator co_await]
** [http://think-async.com/Asio/asio-1.12.2/doc/asio/tutorial/tuttimer2.html Using a timer asynchronously.]
** [https://blog.acolyer.org/2015/11/23/hashed-and-hierarchical-timing-wheels/ Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility]

* Futures
** [http://think-async.com/Asio/asio-1.16.0/doc/asio/overview/core/strands.html Strands: Use Threads Without Explicit Locking]
** [https://monkey.org/~marius/funsrv.pdf Marius Eriksen – Your Server as a Function]
** [https://www.youtube.com/watch?v=UL3TtTgt3oU CppCon 2017: Gor Nishanov “Naked coroutines live (with networking)”]
** [https://engineering.fb.com/developer-tools/futures-for-c-11-at-facebook/ Futures for C++11 at Facebook] 
** [http://aturon.github.io/blog/2016/08/11/futures/ Zero-cost futures in Rust]
** [http://aturon.github.io/blog/2016/09/07/futures-design/ Designing futures for Rust]