Load Average in Linux

http://www.brendangregg.com/blog/2017-08-08/linux-load-averages.html

• It’s not load, it’s not average (N of processes running + waiting to run, N of processes in “uninterruptible sleep (usually IO”

  

• Если заменить своп-диск с быстрого на медленный, мы уменьшим производительность системы, LA должен увеличиться, только если будет учитываться не только CPU

What’s next?

http://graydon2.dreamwidth.org/253769.html

• Автор: Graydon Hoare, создатель языка Rust
• Следующие проблемы в языках, которые надо решать
• Если любая из проблем кажется понятной и простой - “вы просто не понимаете ее до конца”
• Модули. Много проблем, лидер разработки - 1ML (modules are truly first-class values).
• Управление ошибками
• Корутины, async/await, user-visible asynchronicity
• Система Эффектов. “система эффектов и типов”
• Расширенная статическая проверка, ограничение типов, общие языки с зависимыми типами
• Актуальная формальная логика / Метатеория
• Behavioural type, session type,
• Parametric mutability, permission/state polymorphism
• Более богатые шаблоны
• Система типов с оценкой стоимости (Cost-model type system) - let you “typecheck” the cost-model of a program.
• Гетерогенная память и параллелизм

IMHO: очень серьезная статья человека, который погряз в науке “Языки программирования”. Многие вопросы, которые он ставит, мне в принципе не приходят на ум. Рекомендую всем, кто прямо сейчас думает, какой следующий язык программирования изучать.

Paper “Reverse Engineering x86 Processor Microcode”

https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-koppe.pdf

• Автор: Philipp Koppe et all
• По этическим соображениям мы не рассказываем про алгоритм обфускации
• Все, что нужно знать про закрытые исходники: “we developed a novel technique to reverse engineer proprietary microcode encoding in a semi-automatic way”
• Brute force analysis (<10bits)
• ???Hardware setup: multiple nodes
• написали простейшую операционку с нуля!
• Изучение железа (электронным микроскопом, кислотой)
• Написали свою микропрограмму
• Показали удаленную атаку микрокода: микропрограмма ждет A / B и выполняет произвольный код (увеличивает eip на единичку - пропустится возвращение из процедуры)
• Два гранта, и поддержка Министерства Образования и Исследований
• 90 дней выдержали после того, как рассказали компании AMD

IMHO: никому верить нельзя, вообще никому!