Серокой: Все сообщения за 4 Марта 2007 года

Сергей-4030> Современный процессор, конечно, не машина Тьюринга, ну и что с того? Это параллельно. Важно то, что ваши рассуждения применимы точно так же для машины Тьюринга.
Применимы, но базовое слово всё ж - элементарные команды. А для современных процессоров они включают вовсе не только вирутаульно-воздушные лоад-сторе и плюс-минус.

Mishka> Да и всё эти поиски TLB — это микропрограммы, а значит — программирование рулит.
Как краевед говорю - нет там микрокода, банальное ассоциативное запоминающее устройство!

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

•  инфо
•  инструменты
• Ответить на сообщение

Сергей-4030> Ну тогда сформулируйте ваши тезисы яснее, с акцентом на то, что отличает "современные процессоры". Я, видите ли, не знаю, что вы имеете в виду, я могу только говорить о том, что вы пишете.

От машины Тьюринга отличает некоторое количество особенностей, реализованных на аппаратном уровне со введением соответствующих команд, которые позволяют реализовать аппаратное ускорение выполнения программы. Причём как в сказке - чем дальше, тем страшнее, в смысле, навороченней эти команды. даже введены команды снижения энергопотребления, PowerNow. О чём Тьюринг и помыслить не мог, ему-то потребление было менее всего важно.
А тезисов как таковых я чётко и не формулировал - это ж не научная полемика в "Solid State Circuit", а разговор в форуме.

•  инфо
•  инструменты
• Ответить на сообщение