Sincronização de Threads Professor: Hyggo Almeida Laboratório de Sistemas Embarcados e Computação Pervasiva Centro de Engenharia Elétrica e Informática O que vimos na última aula? Threads Ciclo de vida Escalonamento Sincronização de Threads 2 O que veremos hoje? Threads Sincronização Sincronização de Threads 3 Sincronização de Threads As threads vistas até agora são executadas paralelamente Mas não há recursos compartilhados Elas são independentes Não se concorre por recursos... ...não há concorrência!!! Sincronização de Threads 4 Sincronização de Threads Produtor/Consumidor Um produtor gera um número entre 0 e 9 e o armazena em uma instância de SharedResource O produtor dorme durante um intervalo aleatório de 0 a 100 ms antes de gerar mais números O consumidor consome os números inteiros acessando a mesma instância de SharedResource Sincronização de Threads 5 Sincronização de Threads Produtor public class Producer extends Thread { private SharedResource resource; private int number; public Producer(SharedResource c, int number) { resource = c; this.number = number; } public void run() { for (int i = 0; i < 10; i++) { resource.put(i); try { sleep((int)(Math.random() * 100)); } catch (InterruptedException e) { } } } } Sincronização de Threads 6 Sincronização de Threads Produtor public class Consumer extends Thread { private SharedResource resource; private int number; public Consumer(SharedResource c, int number) { resource = c; this.number = number; } public void run() { int value = 0; for (int i = 0; i < 10; i++) { value = resource.get(); } } } Sincronização de Threads 7 Sincronização de Threads Produtor/Consumidor O produtor e o consumidor compartilham dados da instância de SharedResource O consumidor deve receber um dado número apenas uma vez... ... mas quem está controlando isso? Sincronização de Threads 8 Sincronização de Threads Produtor/Consumidor Uma vez que não há sincronização na execução das threads, pode-se ter duas situações indesejadas: O consumidor perde um número... caso o produtor produza mais rápido um novo número antes que seja consumido... O consumidor consome números repetidos... caso o produtor não produza um novo número a tempo Esse tipo de problema é denominado condição de corrida Sincronização de Threads 9 Sincronização de Threads Condição de corrida Quando duas ou mais threads ou processos compartilham dados e o resultado final depende do escalonamento As atividades do produtor e do consumidor devem ser sincronizadas em dois passos... Travando o objeto (locking), impedindo que duas threads o acessem ao simultaneamente Fazer com que cada thread coordene seu trabalho, notificando a outra thread quando o número foi produzido e consumido Sincronização de Threads 10 Sincronização de Threads Sincronização via locking Trechos do código que possuem estruturas de dados acessadas por threads diferentes e concorrentes são chamados regiões ou seções críticas Uma região crítica é demarcada pela palavra synchronized public class SharedResource { private int contents; private boolean available = false; public synchronized int get() { ... } public synchronized void put(int value) { ... } } Sincronização de Threads 11 Sincronização de Threads Sincronização via locking Bloco “avulso” de código //.. synchronized { //qualquer trecho de código } //.. synchronized (obj){ //qualquer trecho de código } Sincronização de Threads 12 Sincronização de Threads Sincronização via locking Locking reentrante public class Reentrant { public synchronized void a() { b(); System.out.println(“Estou em a()”); } public synchronized void b() { System.out.println(“Estou em b()”); } } Sincronização de Threads 13 Sincronização de Threads Sincronização via wait e notifyAll public synchronized int get() { while (available == false) { try { //esperar o produtor avisar que produziu wait(); } catch (InterruptedException e) { } } available = false; //notificar produtor de que o valor foi recuperado notifyAll(); return contents; } Sincronização de Threads 14 Sincronização de Threads Sincronização via wait e notifyAll public synchronized void put(int value) { while (available == true) { try { //Esperar aviso do consumidor de que recuperou número wait(); } catch (InterruptedException e) { } } contents = value; available = true; //Notificar consumidor de que número foi produzido notifyAll(); } Sincronização de Threads 15 Sincronização de Threads Sincronização via wait e notifyAll O método wait libera o lock e espera notificação para continuar Para que outra thread possa adquirir o lock, fazer seu trabalho e então “acordar” a original (com notifyAll) Ao acordar, tem-se o lock novamente O método notifyAll “acorda” todas as threads que estão em wait (nesse objeto) As threads que acordam competem pelo lock Quando uma thread tem o lock, as outras dormem Sincronização de Threads 16 Sincronização de Threads Sincronização via wait e notifyAll Há também o método notify (escolha arbitrária) Só se pode usar wait(), notify() e notifyAll() quando se está de posse do lock do objeto (dentro de um bloco synchronized) wait() espera uma condição para o objeto corrente e esta condição ocorre com notify() no mesmo objeto wait() wait(milisegundos) wait(milisegundos, nanosegundos) Sincronização de Threads 17 Sincronização de Threads Vamos implementar o exemplo do produtor/consumidor... Sincronização de Threads 18 Sincronização de Threads Locks explícitos e variáveis condicionais Pode-se proteger regiões críticas com locks explícitos Permite proteger alguns statements Permite proteger múltiplos métodos Para criar um lock explícito, instancia-se uma implementação da interface Lock Em geral, ReentrantLock Sincronização de Threads 19 Sincronização de Threads Locks explícitos e variáveis condicionais Para obter o lock, utiliza-se o método lock() Para liberar... unlock() Uma vez que o lock não é liberado automaticamente, deve-se usar try...finally para garantir sua liberação Lock aLock = new ReentrantLock(); … aLock.lock(); try{ \\… }finally{ aLock.unlock(); } Sincronização de Threads 20 Sincronização de Threads Locks explícitos e variáveis condicionais Para esperar por um lock explícito, cria-se uma variável condicional Um objeto que implementa a interface Condition Usar Lock.newCondition() para criar uma condição A condição provê métodos: await() para esperar até a condição ser verdadeira signal() e signalAll() para avisar os threads que a condição ocorreu Sincronização de Threads 21 Sincronização de Threads Locks explícitos e variáveis condicionais Variações de await() await () - Espera uma condição ocorrer. awaitUninterruptibly() - Espera uma condição ocorrer. Não pode ser interrompido. awaitNanos(long timeout) - Espera uma condição ocorrer. Espera no máximo timeout nanossegundos. await(long timeout, TimeUnit unit) - Espera uma condição ocorrer. Espera no máximo timeout TimeUnit. await(Date timeout) - Espera uma condição ocorrer. Espera no máximo até a data especificada. Sincronização de Threads 22 Sincronização de Threads Locks explícitos e variáveis condicionais Exemplo da classe SharedResource import java.util.concurrent.locks.*; public class SharedResource { private int contents; private boolean available = false; private Lock aLock = new ReentrantLock(); private Condition condVar = aLock.newCondition(); //… } Sincronização de Threads 23 Sincronização de Threads Locks explícitos e variáveis condicionais Exemplo da{classe SharedResource public int get() aLock.lock(); try { while (available == false) { try { condVar.await(); //Esperar aviso de produção } catch (InterruptedException e) { } } available = false; //Notificar produtor de que número foi consumido condVar.signalAll(); } finally { aLock.unlock(); return contents; } } Sincronização de Threads 24 Sincronização de Threads Locks explícitos e variáveis condicionais public void put(int value) { Exemplo da classe SharedResource aLock.lock(); try { while (available == true) { try {condVar.await();//Esperar aviso de que foi consumido } catch (InterruptedException e) { } } contents = value; available = true; //Notificar consumidor de que número foi produzido condVar.signalAll(); } finally { aLock.unlock(); } } } Sincronização de Threads 25 Sincronização de Threads Estruturas de dados sincronizadas Em vez de construir estruturas sincronizadas como o SharedObject, pode-se utilizar algumas pré-definidas Classes do pacote java.util.concurrent Exemplo: BlockingQueue Fila que trata de todos os detalhes de sincronização Sincronização de Threads 26 Sincronização de Threads Sincronizando coleções As coleções de Java em geral (ArrayList, ...) não são sincronizadas (não são thread-safe) Exceção é Vector Para criar coleções sincronizadas, deve-se criar um decorador da coleção que sincroniza os métodos Java já fornece tais decoradores na classe Collections Collections.synchronizedCollection() Collections.synchronizedList() Collections.synchronizedMap() Collections.synchronizedSet() Collections.synchronizedSortedMap() Collections.synchronizedSortedSet() Sincronização de Threads 27 Sincronização de Threads Sincronizando coleções Apenas a lista decorada deve ser usada a partir de então... List list = Collections.synchronizedList(new ArrayList()); Iterações devem ser sincronizadas... synchronized(list) { Iterator i = list.iterator(); // Deve estar dentro do bloco while (i.hasNext()) foo(i.next()); } Sincronização de Threads 28 Sincronização de Threads Starvation e deadlock... Várias threads competem por recursos... Equidade (fairness) existe quando cada thread recebe recursos suficientes para progredir Um sistema com equidade deve evitar starvation e deadlock Starvation ocorre quando uma ou mais threads não conseguem obter recursos para progredir Deadlock é uma starvation que ocorre quando as threads esperam por uma condição que nunca vai ocorrer Sincronização de Threads 29 Sincronização de Threads Starvation e deadlock... Exemplo clássico: filósofos! Cinco filósofos estão sentados numa mesa redonda Na frente de cada filósofo, há uma tijela de arroz Entre cada dois filósofos há um pauzinho chinês Para poder comer um bocado de arroz, um filósofo deve ter 2 pauzinhos: o da esquerda e da direita Os filósofos devem achar uma forma de compartilhar pauzinhos de forma a que todos possam comer Applet: http://dsc.ufcg.edu.br/~jacques/cursos/map/html/threads/sincronizacao.html Sincronização de Threads 30 O que vimos hoje? Threads Sincronização Sincronização de Threads 31 O que veremos na próxima aula? Threads Pool Sincronização de Threads 32 Dúvidas? ? Sincronização de Threads 33