#prog #article
When allocating unused memory boosts performance by 2x
During performance testing, I stumbled upon a weird performance effect. The throughput of a function increased by 2x when I added a dataset but didn't use it anywhere. Such fluctuations are not unheard of and could be caused by a myriad of things. But this time the code was so unrelated that I had to investigate further, especially since the effect was consistent and not a fluke.
Спойлер:гистерезис-подобное поведение аллокатора glibc касательно возврата аллоцированной памяти операционной системе.
When allocating unused memory boosts performance by 2x
During performance testing, I stumbled upon a weird performance effect. The throughput of a function increased by 2x when I added a dataset but didn't use it anywhere. Such fluctuations are not unheard of and could be caused by a myriad of things. But this time the code was so unrelated that I had to investigate further, especially since the effect was consistent and not a fluke.
Спойлер:
😱4🔥2🤔1
💞Gay Mems🔥 | Гей мемы 💪
Вы не поверите, но в России потребовали заблокировать Duolingo. Активисты нашли в приложении фразы, которые сочли пропагандой «нетрадиционных отношений». Например: Бен и Питер любят друг друга. Они геи Клара встретила свою жену Марию в гей-баре Они думают…
Парни ПЛЮС
«Duolingo» удаляет ЛГБТ-контент по требованию Роскомнадзора - Парни ПЛЮС
Компания «Duolingo» официально сообщила Роскомнадзору об удалении из своего сервиса контента, который пользователи могут принять за...
🤡14👍9😁4🎉2
#prog #rust #article
Taming Floating-Point Sums
Статья о различных способах суммировать числа с плавающей точкой: способы быстрее прямолинейного и способы точнее прямолинейного.
Осторожно, бенчмарки проводились на данных, которые умещаются в кеш процессора
Taming Floating-Point Sums
Статья о различных способах суммировать числа с плавающей точкой: способы быстрее прямолинейного и способы точнее прямолинейного.
Осторожно, бенчмарки проводились на данных, которые умещаются в кеш процессора
👍4
#prog #algo #article
Bitwise Binary Search: Elegant and Fast
Статья о вариантах двоичного поиска (конкретнее, поиска нижней границы места для вставки), которые вычисляют по одному биту результата за итерацию. Подобные алгоритмы можно записать в branchless виде, что позволяет сильно их ускорить по сравнению с "обычным" вариантом.
Предупреждение: автор делал бенчмарки на Apple M1 и оптимизировал под него, так что ваши результаты наверняка будут отличаться.
Bitwise Binary Search: Elegant and Fast
Статья о вариантах двоичного поиска (конкретнее, поиска нижней границы места для вставки), которые вычисляют по одному биту результата за итерацию. Подобные алгоритмы можно записать в branchless виде, что позволяет сильно их ускорить по сравнению с "обычным" вариантом.
Предупреждение: автор делал бенчмарки на Apple M1 и оптимизировал под него, так что ваши результаты наверняка будут отличаться.
🔥6👍3❤2
#prog #article
Why Writing Correct Software Is Hard
… and why math (alone) won’t help us
Статья о фундаментальных ограничениях формальных методов верификации программ, которая показывает, откуда идёт сложность.
Why Writing Correct Software Is Hard
… and why math (alone) won’t help us
Статья о фундаментальных ограничениях формальных методов верификации программ, которая показывает, откуда идёт сложность.
Ron Pressler
Why Writing Correct Software Is Hard
We try to understand the relationship between programs and correctness, and in particular, why writing correct programs must be hard. We will review results from computability theory and complexity theory, and see that programs and complete understanding…
👍1