Please enable JavaScript.

Coggle requires JavaScript to display documents.

Coordenação entre tarefas - Coggle Diagram

- - - - Caso o depósito feito por t1 for executado integralmentes antes ou depois do depósito de t2, ambas execuções terminam como esperado. No entanto, caso as operações de depósito de t1 e de t2 se entrelacem, podem ocorrer interferências entre ambas, levando a resultados incorretos.
      - Os erros ou inconsistências gerados por acessos concorrentes a dados compartilhados são denominados condições de disputa
      - São erros dinâmicos, ou seja, não aparecem no código fonte, mas sim durante a execução. Portanto, são dificilmente detectáveis por meio de uma simples análise do código.
    - - formalizam condições de disputa. Dadas duas tarefas t1 e t2, essa tarefas podem executar em parelelo sem risco de condição de disputa se e somente se:
        
        t1 não lê as variáveis escritas por t2
        
        t2 não lê as variáveis escritas por t1
        
        t1 e t2 não escrevem nas mesmas variáveis
    - - Os trechos de código que acessam dados compartilhados em cada tarefa são denominados seçẽos críticas. Para assegurar a correção de uma implementação, deve-se impedir o entrelaçamento de seções críticas.
- - - - ao desligar as interrupções, a preempção por tempo ou por recursos deixa de funcionar
      - tarefa que esta na seção cítica não realizar operações de I/O.
      - Só funciona em sistemas monoprocessados, uma vez em ssitemas multicore duas tarefas concorrentes podem execuatr simultâneamente em processadores separados, acessando a seção crítica ao mesmo tempo.
  - - - Podem gerar uma condição de disputa envolvendo a variável busy
      - Se houverem muitas tarefas tentando entrar em uma seção crítica, muito tempo de processamento será gasto nesse teste. O teste contínuo de uma condição é denominado espera ocupada (busy wait) e deve ser evitado, por conta de sua ineficiência.