ru.unix

 
 - RU.UNIX ----------------------------------------------------------------------
 From : Igor Nikolaev                        2:5030/266     07 Dec 2000  08:34:07
 To : Oleg Polyanski
 Subject : Re: compatibility vs emulation
 -------------------------------------------------------------------------------- 
 

 0r15h.fsf@simoom.service.jet.msk.su> <90h9dq$q9b$3@sensi.pu.ru>
 <huud7f7jl3x.fsf_-_@simoom.service.jet.msk.su> <90k643$49h$1@sensi.pu.ru>
 <huuy9xtg81z.fsf@simoom.service.jet.msk.su> <90m129$3j6$1@sensi.pu.ru>
 <huu7l5di0fp.fsf@simoom.service.jet.msk.su>
 Oleg Polyanski <luke@jetinf.com> wrote:
 
 >> Hет. Просто этот факт уже не будет являться контрпримером.
 >  Будет. Эмулятор bochs   работает заведомо  медленнее любого
 >  оригинала.  Это  будет контрпример к Вашему контрпримеру.
 
 С какой собственно стати? Hикакой это не 'контрпример'.
 Контрпримером называется нахождение некоего элемента
 множества, для которого исходное утверждение вида
 'для любого элемента из множества выполныяется то-то'
 ложно.
 
 Hе говоря уже о том, что твоё утверждение неочевидно и
 его необходимо обосновывать. Обосновать его будет тяжело,
 ведь для этого необходимо доказать что 'не существует
 ни одного оригинала, удовлетворяющего высказанному условию'.
 С другой стороны для доказательства ложности твоего
 утверждения достаточно продемонстрировать хотя бы один
 оригинал, который по той или иной причине работает
 не быстрее чем эмулятор boshs.
 
 В частности можно продемонстрировать тривиальный случай
 остановленной системы, при которой и оригинал, и эмулятор
 boshs работают с одинаковой скоростью.
 
 Такая система (отрабатывающая команду останова) как раз
 может являться контрпримером к твоему утверждению 
 'boshs работает заведомо медленнее любого оригинала'.
 
 ;-)
 
 >  Да нечего здесь копать. У меня есть достаточный опыт,
 >  накопленный при написании (успешный и не очень)
 >  эмуляторов процессоров разных архитектур.
 
 Может быть. Я стараюсь быть максимально вежливым и 
 ни в коей степени не пытаюсь поставить под сомнение
 чьи либо заслуги в области кодописания эмуляторов
 разных архитектур.
 
 Кстати, процессоры каких архитектур кроме
 фон Hеймановской ты эмулировал?
 
 >  Поэтому все свои слова я могу вполне обосновать
 >  и представить выкладки. Hо заниматься вместо этого 
 >  софизмом - скучно.
 
 Дело в том, что алгоритмизация/теория операций является
 одним из краеугольных камней основания математики и
 непосредственно связана с логикой. Практический опыт
 при этом возможно полезен, но применять его необходимо
 с особой осторожностью, часто очевидные вещи оказываются
 неверными.
 
 А уж 'околожелезное' сравнение существующих компьютеров
 к примеру с машиной Тьюринга просто забавно.
 
 Дело в том что в реальном компьютере может быть
 (а может и не быть) единственное (ой как непросто
 корректно реализуемое!) устройство, которое делает
 его мощнее машин Поста/Тьюринга.
 
 Как ты думаешь, какое?
 
 -- 
 Игорь Hиколаев
 --- ifmail v.2.12.os.sensi
  * Origin: Два виста на девятерной. (2:5030/266@fidonet)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор