Scambio Messaggi. Message Passing. Synchronization. Garantiscono la mutua esclusione Scambio di informazioni

Transcript

1 Scambio Messaggi Domenico Cotroneo Dipartimento di Informatica e Sistemistica Message Passing Garantiscono la mutua esclusione Scambio di informazioni send (destination, message) receive (source, message) Synchronization Sender e receiver possono essere bloccanti e non (waiting for message) Blocking send, blocking receive Sia il sender sia il receiver rimarranno in attessa fin quando il messaggio non sarà consegnato Denominato anche rendezvous

2 Synchronization Nonblocking send, blocking receive Il Sender continues procede nella sua esecuzione dopo aver inviato il messaggio Il Receiver rimane in attesa fin quando non arriva il messaggio Nonblocking send, nonblocking receive Nessuna delle due parti rimane in attesa Indirect Addressing Direct Addressing Message Format

3 Esercizio 1 Scrivere un applicazione concorrente che implementi il problema dei Produttori/Consumatori utilizzando le primitive send e receive per la comunicazione mediante code di messaggi. (si implementi un protocollo sincrono) Soluzione Dal momento che è richiesto un protocollo di comunicazione sincrono si è scelto di implementare le funzioni seguenti: void ReceiveSynch (Messaggio *, int,int); void SendSynch (Messaggio *, int); void init_service_queues(); Soluzione SendSynch (Messaggio *, int) realizza le seguenti operazioni: 1. send_as(queue1,request_to_send); 2. receive(queue2,ok_to_send); 3. send_as(queue3,messaggio); La procedura void ReceiveSynch (Messaggio *, int, int) : 1. receive(queue1,request_to_send); 2. send_as(queue2,ok_to_send); 3. receive(queue3,messaggio);

4 Soluzione: send bloccante Produttore 1:REQUEST_TO_SEND 3:MESSAGGIO queue1 queue2 queue3 2: OK_TO_SEND Consumatore Esercizio 2 Scrivere un applicazione concorrente che implementi uno schedulatore di processi che gestisce tre livelli di priorità usando le code di messaggi Alcuni spunti per la soluzione Il programma simula uno shedulatore di processi a più code di priorità. I valori delle priorità sono assunti pari a ALTA, MEDIA, BASSA e ad ognuna di esse è associata una coda. utilizzare un array di code di cardinalità 3 in modo da rendere più semplice i vari riferimenti alle code stesse ed un array (priority[]) che definisce le priorità assegnate ai vari processi. Il messaggio può essere strutturato in due campi: id_coda:identificativo della coda ausiliaria tipo:tipo del messaggio {REQUEST_TO_RUN,OK_TO_RUN}

5 Alcuni spunti per la soluzione un processo a priorità priority[j] invia un messaggio di REQUEST_TO_RUN sulla coda corrispondente. Il messaggio contiene l'identificativo di una coda di servizio (id_coda) sulla quale il processo successivamente si metterà in attesa di una notifica di OK_TO_RUN da parte dello schedulatore. Lo schedulatore opera come segue: esplora dapprima la coda a priorità ALTA fino a che essa non risulta vuota, ossia fino a quando non individua più messaggi di tipo REQUEST_TO_RUN. Passa poi ad esplorare la coda a priorità MEDIA e successivamente alla coda a priorità BASSA. Una volta individuato il processo da schedulare, esso invia un messaggio di tipo OK_TO_RUN sulla coda su cui il processo è in attesa (id_coda) cedendogli il controllo