Практика языка C (МФТИ, 2023-2024). Семинар 7.1. Кеши и немного о бенчмаркинге.

Практические занятия по языку C на первом курсе МФТИ. Кафедра информатики.

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

Семинарист: Константин Владимиров.
Дата: 1 апреля 2024 года.
Съёмка: Марк Гончаров.
Звук: Юлий Тарасов.

Timeline
00:00 As if rule и оптимизации
13:04 Макросы
21:32 Бенчмаркинг
27:45 Загадочный эксперимент
34:04 Немного о памяти
41:34 Локальность данных
54:27 Время ставить опыты
01:13:20 Кеш как структура данных
01:31:31 Небольшой тизер

Errata
* Тут пока пусто

[sibedir]

Клиффхэнгер про конвейеры в конце был зачётный 😊
Сюжет этих лекций не отпускает ни на секунду

[egor_neo]

Подписывайтесь и ставьте лай.. Подписывайтесь и ставьте лайки!

[BeyuuKT]

Супер! Спасибо за такой ценный труд! Очень жду продолжения. Было бы очень круто побольше примеров как это эффективно использовать, код до и код после, как с перемножением матриц!

[Igor_Parfenov]

1:10:26
Данный пример также хорошо демонстрирует тот факт, что L3-кэш общий для всех ядер. Поэтому к моменту, когда наблюдаемое ядро вернется за следующим блоком информации, этот блок уже может отсутствовать вследствие работы другого ядра.

[alex_s_ciframi]

Константин, спасибо за лекцию.
48:06 - а можно ведь не маллок делать, а вторую матрицу по месту транспонировать, а после вычислений вернуть обратно. Так будет даже шустрее, наверное.
Понимаю, что входной параметр менять - это так себе решение, но этот момент можно отразить в документации к функции

[ПавелФилиппенко-иб]

36:30 небольшая оговорочка -- разряжаются конденсаторы, а не транзисторы

[AlexSav]

1:33:40 В программе ошибка, мы не добавляем в сумму, а переписываем сумму значением из массива

[rexxxxxxar]

Надеюсь студенты запомнили про политику вытеснения. На первой лекции по плюсам им пригодится😅

[tarmo]

10:00 всегда ставлю сумматор типа sum^=j;

[mod]

branchless код и математика указателей

[alexanderspeshilov]

Несколько раз за лекцию прозвучало, что умножение матриц "квадратичное" по количеству операций. То ли я перегрелся от погоды, то ли это неточность. Если считать, что обе матрицы N x N, то количество умножений и сложений порядка N^3. Если за N взять количество элементов в матрице, то тоже N^2 не получается.

[nikitaq]

А чем valgrind лучше санитайзеров (asan, ubsan, etc)?

[dashberlin]

Правильно ли я понимаю что массивы, какими они не были большими или маленькими, всегда хранятся в RAM, и когда идёт чтение, то массив забрасываеться в кеши, и после выполнения идёт перезаписываться обратно в RAM. Имеется ввиду, то что кеши не являются плацдармом для постоянного хранения памяти?

[wusikijeronii]

А зачем эта тема с пустыми вставками ассемблера? Чем gcc push /__attribute не устраивает? Типо под msvc может не работать? Я только на clang пишу. А под другие не знаю

[MikhailGoncharov-tlcr]

я никогда не слышал ничего подобного. массив-чтобы быстро найти. список - чтобы быстро заменить.

[sibedir]

чё ютуб опять мои комментарии удаляет? (((

[sibedir]

Вот совсем недавно думал над такой мыслью: Оптимизировать find/ lower_bound для последовательных данных с учётом кэшей. Может стоит попробовать?