Видеолекции курса Базы данных.

Лекторы: Илья Тетерин, Вадим Цесько, Антон Волохов, Дмитрий Щитинин, Герман Андреев.

Лекция 1. Введение.

• О лекторе
• Организация курса
• Содержание курса
• Определения и примеры
• Классификация БД
• Домашнее задание

Лекция 2. Hash & Cache. CAP.

Hash & Cache:

• Hash table
• Архитектуры Web-приложений
• Cache
• Distributed cache
• Memcached
• Consistent hashing
• Redis

Consistency, Availability and Partition Tolerance:

• Remembrance Inc.
• CAP Theorem
• Транзакции

Лекция 3. Distributed Commit.

• 2PC & 3PC
• Отношение happens-before: Lamport Timestamps & Vector Clocks
• Протокол Raft
• Альтернативное домашнее задание

Лекция 4. Cassandra.

Лекция 5. MongoDB is a web-scale.

• Введение: терминология

• API: декларированные цели, особенности, запросы

• Устройство хранилища: работа с ФС, сложные запросы, индексы

• Репликация

• Шардирование: выбор ключа

• Секретный ингредиент

• Заключение: выводы, материалы

Лекция 6. Haystack.
Лекция «Haystack» про хранение фоток в Facebook по статье «Finding a Needle in Haystack: Facebook's Photo Storage»:

• Введение: материалы, мотивация, цифры, характер запросов, основные цели
• Background: типичная архитектура, предыдущее решение на NFS + NAS
• Архитектура: новая версия, задача, подход, компоненты (Directory, Cache, Store)
• Детали реализации: Store-файл, запросы, индекс, оптимизации
• Заключение: нагрузка
• Домашнее задание: промежуточные итоги, feature requests, общие замечания, тулзы

Лекция 7. HDFS.

Лекция 8. HBase.

Лекция 9. ZooKeeper.

Лекция 10. Lucene.

Лекция 11. Graph DB.

Презентация

Лекция 12. Multidimensional indexing.

Лекция 13. STM.

Дополнительные материалы:
Видеолекции курса Базы данных (2012).

Автор: Roman Brovko

Видеолекции курса Архитектура ЭВМ и основы ОС.

Лекторы: Кирилл Кринкин, Михаил Кринкин.

Курс предназначен для всех, кто уже имеет опыт разработки на языках высокого уровня и интересуется базовыми механизмами работы компьютера, образующими программный стек от аппаратуры до уровня интерфейсов операционной системы. Основная цель курса – познакомиться с архитектурой различных процессоров (Intel, ARM), понять как аппаратные компоненты связаны с программными, рассмотреть базовые механизмы операционной системы (реализация многозадачности, управление памятью, межпроцессные коммуникации), освоить на практике инструменты и методы системного программирования.

Лекция 1. Введение. История развития ВТ. Аппаратное и системное программное обеспечение.

Лекция 2. Архитектура ЭВМ. Процессоры. Системы команд и модели вычислений. CISC. RISC. Виртуальные машины.

Лекция 3. Системообразующие компоненты. Аппаратная архитектура.
Чипсеты. Шины. Микроконтроллеры (классификация, обзор семейств).

Лекция 4. Ассемблер в Linux.

Лекция 5. Архитектура программного стека. Основные компоненты ОС. Понятие ресурсов.
Сходства и различия современных операционных систем: windows, linux, qnx, iOS, Android. Управление процессами и потоками. Диспетчеризация.

Лекция 6. Управление памятью в операционной системе.

Лекция 7. Межпроцессное взаимодействие и примитивные сетевые возможности.

Лекция 8. Система команд ARM.

Лекция 9. Загрузчик.

Лекция 10. IPC: сокеты.

Лекция 11. Компоновка и загрузка программ.

Лекция 12. Операционные системы.

Дополнительные материалы:
Скачать Краткое введение в reverse engineering для начинающих
Ассемблер в Linux для программистов C
Видеолекции курса Параллельное программирование (2012).
Видеолекции курса Параллельное программирование (2014).
Таненбаум Э.Современные операционные системы. 3-е изд. — СПб.: Питер, 2010. — 1120 с.
Таненбаум Э., Вудхалл А. Операционные системы. Разработка и реализация (+CD). Классика CS. 3-е изд. — СПб.: Питер, 2007. — 704 с: ил.
Руководство по созданию простой UNIX-подобной ОС

Автор: Roman Brovko

Видеолекции курса Языки программирования и компиляторы.

Лектор: Дмитрий Булычев.

Литература по курсу:

1. S.Muchnik. Advanced Compiler Design & Implementation. Academic Press, Morgan Kaufmann, 1998.
2. А.Ахо, Р.Сети, С.Ульман. Компиляторы: принципы, технологии, инструменты. Вильямс, 2003.
3. А.Ахо, С.Ульман. Теория синтаксического анализа, перевода и компиляции. Том 1. М., «Мир», 1978.
4. F.Nielsen. Principles of Program Analysis. Springer, 2005.
5. F.Nielse, H-R.Nielsen. Semantics with Applications. Wiley Professional Computing, 1992.
6. B.Pierce. Types and Programming Languages. MIT Press, 2002.
7. T.Пратт. Языки программирования: разработка и реализация. 1978.
8. Б.К.Мартыненко. Языки и трансляции. Из-во СПбГУ, 2008.

Лекция 1. Введение.
Языки программирования, синтаксис, семантика, прагматика. Когнитивные особенности человеческого мышления и их влияние на развитие языков программирования. Языки программирования в ретроспективе. Процедурное, объектно-ориентированное, логическое и функциональное программирование. Предметно-ориентированные языки. Языки вне классификации. Абстрактный и конкретный синтаксис. Статическая и динамическая семантика.

Лекция 2.
Компиляция и интерпретация. Смешанные вычисления. Проекции Футамуры-Ершова.

Лекция 3. Операционная семантика большого шага.

Лекция 4. Операционная семантика малого шага.

Лекция 5.
Свойства семантик большого и малого шага. Структурная индукция. Эквивалентность семантик. Разная выразительная сила семантик большого и малого шагов.

Лекция 6.
Семантика параллельного исполнения. Основные определения лямбда-исчисления. Семантика произвольного и нормального порядка редукций.

Лекция 7.
Статическая семантика. Замкнутые программы; свободные программы. Неразрешимость проблемы свободы. Живые переменные и достигающие определения.

Лекция 8.
Элементарная типизация в виде статической семантики большого шага. Полурешетка типов, решение задачи типизации на основе достигающих определений.

Лекция 9.

Лекция 10.

Лекция 11.

Автор: Roman Brovko