ТПМС - История изменений

Shajdurova.es: Полностью удалено содержимое страницы

2020-06-28T11:47:22Z

Полностью удалено содержимое страницы

Shajdurova.es: Создание страницы «ТПМС»

2020-06-28T11:42:55Z

Создание страницы «ТПМС»

Новая страница

= Общие сведения =
* Семестр: 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]

← Предыдущая		Версия 11:47, 28 июня 2020
Строка 1:		Строка 1:
−	~~= Общие сведения =~~
−	* Семестр: 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]