courses:high_performance_computing:lectures
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
courses:high_performance_computing:lectures [2017/12/24 00:11] – kel | courses:high_performance_computing:lectures [2019/06/12 13:10] – kel | ||
---|---|---|---|
Line 113: | Line 113: | ||
===== 12. Консенсус. Сети Петри ===== | ===== 12. Консенсус. Сети Петри ===== | ||
- | - Линеаризуемость | ||
- Консенсус: | - Консенсус: | ||
* Консенсусное число RMW-регистров | * Консенсусное число RMW-регистров | ||
Line 133: | Line 132: | ||
===== 14. Транзакционная память ===== | ===== 14. Транзакционная память ===== | ||
- Идея transactional memory | - Идея transactional memory | ||
- | - Software transactional memory | + | * Software transactional memory |
- | | + | |
- Преимущества и круг задач | - Преимущества и круг задач | ||
+ | - Реализация HTM на линейках кэша | ||
+ | - Lock teleportation | ||
===== 15. Асинхронный ввод/ | ===== 15. Асинхронный ввод/ | ||
Line 162: | Line 163: | ||
| | ||
===== 19. Lock-free изнутри ===== | ===== 19. Lock-free изнутри ===== | ||
- | - User-space RCU | + | - Feldman Multi Array |
- Схемы управления памятью: | - Схемы управления памятью: | ||
* Tagged pointers | * Tagged pointers | ||
* Hazard pointer | * Hazard pointer | ||
- | ===== 20. Модель акторов ===== | + | ===== 20. Линеаризуемость ===== |
- | - Суть модели | + | |
- | - Применение в современных языках | + | |
- | - Шаблоны применения | + | |
- | + | ||
- | ===== 21. Системная архитектура ===== | + | |
- | - Компонентный подход (Layers, DTO...) | + | |
- | - Сервисный подход (Services, ESB...) | + | |
- | - Логическая и физическая архитектуры | + | |
- | + | ||
- | ===== 22. Линеаризуемость ===== | + | |
- Понятие линеаризуемости | - Понятие линеаризуемости | ||
- Lock-free стек Trieber | - Lock-free стек Trieber | ||
Line 184: | Line 175: | ||
- Точки линеаризации | - Точки линеаризации | ||
- | ===== 23. Оптимизации в реализации контейнеров ===== | + | ===== 21. Flat-Combining ===== |
- | - Lock teleportation | + | - Схема Flat-Combining |
+ | - Возможные оптимизации за счёт интерференции операций | ||
+ | - Сравнение производительности с lock-free очередью Michael & Scott | ||
+ | |||
+ | ===== 22. Оптимизации в реализации контейнеров ===== | ||
- Relaxed SkipList | - Relaxed SkipList | ||
+ | |||
+ | ===== 23. Модель акторов ===== | ||
+ | - Суть модели | ||
+ | - Применение в современных языках | ||
+ | - Шаблоны применения | ||
+ | |||
+ | ===== 24. RCU ===== | ||
+ | - Суть RCU и синхронизация на эпохах | ||
+ | - Kernel-space RCU | ||
+ | - User-space RCU | ||
courses/high_performance_computing/lectures.txt · Last modified: 2024/01/25 00:04 by kel