Myslim, ze tato uvaha je "wrooong on so many levels". Inteli mikrokod nie je skolsky seriovy automat, teda aspon by nemal byt. Frontend necha x86tkove "makroinstrukcie" rozpadnut na instrukcie vnutornej mikroarchitektury. Vzhladom k tomu, aka je x86 komplikovana predpokladam, ze potom nasleduje faza optimalizacie (eliminacia load-store parov a podobnych zjavnych volovin) a potom sa to vykonava tak, ako sa vykonava nativny kod na inych out-of-order architekturach. T.j. vec sa vykona vtedy, ked su k dispozicii data. Necakal by som, ze restarty sposobuje taka trapnost ako "toto tunak trva moc dlho a data sa zaseknu na polceste". Problem bude skor v tom, ze niektora zmena za istych okolnosti meni nejaky predpoklad a nejaka cast mikrokodu potom zazenie vnutornu architekturu do necakaneho stavu z ktorej je cesta von jedine skrz restart.
Vzhladom k tomu, ze sa saha do tak fundamentalnych veci ako branch prediktor a branch target buffer su moznosti rozpadu vnutorneho stavu CPU naozaj siroke. Staci ze sa zaviedol novy flag, ktory sa na 99 miestach kontroluje a na stom mieste nie a problem je na svete.