Microsoft и Google сообщили об очередной уязвимости в процессорах Intel

От это наговнякали хардварного говнокода.
Опять юзверя виноваты, орали - давай, давай, гыгахертцы!! :-)

Что, опять?

Самое время вспомнить про столь нелюбимых веб макак и осозать что остальные от них отличаются не столь сильно

А мне пофиг.

Просто все процессоры — проприетарные.

Кажется в ядре линукс 4.1(чёто там) появилась функция выделенного пространства, типа как раз заплатка для бреши интела, даже воспользовавшись спекулятивным исполнением. пространство будет недоступно.

Ну, круто. И переделывать свои камни Интель не спешит.

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

Тот же Spectre, только в профиль.

Такое впечатление, что о этих уязвимостях гугл и прочие корпорации

об всех опуликованных в этом году уязвимостях знали студенты первых курсов десять лет назад, и воспринималось это как «фича», все пофик было

гугла сложно не заметить, вот и стало всем не пофик

все эти уязвимости эквивалентны «гугл пиарится»

А как они их фиксят в микрокоде-то? Тупо спекулятивное выполнение отрубают?

Скоро и в AMD?

Либо отрубают, либо изменяют код команд так, чтобы по уязвимым местам команды не проходились.

Почему-то не видать этого для AMD. И это очень странно.

либо изменяют код команд так, чтобы по уязвимым местам команды не проходились.

Не распарсил, что ты имел в виду.

Вообще, в конечном счёте получается, что любые команды, обращающиеся в RAM, нельзя исполнять спекулятивно. Теоретически, любые такие команды могут разгласить информацию через тайминги.

Остаётся безопасной для спекулятивного выполнения только всякая математика вида регистр/регистр или регистр/imm. Хреново так-то.

Может пора признать, что такие сложные системы не верифицируемы. Просто считать всё уязвимым по-умолчанию, вырезать «мастурбейтинг манкис» имитацию безопасности отовсюду и вынести её в минимальный верифицируемый(ой ли?) гипервизор.

Просто все процессоры — проприетарные.

Тысячи глаз смотрят куда угодно, но редко на проблемы. Сколько тут человек найдётся, которые проверяли статическим анализатором хотя-бы простые sh скрипты?

А что есть такие анализаторы кроме cat + пробежаться глазами по диагонали?

Может пора признать, что такие сложные системы не верифицируемы.

Давно пора.

вырезать «мастурбейтинг манкис» имитацию безопасности отовсюду

Типа какой? At-rest и in-flight шифрования? Изоляции процессов? Кто тебе звук смешивать будет? Или виртуализовано будет все железо?

Чем больше я думаю про твою идею, тем больше она скатывается к

минимальный(ой ли?) верифицируемый(ой ли?) гипервизор.

Сколько тут человек найдётся, которые проверяли статическим анализатором хотя-бы простые sh скрипты?

А что, возможно писать многострочники на bash/sh без анализатора? Там же динамит на динамите.

https://github.com/koalaman/shellcheck

А что, возможно писать многострочники на bash/sh без анализатора?

Для этого достаточно чтобы автор не слышал об этом и|или у него на машине всё работало. Вот к примеру в теме об уязвимости http://www.opennet.ru/opennews/art.shtml?num=48601 говорится о https://imgur.com/wsSXEz0

Может пора признать, что такие сложные системы не верифицируемы. Просто считать всё уязвимым по-умолчанию, вырезать «мастурбейтинг манкис» имитацию безопасности отовсюду и вынести её в минимальный верифицируемый(ой ли?) гипервизор.

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

Тут как раз тот случай, когда формальный метод не помог бы, потому что его не применяли к тому месту, где была проблема.

Теперь Интел будут процессорами-инвалидами. Там заплатка, там гипс, еще где-то повязка...

Они такие давно, со времён первопней.

Но проблема не том, что камни от Штеуда дырявы, а в том, что альтернатив нет.

альтернатив нет

Да ладно? Т.е. AMD уже не альтернатива?

facepalm

После той статьи мне стало интересно проверить в какой-нибудь установленной системе скрипты. Только пока не нашёл время на это.

Уже? AMD еще не альтернатива.

Еще? Ты сейчас про ойдевять начнешь говорить или нет?

да кому кроме меня нужен тот ойдевять, когда на большинстве задач важен только single thread performance.

single thread performance

Мне казалось, что софт уже оптимизируют под мультипоток. Ну или ты любитель поиграть в танки.

Вот когда дооптимизируют, тогда и возвращайтесь.

Не все же задачи параллелятся

Что дооптимизируют? Я не знаю процент софта, который умеет только в однопоток, но игры прекрасно себя чувствуют на райзенах (только не надо говорить, что на интеле (который скорее всего совсем в другой ценовой категории) фпсов больше).

лет 10 как оптимизируют, а воз и ныне там. мне, как автору многопоточного софта, i9 или даже Xeon Phi пригодился бы, только вот для еще 90% юзеров твой AMD, будь у него хоть 100 ядер, будет медленнее скромного 35 ваттника от Intel или копеечного Intel Pentium Gold.

Это так не работает. Скорость одного потока является бутылочным горлышком даже в многопотоке. Потому и получается, что «фпсов больше».

Нет конечно. Дырявые то все существующие на рынке x86.

Сколько бы ты там не оптимизировал, всё в конечном итоге упирается в последовательность операций, которую не разложить в параллель — она-то и тормозит.

Верить, что софт можно бесконечно улучшать под многопоток можно только когда незнаком с тем, как софт работает.

Ну и второй аспект: имея одно быстрое ядро, можно не долго заморачиваясь выпустить камень с 2, 4, 8... ядрами, и т.п.

А вот имея хоть 100-ядерную сборку из медленного говна... ребёнка за 1 месяц 9 женщин не родят тебе, короче.

https://www.cpubenchmark.net/singleThread.html

Ой-ёй, где же рязани? Я и не думал, что всё настолько плохо.

две конторы сразу об одной уязвимости, их специалисты в одном помещении сидят?

Примерно в 2014ом.

Интересно... У меня в последнее время вентилятор на ноутбуке шумит сильнее, чем раньше, реже выключается. Ноутбук чистый, термопаста свежая. Может быть, конечно, меня глючит, но есть подозрение, что виноваты патчи, закрывающие уязвимости.

переделывать свои камни Интель не спешит

Это не так просто организовать.

AMD уже не альтернатива?

Амуда тоже дырява. Несколько по-иному, но тем не менее...

//Пользователь амуд.

Наткнулся случайно в википедии:

https://en.wikipedia.org/wiki/Hyper-threading

In May 2005, Colin Percival demonstrated that a malicious thread on a Pentium 4 can use a timing attack to monitor the memory access patterns of another thread with which it shares a cache, allowing the theft of cryptographic information.

Еще в 2005-м году кто надо знал про возможность осуществления timing attack. И только сейчас потребовалось поднять хайп по этому поводу.

Версия, что Intel таким образом хочет поэффективнее впарить новые CPU не лишена смысла.

От это наговнякали хардварного говнокода.

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