Paralelismo em Programação Lógica
|
|
|
- Norma Aragão Raminhos
- 7 Há anos
- Visualizações:
Transcrição
1 Paralelismo em Programação Lógica Ricardo Rocha DCC-FCUP, Universidade do Porto Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
2 Fundamentos Concorrência ou Paralelismo Potencial Concorrência ou paralelismo potencial diz-se quando um programa possui tarefas (partes contíguas do programa) que podem ser executadas em qualquer ordem sem alterar o resultado final. começar() uma_tarefa() outra_tarefa() terminar() começar() outra_tarefa() uma_tarefa() terminar() começar() uma_ outra_ tarefa() tarefa() terminar() Uma razão óbvia para explorar concorrência é conseguir reduzir o tempo de execução do programa. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
3 Fundamentos Paralelismo Paralelismo diz-se quando as tarefas concorrentes de um programa são executadas em simultâneo numa máquina com mais do que um processador. CPU1 começar() uma_tarefa() terminar() CPU2 outra_tarefa() CPU1 começar() outra_ tarefa() CPU2 uma_ tarefa() terminar() Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
4 Fundamentos Paralelismo Expĺıcito O paralelismo diz-se expĺıcito quando cabe ao programador: Anotar as tarefas para execução em paralelo. Atribuir (possivelmente) as tarefas aos processadores. Controlar a execução, indicando nomeadamente os pontos de sincronização. Conhecer a arquitetura da máquina de forma a conseguir melhor performance (aumentar localidade, diminuir comunicação, etc). Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
5 Fundamentos Paralelismo Expĺıcito O paralelismo diz-se expĺıcito quando cabe ao programador: Anotar as tarefas para execução em paralelo. Atribuir (possivelmente) as tarefas aos processadores. Controlar a execução, indicando nomeadamente os pontos de sincronização. Conhecer a arquitetura da máquina de forma a conseguir melhor performance (aumentar localidade, diminuir comunicação, etc). Vantagens e inconvenientes: (+) Programadores experientes produzem soluções muito eficientes para problemas específicos. ( ) O programador é o responsável por todos os detalhes da execução (debugging pode ser deveras penoso). ( ) Pouco portável entre diferentes arquiteturas. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
6 Fundamentos Paralelismo Impĺıcito O paralelismo diz-se impĺıcito quando cabe ao compilador e ao próprio sistema de execução: Detetar o paralelismo potencial do programa. Atribuir as tarefas para execução em paralelo. Controlar e sincronizar toda a execução. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
7 Fundamentos Paralelismo Impĺıcito O paralelismo diz-se impĺıcito quando cabe ao compilador e ao próprio sistema de execução: Detetar o paralelismo potencial do programa. Atribuir as tarefas para execução em paralelo. Controlar e sincronizar toda a execução. Vantagens e inconvenientes: (+) Liberta o programador dos detalhes da execução paralela. (+) Solução mais geral e mais flexível. ( ) Difícil conseguir-se uma solução eficiente para todos os casos. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
8 Fundamentos Computações Paralelas Uma computação diz-se paralela quando é executada sobre uma máquina multiprocessador/multicore em que todos os processadores/cores partilham o acesso à memória física disponível. Os processadores/cores executam de forma independente mas o espaço de endereçamento global é partilhado. Qualquer alteração sobre uma posição de memória realizada por um determinado processador/core é igualmente visível por todos os restantes processadores/cores. CPU CPU Memória CPU CPU Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
9 Fundamentos Computações Distribuídas Uma computação diz-se distribuída quando é executada sobre um conjunto de computadores ligados por rede em que cada computador tem acesso exclusivo à sua memória física. O espaço de endereçamento de cada computador não é partilhado pelos restantes computadores, ou seja, não existe o conceito de espaço de endereçamento global. As alterações sobre uma posição de memória realizadas por um determinado computador não são visíveis pelos restantes computadores. CPU Memória CPU Memória Rede CPU Memória CPU Memória Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
10 Paralelismo em Prolog Porquê? Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
11 Paralelismo em Prolog Porquê? Eficiência das implementações sequenciais Os compiladores de Prolog baseados no modelo WAM provaram ser altamente eficientes o que tornou o Prolog bastante popular. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
12 Paralelismo em Prolog Porquê? Eficiência das implementações sequenciais Os compiladores de Prolog baseados no modelo WAM provaram ser altamente eficientes o que tornou o Prolog bastante popular. Poder declarativo da linguagem Um programa é simplesmente um conjunto de cláusulas de predicados lógicos que podem ser vistos como especificações executáveis. As cláusulas são executadas pela ordem que são escritas e os objetivos de cada cláusula são executados da esquerda para a direita. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
13 Paralelismo em Prolog Porquê? Eficiência das implementações sequenciais Os compiladores de Prolog baseados no modelo WAM provaram ser altamente eficientes o que tornou o Prolog bastante popular. Poder declarativo da linguagem Um programa é simplesmente um conjunto de cláusulas de predicados lógicos que podem ser vistos como especificações executáveis. As cláusulas são executadas pela ordem que são escritas e os objetivos de cada cláusula são executados da esquerda para a direita. Potencial para a exploração impĺıcita de paralelismo A execução paralela ocorre de modo automático por ação do próprio sistema de execução que deteta o paralelismo potencial do programa. Solução mais geral e mais flexível que liberta o programador dos detalhes da execução paralela e que torna a programação paralela tão simples como a sequencial. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
14 Paralelismo em Prolog Principais Formas de Paralelismo Paralelismo na Unificação Corresponde à unificação simultânea dos vários termos e/ou sub-termos de um objetivo. Aparece durante o processo de unificar os argumentos de um objetivo com os argumentos da cabeça de uma cláusula com o mesmo nome e aridade. Este tipo de paralelismo é de granularidade muito fina e não tem sido o principal foco de investigação em paralelismo em programação lógica. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
15 Paralelismo em Prolog Principais Formas de Paralelismo Paralelismo-Ou Corresponde à execução simultânea do corpo de diferentes cláusulas. Aparece quando mais do que uma cláusula define um predicado e uma chamada ao predicado unifica com a cabeça de mais do que uma cláusula. a(x,y) :- b(x), c(y). a(x,y) :- d(x,y), e(y). a(x,y) :- f(x,z), g(z,y). Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
16 Paralelismo em Prolog Principais Formas de Paralelismo Paralelismo-E Corresponde à execução simultânea dos vários objetivos do corpo de uma cláusula. Aparece quando existe mais do que um objetivo presente no corpo de uma cláusula. a(x,y) :- b(x), c(y). Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
17 Paralelismo em Prolog Principais Formas de Paralelismo Paralelismo-E Independente Ocorre quando dois ou mais objetivos do corpo duma cláusula não partilham variáveis por instanciar. A potencial instanciação das variáveis de um objetivo é sempre compatível com o resultado dos outros objetivos. a(x,y) : - b(x), c(y). Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
18 Paralelismo em Prolog Principais Formas de Paralelismo Paralelismo-E Dependente Ocorre quando dois ou mais objetivos no corpo de uma cláusula têm variáveis comuns por instanciar. A execução simultânea desses objetivos pode levar a instanciações incompatíveis das variáveis comuns. a(x,y) : a(x,y) : - d(x,y), e(y). - f(x,z), g(z,y). Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
19 Paralelismo em Prolog Principais Formas de Paralelismo Paralelismo-E Dependente Uma solução é executar os objetivos independentemente até que ambos terminem. A compatibilidade das atribuições a variáveis comuns é verificada apenas no final (back unification). Esta solução é de certa forma semelhante ao Paralelismo-E Independente. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
20 Paralelismo em Prolog Principais Formas de Paralelismo Paralelismo-E Dependente Uma solução é executar os objetivos independentemente até que ambos terminem. A compatibilidade das atribuições a variáveis comuns é verificada apenas no final (back unification). Esta solução é de certa forma semelhante ao Paralelismo-E Independente. Outra solução é executar os objetivos independentemente até que uma variável comum seja instanciada por um dos objetivos (designado por produtor). Os restantes objetivos (designados por consumidores) lêem a atribuição como sendo um argumento de entrada para a variável. A partir desse momento, sempre que o produtor encontrar uma nova atribuição para a variável comum, uma nova sequência pode ser iniciada por parte dos consumidores. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
21 Paralelismo em Prolog Sistemas Mais Conhecidos Paralelismo-Ou Aurora Muse Yap Paralelismo-E Independente &-Prolog &ACE Paralelismo-E Dependente DASWAM ACE Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
22 Paralelismo em Prolog Princípio da Ortogonalidade Intuitivamente, como cada uma destas formas de paralelismo explora diferentes pontos de não-determinismo da semântica operacional da resolução SLD, deveria ser possível explorar todas elas simultaneamente num único sistema. Um tal sistema deverá verificar o princípio da ortogonalidade, ou seja, cada forma de paralelismo deverá ser explorada sem afetar a exploração de outra. function sld_resolution ( Query ) select literal( Query, B) // Paralelismo-E do select clause( Program, ( Head :- Body )) // Paralelismo-Ou if ( mgu = most general unifier(b, Head )) // Paralelismo Unificaç~ao Query = assign ( mgu, Query - B + Body ) if ( Query ) sld_resolution ( Query ) else SUCCESS until ( no clauses left ) FAIL Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
23 Paralelismo em Prolog Princípio da Ortogonalidade Todavia, a experiência mostra que o princípio da ortogonalidade é de difícil concretização numa implementação real já que, até à data, nenhum sistema eficiente foi ainda construído que explore simultaneamente todas as formas de paralelismo. A aproximação com maior sucesso foi o sistema Andorra-I para a exploração simultânea de Paralelismo-Ou e Paralelismo-E Dependente. Um sistema que explore o máximo de paralelismo dos programas lógicos enquanto mantém a melhor performance possível, é o objetivo fundamental dos investigadores em paralelismo em programação lógica. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
24 Paralelismo-Ou Motivação Das formas de paralelismo, o Paralelismo-Ou é aquele que tem maior sucesso. A razão fundamental é que este parece ser mais fácil e mais produtivo de explorar. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
25 Paralelismo-Ou Motivação Das formas de paralelismo, o Paralelismo-Ou é aquele que tem maior sucesso. A razão fundamental é que este parece ser mais fácil e mais produtivo de explorar. Simplicidade: como as cláusulas de um mesmo predicado são independentes, é possível explorar Paralelismo-Ou sem solicitar qualquer anotação extra ao programador e sem necessitar de análises complexas em tempo de compilação. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
26 Paralelismo-Ou Motivação Das formas de paralelismo, o Paralelismo-Ou é aquele que tem maior sucesso. A razão fundamental é que este parece ser mais fácil e mais produtivo de explorar. Simplicidade: como as cláusulas de um mesmo predicado são independentes, é possível explorar Paralelismo-Ou sem solicitar qualquer anotação extra ao programador e sem necessitar de análises complexas em tempo de compilação. Proximidade do modelo sequencial: a exploração de Paralelismo-Ou pode ser feita num modelo de execução bastante próximo do modelo sequencial. Isto torna mais fácil manter a semântica da linguagem, e permite tirar partido da tecnologia de implementação sequencial para diminuir o custo do modelo paralelo sobre o modelo sequencial. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
27 Paralelismo-Ou Motivação Das formas de paralelismo, o Paralelismo-Ou é aquele que tem maior sucesso. A razão fundamental é que este parece ser mais fácil e mais produtivo de explorar. Simplicidade: como as cláusulas de um mesmo predicado são independentes, é possível explorar Paralelismo-Ou sem solicitar qualquer anotação extra ao programador e sem necessitar de análises complexas em tempo de compilação. Proximidade do modelo sequencial: a exploração de Paralelismo-Ou pode ser feita num modelo de execução bastante próximo do modelo sequencial. Isto torna mais fácil manter a semântica da linguagem, e permite tirar partido da tecnologia de implementação sequencial para diminuir o custo do modelo paralelo sobre o modelo sequencial. Granularidade: para uma ampla classe de programas, o Paralelismo-Ou apresenta um potencial de paralelismo de granularidade grossa. A granularidade de uma computação paralela diz respeito ao tamanho das tarefas que podem ser executadas sem interagir com as restantes tarefas processadas em simultâneo. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
28 Paralelismo-Ou Modelo Básico de Execução Inicialmente, todos os agentes encontram-se suspensos. Após a invocação de uma nova questão, um dos agentes inicia a execução. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
29 Paralelismo-Ou Modelo Básico de Execução Inicialmente, todos os agentes encontram-se suspensos. Após a invocação de uma nova questão, um dos agentes inicia a execução. Sempre que um agente executa uma chamada que unifica com mais do que uma cláusula, ele cria um ponto de escolha privado. Pontos de escolha privados indiciam a presença de trabalho disponível. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
30 Paralelismo-Ou Modelo Básico de Execução Inicialmente, todos os agentes encontram-se suspensos. Após a invocação de uma nova questão, um dos agentes inicia a execução. Sempre que um agente executa uma chamada que unifica com mais do que uma cláusula, ele cria um ponto de escolha privado. Pontos de escolha privados indiciam a presença de trabalho disponível. Logo que um agente suspenso deteta que existe trabalho disponível, ele solicita diretamente a um dos agentes ocupados a partilha desse trabalho por forma a cooperar na sua exploração. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
31 Paralelismo-Ou Modelo Básico de Execução Inicialmente, todos os agentes encontram-se suspensos. Após a invocação de uma nova questão, um dos agentes inicia a execução. Sempre que um agente executa uma chamada que unifica com mais do que uma cláusula, ele cria um ponto de escolha privado. Pontos de escolha privados indiciam a presença de trabalho disponível. Logo que um agente suspenso deteta que existe trabalho disponível, ele solicita diretamente a um dos agentes ocupados a partilha desse trabalho por forma a cooperar na sua exploração. Se um agente ocupado decide partilhar parte do seu trabalho, então ele torna públicos os pontos de escolha que pretende partilhar antes de sincronizar o seu estado com o agente suspenso. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
32 Paralelismo-Ou Modelo Básico de Execução Inicialmente, todos os agentes encontram-se suspensos. Após a invocação de uma nova questão, um dos agentes inicia a execução. Sempre que um agente executa uma chamada que unifica com mais do que uma cláusula, ele cria um ponto de escolha privado. Pontos de escolha privados indiciam a presença de trabalho disponível. Logo que um agente suspenso deteta que existe trabalho disponível, ele solicita diretamente a um dos agentes ocupados a partilha desse trabalho por forma a cooperar na sua exploração. Se um agente ocupado decide partilhar parte do seu trabalho, então ele torna públicos os pontos de escolha que pretende partilhar antes de sincronizar o seu estado com o agente suspenso. Assim que um agente explore todo o seu trabalho, este regressa ao estado de suspenso e reinicia a procura por novo trabalho disponível. O processo termina quando todo o trabalho tiver sido explorado e todos os agentes se encontrarem suspensos. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
33 Paralelismo-Ou Principais Problemas a Resolver Múltiplos Ambientes Problema: como representar e aceder eficientemente aos múltiplos ambientes que coexistem simultaneamente? pai(manuel,f), pai(f,n). N <- maria F <- rui P pai(rui,n). N <- nuno Q pai(manuel, rui). pai(pedro, joaquim). pai(rui, maria). pai(rui, nuno). pai(maria, alberto). Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
34 Paralelismo-Ou Principais Problemas a Resolver Múltiplos Ambientes Problema: como representar e aceder eficientemente aos múltiplos ambientes que coexistem simultaneamente? pai(manuel,f), pai(f,n). N <- maria F <- rui P pai(rui,n). N <- nuno Q pai(manuel, rui). pai(pedro, joaquim). pai(rui, maria). pai(rui, nuno). pai(maria, alberto). Solução: utilizar mecanismos onde cada ambiente tem uma área privada onde guarda as suas atribuições condicionais. Uma atribuição a uma variável diz-se condicional se a variável foi criada antes do ponto de escolha corrente. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
35 Paralelismo-Ou Principais Problemas a Resolver Distribuição de Trabalho (Scheduling) Problema: como distribuir eficientemente o trabalho existente pelos agentes disponíveis de modo a minimizar o tempo total de execução? Q P P P Q Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
36 Paralelismo-Ou Principais Problemas a Resolver Distribuição de Trabalho (Scheduling) Problema: como distribuir eficientemente o trabalho existente pelos agentes disponíveis de modo a minimizar o tempo total de execução? Q P P P Q Solução: existem duas poĺıticas principais: distribuir trabalho o mais acima possível e distribuir trabalho o mais abaixo possível. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
37 Paralelismo-Ou Principais Modelos de Execução Memória Partilhada Binding Arrays Cópia de Ambientes Memória Distribuída Stack Splitting Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
38 Binding Arrays Ideia Básica Neste modelo, cada agente possui uma estrutura de dados auxiliar designada por binding array. F: 0 N: 1 pai(manuel,f), pai(f,n). Binding Array N <- maria F <- rui P pai(rui,n). N <- nuno Q P F: 0 N: 1 Q Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
39 Binding Arrays Ideia Básica Neste modelo, cada agente possui uma estrutura de dados auxiliar designada por binding array. F: 0 N: 1 pai(manuel,f), pai(f,n). Binding Array N <- maria F <- rui P pai(rui,n). N <- nuno Q P F: 0 N: 1 Q Sempre que uma nova variável é criada esta é etiquetada com um contador que identifica a sua posição no binding array. As variáveis são etiquetadas com o valor corrente do contador e em seguida este é incrementado. A numeração das variáveis ao longo de uma qualquer ramificação forma uma sequência estritamente crescente. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
40 Binding Arrays Ideia Básica Por forma a permitir que, sempre que uma nova alternativa for tomada num ponto de escolha, a sequência possa continuar, o valor do contador é guardado nos pontos de escolha. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
41 Binding Arrays Ideia Básica Por forma a permitir que, sempre que uma nova alternativa for tomada num ponto de escolha, a sequência possa continuar, o valor do contador é guardado nos pontos de escolha. Uma atribuição a uma variável é condicional se o valor da sua etiqueta for menor que o valor do contador guardado no ponto de escolha corrente. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
42 Binding Arrays Ideia Básica Por forma a permitir que, sempre que uma nova alternativa for tomada num ponto de escolha, a sequência possa continuar, o valor do contador é guardado nos pontos de escolha. Uma atribuição a uma variável é condicional se o valor da sua etiqueta for menor que o valor do contador guardado no ponto de escolha corrente. A coexistência de múltiplos ambientes é resolvida guardando as atribuições condicionais no binding array do próprio agente. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
43 Binding Arrays Ideia Básica Por forma a permitir que, sempre que uma nova alternativa for tomada num ponto de escolha, a sequência possa continuar, o valor do contador é guardado nos pontos de escolha. Uma atribuição a uma variável é condicional se o valor da sua etiqueta for menor que o valor do contador guardado no ponto de escolha corrente. A coexistência de múltiplos ambientes é resolvida guardando as atribuições condicionais no binding array do próprio agente. F: 0 counter = 0 N: 1 pai(manuel,f), pai(f,n). Binding Array N <- maria F <- rui P counter = 2 pai(rui,n). N <- nuno Q maria P - nuno Q Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
44 Cópia de Ambientes Ideia Básica Neste modelo, cada agente mantém uma cópia separada do seu ambiente, no qual pode escrever sem causar conflito de atribuições. pai(manuel,f), pai(f,n). F <- rui F <- rui pai(rui,n). N <- maria N <- nuno P Q Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
45 Cópia de Ambientes Ideia Básica Neste modelo, cada agente mantém uma cópia separada do seu ambiente, no qual pode escrever sem causar conflito de atribuições. pai(manuel,f), pai(f,n). F <- rui F <- rui pai(rui,n). N <- maria N <- nuno P Q A partilha de trabalho é feita por cópia das pilhas de execução do agente ocupado para o agente suspenso (pilhas local, termos e trilha). Para maximizar a quantidade de trabalho partilhado e evitar que os agentes partilhem trabalho frequentemente (diminuindo assim o potencial número de operações de cópia), o trabalho é distribuído o mais abaixo possível. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
46 Cópia de Ambientes Cópia Incremental Problema: a cópia de grandes quantidades de segmentos de memória pode degradar a performance do sistema. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
47 Cópia de Ambientes Cópia Incremental Problema: a cópia de grandes quantidades de segmentos de memória pode degradar a performance do sistema. Solução: utilizar cópia incremental. A ideia fundamental da cópia incremental é baseada no facto de que parte das pilhas de execução pode ser comum a ambos os agentes, e por conseguinte não necessitam de ser copiadas. Parte comum Q Parte a copiar P Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
48 Cópia de Ambientes Mapeamento de Memória Problema: a cópia de segmentos de memória requer realocação de endereços de modo a fazer sentido no novo espaço de endereçamento. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
49 Cópia de Ambientes Mapeamento de Memória Problema: a cópia de segmentos de memória requer realocação de endereços de modo a fazer sentido no novo espaço de endereçamento. Solução: mapear a memória de tal modo que todos os agentes vejam as suas próprias áreas no mesmo endereço, ou seja, o espaço de endereçamento de cada agente, dum ponto de vista individual, tem início no mesmo endereço. Forking Agente 1 Agente 1 Espaço de Endereçamento Agente 1 Addr 0 Agente 0 Espaço de Endereçamento Agente 0 Addr 0 Agente 2 Agente 0 Addr 1 Addr 2 Agente 1 Agente 2 Addr 1 Addr 2 Agente 2 Espaço de Endereçamento Agente 2 Addr 0 Forking Agente 2 Agente 0 Agente 1 Addr 1 Addr 2 Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
50 Cópia de Ambientes Sincronização Problema: como sincronizar o acesso aos pontos de escolha públicos de modo a garantir que cada alternativa é tomada uma e uma só vez? Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
51 Cópia de Ambientes Sincronização Problema: como sincronizar o acesso aos pontos de escolha públicos de modo a garantir que cada alternativa é tomada uma e uma só vez? Solução: guardar as alternativas numa estrutura partilhada (or-frame) e usar uma pseudo-instrução (getwork) para sincronizar o acesso à estrutura. Ponto de escolha Ponto de escolha CP_ALT ALT getwork CP_CP CP_TR CP_H CP TR H P partilha trabalho com Q CP TR H Or-frame CP_B B B Unlocked OrFr_lock CP_ENV ENV ENV ALT OrFr_alt CP_OR_FR --- P & Q OrFr_members Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
52 Cópia de Ambientes Distribuição de Trabalho O principal objetivo do distribuidor de trabalho é minimizar o tempo total de execução mantendo correta a semântica da linguagem. A intervenção do distribuidor de trabalho verifica-se sempre que um agente completa uma tarefa. Uma tarefa é uma porção contínua de trabalho executada na região privada da árvore de procura. A ideia básica do algoritmo do distribuidor de trabalho pode resumir-se ao seguinte: Procurar trabalho na região partilhada. Procurar trabalho em agentes ocupados. Procurar um melhor posicionamento na árvore de procura. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
53 Cópia de Ambientes Distribuição de Trabalho Procurar trabalho na região partilhada: tomar a alternativa por explorar mais próxima da posição atual do agente na árvore de procura. P2 P2 P1 Q P1 Q Antes Depois Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
54 Cópia de Ambientes Distribuição de Trabalho Procurar trabalho na subárvore do nó corrente: solicitar trabalho ao agente ocupado que se encontre mais perto e que possua maior carga. Q Q2 Q Q Q4 Q Q3 Q1 P P P P Q solicita trabalho a P Q solicita trabalho a P Q não solicita trabalho a P Q pode solicitar trabalho a P Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
55 Cópia de Ambientes Distribuição de Trabalho Procurar trabalho fora da subárvore do nó corrente: solicitar trabalho ao agente ocupado que se encontre mais perto e que possua maior carga. Q Q1 Q2 Q3 Q Q P P P Q não solicita trabalho a P Q não solicita trabalho a P Q pode solicitar trabalho a P Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
56 Cópia de Ambientes Distribuição de Trabalho Procurar um melhor posicionamento na árvore de procura: retroceder para posições da árvore de procura que possuam agentes ocupados. Q1 P2 P3 Q3 Q1 Q3 P2 Q4 P3 Q2 Q4 Q2 P1 Antes P1 Depois Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
57 Stack Splitting Ideia Básica Problema: utilizar mecanismos de exclusão mútua para sincronizar o acesso às or-frames em ambientes distribuídos pode levar a uma grande quantidade de troca de mensagens. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
58 Stack Splitting Ideia Básica Problema: utilizar mecanismos de exclusão mútua para sincronizar o acesso às or-frames em ambientes distribuídos pode levar a uma grande quantidade de troca de mensagens. Solução: dividir à priori as alternativas disponíveis pelos agentes envolvidos no processo de partilha de modo que cada agente fique desde logo com as suas alternativas. Esta técnica é designada por stack splitting. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
59 Stack Splitting Ideia Básica Problema: utilizar mecanismos de exclusão mútua para sincronizar o acesso às or-frames em ambientes distribuídos pode levar a uma grande quantidade de troca de mensagens. Solução: dividir à priori as alternativas disponíveis pelos agentes envolvidos no processo de partilha de modo que cada agente fique desde logo com as suas alternativas. Esta técnica é designada por stack splitting. Neste modelo, a partilha de trabalho é igualmente feita por cópia das pilhas de execução acrescida duma fase posterior de divisão de trabalho. Existem três esquemas principais de divisão de trabalho: Vertical Splitting Horizontal Splitting Diagonal Splitting Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
60 Stack Splitting Vertical Splitting Os pontos de escolha são alternadamente divididos entre os dois agentes, começando pelo agente P que partilha trabalho. a1 Depois a1 a1 b1 b2 a2 b4 b3 b1 b2 b4 b3 b1 a2 P d1 c1 c2 d4 d3 d2 c3 Q P d1 d2 c1 d4 d3 c2 Q c3 Antes Depois Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
61 Stack Splitting Horizontal Splitting As alternativas por explorar em cada ponto de escolha são alternadamente divididas entre o agente Q que pede trabalho e o agente P que partilha trabalho. a1 a1 a1 b1 b2 a2 b4 b3 b1 b3 b1 b2 a2 b4 c1 c1 c1 P d1 d2 c2 d4 d3 c3 Q P d1 d3 c3 d2 Q c2 d4 Antes Depois Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
62 Stack Splitting Diagonal Splitting O conjunto de todas as alternativas por explorar, independentemente dos pontos de escolha a que pertencem, é alternadamente dividido entre o agente Q que pede trabalho e o agente P que partilha trabalho. Este esquema é como que uma mistura dos dois anteriores e é o único que garante uma divisão equitativa das alternativas por explorar. a1 a1 a1 b1 b2 a2 b4 b3 b1 b2 b4 b1 b3 a2 P d1 c1 c2 d4 d3 d2 c3 Q P d1 c1 c2 d3 c1 d2 Q d4 c3 Antes Depois Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
63 Stack Splitting Como Dividir? Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
64 Stack Splitting Como Dividir? Introduzir um novo campo nos pontos de escolha (CP OFFSET) para indicar o deslocamento entre as alternativas que lhe pertencem. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
65 Stack Splitting Como Dividir? Introduzir um novo campo nos pontos de escolha (CP OFFSET) para indicar o deslocamento entre as alternativas que lhe pertencem. Para os pontos de escolha privados o valor do deslocamento é 1. CP_OFFSET= 1 CP_ALT= a2 Agente P... a2 a3 a4 a5 a6 Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
66 Stack Splitting Como Dividir? Introduzir um novo campo nos pontos de escolha (CP OFFSET) para indicar o deslocamento entre as alternativas que lhe pertencem. Para os pontos de escolha privados o valor do deslocamento é 1. CP_OFFSET= 1 CP_ALT= a2 Agente P... a2 a3 a4 a5 a6 Quando se partilha um ponto de escolha duplica-se o valor do deslocamento. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
67 Stack Splitting Como Dividir? Introduzir um novo campo nos pontos de escolha (CP OFFSET) para indicar o deslocamento entre as alternativas que lhe pertencem. Para os pontos de escolha privados o valor do deslocamento é 1. CP_OFFSET= 1 CP_ALT= a2 Agente P... a2 a3 a4 a5 a6 Quando se partilha um ponto de escolha duplica-se o valor do deslocamento. O agente que não inicia o processo de divisão num dado ponto de escolha deve atualizar a referência para a próxima alternativa por explorar (campo CP ALT). Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
68 Stack Splitting Como Dividir? Agente P CP_OFFSET= 1 CP_ALT= a2... a2 a3 a4 a5 a6 P partilha trabalho com X Agente P Agente X CP_OFFSET= 2 CP_OFFSET= 2 CP_ALT= a2 CP_ALT= a3... a2 a4 a6... a3 a5 Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
69 Stack Splitting Como Dividir? Agente P CP_OFFSET= 2 CP_ALT= a2... a2 a4 a6 P partilha trabalho com Y Agente P Agente Y CP_OFFSET= 4 CP_ALT= a4... CP_OFFSET= 4 CP_ALT= a2 a4... a2 a6 Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
70 Stack Splitting Como Dividir? No esquema de Diagonal Splitting é necessário saber se o número de alternativas por explorar num ponto de escolha é par ou ímpar de modo a decidir qual o agente que inicia o processo de divisão no ponto de escolha seguinte. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
71 Stack Splitting Como Dividir? No esquema de Diagonal Splitting é necessário saber se o número de alternativas por explorar num ponto de escolha é par ou ímpar de modo a decidir qual o agente que inicia o processo de divisão no ponto de escolha seguinte. Uma possibilidade é percorrer a lista de alternativas por explorar e contar o seu número. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
72 Stack Splitting Como Dividir? No esquema de Diagonal Splitting é necessário saber se o número de alternativas por explorar num ponto de escolha é par ou ímpar de modo a decidir qual o agente que inicia o processo de divisão no ponto de escolha seguinte. Uma possibilidade é percorrer a lista de alternativas por explorar e contar o seu número. Um esquema mais eficiente é incluir durante o processo de compilação informação relativa ao número de alternativas restantes a partir da alternativa corrente. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
73 Stack Splitting Como Dividir? No esquema de Diagonal Splitting é necessário saber se o número de alternativas por explorar num ponto de escolha é par ou ímpar de modo a decidir qual o agente que inicia o processo de divisão no ponto de escolha seguinte. Uma possibilidade é percorrer a lista de alternativas por explorar e contar o seu número. Um esquema mais eficiente é incluir durante o processo de compilação informação relativa ao número de alternativas restantes a partir da alternativa corrente. inst_1 inst_2 inst_3 inst_ REM_ALT alt_1 alt_2 alt_3 alt_4 NULL NEXT_ALT code code code code Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
74 Diagonal Splitting Branch Array Problema: para suportar cópia incremental é necessário um mecanismo que permita encontrar facilmente o nó comum mais profundo entre dois agentes. Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
75 Diagonal Splitting Branch Array Problema: para suportar cópia incremental é necessário um mecanismo que permita encontrar facilmente o nó comum mais profundo entre dois agentes. Solução: para cada agente, utilizar um branch array que represente de modo único a posição do agente na árvore de procura. A profundidade de cada ponto de escolha identifica o deslocamento no branch array. branch array P d1 b1 c2 c3 d3 b2 a3 b4 nó comum mais profundo branch array Q c4 b3 a3 Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
76 Diagonal Splitting Partilhar Trabalho Q pede trabalho a P Q envia uma mensagem a P que inclui o seu branch array P decide partilhar trabalho com Q P calcula o nó comum mais profundo P calcula os segmentos das pilhas de execução a copiar para Q P empacota toda a informação numa mensagem e envia-a para Q Q recebe uma resposta positiva Q copia os segmentos na mensagem para os locais apropriados das suas pilhas de execução P e Q dividem trabalho P aplica o algoritmo de diagonal splitting Q aplica o algoritmo de diagonal splitting Ricardo Rocha (DCC-FCUP) Paralelismo em Programação Lógica IL 2013/ / 43
Introdução à Computação: Sistemas de Computação
Introdução à Computação: Sistemas de Computação Beatriz F. M. Souza ([email protected]) http://inf.ufes.br/~bfmartins/ Computer Science Department Federal University of Espírito Santo (Ufes), Vitória,
AULA 06: PROGRAMAÇÃO EM MÁQUINAS PARALELAS
ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES II AULA 06: PROGRAMAÇÃO EM MÁQUINAS PARALELAS Prof. Max Santana Rolemberg Farias [email protected] Colegiado de Engenharia de Computação PROGRAMAÇÃO PARALELA
1. A pastilha do processador Intel possui uma memória cache única para dados e instruções. Esse processador tem capacidade de 8 Kbytes e é
1. A pastilha do processador Intel 80486 possui uma memória cache única para dados e instruções. Esse processador tem capacidade de 8 Kbytes e é organizado com mapeamento associativo por conjuntos de quatro
Programação de Alto Desempenho - 2. Prof: Carla Osthoff
Programação de Alto Desempenho - 2 Prof: Carla Osthoff E-mail: [email protected] 3- Modelos de programação paralela Shared Memory/Threads Posix Win32 treads OpenMP Message Passing MPI Data Parallel OpenCL/Cuda
Gerência de Memória Memória Virtual e Paginação
Memória Virtual e Paginação Carlos Gustavo A. da Rocha Memória virtual O tamanho das memórias aumenta rápido :) Mas o tamanho dos softwares aumenta mais rápido :( Devido a isto os SOs devem ser capazes
SSC PROGRAMAÇÃO CONCORRENTE. Aula 06 Modelos de Programação Prof. Jó Ueyama e Julio Cezar Estrella
SSC- 0143 PROGRAMAÇÃO CONCORRENTE Aula 06 Modelos de Programação Prof. Jó Ueyama e Julio Cezar Estrella Créditos Os slides integrantes deste material foram construídos a par4r dos conteúdos relacionados
AULA 03: PROCESSAMENTO PARALELO: MULTIPROCESSADORES
ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES II AULA 03: PROCESSAMENTO PARALELO: MULTIPROCESSADORES Prof. Max Santana Rolemberg Farias [email protected] Colegiado de Engenharia de Computação MULTIPROCESSADORES
LINGUAGENS LÓGICAS E PROGRAMAÇÃO CONCORRENTE
LINGUAGENS LÓGICAS E PROGRAMAÇÃO CONCORRENTE Adriana Nery Programação lógica Paradigma Predicados Dedutiva) baseado no Cálculo de (Lógica Matemática Exemplo: Zé Carioca é um papagaio. Todo papagaio é uma
Paralela e Distribuída. com o MPI e o OpenMP
Programação Paralela e Distribuída Programação Híbrida com o e o OpenMP e OpenMP Uma forma de executar um programa em paralelo num cluster multiprocessor é criar um processo por cada processador. Nesse
Arquitetura e Organização de Computadores
Arquitetura e Organização de Computadores Unidade Central de Processamento (CPU) Givanaldo Rocha de Souza http://docente.ifrn.edu.br/givanaldorocha [email protected] Baseado nos slides do capítulo
Arquitetura e Organização de Processadores. Aula 4. Pipelines
Universidade Federal do Rio Grande do Sul Instituto de Informática Programa de Pós-Graduação em Computação Arquitetura e Organização de Processadores Aula 4 Pipelines 1. Introdução Objetivo: aumento de
Processos Concorrentes
Processos Concorrentes Walter Fetter Lages [email protected] Universidade Federal do Rio Grande do Sul Escola de Engenharia Departamento de Engenharia Elétrica ENG04008 Sistemas de Tempo Real Copyright
Introdução OpenMP. Nielsen Castelo Damasceno
Introdução OpenMP Nielsen Castelo Damasceno Computação de auto desempenho Processamento Paralelo Memória Distribuída e Compartilhada Modelo de programação OpenMP Métricas de Desempenho Computação de auto
Parte I Multiprocessamento
Sistemas Operacionais I Estrutura dos SO Prof. Gregorio Perez [email protected] 2004 Parte I Multiprocessamento Roteiro 1 Multiprocessadores em Sistemas Fortemente Acoplados 1.1 1.2 1.3 Processamento
Programação Concorrente. Prof. Hugo Vieira Neto
Programação Concorrente Prof. Hugo Vieira Neto Concorrência Um programa concorrente descreve diversas atividades que ocorrem simultaneamente, de modo diferente de programas comuns, que descrevem apenas
Paralelismo em Computadores com Tecnologia Multicore
IFRN - Pau dos Ferros Pau dos Ferros/RN, 25 de fevereiro de 2016 O minicurso Descrição: Para se utilizar os vários núcleos de processamento disponíveis nos computadores atuais de forma eficiente, faz necessário
Computadores e Programação (DCC/UFRJ)
Computadores e Programação (DCC/UFRJ) Aula 3: 1 2 3 Abstrações do Sistema Operacional Memória virtual Abstração que dá a cada processo a ilusão de que ele possui uso exclusivo da memória principal Todo
Arquitetura de Computadores. Processamento Paralelo
Arquitetura de Computadores Processamento Paralelo 1 Multiprogramação e Multiprocessamento Múltiplas organizações de computadores Single instruction, single data stream - SISD Single instruction, multiple
Sistemas Distribuídos e Paralelos
Sistemas Distribuídos e Paralelos Aula #6: Programação paralela em sistemas de memória compartilhada. ISUTIC - 2016 Eng. Alexander Rodríguez Bonet Aula de hoje Regiões paralelas. Cláusulas de âmbito. Partilha
Sistema Distribuído. Sistema Distribuído. Aplicações Distribuídas. Conceitos Básicos
Sistema Distribuído Conjunto de máquinas (CPU + memória) interligadas em rede. Sistema Distribuído Sistema operacional distribuído trata este conjunto como um único sistema computacional. Estação 1 Estação
Registradores. Os processadores possuem espaços específicos onde são guardados valores, os chamados registradores.
Os processadores possuem espaços específicos onde são guardados valores, os chamados registradores. Esses espaços são parecidos com variáveis de uma linguagem de programação de alto nível, onde se guarda
Fundamentos de Sistemas Operacionais
Fundamentos de Sistemas Operacionais Aula 4: Programação Concorrente Diego Passos Últimas Aulas Processos Compostos por: Código (programa). Estado (memória, registradores). Em um sistema com multiprogramação:
COMPARAÇÃO DE DESEMPENHO ENTRE IMPLEMENTAÇÕES DO ALGORITMO JOGO DA VIDA COM PTHREAD E OPEMMP 1
COMPARAÇÃO DE DESEMPENHO ENTRE IMPLEMENTAÇÕES DO ALGORITMO JOGO DA VIDA COM PTHREAD E OPEMMP 1 Márcia Da Silva 2, Igor Gamste Haugg 3, Eliézer Silveira Prigol 4, Édson L. Padoin 5, Rogério S. M. Martins
Compiladores. Motivação. Tradutores. Motivação. Tipos de Tradutores. Tipos de Tradutores
Motivação Prof. Sérgio Faustino Compiladores Conhecimento das estruturas e algoritmos usados na implementação de linguagens: noções importantes sobre uso de memória, eficiência, etc. Aplicabilidade freqüente
Linguagens de Programação. Nomes, Escopos e Vinculações (Bindings) Carlos Bazilio
Linguagens de Programação Nomes, Escopos e Vinculações (Bindings) Carlos Bazilio [email protected] http://www.ic.uff.br/~bazilio/cursos/lp Nomes Forma mais simples de abstração Um nome é um caracter
INE 5645 PROGRAMAÇÃO PARALELA E DISTRIBUIDA PROVA 2 03/07/2017 ALUNO
INE 5645 PROGRAMAÇÃO PARALELA E DISTRIBUIDA PROVA 2 03/07/2017 ALUNO 1. Sockets - Indicar (Verdade/Falso): (a) (Verdade/Falso) A comunicação entre processos consiste em transmitir uma mensagem entre o
Processos O conceito de processos é fundamental para a implementação de um sistema multiprogramável. De uma maneira geral, um processo pode ser entend
Concorrência Nos sistemas Monoprogramáveis somente um programa pode estar em execução por vez, permanecendo o processador dedicado a esta única tarefa. Os recursos como memória, processador e dispositivos
Universidade Estadual de Mato Grosso do Sul UEMS Curso de Ciência da Computação Disciplina de Algoritmos Paralelos e Distribuídos
Universidade Estadual de Mato Grosso do Sul UEMS Curso de Ciência da Computação Disciplina de Algoritmos Paralelos e Distribuídos Pensando em Paralelo Pensar em paralelo é uma tarefa que exige disciplina
7 Mecanismos de gestão de memória. Prof. Ricardo Silva
7 Mecanismos de gestão de memória Prof. Ricardo Silva Introdução Um programa reside no disco sob a forma de ficheiro executável Para ser executado, o programa tem de ser colocado em memória e associado
Arquitetura de Sistemas Operativos
Arquitetura de Sistemas Operativos Sistemas Operativos 2011/2012 1 Threads Conceito Um processo é um programa em execução. A execução de um processo é sequencial: pode-se caracterizar um processo pelo
Gestão de Memória. Espaço de Endereçamento
Gestão de Memória Parte I Mecanismos Espaço de Endereçamento Conjunto de posições de memória que um processo pode referenciar Para ler, escrever ou executar E se referenciar outras posições de memória?
Variáveis e Memória. Revisão. Conceitos. Operações sobre a memória
Variáveis e Memória Revisão Estudamos, na Introdução, que os programas de computador implementam algoritmos, os quais manipulam um conjunto de dados para produzir um resultado. O algoritmo é um conjunto
Introdução a Sistemas Operacionais. Adão de Melo Neto
Introdução a Sistemas Operacionais Adão de Melo Neto 41 Definição de SO Sistema Operacional É um conjunto de rotinas (programa) executado pelo processador que controla o funcionamento do computador como
Introdução à Programação. João Manuel R. S. Tavares
Introdução à Programação João Manuel R. S. Tavares Sumário 1. Ciclo de desenvolvimento de um programa; 2. Descrição de algoritmos; 3. Desenvolvimento modular de programas; 4. Estruturas de controlo de
Algoritmos Computacionais
UNIDADE 1 Processador e instruções Memórias Dispositivos de Entrada e Saída Software ARQUITETURA BÁSICA UCP Unidade central de processamento MEM Memória E/S Dispositivos de entrada e saída UCP UNIDADE
ANÁLISE DE SISTEMAS. Diagrama de atividades. por. Antônio Maurício Pitangueira
ANÁLISE DE SISTEMAS Diagrama de atividades por Antônio Maurício Pitangueira 1 Diagrama de atividade Há diversos diagramas da UML que descrevem os aspectos dinâmicos de um sistema. diagramas de estados,
ORGANIZAÇÃO DE COMPUTADORES CAPÍTULO 6: PROCESSADORES. Prof. Juliana Santiago Teixeira
ORGANIZAÇÃO DE COMPUTADORES CAPÍTULO 6: PROCESSADORES Prof. Juliana Santiago Teixeira [email protected] INTRODUÇÃO INTRODUÇÃO O processador é o componente vital do sistema de computação, responsável
ESTRATÉGIAS DE ALOCAÇÃO AULA 11 Sistemas Operacionais Gil Eduardo de Andrade
ESTRATÉGIAS DE ALOCAÇÃO AULA 11 Sistemas Operacionais Gil Eduardo de Andrade O conteúdo deste documento é baseado no livro do Prof. Dr. Carlos Alberto Maziero, disponível no link: http://dainf.ct.utfpr.edu.br/~maziero
Universidade Federal de Goiás Bacharelado em Ciências da Computacão Compiladores
Universidade Federal de Goiás Bacharelado em Ciências da Computacão Compiladores 2013-2 Compilador para a Linguagem Cafezinho Especificação dos trabalhos: T2 (Geração da Representação Intermediária e Análise
Arquitetura e Organização de Computadores
Arquitetura e Organização de Computadores Conjunto de Instruções Givanaldo Rocha de Souza http://docente.ifrn.edu.br/givanaldorocha [email protected] Material do prof. Sílvio Fernandes - UFERSA
Capítulo 1 Linguagens e processadores
1. Linguagens Capítulo 1 Linguagens e processadores 2. Processamento de Linguagens: DI-UBI 2017/2018 1/28 Linguagens Linguagens Processamento de Linguagens: DI-UBI 2017/2018 2/28 Linguagens 1. Definição
Arquitetura e Organização de Computadores
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO DEPARTAMENTO DE CIÊNCIAS EXATAS E NATURAIS CURSO DE CIÊNCIA DA COMPUTAÇÃO Arquitetura e Organização de Computadores Conjunto de Instruções Prof. Sílvio Fernandes
Programação Lógica. Controle (Bactracking, Cut, Fail) Paulo Henrique Ribeiro Gabriel
Programação Lógica Controle (Bactracking, Cut, Fail) Paulo Henrique Ribeiro Gabriel [email protected] Faculdade de Computação Universidade Federal de Uberlândia 7 de outubro de 2015 Paulo H. R. Gabriel (FACOM/UFU)
speedup aprimorado aprimorado Fração aprimorada speedup aprimorado Fração aprimorada speedup aprimorado Tempo original Fração aprimorada aprimorado
Multiprocessadores - A evolução tecnológica dos processadores iria diminuir drasticamente. 2- O caminho para o aumento de desempenho é de unir mais de um processador para realizar a mesma tarefa em menos
Modelação de algoritmos de substituição de páginas Anomalia Belady
Gestão de Memória 1. Conceitos Básicos 2. Swapping 3. Memória Virtual 4. Algoritmos de substituição de páginas 5. Modelação de algoritmos de substituição de páginas 6. Questões no desenho de sistemas de
Notas da Aula 7 - Fundamentos de Sistemas Operacionais
Notas da Aula 7 - Fundamentos de Sistemas Operacionais 1. Organização de um Processo em Memória Quando um processo é criado, o SO aloca uma porção da memória física da máquina para a criação do espaço
1) Enumere e dê exemplo dos tipos de conflitos que podem ocorrer em um pipeline de instruções de um processador.
Arquitetura de Computadores II Bacharelado em Ciência da Computação DCC - IM/UFRJ Prof.: Gabriel P. Silva Data: 18/04/2005 1 ª Lista de Exercícios de Arquitetura de Computadores II 1) Enumere e dê exemplo
MODOS DE ENDEREÇAMENTO E CONJUNTO DE INSTRUÇÕES
MODOS DE ENDEREÇAMENTO E CONJUNTO DE INSTRUÇÕES Alexandre Lucas Chichosz Discente do curso Engenharia da Computação Calwann de Souza Freire Discente do curso Engenharia da Computação Myke Albuquerque Pinto
Desenvolvimento de Aplicações Desktop
Desenvolvimento de Aplicações Desktop Conceitos Básicos de Programação Professor: Charles Leite O Desenvolvimento de Programas A programação consiste em indicar como o computador (hardware) deve trabalhar
Conceitos de Linguagens de Programação - Características. Paavo Soeiro
Conceitos de Linguagens de Programação - Características Paavo Soeiro Motivação Para que possa escolher uma linguagem apropriada ao problema. Melhorar o entendimento da linguagem utilizada. Facilitar o
Introdução à Programação
Introdução à Program João Manuel R. S. Tavares Sumário 1. Ciclo de desenvolvimento de um programa; 2. Descrição de algoritmos; 3. Desenvolvimento modular de programas; 4. Estruturas de controlo de um programa.
PIPELINE. Introdução ao Pipeline. PIPELINE Ciclo de Instruções. PIPELINE Ciclo de Instruções. PIPELINE - Exemplo. PIPELINE Considerações
Arquitetura de Computadores Introdução ao Pipeline PIPELINE Linha de Montagem A produção é dividida em várias etapas Produtos em etapas distintas podem ser desenvolvidos separadamente Pode ser Aplicado
Programação Concorrente
INE 5410 Programação Concorrente Professor: Lau Cheuk Lung (turma A) INE UFSC [email protected] Conteúdo Programático 1. 2. Programação Concorrente 3. Sincronização 1. Condição de corrida, região critica
4) Defina o que vem a ser um algoritmo, e porque, o mesmo depende do processo.
Lista de Exercício 1 Algoritmo e Programação 29/08/2018 (Solução) 1) Escreva conforme a premissas computacionais, o que vem a ser, lógica. R: São as premissas básicas para se executar instruções, alocadas
Programação Concorrente e Paralela
projeto de programas paralelos 2016 PCAM problema particionamento comunicacao aglomeracao mapeamento desenhada para memória distribuída mas muitas idéias em comum Particionamento idéia é expor oportunidades
2. A influência do tamanho da palavra
1. Introdução O processador é o componente vital do sistema de computação, responsável pela realização das operações de processamento (os cálculos matemáticos etc.) e de controle, durante a execução de
OpenMP: Variáveis de Ambiente
Treinamento OpenMP C/C++ 1 TREINAMENTO OpenMP C/C++ Módulo 1 Computação de Alto Desempenho Módulo 2 OpenMP: Construtores Paralelos Módulo 3 OpenMP: Diretivas de sincronização Módulo 4 OpenMP: Funções de
Universidade Federal do Rio de Janeiro Informática DCC/IM. Arquitetura de Computadores II. Arquiteturas MIMD. Arquiteturas MIMD
Universidade Federal do Rio de Janeiro Informática DCC/IM Arquitetura de Computadores II Arquiteturas MIMD Arquiteturas MIMD As arquiteturas MIMD dividem-se em dois grandes modelos: Arquiteturas MIMD de
Computação Paralela (CUDA)
Universidade Federal do Amazonas Faculdade de Tecnologia Departamento de Eletrônica e Computação Computação Paralela (CUDA) Hussama Ibrahim [email protected] Notas de Aula Baseado nas Notas de
Paradigmas de Computação Paralela
Paradigmas de Computação Paralela Modelos e Linguagens de Computação Paralela João Luís Ferreira Sobral jls@... 1 Dezembro 2015 Razões para a computação paralela (cf. Skillicorn & Talia 1998) O mundo é
ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES I
ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES I AULA 04: ASPECTO BÁSICO DO PROJETO DE UMA CPU SIMPLES E LINGUAGEM DE MONTAGEM Prof. Max Santana Rolemberg Farias [email protected] Colegiado de Engenharia
Gestão de Memória. Espaço de Endereçamento
Gestão de Memória Parte I Mecanismos Espaço de Endereçamento Conjunto de posições de memória que um processo pode referenciar E se referenciar outras posições de memória? HW de gestão de memória desencadeia
Função Fundamental do SO
Função Fundamental do SO Gestão do Hardware Uma das funções fundamentais do sistema operativo é gerir os recursos do hardware de um modo o mais transparente possível ao utilizador Recursos principais a
Ambiente de tempo de Execução Cap. 7
Ambiente de tempo de Execução Cap. 7 Introdução Subdivisão da memória usada pelo programa em tempo de execução Segmento de Código Segmento Estático (segmento de dados) Pilha Área de memória livre Heap
Arquitetura Von Neumann Dados e instruções são obtidos da mesma forma, simplificando o desenho do microprocessador;
1 Microprocessador Um microprocessador é um circuito eletrônico capaz de realizar diversas tarefas conforme os comandos específicos. Para isso ele deve ler esses comandos da memória de programa (ROM) e
2. A influência do tamanho da palavra
PROCESSAMENTO 1. Introdução O processador é o componente vital do sistema de computação, responsável pela realização das operações de processamento (os cálculos matemáticos etc.) e de controle, durante
Resolução de Problemas com Computador. Resolução de Problemas com Computador. Resolução de Problemas com Computador
Prof. Araken Medeiros [email protected] O processo de resolução de um problema com um computador leva à escrita de um algoritmo ou programa e à sua execução. Mas o que é um algoritmo? Angicos, RN 15/9/2009
Microprocessadores I ELE Conjunto de Instruções do Microprocessador 8085 Aula 9 - PILHA E SUBROTINAS -
Microprocessadores I ELE 1078 Conjunto de Instruções do Microprocessador 8085 Aula 9 - PILHA E SUBROTINAS - 9.1 - Grupos de Instruções As instruções no 8085 são distribuídas em 5 grupos: 1. Grupo de transferência
Processamento Paralelo
Processamento Paralelo por Helcio Wagner da Silva Introdução Tradicionalmente, o computador tem sido visto como uma máquina seqüencial Esta visão nunca foi completamente verdadeira No nível das µo, vários
Nível do Conjunto de Instruções Prof. Edson Pedro Ferlin
1 Definições Nível ISA (Instruction Set Architecture). Está posicionado entre o nível da microarquitetura e o nível do sistema operacional. É a interface entre o software e o hardware. Nesse nível está
SISTEMAS OPERACIONAIS
SISTEMAS OPERACIONAIS Gerência de Memória Andreza Leite [email protected] Plano da Aula 2 Introdução Necessidade gerenciador de memória Sistemas gerenciais de memória Alocação contínua n Máquina
Capítulo 4 Nível da microarquitetura
Capítulo 4 Nível da microarquitetura Nível acima da lógica digital Função: Implementar a ISA (Instruction Set Architecture) O projeto da microarquitetura depende diretamente da ISA, além dos objetivos