Sistemas Operacionais: Comunicação Entre Processos

SISTEMAS OPERACIONAIS
Comunicao entre Processos
Leandro Coelho
Plano da Aula
2
Componentes bsicos
Componentes
do Sistema
Gerncia de processos
Conceito
escalonamento
Tipos de escalonadores
Critrios de rendimento
Algoritmos de escalonamento
Final multi-nvel
Sistemas Operacionais
3

Estruturas de Comunicao entre Processos

Acesso Regio Crtica
Soluo:
Hardware
Software
4


Acesso Regio Crtica
Hardware
Impede
mudana de contexto antes de entrar na RC

Usado pelo SO para manipular Estrutura de Dados
compartilhadas
:
Desabilita Interrupes ;
Regio Crtica ;
Habilita Interrupes ;
:
5


Acesso Regio Crtica
Hardware
Inibir
interrupes
Soluo mais simples - antes de entrar na regio crtica o

processo inibe todas as interrupes e desinibe-as
imediatamente antes de sair
Soluo indesejvel - o utilizador no deve ter poder para inibir
as interrupes;
6


Acesso Regio Crtica
Hardware
Inibir

interrupes
Em sistemas multiprocessador no funciona

Tcnica normalmente utilizada apenas pelo sistema operacional
mas no aconselhada como mecanismo de excluso mtua de
processos utilizador
7


Acesso Regio Crtica
Hardware
Instruo

Test-And-Set (TSL)
Uma das instrues do processador

Em uma nica instruo:
L varivel
Armazena valor num registrador
Atribui novo valor varivel
Execuo atmica
No pode ser interrompida
8


Acesso Regio Crtica
Hardware
Instruo

Test-And-Set (TSL)
Instruo Test-And-Set (TSL)

TSL reg, var
(reg = var & var = 0)
Entra_RC:
TSL AX, chave
CMP AX, 1
(AX = 1?)
JNE Entra_RC (Se AX = 0 v para Entra_RC)
9


Acesso Regio Crtica (TSL)
Key = 01
AX T1= 1
?
AX T2= ?
Thread A
Thread B
CPU: AX= 1?
Thread A
...
Thread B
...
TSL AX, Key
TSL AX, Key
CMP AX, 1
CMP AX, 1
JNE RegCrt
JNE RegCrt
...
...
Regiao_Critica
Regiao_Critica
...
...
MOV Key, 1
MOV Key, 1
10


Key = 0
AX T1= 1
?
AX T2= 0
Thread A
Thread B
CPU: AX= 0?
Thread A
...
Thread B
...
TSL AX, Key
TSL AX, Key
CMP AX, 1
CMP AX, 1
JNE RegCrt
JNE RegCrt
...
...
Regiao_Critica
Regiao_Critica
...
...
MOV Key, 1
MOV Key, 1
11


Key = 0
AX T1= 1
AX T2= 0
Thread A
Thread B
CPU: AX= 1?
Thread A
...
Thread B
...
TSL AX, Key
TSL AX, Key
CMP AX, 1
CMP AX, 1
JNE RegCrt
JNE RegCrt
...
...
Regiao_Critica
Regiao_Critica
...
...
MOV Key, 1
MOV Key, 1
12


Acesso Regio Crtica
Instruo
Test-And-Set (TSL)
Garante
a Excluso Mtua
Problema:
Gera espera ocupada

Desperdcio de CPU
Soluo?
13


Acesso Regio Crtica (Software)
Bloqueio
14


Precisamos
bloquear a thread quando a RC estiver

ocupada para evitar a espera ocupada
Colocar
Quando
a thread para dormir
a RC ficar livre tem-se que acordar a a

thread que estava dormindo
15


System
Calls
Sleep(x)
coloca o processo/thread para dormir

(bloqueado) aguardando na fila do sinal x.
Wakeup(x) acorda um processo/thread que esteja
aguardando pelo sinal x.
Se a fila de s estiver vazia, o sinal se perde.
Atmicas.
16


System
Calls
Problema

Suponha uma Fila de objetos e duas threads concorrendo a ela.

O que ocorre se a thread que insere encontrar a fila cheia?
Vai dormir at que o primeiro objeto seja retirado da fila
cheia.
O que ocorre se a thread que remove encontrar a fila vazia?
Vai dormir at que o primeiro objeto seja inserido na fila
vazia.
17


max representa o tamanho da fila

cont representa o nmero de dados na fila.
int max = 3;
int cont = 0;
Sinal posLivre,
Sinal posOcupada;
Thread A
Thread B
Thread_Produtor()
{
while (1) {
if (cont == max)
SLEEP(posLivre);
Produz_Item();
cont ++;
if (cont == 1)
WAKEUP(posOcupada);
}
}
Thread_Consumidor()
{
while(1) {
if (cont == 0)
SLEEP(posOcupada);
Consome_Item();
cont --;
if (cont == max -1)
WAKEUP(posLivre);
}
}
18


int max = 3;
int cont = 0;
Sinal posLivre,
Sinal posOcupada;
Thread A
Thread B
Thread_Produtor()
{
while (1) {
if (cont == max)
SLEEP(posLivre);
Produz_Item();
cont ++;
if (cont == 1)
WAKEUP(posOcupada);
}
}
Bloqueio
Thread_Consumidor()
{
while(1) {
if (cont == 0)
SLEEP(posOcupada);
Consome_Item();
cont --;
if (cont == max -1)
WAKEUP(posLivre);
}
}
19


int max = 3;
int cont = 1;
0;
Sinal posLivre,
Sinal posOcupada;
Thread A
Thread B
Thread_Produtor()
{
while (1) {
if (cont == max)
SLEEP(posLivre);
Produz_Item();
cont ++;
if (cont == 1)
WAKEUP(posOcupada);
}
}
Bloqueio
Thread_Consumidor()
{
while(1) {
if (cont == 0)
SLEEP(posOcupada);
Consome_Item();
cont --;
if (cont == max -1)
WAKEUP(posLivre);
}
}
20


int max = 3;
int cont = 0;
Sinal posLivre,
Sinal posOcupada;
Thread A
Thread B
Thread_Produtor()
{
while (1) {
if (cont == max)
SLEEP(posLivre);
Produz_Item();
cont ++;
if (cont == 1)
WAKEUP(posOcupada);
}
}
Thread_Consumidor()
{
while(1) {
if (cont == 0)
SLEEP(posOcupada);
Consome_Item();
cont --;
if (cont == max -1)
WAKEUP(posLivre);
}
}
21


Consideraes
Sleep/Wakeup :
Eliminam
a espera ocupada
No garantem Excluso Mtua
Entre testar uma condio e tomar uma deciso (Sleep ou
Wakeup) pode haver preempo
Bloqueio de processos/threads
22

Pratica
Produtor-Consumidor

Sistemas Operacionais: Comunicação Entre Processos

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Sistemas Operacionais: Comunicação Entre Processos

Transféré par

Droits d'auteur :

Formats disponibles

SISTEMAS OPERACIONAIS

Comunicao entre Processos

Estruturas de Comunicao entre Processos

Estruturas de Comunicao entre Processos

mudana de contexto antes de entrar na RC

Estruturas de Comunicao entre Processos

Soluo mais simples - antes de entrar na regio crtica o

Estruturas de Comunicao entre Processos

Em sistemas multiprocessador no funciona

Estruturas de Comunicao entre Processos

Uma das instrues do processador

Estruturas de Comunicao entre Processos

Instruo Test-And-Set (TSL)

Estruturas de Comunicao entre Processos

TSL AX, Key

TSL AX, Key

Estruturas de Comunicao entre Processos

TSL AX, Key

TSL AX, Key

Estruturas de Comunicao entre Processos

TSL AX, Key

TSL AX, Key

Estruturas de Comunicao entre Processos

Gera espera ocupada

Estruturas de Comunicao entre Processos

Estruturas de Comunicao entre Processos

bloquear a thread quando a RC estiver

a thread para dormir

a RC ficar livre tem-se que acordar a a

Estruturas de Comunicao entre Processos

coloca o processo/thread para dormir

Se a fila de s estiver vazia, o sinal se perde.

Estruturas de Comunicao entre Processos

Suponha uma Fila de objetos e duas threads concorrendo a ela.

Estruturas de Comunicao entre Processos

max representa o tamanho da fila

Estruturas de Comunicao entre Processos

Estruturas de Comunicao entre Processos

Estruturas de Comunicao entre Processos

Estruturas de Comunicao entre Processos

Estruturas de Comunicao entre Processos

Vous aimerez peut-être aussi