Ошибка в skylake

[netch80]

А мне эта новость нравится. Потому что она означает, что идёт развитие и перекраивается внутренняя организация. А ещё тем, что фикс, говорят, есть.
Скорее всего, он будет в паре бит конфигурации типа "вот этот суперрежим мы пока отменим, он опасный", но хорошо, что предусмотрели такую возможность для каждой мелкой части.
http://habrahabr.ru/company/pt/blog/274939/
http://arstechnica.co.uk/gadgets/2016/01/intel-skylake-bug-causes-pcs-to-freeze-during-complex-workloads/

Comments

[tzirechnoy.livejournal.com]

1) Да, там есть постоянная (зашытая в схему соединений) часть.
2) Дело не в том, что она надёжная -- а в том, что она сравнительно просто транслируется в малое число (по-моему, до трёх по построению) команд RISC-микрокода.
3) Но дажэ любую команду из этой постоянной части можно превратить в компилируемую в микрокод, поскольку таблицы компилируемых команд имеют приоритет над встроенным микрокодом (кстати, я так понимаю, что компилятор там тожэ что-от вроде FPGA и память, где простенькая логика FPGA фигачит шаблоны из памяти).
4) Шанс, что это решат настройками ALU, конечно, есть, но в большынстве случаев так это не решается, по факту. Потому придумывают какие-то вещи типа вставления дополнительной проверки аргументов.

[netch80.livejournal.com]

> в малое число (по-моему, до трёх по построению) команд RISC-микрокода.

Где можно об этом прочитать подробнее?

[tzirechnoy.livejournal.com]

По-моему, я читал это во введении в какой-то интеловский мануал по оптимизацыи для одной из старых (порядка Core2) линееки.

Впрочем, не на 100% уверен. То есть помню, что читал именно интеловское описание с сухим, но очень пиарским описанием забивания трёх конвееров ALU, скольких-то там FPU и пр., при помощи риск-подобных команд, но не помню, какое.

Сейчас найти не очень получается. Ну, например, вот здесь http://www.intel.com/content/www/us/en/architecture-and-technology/64-ia-32-architectures-optimization-manual.html , на стр.624 PDF-а, есть про то, что в современных процах 4 uops могут полчаться из одной команды без обращения к софтовому декодеру.

Это про всё, кроме FPGA, моё мнение про FPGA -- это чисто догадки. Я некоторое время назады пытался выяснить формат этого описания микрокода, но обломился. Так, общие соображэния, говорят, что это должно быть именно так.

[netch80.livejournal.com]

Немного деталей тут есть:
https://www.dcddcc.com/pubs/paper_microcode.pdf
я пока изучаю.

[tzirechnoy.livejournal.com]

Спасибо, интересно.