Rat standarda i velika obmana arhitekture — CISC fasada i RISC srce

Uvod i teorija

Kroz ovaj serijal prošli smo put od stambene krize unutar 128 bajtova RAM-a, preko prekidnih rutina i lažiranja steka, pa sve do termodinamičkog haosa i MSR brojača na modernom PC-ju. U ovoj završnoj epizodi skidamo poslednji veo apstrakcije sa modernih procesora (Intel/AMD) i otkrivamo veliku tajnu: rat između CISC i RISC arhitektura zapravo je završen primirjem — RISC je pobedio unutar čipa, a CISC je pobedio na papiru.

Kada kompajlirate svoj C++ ili SSE kod na PC-ju, vi procesoru isporučujete kompleksan skup instrukcija poznat kao x86 standard (CISC). Međutim, moderni procesorski silicijum uopšte ne zna kako da direktno izvrši te instrukcije.

Generisao AI Gemini

CPU Iluzija: Hardverski dekoder kao prevodilac

Da bi zadržali kompatibilnost sa starim softverom pisanim decenijama unazad, proizvođači procesora su morali da zadrže CISC fasadu. CISC (Complex Instruction Set Computer) omogućava kompleksne naredbe — na primer, da jednom instrukcijom povučete podatak iz RAM-a, saberete ga sa registrom i rezultat vratite u RAM.

U čistom RISC (Reduced Instruction Set Computer) svetu to je strogo zabranjeno. Podaci se moraju eksplicitno učitati u registre (Load), obraditi (Execute) i vratiti u memoriju (Store).

Kako onda x86 procesor izvršava taj teški CISC softver brzinom munje?

  1. Hardware Decoder (Prevodilac na ulazu): Na samom ulazu u procesorsko jezgro nalazi se ultra-brzi hardverski dekoder. Njegov jedini posao je da presretne kompleksnu CISC instrukciju i razbije je (prevede) na nekoliko malih, prostih RISC instrukcija. Intel ove interne RISC instrukcije naziva Mikrooperacije (μops ili uops).
  2. Interno RISC jezgro: Kada se fasada sruši i instrukcija razbije na mikrooperacije, one ulaze u izvršne jedinice procesora koje su strukturalno čista, agresivna RISC mašina sa stotinama internih registara za koje vaš operativni sistem uopšte i ne zna da postoje.

Konceptualni most: Mikrosekvener kao praotac RISC-a

Ova revolucija je počela još sredinom 1990-ih godina (sa čuvenom arhitekturom Intel Pentium Pro iz 1995. godine) i traje i danas. Ipak, ako zagrebemo još dublje, shvatićemo da moderni procesori u svom srcu rade isto ono što smo radili na Intel 8051 — upravljaju stanjima.

Kada ste kroz hardverski tajmer na 8051 ručno manipulisali stanjima, bankama i registrima, vi ste radili posao mikrosekvenera. Kod modernih procesora, taj posao je automatizovan: hardverski dekoder prevodi spoljni CISC standard u interni "mikrokod" (niz mikrooperacija) koji pokreće unutrašnju state mašinu procesora u ritmu gigahercnog takta.

Silicijumski flaster: Krpljenje procesora kroz mikrokod

Ovaj hibridni dizajn (CISC na ulazu, RISC u srcu) donosi još jednu neverovatnu inženjersku prednost. Pošto se kompleksne instrukcije u pozadini izvršavaju preko mikrokoda, šta se dešava ako inženjeri u Intelu ili AMD-u naprave kritičnu grešku u samom silicijumu (hardverski bug)?

Umesto povlačenja miliona procesora sa tržišta, greška se krpi softverski! Prilikom podizanja sistema, kroz BIOS/UEFI u procesor se "ubrizgava" Microcode Update — softverski flaster koji menja mapu unutar ulaznog dekodera. Dekoder nakon toga problematičnu CISC instrukciju bezbedno razbija na drugačiji niz stabilnih mikrooperacija, zaobilazeći hardverski kvar na čipu.

Finalni uporedni pregled arhitektura

Karakteristika

Bazični Intel 8051

Moderni x86/x64 Procesor

Spoljašnja Arhitektura

Čist 8-bitni CISC

Kompleksni 64-bitni CISC standard

Unutrašnje Izvršenje

Direktno (Instrukcija pokreće silicijum)

Hibridno (Razbijanje na RISC μops)

Fleksibilnost hardvera

Fiksna (Logika urezana u tranzistore)

Dinamična (Mogućnost izmene mikrokoda)

Kompatibilnost koda

Vezana za specifičnu 8051 familiju

Apsolutni standard (Izvršava kod iz 1980-ih)

Inženjerski zaključak knjige:
Granica između hardvera i softvera na samom dnu ne postoji — sve je samo matrica stanja. Bez obzira na to da li optimizujete asemblerski kod za mali 8-bitni čip pomeranjem bitova u PSW registru, ili kompajlirate masivne C++ SSE aplikacije na PC-ju, principi su ostali identični. Razumevanje bazičnog silicijuma oslobađa vas iluzije automatizma i od programera koji samo kuca sintaksu pravi arhitektu softverskih sistema.

📦 Open Source & Podela znanja:
Kompletan članak, prateći materijali i izvorni kod su licencirani pod Creative Commons (CC BY 4.0) i MIT licencama uz navođenje izvora zilsel-invent.com.


Location: Belgrade, Serbia

Comments

Post a Comment

Popular posts from this blog

Fake VC830L digital multimeter

Image
This article is intended to explain some bad things about cheap digital multimeters since these devices are available in large quantities in Serbia. The key point of this article is security since cheap digital multimeters are not tested/produced according to standards. VC830L is one digital multimeter available in electronics distribution stores in Serbia, but we will avoid company names, since this article is more about “ pay attention before you buy ” cheap digital multimeter. The VC830L is about 10 euros, you cannot expect too much, but if you are not able to buy professional digital multimeter which costs over 100 euros, you will certainly buy the cheap one. Front mask: VC830L digital multimeter. The part interested for us is security so let see what we actually have regarding VC830L digital multimeter. It has three input connectors, starting from the left side: we have connector for 10 amps, common connector (COM) and the right one intended for voltage, r...
Read more

Electrolytic capacitors and design rules

Image
This article is in tended t o ex plain the bases about electrolytic capacitor , where t he y are used, basic construction, RLC circuit and much more. This is a fir st article about capacit ors and this article is based on zilsel-invent previous article about low pass filters at the following link : Low pass filter and voltage stabilization Electrolytic capacitors and design rules T he f igure #2 presents already used electrolytic capacitors. As we can see electrolytic capacitor is polarized device which means that it is important to pay attention during capacitor assembling to the PCB (printed circuit board). Depending on the capacitor manufactures, in some cases negative lead is marked with a negative sign , and in some cases positive lead (capacitor pin) is marked with a plus sign . Beside polarization mark, there are also labels about capacitance (for example 470 microfarads ) and maximum allowed voltage (for example 10V). The maximum allowed voltage is important parameter r...
Read more

How to design LM324 Astable Multivibrator

Image
This blog post is intended to describe how astable multivibrator works based on LM324 operational amplifier, RC timer and positive voltage divider circuits. This is one way to implement astable multivibrator since additional options are available like: specialized signal generators or 555 timer integrated circuit configured to work as an astable multivibrator . There are two states related to astable multivibrator based on RC timer or an analog timer (there is also a digital timer integrated into the microcontroller for example, but in general, digital timers are based on astable multivibrators implemented with quartz or resonator external oscillators, since digital timers count PWM /clock oscilations . Anyway, there are different types of astable multivibrators in order to provide clock cycles): charging and discharging. Charging   To describe charging state we will start from beginning with the completely discharged capacitor C (it has zero volts betwe...
Read more