Perché il kernel di Linux è chiamato "immagine"?

Sento spesso che le persone si riferiscono al kernel Linux come l'immagine del kernel Linux e non riesco a trovare una risposta su nessun motore di ricerca sul perché si chiama immagine.

Quando penso a un'immagine, posso solo pensare a due cose: una copia di un disco o una foto. Certamente non è un'immagine fotografica, quindi perché viene definita immagine?

Il processo di avvio di Unix ha (aveva) solo capacità limitate di caricare in modo intelligente un programma (riposizionandolo, caricando librerie ecc.). Pertanto il programma iniziale era un'immagine esatta, memorizzata su disco, di ciò che doveva essere caricato in memoria e "chiamato" per far funzionare il kernel.

Solo molto più tardi sono state aggiunte cose come (de) compressione e sebbene siano ora presenti bootloader più potenti, il nome dell'immagine è rimasto bloccato.

La parola immagine ha anche una definizione "Un file che contiene tutte le informazioni necessarie per produrre una copia funzionante dal vivo."

Non significa che "un'immagine" sia solo una copia 1: 1 di un disco. Proprio come una fotografia rappresenta la realtà esattamente com'era durante le riprese, l'immagine di un programma eseguibile (o kernel) rappresenta il programma in uno stato, dove può essere caricato (o decompresso) nella memoria del sistema esattamente come è e quindi dato il controllo ad esso. Tale programma può quindi iniziare l'esecuzione da quello stato in modo coerente. Quindi l'immagine del kernel di Linux è un'immagine (un'immagine dello stato) del kernel di Linux che è in grado di funzionare da solo dopo avergli dato il controllo.

Al giorno d'oggi, il bootloader carica tale immagine dal filesystem del disco rigido (è necessario il driver), si sostituisce con esso e quindi ne dà il controllo. Il processo di avvio di un computer lo fa più volte fino a quando il sistema operativo non viene eseguito. Questo si chiama caricamento a catena . O se un programma più piccolo (catena-) ne carica uno più complesso, si chiama bootstrap .

Il BIOS carica il bootloader che è anche un'immagine, ad esempio chiamato boot.imgin caso di grub. Questo boot.imgnon è un file (se è installato grub); è il nome della parte che si trova nel Master Boot Record (MBR). Se lo scarichi su un file, sarebbe un'immagine sotto forma di un file non scritto in modo grezzo sul disco, ma scritto in modo grezzo in un file. Questa è anche una rappresentazione (immagine) del primo stato in cui grubè in grado di caricare il resto di se stesso. grubquindi ha il suo meccanismo su come caricarsi completamente caricando altre immagini. Questo è rappresentato dalle diverse fasi in grub. Successivamente, il bootloader carica l'immagine del kernel sostituendosi con il contenuto estratto di quel file.

Storia antica. il termine immagine deriva da un vecchio termine di Digital Equipment Corporation per l'output del compilatore-> linker. il file è un'immagine creata interpretando il codice e così via attraverso il linker per creare una "Immagine" eseguibile del tuo progetto.

In matematica il kernel è l'immagine inversa di un sottoinsieme dell'immagine di una mappa, dove il sottoinsieme è uguale all'elemento identità nel codomain. Sono certo che questi nomi derivano da concetti matematici in quanto sono significativamente correlati in vari campi della matematica. Considerando che Unix è stato derivato in un ambiente accademico, potrebbe essere possibile che l'uso del kernel di queste parole e l'immagine siano gli stessi.

Se si dispone di un set che rappresenta un certo livello di informazioni sul sistema operativo "completo", se anche tali informazioni formano un gruppo, è possibile definire l'omomorfismo di gruppo su quel set o fondamentalmente mappare su altri set di dimensioni diverse rispetto al set originale purché "rispettano" la struttura dell'insieme originale che lo ha reso un gruppo. Si può vedere che può essere a proprio favore mappare il set su un set più piccolo o su un sottoinsieme di alcuni set in cui il sottoinsieme è più piccolo.

Immagine - L'immagine di un omomorfismo di gruppo e in funzioni e mappe generali, sono solo un sottoinsieme di alcuni insiemi a cui vengono effettivamente mappati gli elementi. La funzione potrebbe non essere mappata su ogni singolo elemento e tali elementi non verrebbero inclusi nell'immagine.

Kernel - Fondamentalmente solo gli elementi del set originale che si associano all'immagine, ma solo all'elemento identità nell'immagine. Fondamentalmente gli elementi che mappano a 0 come cosa nell'immagine.

Se l'immagine ha dimensioni inferiori rispetto al set originale, allora possiamo vedere più elementi che devono essere mappati su un singolo elemento. Quindi, ad esempio, potrebbero esserci più elementi dal kernel che si associano all'immagine e sappiamo già che tutti devono mappare a 0.

Possiamo vedere che se scegliamo che l'insieme originale sia sequenze finite di binario o 1 e 0 e che il codomain (impostato su) sia anche sequenze di binari, allora possiamo costruire tali cose se e solo se, una struttura di gruppo adatta può essere definito (questo piccolo approfondimento e non correlato alla domanda posta).

Quindi vediamo con assoluta certezza che "kernel" e "immagine" di un sistema operativo sono completamente definiti e hanno un significato matematico. Indipendentemente da forse altri usi dei termini.