Please enable JavaScript.

Coggle requires JavaScript to display documents.

Programação Concorrente (Condição de corrida (race condition) (Não…

- - - - hyper-threading
      - multicore
      - múltiplos níveis de cache de memória
        e processamento
      - multiple pipelining
    - - O sistema operacional gerencia a atribuição da execução
        dos programas sobre os diferentes processadores,
        sejam eles físicos ou lógicos
      - Para explorar o potencial das
        novas arquiteturas de
        computadores, é preciso saber
        desenvolver software que melhor
        aproveite os recursos
        de hardware
    - - de capturar a estrutura lógica
        de um problema
      - de compartilhar recursos
      - de lidar com dispositivos independentes
      - de aumentar o desempenho
        das aplicações
  - - - Abstração de nível mais alto
      - Paralelização explícita, implícita e automática
- - - - A corrida de dados refere-se especificamente à falta de sincronização entre processos que acessam um mesmo item de dado
      - Nem todas as condições de corrida são corridas de
        dados e vice-versa, mas ambas podem levar o
        programa a se comportar de maneira imprevisível
  - - - "The critical section problem is intended to model a system that performs complex computation, but occasionally needs to access resources (data, hardware, etc.) that are shared by several processes"
      - "A critical section is a sequence of statements
        that access some shared object."
      - N processos concorrentes executam uma sequência de instruções
        que podem ser divididas em dois tipos de subsequências, as
        regiões críticas e as regiões não-críticas
        
        Executa-se as instruções referentes à região crítica e,
        em seguida, as referentes à região não-crítica
      - Protocolos de entrada e saída
        
        mecanismo de sincronização posicionado
        antes e depois da região crítica
      - Propriedades para garantia de corretude
        
        exclusão mútua
        
        Procedimento que consiste em impedir que dois processos concorrentes tenham acesso simultâneo ao recurso
        compartilhado, referenciado pela região crítica
        
        Com a exclusão mútua, condições de corrida são evitadas uma
        vez que apenas um processo possui acesso exclusivo ao
        recurso compartilhado em questão
        
        Se um processo estiver acessando um recurso compartilhado, os
        demais processos concorrentes serão impedidos de acessa-lo
        
        A definição da região crítica é importante para
        a implementação da exclusão mútua
        
        ausência de impasse
        
        nenhum processo que esteja executando fora de sua região crítica pode impedir que outro processo entre em sua região crítica
        
        ausência de atraso desnecessário
        
        nenhum processo pode ser obrigado a esperar indefinidamente para entrar em sua região crítica
        
        nenhuma suposição sobre a velocidade
        de execução dos processos
- - - - um recurso ou está em uso exclusivo por apenas um
        processo ou está disponível
    - - processos que já detém recursos podem solicitar novos
        recursos detidos por outros processos
    - - recursos concedidos a processos não podem ser liberados
        de maneira forçada
    - - um processo deve estar aguardando por um recurso detido
        por outro processo que está esperando que o primeiro libere o recurso
  - - - Monitoramento da execução do sistema e, uma vez detectada a possibilidade do deadlock, evita-lo mudando as alocações de recursos
      - Modelagem de todos os estados de execução do sistema e realização de verificação formal (model checking)
    - - Recuperação através de preempção
      - Recuperação através da eliminação de processos
      - Recuperação através de reversão de estado (rollback)
    - - Ponderação entre conveniência e correção