Esercizio sulle chiamate dei moduli e sui contenuti stack COMPLETO (4 eventi) SOLUZIONE

Dimensione: px

Iniziare la visualizzazioe della pagina:

Download "Esercizio sulle chiamate dei moduli e sui contenuti stack COMPLETO (4 eventi) SOLUZIONE"

Regina Corsi
6 anni fa
Visualizzazioni

1 Esercizio sulle chiamate dei moduli e sui contenuti stack COMPLETO (4 eventi) SOLUIONE NOTAIONE usata per i moduli: > (invocazione), nome_modulo (esecuzione), < (ritorno) Gli indirizzi base degli stack di sistema utente dei processi (sstack e ustack) sono da indicare come sbase_identificativo processo e ubase_identificativo processo Stato iniziale: {CURR = P, S = LFT in RB) Si considerino i seguenti eventi 1) P esegue execl E dato lo stato di ustack subito prima dell invocazione La mutazione di codice va a buon fine Si assuma che durante l esecuzione della routine system_call ( ) la variabile TIF_NEED_RESCHED venga posta a 1 eseguiti nel contesto di P mostrare (in modo simbolico) il contenuto dello stack utente e dello stack di sistema del processo P al termine della gestione dell evento considerato P U >Execl >Syscall U S SYSCALL: > system_call >Sys_execve < System_call >schedule >Pick_next_task < Schedule: Context_switch Stato iniziale ustack_p W a exec da syscall a codice mutato da exec ustack_p USP salvato (=W) a system_call da schedule a syscall da system_call sstack_p Ulteriore domanda: dare lo stato finale di ustack nel caso in cui la mutazione di codice non vada a buon fine

2 2) S in esecuzione modo U: interrupt da real time clock e scadenza del qdt di S mostrare (in modo simbolico) il contenuto dello stack utente e dello stack di sistema di tutti i processi coinvolti al termine della gestione dell evento considerato S U S >R_int_ck >task_tick >resched (TRN=1)< task_tick < >controlla_timer< >schedule >pick_next_task< S P S Schedule: context_switch P S Schedule< S U System_call < : SYSRET U Syscall< Execl< Inizio codice mutato S >thread.sp = W S >thread.sp0 = sbase_s SSP = sbase_p USP = ubase_p ustack_s iniziale (e finale ) W base USPsalvato = a R_int da schedule a codice utente da R_int sstack_s base base ustack_p sstack_p

3 3) P è in main ed esegue fork, creando un figlio Q Il padre ha diritti di esecuzione maggiori del figlio E dato lo stato di ustack_p subito prima dell invocazione mostrare (in modo simbolico) il contenuto di ustack_p al termine della gestione dell evento sstack_p subito prima del ritorno da sys_clone sstack_p al termine della gestione dell evento ustack_q al termine della gestione dell evento sstack_p al termine della gestione dell evento COMMENTO: a causa dei diritti di esecuzione padre/figlio non viene Invocata resched e quindi, pur essendoci S e Q pronti, P prosegue l esecuzione P U >fork >syscall ( ) U S SYSCALL: system_call( ) S >sys_clone >check_preempt_curr< Sys_clone< S U System_call<: SYSRET U Sys_call< Fork< Codice utente P >thread.sp0 = sbase_p Q >thread.sp0 = sbase_q Q >thread.sp = T ustack_p iniziale

4 ustack_p finale PID dl figlio a system_call da sys_clone sbase_p a syscall da system_call( ) sbase_p sstack_p prima di ritorno a sys_clone sstack_p finale COMMENTO: sys_clone definisce e predispone il valore che si deve restituire fork al ritorno al modo U ( PID del figlio al padre, 0 al figlio). Una possibilità è la seguente sys_clone deposita tale valore sulla cima dello sstack padre (figlio) al momento del ritorno da sys_clone a system_call questo valore sarà gestito secondo le convenzioni di passaggio del valore restituito del processore considerato system_call agirà quindi in modo che tale valore venga depositato nello ustack padre (figlio) e quindi gestito secondo le convenzioni di passaggio del valore restituito del processore considerato al momento del ritorno da fork +2 A fork da syscall T +2 (= USP figlio) A codice utente da fork 0 P a system_call da sys_clone P ubase_q P sbase_q a syscall da system_call( ) ustack_q finale sstack_q finale

5 4) P esegue wait S ha diritti di esecuzione maggiori di Q mostrare (in modo simbolico) il contenuto dello stack utente e dello stack di sistema di tutti i processi coinvolti al termine della gestione dell evento considerato. COMMENTO: S va in esecuzione partendo dalla situazione finale definita dall evento 2) P U >wait >syscall U S SYSCALL: system_call( ) S >sys_wait >schedule >pick_next_task< P S S Schedule: context_switch S S Schedule< S U R_int<: IRET S U Codice utente P >thread.sp =Y P >thread.sp0 = sbase_p SSP = sbase_s USP = SP = X A wait da syscall Y X (= USP salvato) A codice utente da wait a sys_wait da schedule P a system_call da sys_wait P ubase_p P sbase_p a syscall da system_call( ) ustack_p finale sstack_p finale = vedi evento 2 ubase_s = vedi evento 2 sbase_s ustack_s finale sstack_s finale

Documenti analoghi

Architettura dei calcolatori e sistemi operativi. Il Nucleo del Sistema Operativo. N4 I servizi di Sistema

Architettura dei calcolatori e sistemi operativi Il Nucleo del Sistema Operativo N4 I servizi di Sistema 04.01.2016 Avviamento, inizializzazione e interprete comandi Al momento dell avviamento (bootstrap)