Förstå avbrott och traps

Vad är avbrott och traps? Tänk på dem som brådskande signaler som talar om för datorns CPU att pausa det den gör och uppmärksamma något viktigare.

De här signalerna är avgörande för hur operativsystem hanterar uppgifter, reagerar på hårdvara och hanterar fel. Utan dem skulle datorn varken kunna köra flera uppgifter samtidigt eller reagera när du trycker på en tangent!

Normalt kör CPU:n instruktioner efter varandra i ett jämnt flöde. Men vad händer om någon trycker på en tangent eller om ett fel inträffar?

Avbrott och traps är mekanismer som gör att CPU:n tillfälligt kan stoppa sin aktuella uppgift, hantera den brådskande händelsen och sedan återuppta det ursprungliga arbetet.

Hårdvaruavbrott är externa signaler som genereras av hårdvaruenheter och kräver CPU:ns uppmärksamhet.

• De är asynkrona, vilket innebär att de kan inträffa när som helst och inte är kopplade till CPU:ns aktuella instruktion.
• Tänk på dem som en ringklocka – CPU:n slutar med det den gör för att svara.

De finns överallt! Här är några vanliga exempel:

• Tangenttryckning: När du skriver skickar tangentbordets styrenhet ett avbrott.
• Musrörelse: När du flyttar musen utlöses avbrott.
• Timeravbrott: Ett särskilt chip genererar avbrott med jämna mellanrum, så att operativsystemet kan schemalägga uppgifter.
• Disk-I/O: När data är klar från hårddisken signalerar den CPU:n.

Programvaruavbrott utlöses avsiktligt av ett program som körs med hjälp av en särskild instruktion (till exempel INT i x86-assembler).

• De är synkrona och inträffar exakt när instruktionen körs.
• Program använder dem för att begära tjänster från operativsystemet, till exempel för att läsa en fil eller skriva ut på skärmen.

I x86-assembler genererar instruktionen INT ett programvaruavbrott. Här används int 0x80 i Linux för att anropa en systemtjänst (syscall) som avslutar programmet.

Prova att köra det här enkla assemblerprogrammet:

Undantag är en annan typ av synkron händelse, men de utlöses internt av själva CPU:n när den upptäcker ett fel eller ett ovanligt tillstånd under körningen av en instruktion.

• De visar att något gick fel med den aktuella instruktionen eller dess data.
• Till skillnad från hårdvaruavbrott är de direkt kopplade till exekveringsflödet.

Undantag kategoriseras efter hur de påverkar programmets körning:

• Fel: Ett fel som ofta kan korrigeras, så att programmet kan starta om den instruktion som orsakade felet (till exempel ett sidfel vid försök att komma åt minne som för närvarande inte finns i RAM).
• Fällor: Ett undantag som rapporteras omedelbart efter att den instruktion som orsakade det har körts, så att programmet kan fortsätta (till exempel en brytpunkt i en debugger).
• Avbrott: Allvarliga fel som inte kan återställas och som vanligtvis avslutar programmet (till exempel ett kritiskt maskinvarufel).

Ni har förmodligen stött på dessa, även om ni inte kände till namnet:

• Division med noll: Försök att dividera ett tal med noll.
• Ogiltig opcode: CPU:n stöter på en instruktion som den inte känner igen.
• Sidfel: Ett program försöker komma åt en minnesadress som inte är mappad eller tillgänglig.
• Allmänt skyddsfel (GPF): Ett program försöker komma åt minne som det saknar behörighet till eller utför en privilegierad åtgärd på felaktigt sätt.

Låt oss tydliggöra de viktigaste skillnaderna:

• Källa: Hårdvaruavbrott är externa, programvaruavbrott initieras av program och undantag uppstår internt i CPU:n.
• Tidpunkt: Hårdvaruavbrott är asynkrona; programvaruavbrott och undantag är synkrona.
• Syfte: Avbrott hanterar händelser (I/O, timers och anrop till operativsystemet); undantag hanterar fel eller särskilda tillstånd.
• Möjlighet att korrigera: Vissa undantag (fel) kan korrigeras, medan andra (avbrott) inte kan det.

I den här lektionen har vi gått igenom de viktiga mekanismer som gör att en CPU kan reagera på händelser och fel:

• Hårdvaruavbrott: Externa signaler från enheter (tangentbord och timer).
• Programvaruavbrott: Programinitierade begäranden om tjänster från operativsystemet (till exempel instruktionen INT).
• Undantag: Interna CPU-fel eller ovanliga tillstånd (till exempel division med noll och sidfel).

Genom att förstå dessa får ni en bättre uppfattning om hur operativsystem hanterar uppgifter och upprätthåller stabilitet på låg nivå.