Акела промахнулся! В смысле, Интел обосрался

zVlad
Уже с Приветом
Posts: 15410
Joined: 30 Apr 2003 16:43

Re: Акела промахнулся! В смысле, Интел обосрался

Post by zVlad »

Flash-04 wrote: 14 Jan 2018 05:27 .....
Дам такое определение "настоящей" виртуализации - это значит что система может исполнять много процессов и никакими методами такой процесс не может узнать о существовании других процессов если OS сама того не захочет. ....
... И хотя вы не дал более менее вменяемого описания MVS, подозреваю что это - паравиртуализация которая с точки зрения секьюрити хромает на обе ноги.

Влад, вы про common criteria знаете? ....
IBM смогла сертифицировать свою "Z" только на уровент EAL4, ровно так же как и MS Windows. Сюрприз!
....
LPAR тем не менее на EAL5.

...
Давай уж все таки на ты перейдем, мы же договорились. Я с тобой, Димой и Десперадо категорически на ты хочу говорить - столько времени и объема общения что пора.

Нам трудно понять и объяснить друг другу некоторые вещи потому винас разные знания и разный их объем. Причем я тебя понимаю лучше поскольку, как уже говорил, давно интересуюсь х86 и системами на них, имею опыт работы с этим, а летом прошлого года (вынужден повторяться) упорно и много читал книги по внутренностям Windows и Интел. Конечно без применения на практике эти чтения мало что оставили в моей памяти, но походу я делал некоторые интегральные выводы относительно разниц того что знаю лучше - z, их ОС и х86 и их ОС (по х86 я читал руководство по системному программированию, на английском языке, оригинал от Интел).
Поговорим об интегральных оценках. Вот ты заявил вчера что в z нет ничего такого чего бы не было на х. И я с этим согласился, да все есть и то и се, не буду повторять. И вот мы уткнулись в виртуализацию и оказалось что на двух казалось бы совпадающих архитектурах: z и х с этим (виртуализацией) все очень по разному. Вот она где собака порылась! Вот она разница о которой я говорю годами без успеха быть понятым. Оъясняю.
Посмотрим на историю VM на том что сегодня называется zSystem. Все началось с S/360 как известно в 1964 году. S/360 даже не имела поддержки виртуальной памяти. Но уже тогда появилась идея о виртуализации компьютера, именно компьютера, т.е. о полном аналоге реальной машины. Специалисты IBM разработали DAT - dynamic address translation - аппаратный узел позволяющий операционной системе создавать и управлять виртуальной памятью. В 1967 году появилась модель 67 S/360, и появился CP/67 прообраз будущей VM/370 и нынешней zVM. CP - Control Program, так до сих пор называется главный компонент современной zVM, который собствено создает и управляет виртуальными машинами.
Причем в отличии от первых версий VMWare, еще до того как Интел и AMD доработали свои процессоры для hardware virtualization, когда VMWare вынужден был сканировать исполняемый код и интерпретировать некоторые команды, CP/67 ничего такого не требовалось и никаких специальных изменений кроме добавления DAT к S/360 не потребовалось - в нем все уже было изначально и строгое разделение команд на привелигированные и ввод-вывод инициируемый привелигированной командой.
Т.е. с самого начала на виртуальной машине под CP запускалась любая программа (не только известная OS), любая OS для S/360 (и далее OS любых новыx поколений мф вплодь до z14 и, внимание, обратно до S/360) без проверки и сканирования ее кода, без какого либо изменения. Причем загружать эти программы/системы можно было ровно с тех же устройств, с которых они загружались на реальную машину, или с минидиском, если предполагалось использование только с виртуальной машиной. Для смеха, можно было загружаться с перфокарт.
Сделаем промежуточный итог и перерыв. Итак три вещи, две из которых имелись уже в S/360: 1. два режима процессора (не четыре ринга как у Интел, из которых используется только два) и два набора команд ассоциированных с режимами: команды общего применения и команды супервизора, включая ! команды ввода-вывода, 2. ввод-вывод основанный на канальной организации когда канал выполняет программу ввода-вывода запускаемую исключительно привелигированной командой CPU, т.е. выполнить ввод-вывод можно только через супервизор, 3. DAT.

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

Перерыв. Вопросы. Мнения.
User avatar
ALV00
Уже с Приветом
Posts: 1494
Joined: 08 Mar 2002 10:01
Location: NJ

Re: Акела промахнулся! В смысле, Интел обосрался

Post by ALV00 »

Dmitry67 wrote: 13 Jan 2018 23:26 А что же делать?
Meltdown победят
Но Spectre это ПЦ!!!
Ойдаладно. Придумают что-нибудь и против спектра. Например, сделают более сложный кеш.
StrangerR
Уже с Приветом
Posts: 38016
Joined: 14 Dec 2006 20:13
Location: USA

Re: Акела промахнулся! В смысле, Интел обосрался

Post by StrangerR »

ALV00 wrote: 14 Jan 2018 16:17
Dmitry67 wrote: 13 Jan 2018 23:26 А что же делать?
Meltdown победят
Но Spectre это ПЦ!!!
Ойдаладно. Придумают что-нибудь и против спектра. Например, сделают более сложный кеш.
Там есть возможность и без кэша бэкчаннел устроить...

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

Конечно, на сильно загруженных системах все это не работает. Ну дык хакер выберет ночь, тишину, облако спит, он приходит и развлекается... а в памяти процесса чей то ключик его ждет... Все это пока спекуляции, кроме мелтдауна, ничего особо полезного никто утащить не сумел, но сейчас же тыщи хакеров развлекаются, код пытаются работающий написать. Так и напишут.
StrangerR
Уже с Приветом
Posts: 38016
Joined: 14 Dec 2006 20:13
Location: USA

Re: Акела промахнулся! В смысле, Интел обосрался

Post by StrangerR »

S/360 не имела нормальной виртуальной памяти. Поэтому добавление оной в S/370 позволило естественно виртуализовать S/360. Любую систему без виртуальной памяти виртуализовать - как два пальца, просто толку от таких систем нуль. А так да, S/370 была по сути первой более менее виртуальной системой - там и ОС соответствующая крутилась.
zVlad
Уже с Приветом
Posts: 15410
Joined: 30 Apr 2003 16:43

Re: Акела промахнулся! В смысле, Интел обосрался

Post by zVlad »

StrangerR wrote: 14 Jan 2018 16:40 S/360 не имела нормальной виртуальной памяти. Поэтому добавление оной в S/370 позволило естественно виртуализовать S/360. Любую систему без виртуальной памяти виртуализовать - как два пальца, просто толку от таких систем нуль. А так да, S/370 была по сути первой более менее виртуальной системой - там и ОС соответствующая крутилась.
Мы же уже об этом много говорили. Неужели трудно запомнить три простых вещи:
- на S/360 не было никакой виртуальной памяти, от слова вообще.
- тем не менее впервых виртуальная память была имплементирована в рамках S/360, в модели 67,
- в S/370 все модели имели DAT, но могли работать в режиме S/360.

Вы можете конечно рассказывать что Вам угодно, форум общее место для всех. Но все таки постарайтесь в моем присутствии не использовать утверждений в верности которых Вы не можете быть уверены. Мне просто лень Вас все время поправлять, и засорять форум не охота.
На S/370, например, виртуализировалась не только S/360, но и S/370. И крутилась на S/370 не одна, а разные OS. Уймитесь наконец, ну спрашивайте у меня если хотите уточнить что-то, Википедию тоже не отменили еще. Вы ж на уровне Википедии ошибаетесь, надеетесь что никто Вас не поправит что ли?
User avatar
Flash-04
Уже с Приветом
Posts: 63430
Joined: 03 Nov 2004 05:31
Location: RU -> Toronto, ON

Re: Акела промахнулся! В смысле, Интел обосрался

Post by Flash-04 »

zVlad wrote: 14 Jan 2018 14:29 Я порассуждал конечно не так эксперт в устройстве и работы процессора, но как бывший программист на ассемблере, на мф правда, но все таки. Возможно на х86 и им подобным такое доступно, есть различия принципиальные между х86 и z процессоров на уровне ассемблера, поэтому я называю х86 микропроцессором, так впрочем и другие называют. В z же есть микрокод на котором написаны команды используемые ассемблером. И поэтому для меня z не микропроцессор. Да, IBM признали импакт от Spectre, это факт многозначительный, говорящий что я что-то не понимаю, не знаю пока. Я жду описания к патчу на z/VM может оно откроет мне глаза и я пойму как это можно сделать. А может и оказать иначе, поживем увидим.
Влад, увы, но ты похоже читал либо мало по x86 либо читал не совсем то. Есть там микрокод:
https://www.usenix.org/conference/useni ... tion/koppe
Not everyone believes what I believe but my beliefs do not require them to.
zVlad
Уже с Приветом
Posts: 15410
Joined: 30 Apr 2003 16:43

Re: Акела промахнулся! В смысле, Интел обосрался

Post by zVlad »

Flash-04 wrote: 14 Jan 2018 17:14 ....
Влад, увы, но ты похоже читал либо мало по x86 либо читал не совсем то. Есть там микрокод:
https://www.usenix.org/conference/useni ... tion/koppe
Микрокод микроду розь. Дровами называются и осиновые и дубовые и сосновые и липовые дрова. Животными называются и кошки и собаки и коровы.

Давай не будем цепляться за слова, давай говорить о деле. Например, чтобы починить Интел от Spectre надо заменить процессор, а для z надо лишь динамически проапгрейдить микрокод.

P.S. Кстати, в моей цитате, которую ты взял, не говорится что на х86 нет микрокода.
Last edited by zVlad on 14 Jan 2018 18:15, edited 1 time in total.
zVlad
Уже с Приветом
Posts: 15410
Joined: 30 Apr 2003 16:43

Re: Акела промахнулся! В смысле, Интел обосрался

Post by zVlad »

Flash-04, если мы будем обсуждать слова а не смыслы и содержапие мы никогда ни до чего не договоримся. Каждый останется там где был в начала беседы.
Вот ты приписал лихо MVS паравиртуализацию какую то которой на мф в принципе нет и сделал далеко идущие выводы о ее секьюрити. Я как мог доходчиво рассказал о том какая на самом деле виртуализация на мф и надеялся продолжить разговор о секьюрности MVS и никому не нужный и бесполезный EAL, но ты избрал путь уличения меня в недостаточности чтения архитектуры х86 на основании того что я что-то не так сказал про микрокод на х86.
Мы так и будем мотаться из стороны в сторону, или мы пойдем куда-нибудь в одном направлении хотя бы некоторое время? Мне интересно знать как долго мы еща будем время разбазаривать. Тебе то хорошо, ты пишешь пару строчек и в кусты, а я не могу так.
User avatar
Flash-04
Уже с Приветом
Posts: 63430
Joined: 03 Nov 2004 05:31
Location: RU -> Toronto, ON

Re: Акела промахнулся! В смысле, Интел обосрался

Post by Flash-04 »

Короче, Intel выпустил уже пачи для микрокода своих процессоров.
https://downloadcenter.intel.com/downlo ... -Data-File
Будешь дальше отрицать реальность?
Not everyone believes what I believe but my beliefs do not require them to.
zVlad
Уже с Приветом
Posts: 15410
Joined: 30 Apr 2003 16:43

Re: Акела промахнулся! В смысле, Интел обосрался

Post by zVlad »

Ладно оставим паравиртуализацию и MVS, поговорим об EAL. То что на одном уровне оказываются такие системы как Windows и z/OS говорит лишь о том что EAL очень грубая шкала для определения где что находится в мире систем в смысле секьюрити. Это примерно тоже самое что из того что Москва и Челябинск города делать вывод что они одинаковы, на одном уровне находятся.
Конечно же секьюрити систем разные. Это видно хотя бы из того что в Windows все кому не лень просят админ права, и их дают, а в z/OS пользователи даже не знают есть ли права администратора, что они дают, когда и доя чего их надо. Чтоб ты не цеплялся к словам я сразу этим я не доказываю ничего, а лишь намекаю на одно из внешних отличий секьюрити систем попавших в один и тот же EAL4.
Насколько я помню чтобы продвинуться в EAL нужно как минимум заплатить.
StrangerR
Уже с Приветом
Posts: 38016
Joined: 14 Dec 2006 20:13
Location: USA

Re: Акела промахнулся! В смысле, Интел обосрался

Post by StrangerR »

Flash-04 wrote: 14 Jan 2018 18:26 Короче, Intel выпустил уже пачи для микрокода своих процессоров.
https://downloadcenter.intel.com/downlo ... -Data-File
Будешь дальше отрицать реальность?
Ага. И уже VMware словила несовместимость. У меня патч который накладывал этот микрокод и использовал его упал с треском на новых процессорах. И Интел сам уже сознался, что там напортачил чего-то.
zVlad
Уже с Приветом
Posts: 15410
Joined: 30 Apr 2003 16:43

Re: Акела промахнулся! В смысле, Интел обосрался

Post by zVlad »

Flash-04 wrote: 14 Jan 2018 18:26 Короче, Intel выпустил уже пачи для микрокода своих процессоров.
https://downloadcenter.intel.com/downlo ... -Data-File
Будешь дальше отрицать реальность?
Я вообще то ничего не отрицал, даже наличие микрокода (посмотри внимательно где я пишу про микрокод).
Это конечно здорово что микрокод можно и модифицировать, только ты ж не будешь отрицать разговоров о том что в некоторых случаях пофиксать Spectre предполагается в следущем поколении Intel.
Поясни, кстати, заодно что именно фиксается этим изменением микрокода что ты приводишь в качестве доказательства что микрокод менять можно на х86.

Там где я писал про микрокод и про то что я считаю х86 микропроцессором, а z нет главная мысль была не в отрицании микрокода в х86, а в намеке на то что команды ассемблера на z чем то отличаются от команд х86. Ты ж не будешь, надеюсь, утверждать что там и там команды одинаковы (кроме очевидных сложений, вычитаний, пересылок, переходов и т.п.)?
zVlad
Уже с Приветом
Posts: 15410
Joined: 30 Apr 2003 16:43

Re: Акела промахнулся! В смысле, Интел обосрался

Post by zVlad »

Flash-04, раз уж мы застряли на одном места то давай потопчемся.
На первой странице этой темы от helg помещена табличка состояния с тремя этими багами. В ней дается инфа по возможности фиксания для Intel и AMD. Так вот согласно этой таблице (наверное есть и другие источники) ни Spectre v1, ни v2 не могут быть пофиксаны в Intel.
Прокомментируй, пожалуйста.
StrangerR
Уже с Приветом
Posts: 38016
Joined: 14 Dec 2006 20:13
Location: USA

Re: Акела промахнулся! В смысле, Интел обосрался

Post by StrangerR »

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

У АМД видимо другие принципы тренировки предсказания перехода, или вообще таких тренировот нет (что странно).

Я правда не вижу особого ущерба от спектры. Ну вылезти за пределы памяти своего массива - в нескриптовом языке это не нужно, бери и читай, в скриптовом - время померять крайне сложно... да и пользы от вылезания почти нуль. Хотя всякого кода, пытающегося вытащить в бразере что нибудь полезное, сейчас народ понапишет...
zVlad
Уже с Приветом
Posts: 15410
Joined: 30 Apr 2003 16:43

Re: Акела промахнулся! В смысле, Интел обосрался

Post by zVlad »

StrangerR wrote: 14 Jan 2018 18:53 А как ты спектру в принципе то пофиксишь? ...
На z, по крайней мере для z/VM и zLinux (полную информацию я давал на странице 7, посмотри) как то смогли пофиксать. И в микрокоде что-то изменили и в z/VM. Именно Spectre оба варианта (iDesperado смеялся типа отключили и все, потеряли производительность. Можно ведь и не отключать).

Return to “Вопросы и новости IT”