Formal Specification of the x86 Instruction Set Architecture (PhD dissertation)
https://core.ac.uk/download/pdf/10697957.pdf
Отредактировано Лис (2023-03-21 20:36:26)
2012, Ulan Degenbaev, Formal Specification of the x86 ISA
Страница: 1
Сообщений 1 страница 3 из 3
Поделиться12023-03-21 20:34:03
- Участник
- Зарегистрирован: 2023-03-10
- Приглашений: 0
- Сообщений: 649
- Уважение: [+0/-0]
- Позитив: [+0/-0]
- Провел на форуме:
3 дня 16 часов - Последний визит:
2024-04-12 10:52:41
Поделиться22023-03-21 21:38:50
- Участник
- Зарегистрирован: 2023-03-10
- Приглашений: 0
- Сообщений: 649
- Уважение: [+0/-0]
- Позитив: [+0/-0]
- Провел на форуме:
3 дня 16 часов - Последний визит:
2024-04-12 10:52:41
«there is a fundamental difference between instruction specification for a single-processor machine and for a multiprocessor machine»
А я говорил, говорил! Что виртуальная машина для запуска компилятора (однопроцессорная) и машина для запуска многопоточного вебсервера - это две большие разницы.
«In a multiprocessor machine, we cannot execute an instruction in a single step, because this would not interleave memory accesses of one processor with the accesses of another, and thus would make instructions atomic.»
Отредактировано Лис (2023-03-21 21:41:21)
Поделиться32023-03-22 01:54:23
- Участник
- Зарегистрирован: 2023-03-10
- Приглашений: 0
- Сообщений: 649
- Уважение: [+0/-0]
- Позитив: [+0/-0]
- Провел на форуме:
3 дня 16 часов - Последний визит:
2024-04-12 10:52:41
«Ramsey and Fernandez developed a toolkit for instruction format specification [RF95, RF97]. Using the toolkit they formally specified the instruction format of the Pentium processor. The toolkit employs a syntactic approach to define the instruction format and cannot specify semantics of complex instructions.»
Такую идею я тоже высказывал где-то на форуме пару раз.
Страница: 1