Multiprogramação leve em arquiteturas multi-core

Transcrição

1 Multiprogramação leve em arquiteturas multi-core Prof. Dr. Prof. Dr. Universidade de Santa Cruz do Sul Santa Cruz do Sul,. 1

2 Sumário Introdução Arquiteturas multi-core Programação multithread Ferramentas de programação Prática de programação Considerações finais 2

4 Sumário Introdução Arquiteturas multi-core Programação multithread Ferramentas de programação Prática de programação Considerações finais 3/Julho 8:00 às 10:00 3/Julho 13:30 às 15:30 4/Julho 13:30 às 15:30 4

5 Introdução Objetivos do curso Arquitetura de von Neumann Lei de Moore Arquiteturas paralelas Programação concorrente Motivação da programação em multi-core 5

6 Objetivos do curso Desenvolver as habilidades de programação concorrente em arquiteturas multi-core. Discutir os benefícios da utilização de arquiteturas multi-core no desenvolvimento de programas concorrentes. Apresentar um conjunto de ferramentas para desenvolvimento de programas concorrentes em arquiteturas multi-core. 6

7 Objetivos do curso Conceitos da arquitetura multi-core Evolução Arquitetura básica Produtos de mercado Programação concorrente Conceitos e princípios Programação concorrente e paralela Componentes de um programa concorrente Multiprogramação leve 7

8 Objetivos do curso Conceitos da arquitetura multi-core Programação concorrente Multiprogramação leve Fluxo de execução e sincronização Ferramentas de programação POSIX threads OpenMP Prática de programação 8

9 Objetivos do curso Conceitos da arquitetura multi-core Programação concorrente Multiprogramação leve Prática de programação Técnicas para otimização de desempenho 9

10 Arquitetura de von Neumann Modelo de von Neumann (von Neumann, 1945) Execução seqüencial Memória para dados e programas Efeito colateral Memória Processador Entrada Unidade de controle Unidade lógica e aritmética Saída Banco de registradores 10

11 Arquitetura de von Neumann Modelo de von Neumann Execução seqüencial Memória para dados e programas Efeito colateral Gargalo de von Neumann Memória Processador Entrada Unidade de controle Unidade lógica e aritmética Saída Banco de registradores 11

12 Arquitetura de von Neumann Modelo de von Neumann Gargalo de von Neumann Introdução de cache Memória Cache Processador Entrada Unidade de controle Unidade lógica e aritmética Saída Banco de registradores 12

13 Arquitetura de von Neumann Modelo de von Neumann Outras otimizações introduzem paralelismo de execução Pipeline Incorpora o esquema proposto por cadeias de produção Como as unidades funcionais do processador são responsáveis por atividades independentes elas podem operar simultaneamente Um pipeline em 3 estágios pode permitir a execução simultânea de até 3 instruções: Busca instrução Decodifica Executa Superescalar I 1 I 2 I 3 I 4 I 5 I 6 I 1 I 2 I 3 I 4 I 5 I 6 I 1 I 2 I 3 I 4 I 5 I 6 13

14 Arquitetura de von Neumann Modelo de von Neumann Outras otimizações introduzem paralelismo de execução Pipeline Superescalar Permite a execução de n instruções simultaneamente (comum n=4) Suposição: as instruções requerem unidades de processamento disjuntas Exemplo: utilização de aritmética inteira e de ponto flutuante por duas instruções consecutivas É comum também que o hardware duplique recursos de processamento mais freqüentemente utilizados 14

15 Arquitetura de von Neumann Modelo de von Neumann Outras otimizações introduzem paralelismo de execução Pipeline Superescalar Pipeline+Superescalar Em ambos casos o programador pode escalonar as instruções no seu código para tirar proveito do paralelismo de baixo nível oferecido Evitar saltos Evitar manipular dados globais Agrupar instruções diferentes Compiladores, em geral, empregam técnicas que otimizam o código de forma satisfatória 15

16 Arquiteturas paralelas Classificação de Flynn (Flynn, 1972) Segundo fluxos de controle e de dados Dados Controle Simples Múltiplo Simples SISD von Neumann MISD dataflow, pipeline Múltiplo SIMD array, sistólico MIMD multicomputadores, multiprocessadores 16

17 Arquiteturas paralelas Classificação de Flynn (Flynn, 1972) Classificação por compartilhamento de memória Extensão a classificação de Flynn para a classe MIMD considerando a apresentação da memória MIMD Fracamente acoplado Espaço de endereçamento múltiplo Fortemente acoplado Espaço de endereçamento único NORMA NOn-Remote Memory Access UMA Uniform Memory Access NUMA Non Uniform Memory Access 17

18 Arquiteturas paralelas UMA: Uniform Memory Access Multiprocessador Memória global a todos os processadores Tempo de acesso idêntico a qualquer endereço de memória P 1 P 2... P p Meio de comunicação M 1... M m Configuração de uma máquina UMA com p processadores e m módulos de memória 18

19 Arquiteturas paralelas UMA: Uniform Memory Access Multiprocessador Memória global a todos os processadores Tempo de acesso idêntico a qualquer endereço de memória Cada processador pode contar com uma cache própria P 1 P 2... P p Meio de comunicação M 1... M m Configuração de uma máquina UMA com p processadores e m módulos de memória 19

20 Arquiteturas paralelas UMA: Uniform Memory Access SMP: Symmetric MultiProcessor P 1 P 2... P p Barramento ou crossbar Memória Os processadores são idênticos e operam como definido pela arquitetura von Neumann O acesso a memória é compartilhado 20

21 Programação concorrente Concorrência Possibilidade de execução simultânea de dois ou mais fluxos de execução, não impedindo disputa por recursos Importante: a definição inclui a idéia de disputa por recursos mas não é restrita à ela! Ótica de Sistemas Operacionais Mais ainda, concorrência incorpora a idéia de que existe uma convergência dos fluxos para um ponto comum Uma eventual sincronização A produção do resultado final E também para idéia de ação colaborativa 21

22 Programação concorrente Concorrência Indica independência temporal O número de atividades concorrentes pode ser maior que a quantidade de recursos de processamento disponíveis Paralelismo Indica execução simultânea A quantidade de recursos de processamento disponível permite que duas ou mais atividades sejam executadas simultaneamente É usual utilizar a expressão programação paralela para o tipo de programação focada em desempenho Na nossa terminologia, programação paralela e programação concorrente são utilizadas com o mesmo significado 22

23 Programação concorrente Diversos níveis de concorrência Intra-instrução CISC Complex Instruction Set Computer, superescalares Entre instruções Hardware pipeline, registradores vetoriais X De bloco Diretivas paralelizantes, compiladores paralelizantes Procedimental Funções, procedimentos, subprogramas De processos Troca de mensagens De aplicações Grades computacionais Nosso escopo: Multiprogramação leve 23

24 Motivação da programação em multi-core Tendência Limites tecnológicos para aumento de desempenho com foco no aumento da freqüência de clock Arquiteturas com menor consumo de energia Grande problema da sociedade moderna Ainda mais cores no futuro próximo Facilidade de exploração Reflete naturalmente o modelo de programação multithread Suportado pelos SOs atuais Oportunidade Migração das maioria das aplicações desenvolvidas para mono-core Aumento de desempenho Execução paralela de aplicações em HW de baixo custo 24

26 Arquiteturas multi-core Arquitetura SMP Multiprocessamento em um chip O multi-core Produtos comerciais 26

27 Arquitetura SMP Symmetric MultiProcessor Arquitetura paralela dotada de um conjunto de processadores idênticos (simétricos) compartilhando acesso a uma área de memória comum Estado Estado Estado CPUs Interrupção Interrupção Interrupção ULA ULA ULA Memória 27

28 Arquitetura SMP Symmetric MultiProcessor Arquitetura paralela dotada de um conjunto de processadores idênticos (simétricos) compartilhando acesso a uma área de memória comum SO único responsável pelo escalonamento de atividades (fluxos de execução) entre os processadores Cada CPU replica todo conjunto de recursos necessários à execução de um fluxo. Fator limitante de desempenho: contenção no acesso à memória 28

29 Arquitetura SMP Symmetric MultiProcessor Fator limitante de desempenho: contenção no acesso à memória Alternativa: adição de memória cache Estado Estado Estado CPUs Interrupção Interrupção Interrupção ULA ULA ULA Cache Cache Cache Memória 29

30 O multi-core Tecnologia em hardware na qual múltiplos cores são integrados em um único chip Multiplicação total dos recursos de processamento CPUs (cores) Processador (chip) Estado Interrupção Estado Interrupção Estado Interrupção ULA ULA ULA Cache Cache Cache Cache Memória 30

31 O multi-core Tecnologia em hardware na qual múltiplos cores são integrados em um único chip Multiplicação total dos recursos de processamento Grande vantagem: compatível com os códigos existentes! 31

32 O multi-core Com cache L2 privada por core L2 L1 Código L1 Dados Core 1 Core 2 L1 Código L1 Dados L2 Memória Barramento Com cache L2 compartilhada L1 Código L1 Dados Core 1 Core 2 L1 Código L1 Dados Memória Barramento L2 32

33 O multi-core Comparativo visão macro Estado Estado Estado Estado Estado Interrupção Interrupção Interrupção Interrupção Interrupção ULA ULA ULA ULA Cache Cache Cache Cache Memória Memória Processador HyperThreading Multiprocessador SMP Estado Interrupção Estado Interrupção Estado Interrupção ULA ULA ULA Cache Memória Processador multi-core 33

34 Produtos comerciais AMD Barcelona Quad-Core Opteron 64 bits, 4 cores, L2 privada, L3 compartilhada Kuma, Rana - AMD Athlon TM X2 Dual-Core 32/64 bits, 2 cores, L2 privada FASN8 8 cores 2007 Intel Montecito Itanium 2 64 bits, 2 cores, L2 e L3 privada Dempsey Xeon bits, 2 cores, L2 privada, HT Yonah Core TM Duo / Core TM 2 / Core 2 TM Extreme 32/64 bits, 2/4 cores, L2 compartilhada SUN Niagara UltraSPARC T1 64 bits, 4/6/8 cores, L2 privada 34

35 Produtos comerciais Hardware Toda industria de computadores tem opções Laptops Desktops Servidores Software Ferramentas de desenvolvimento Compiladores Depuração Desempenho Questão de licença Depende da opção do fornecedor Exemplos: Microsoft: por processador, não por core Oracle: por core, com fator de redução por core em processador multicore VMWare: por processador, com limite de 4 cores/processador 35

36 Ilustração Multi-core architecture Fonte: intel.com Explore a dual core Opteron TM Fonte: amd.com Imagem ilustrativa 36

38 Programação multithread Programação concorrente Thread Casos de estudo Paralelismo de tarefas Paralelismo de dados 38

39 Programação concorrente Programação concorrente Voltada às questões da aplicação Programação paralela Voltada às questões do hardware disponível Execução concorrente Competição no acesso a recursos de hardware Execução paralela Replicação de recursos de hw permite simultaneidade 39

40 Programação concorrente Programação concorrente, pois A programação concorrente inclui a programação paralela Permite focar nas questões da aplicação Ou seja, não requer do programador conhecimentos sobre o hardware paralelo disponível Idealmente: alto grau de portabilidade Considerando que a ferramenta de programação possui um modelo de execução eficiente 40

41 Programação concorrente Programação concorrente Extensão ao paradigma Imperativo Contexto de trabalho no curso Execução segundo a arquitetura de von Neumann Programa seqüencial é composto por: Uma seqüência de instruções Um conjunto de dados Execução seqüencial Instruções modificam estados de memória Efeito colateral A execução de uma instrução implica na alteração de um estado (posição de memória) 41

42 Programação concorrente Programação concorrente Extensão ao paradigma Imperativo Execução segundo a arquitetura de von Neumann Execução seqüencial: I1: MOV DX, 0 I2: MOV AX, [313] I3: ADD DX, AX I4: DEC AX I5: CMP AX, 0 I6: JNE I3 I7: MOV AX, [313] I8: CALL RotinaImpressão Efeito da execução de uma instrução: Escrita em memória Comunicação 42

43 Programação concorrente Programação concorrente Extensão ao paradigma Imperativo Execução segundo a arquitetura de von Neumann Execução seqüencial: I1: MOV DX, 0 I1 I2 I7 I2: MOV AX, [313] I3: ADD DX, AX I3 I8 I4: DEC AX I5: CMP AX, 0 I4 I6: JNE I3 I7: MOV AX, [313] I5 I8: CALL RotinaImpressão I6 43

44 Programação concorrente Programação concorrente Extensão ao paradigma Imperativo Execução segundo a arquitetura de von Neumann Execução seqüencial: Unidade execução: a instrução Comunicação: alteração de um estado de memória Sincronização: implícita, pois uma instrução não é executada antes que a anterior termine Execução concorrente deve, igualmente, definir: A unidade de execução elementar O mecanismo de comunicação utilizado A coordenação da execução para controle do acesso aos dados 44

45 Programação concorrente Programação concorrente Extensão ao paradigma Imperativo Execução segundo a arquitetura de von Neumann Ferramentas de programação multithread oferecem recurso para: Definir unidades de execução em termos de conjuntos de instruções ou procedimentos Identificar regiões de memória (dados) compartilhados entre as unidades de execução Controlar acesso aos dados compartilhados 45

46 Programação concorrente Modelos de Decomposição Paralela Paralelismo de tarefas O paralelismo é definido em termos de atividades independentes, processando sobre conjunto de dados distintos. Sincronização no início e no fim da execução concorrente e, eventualmente, durante a execução. Paralelismo de dados O paralelismo é definido em termos de dados que podem sofrer a execução da mesma operação de forma independente. Sincronização no início e no final da execução concorrente. 46

47 Programação concorrente Modelos de Decomposição Paralela Paralelismo de tarefas O paralelismo é definido em termos de atividades independentes, Utilização de mecanismos de processando sobre conjunto de dados distintos. barreiras Sincronização Paralelismo no início aninhado e no fim da execução concorrente e, eventualmente, Fortran durante paralelo a execução. OpenMP Paralelismo de dados O paralelismo Paralelismo é definido não em estruturado termos de dados que podem sofrer a execução da mesma operação de forma independente. POSIX Threads MPI Sincronização no início e no final da execução concorrente

48 Programação concorrente Modelos de programação Oferecem níveis de abstração dos recursos oferecidos pelas arquiteturas e pelas ferramentas Ferramentas oferecem recursos para programação de arquiteturas reais Modelo Ferramenta de programação Arquitetura É possível que uma ferramenta permita a exploração de mais de um tipo de paralelismo ou a utilização de diferentes modelos de concorrência. No entanto, cada ferramenta é mais conveniente para um determinado esquema 48

49 Thread Processo leve Noção de processo Um programa define uma seqüência de instruções e um conjunto de dados Um processo representa uma instância de um programa em execução. A seqüência de instruções do programa define um fluxo de execução a ser seguido e o espaço de endereçamento utilizado. O processo também possui associado o registro de recursos que utiliza e é manipulado pelo sistema operacional. 49

50 Thread Processo leve Noção de processo Memória programa.exe $> programa.exe Pilha Reg PCB 50

51 Thread Processo leve Noção de processo Informações no PCB (Process Control Block) Process ID User and User Grup ID Diretório de trabalho Descritor de arquivos Manipuladores de sinais Bibliotecas de compartilhadas Ferramentas de comunicação (pipes, semáforos etc) 51

52 Thread Processo leve Noção de processo Processo multithread Um programa define várias seqüência de instruções e um conjunto de dados Uma thread representa uma instância de uma seqüência de instruções em execução. Cada seqüência de instruções do programa define um fluxo de execução a ser seguido e os dados o espaço de endereçamento utilizado. As threads compartilham o registro de recursos que utilizados pelo processo. 52

53 Thread Processo leve Noção de processo Processo multithread A() D() Memória A() A() E() B() E() C() F() Programa fonte Processo com múltiplas threads 53

54 Thread Processo leve Noção de processo Processo multithread Os fluxos são independentes Competição pelos recursos da arquitetura Trocas de dados através de leituras e escritas em memória Competição pelos aos dados na memória compartilhada 54

55 Thread Processo leve Noção de processo Processo multithread Memória Pilha Reg Pilha Reg Pilha Reg PCB 55

56 Thread Processo leve Noção de processo Processo multithread Acesso ao dado compartilhado através de operações de leitura e escrita convencionais Escrita: Dado = valor Leitura: variável = Dado Memória 56

57 Thread Processo leve Noção de processo Processo multithread Acesso ao dado compartilhado através de operações de leitura e escrita convencionais O programador é responsável por introduzir instruções para sincronização entre fluxos Memória 57

58 Thread Processo leve Noção de processo Processo multithread Acesso a dado Instruções de sincronização Seção crítica: trecho de código com instruções que manipulam dado compartilhado entre fluxos de execução distintos Memória 58

59 Thread Processo leve Thread: custo de manipulação reduzido em relação ao processo Chaveamento de contexto em tempo menor Comunicação entre threads via memória compartilhada Criação/Destruição de threads mais eficiente que de processos Informações de cada thread Pilha Registradores Propriedades de escalonamento (prioridade, política) Sinais pendentes ou bloqueados Dados específicos do thread (errno) 59

60 Thread Ciclo de vida Criar lista de espera Pronto OK Bloq escalonamento time-out Exec sincronização return Fim termina Zumbi sincroniza 60

61 Thread Implementações 1 : 1 N : 1 M : N Thread sistema Thread usuário Misto SMP Mais leves Compromisso 61

62 Thread Modelos de Threads - 1 : 1 CriaThread(foo); Memória CriaThread(foo); 62

63 Thread Modelos de Threads - 1 : 1 Mecanismo de escalonamento garantido pelo sistema. Memória Escalonamento 63

64 Thread Modelos de Threads - 1 : 1 Estados das threads: pronto bloqueado executando MutexUnlock( &m ); Memória Escalonamento 64

65 Thread Modelos de Threads - 1 : 1 Memória MutexLock( &m ); Escalonamento 65

66 Thread Modelos de Threads - 1 : 1 Perda de processador: Situação 1: - decisão do escalonador (término do quantum) A thread é interrompida Memória Escalonamento 66

67 Thread Modelos de Threads - 1 : 1 Perda de processador: Memória Situação 2: - sincronização da thread MutexLock( &m ); Escalonamento 67

68 Thread Modelos de Threads - 1 : 1 Perda de processador: Memória Situação 2: - sincronização do thread O thread é retirada do do processador Escalonamento 68

69 Thread Modelos de Threads - 1 : 1 Vantagens Aumento do nível de paralelismo real na execução da aplicação Exploração das arquiteturas SMP Memória Escalonamento 69

70 Thread Modelos de Threads - 1 : 1 Porém... Memória Os threads não são muito leves Número limitado de atividades concorrentes Escalonamento 70

71 Thread Modelos de Threads - N : 1 Threads gerenciados em nível aplicativo espaço usuário O processo fornece um único suporte à execução Memória Escalonamento Escalonamento 71

72 Thread Modelos de Threads - N : 1 Threads gerenciadas a nível aplicativo espaço usuário O processo é que sofre o escalonamento do sistema operacional Memória Escalonamento Escalonamento 72

73 Thread Modelos de Threads - N : 1 Vantagens Aumento do nível de concorrência que pode ser expresso para a aplicação Os threads são bastante leves Memória Escalonamento Escalonamento 73

74 Thread Modelos de Threads - N : 1 Porém... Não explora o paralelismo natural de uma arquitetura SMP Um thread pode bloquear todo processo ao realizar uma chamada bloqueante (p.ex. recv, scanf) ao sistema Memória Escalonamento Escalonamento 74

75 Thread Modelos de Threads - N : M Modelo misto gerenciamento tanto no espaço usuário quanto pelo sistema operacional Memória Escalonamento Escalonamento 75

76 Thread Modelos de Threads - N : M Vantagens Separação entre a descrição da concorrência existente na aplicação do paralelismo real existente na arquitetura Memória Escalonamento Escalonamento 76

77 Thread Modelos de Threads - N : M Porém... Memória Escalonamento Custo de implementação?... Escalonamento 77

78 Thread 1:1 N:1 Modelos de Threads Exemplos NPTL (Native POSIX Thread Library) Minix HP-UX SunOS 4.x N:M Solaris (LWPs LightWeight Processes) Cilk (projeto de pesquisa) Anahy (projeto de pesquisa) 78

79 Thread Erros comuns na programação Considerar uma ordem de execução dos threads Erro: Introduzir no algoritmo uma premissa que considere a ordem de execução dos threads Conseqüência: Aordem de execução é dada pela heurística de escalonamento, sendo estabelecida em tempo de execução. Normalmente esta heurística também considera fatores que são externos ao programa. Qualquer premissa no algoritmo que considere a ordem de execução fatalmente irá produzir um programa incorreto Solução: Caso seja necessário definir uma ordem de execução para os threads devem ser utilizadas as primitivas específicas de sincronização disponibilizadas pela ferramenta utilizada 79

80 Thread Erros comuns na programação Considerar uma ordem de execução dos threads Acesso simultâneo a um dado por dois (ou mais) threads Data-race Erro: Não controlar o acesso ao espaço de endereçamento compartilhado pelos threads Conseqüência: Incoerência do estado da execução pela manipulação simultânea e não controlada dos dados Solução: Identificar os dados passíveis de acesso simultâneo por dois (ou mais) threads e proteger sua manipulação pelo uso de mecanismos de sincronização 80

81 Thread Erros comuns na programação Considerar uma ordem de execução dos threads Acesso simultâneo a um dado por dois (ou mais) threads Postergação indefinida Deadlock Erro: Não sinalizar uma condição de saída de uma sincronização Conseqüência: Um (ou mais) thread(s) permanecem bloqueados aguardando uma sincronização Solução: Garantir que todos as condições de saída de sincronizações sejam efetuadas 81

82 Casos de estudo Paralelismo explícito O programador deve introduzir diretivas para gerar e controlar a execução paralela do programa Diferentes níveis de abstração Paralelismo de dados Paralelismo de tarefa 82

83 Casos de estudo Paralelismo de dados OpenMP Diretivas de compilação / Biblioteca de serviços Paralelismo aninhado Paralelismo de tarefa POSIX threads Biblioteca de funções Paralelismo não estruturado 83

84 Sumário Introdução Arquiteturas multi-core Programação multithread Ferramentas de programação POSIX Threads pthreads OpenMP Prática de programação Considerações finais 84

85 Pthreads Padrão IEEE POSIX c 1995 Definido para permitir compatibilidade de programas multithread entre diferentes plataformas Define a interface de serviço (API) É de uso geral Linux LinuxThreads NPTL Native POSIX Threads Library Windows pthreads_win32 85

86 Pthread Corpo de um thread Função C/C++ convencional Recebe e retorna endereços de memória Variáveis locais visíveis apenas no escopo da função void *foo(void *args) {... // Código C/C++... } Dois threads podem ser criados a partir da mesma função, no entanto, são instâncias diferentes!!! 86

87 Pthreads Interface básica Serviços pthread_xxxx Tipos de dados pthread_t_xxxx Macros PTHREAD_XXXXX Retorno dos serviços Código de erro. Execução sem erro retorna 0 (zero). Manipula a variável errno Conceito Estrutura de dados opaca 87

88 Pthreads Manipulação de Threads Criação: int pthread_create(..., void *(*foo)(void *), void *arg ); Término: void pthread_exit(void *retval ); return (void *)retval; Sincronização: int pthread_join(pthread_t tid, void **ret); Identificação: pthread_t* pthread_self(void); 88

89 Pthreads Manipulação de Threads Criação: int pthread_create( pthread_t *tid, pthread_attr_t *atrib, void *(*func)(void *), void *args ); Cria um novo fluxo de execução (um novo thread). O novo fluxo executa de forma concorrente com o thread original 89

90 Pthreads Manipulação de Threads Criação: int pthread_create( pthread_t *tid, pthread_attr_t *atrib, void *(*func)(void *), void *args ); func: nome da função que contém o código a ser executado pelo thread 90

91 Pthreads Manipulação de Threads Criação: int pthread_create( pthread_t *tid, pthread_attr_t *atrib, void *(*func)(void *), void *args ); args: ponteiro para uma região de memória com dados de entrada para a função 91

92 Pthreads Manipulação de Threads Criação: int pthread_create( pthread_t *tid, pthread_attr_t *atrib, void *(*func)(void *), void *args ); tid: identificador (único) do novo thread 92

93 Pthreads Manipulação de Threads Criação: int pthread_create( pthread_t *tid, pthread_attr_t *atrib, void *(*func)(void *), void *args ); atrib: atributos de execução para o novo thread 93

94 Pthreads Manipulação de Threads Criação: pthread_create(&tid,... OiMundo,...); tid2 pthread_create(&tid2,... OiMundo,...); tid main tempo 94

95 Pthreads Manipulação de Threads Criação: int main() { pthread_t tid; char *str = strdup("oi mundo"); pthread_create( &tid, NULL, OiMundo, str );... } void *OiMundo(void *in){ char *str = (char *)in; printf("%s\n", str);... return (void*) NULL; } 95

96 Pthreads Manipulação de Threads Término: void pthread_exit(void *retval ); ou return (void *)retval; Termina a execução do thread que executou a chamada. Joinable ou Detached retval: endereço de uma posição de memória contendo o dado a ser retornado 96

97 Pthreads Manipulação de Threads Término: pthread_create(&tid,... OiMundo,...); return dta; tid2 tid pthread_create(&tid2,... OiMundo,...); main tempo 97

98 Pthreads Manipulação de Threads Término: pthread_exit A execução do thread é interrompida e o processo de computação abandonado No caso de utilização com programas C++, escopos de funções/métodos não são terminados e há risco de objetos não serem destruídos com invocação ao destrutor. return Abandona a execução do thread corrente fechando o contexto de memória utilizado. 98

99 Pthreads Manipulação de Threads Sincronização: int pthread_join( pthread_t tid, void **ret ); Aguarda o término de um thread (se ele ainda não terminou) e recupera o resultado produzido. 99

100 Pthreads Manipulação de Threads Sincronização: int pthread_join( pthread_t tid, void **ret ); tid: identificador do thread a ter seu término sincronizado ret: endereço de um ponteiro que será atualizado com a posição de memória que contém os dados retornados 100

101 Pthreads Manipulação de Threads Sincronização: int pthread_join( pthread_t tid, void **ret ); Cada thread suporta, no máximo, uma operação de join 101

102 Pthreads Manipulação de Threads Sincronização: int pthread_detach( pthread_t tid ); Operação inversa ao join: O thread tid não sofrerá nenhuma sincronização por join 102

103 Pthreads Manipulação de Threads Sincronização: tid2 tid main pthread_create(&tid,... OiMundo,...); pthread_create(&tid2,... OiMundo,...); return dta; Aguarda término tempo pthread_join(tid, &ret); pthread_join(tid2, &ret2); 103

104 Pthreads Ciclo de vida Criar lista de espera Pronto OK Bloq escalonamento time-out Exec sincronização return Fim termina Zumbi Joinable sincroniza 104

105 Pthreads Exemplo: produtor/consumidor void *prod(void *args) { Buf *buf = malloc; void *cons(void *args) { Buf *buf; pthread_t p; produz item return buf; } p = (pthread_t)* args; pthread_join( p, &buf ); consome item main(){ pthread_t p[5], c[5]; for(i = 0 ; i < 5 ; i++ ) { return NULL; } pthread_create(&(p[i]), NULL, prod, NULL ); pthread_create(&(c[i]), NULL, cons, &(p[i])); } } for(i = 0 ; i < 5 ; i++ ) pthread_join(c[i], NULL); 105

106 Pthreads Exemplo: produtor/consumidor void *prod(void *args) { Buf *buf = malloc; produz item return buf; } A sincronização por join garante a void *cons(void *args) { Buf *buf; pthread_t p; p = (pthread_t)* args; pthread_join( p, &buf ); consome item return NULL; main(){ correta pthread_t comunicação p[5], c[5]; entre as tarefas} executadas for(i = 0 ; (controle i < 5 ; i++ da ) comunicação). { pthread_create(&(p[i]), NULL, prod, NULL ); pthread_create(&(c[i]), NULL, cons, &(p[i])); } P 0 P 1 P 2 P 3 P 4 C 0 C 1 C 2 C 3 C 4 } for(i = 0 ; i < 5 ; i++ ) pthread_join(c[i], NULL); 106

107 Pthreads Descritor de threads Identificador do thread (Thread ID) Registradores Contador de Programa (PC) Ponteiro de Pilha (SP) Registradores Gerais Pilha de execução local Dados locais aos escopos Endereços de retorno para chamadas de subrotinas Endereço de retorno após completar a chamada Endereço dos outros threads Ponteiro do PCB do processo Informações de escalonamento Prioridade Estado Tipo de escalonamento

108 Pthreads Atributos de threads Alguns atributos podem ser definidos para execução Tamanho da pilha Política de escalonamento Prioridade Escopo de execução } Pode não ser garantido Depende da implementação pthread_attr_t int pthread_attr_init( pthread_attr_t* atrib ); int pthread_attr_setxxxx( pthread_attr_t* atrib, int valor ); 108

109 Pthreads Atributos de threads Alguns atributos podem ser definidos para execução Escopo de execução Local ao processo: PTHREAD_SCOPE_PROCESS O thread deverá ser escalonado no escopo do processo Sistema: PTHREAD_SCOPE_SYSTEM É definida uma unidade de escalonamento próprio ao thread int pthread_attr_setscope( &atrib, XXXX ); 109

110 Pthreads Atributos de threads Alguns atributos podem ser definidos para execução Estratégia de escalonamento SCHED_FF SCHED_RR SCHED_OTHER (default) No GNU-Linux: SCHED_FF e SCHED_FF apenas como super-usuário. int pthread_attr_setschedpolicy( &atrib, XXXX ); 110

111 Pthreads Atributos de threads Alguns atributos podem ser definidos para execução Modo de execução Autônoma: PTHREAD_CREATE_DETACHED O thread não sofrerá operação de sincronização por join Sincronizável: PTHREAD_CREATE_JOINABLE (default) Algum thread deverá efetuar join sobre o thread int pthread_attr_setdetachstate( &atrib, XXXX ); 111

112 Pthreads Atributos de threads Manipulação da pilha do thread Identificação de um tamanho alternativo para a pilha int pthread_attr_setstacksize( pthread_attr_t* atrib, size_t tam ); Identificação de uma área de memória alternativa (com tamanho mínimo de PTHREAD_STACK_MIN) int pthread_attr_setstackaddr( pthread_attr_t* atrib, void* end ); Atenção: o padrão não define se end corresponde ao endereço baixo ou alto do memória 112

Exibir mais