- - - - CENAPAD-MGCO

A seguir: Apresentação do Curso Acima: DCC 837 Programação Paralela Anterior: DCC 837 Programação Paralela

Contents

• Contents
  • Apresentação do Curso
    • Motivação
      • Objetivos
        • Comentários
    • Informações
      • Ementa
      • Calendário
      • Avaliação
      • Bibliografia
      • LINKS
        • Latex e Latex2html
        • Java
        • Bibliografia
        • Outros
• Expressão e Implementação do Paralelismo
  • Introdução à Programação Paralela Assíncrona
    • Paralelismo $\times$ Programação Paralela
      • Modo de execução $\times$ Modelo de Programação
        • Hardware de mono-processadores
        • Núcleos de multiprogramação
        • Sistema operacional tradicional
        • Conclusões
    • Programação Paralela Assíncrona
      • Porque PP assíncrona?
      • Expressão do Paralelismo
        • O Comando COBEGIN
        • Grafo de Precedências
      • Exemplos de Programas Paralelos
        • Somas
        • Sistema Operacional em Batch com SPOOL
        • Aninhamento
    • Semântica de Programas Paralelos
      • Conflitos
        • Programa IncDec Compilado para um Monoprocessador
        • Compartilhamento de um monoprocessador
        • Uma computação do programa IncDec compilado
      • Semântica Operacional
      • Comandos Conflitantes
        • Atomicidade em Linguagens de Alto Nível
        • Quais números este programa pode imprimir?
      • Resumo
    • Regiões Críticas
      • Exclusão Mútua
        • Buffer com exclusão mútua
        • Buffer com sincronização interna
        • Buffer com sincronização interna: programação sujeita a bloqueios
        • Deadlocks
        • Programação com espera ocupada
      • Liberação do Processador
        • Buffer com Liberação do Processador
      • Propriedades de programas paralelos e o problema dos Leitores e Escritores
      • Imposição de Políticas de Escalonamento: Programação de um Servidor de Impressora
      • Conclusões
    • Exercícios
    • Respostas
      • Quicksort Paralelo
      • Comparação e Troca em Paralelo
      • Transações
      • Árvore B
      • Pool de Recursos Idênticos
    • 1a Prova
      • 1a Questão
      • 2a Questão
      • 3a Questão
      • 4a Questão
      • 5a Questão
  • Núcleos de Multiprogramação
    • Interrupções em PCs
    • Co-rotinas
    • Multiplexação do Processador
    • Chaves e Camas
    • Resumo e Conclusões
    • Exercícios
  • Introdução à Programação Paralela em Java
    • Introdução
      • O Fenômeno Java
      • Hello World
      • Java não tem pointers
      • Uma aplicação real: Prj2tex
    • Applets
      • Visão Geral
    • Eventos
    • Threads
    • Conclusões
    • 1o Trabalho Prático
  • Outras Linguagens e Notações para Programação Paralela
    • Especificação de Execução em Paralelo
    • Sincronização com Memória Compartilhada
      • Acessos Indivisíveis à Memória
      • Semáforos
      • Monitores
      • ``Path Expressions'' - 1
      • Mensagens
      • Conclusões
    • CSP - Communicating Sequential Processes
      • Conceitos e Notações
      • Exemplos de Uso
      • Notas
• Formulação e Prova de Propriedades de Programas Paralelos
  • Modelos Formais para Programas Paralelos
    • O Buffer Compartilhado
    • Invariantes
    • Variáveis Auxiliares
    • Atingibilidade: o mais forte invariante
    • Modelos Formais: Progresso
      • Técnicas de Prova de $P \ensuremath{ \; leads\!{\small -}\!to\;}Q$
      • Produtor e Consumidor
  • Transações e o Protocolo 2-fases
    • Travamentos
    • Conclusões
• Programação Distribuída
  • Programação Distribuída
  • The Drinking Philosophers Problem
  • Exclusão Mútua Distribuída
    • O Algoritmo de Lamport: Relógios Lógicos e Timestamps
    • Ricart e Agrawala (1981)
    • Carvalho e Roucairol (1983) - 1
    • Maekawa (1985)
    • Algoritmo de Carvalho e Campos (1991) - 1
    • O Algoritmo de Naimi-Trehel
      • State Variables and Initial Values
      • Proof of Mutual Exclusion
      • Progress: the Graph
    • Conclusões
    • 2o Trabalho Prático
      • Voyager
• Balanço e Conclusões
• References
• Index