Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
10.2.2 Jantar dos Filósofos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236
10.3 Implementações de threads: nativas ou green . . . . . . . . . . . . . . . . . . 237
10.3.1 Threads via co-rotinas . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
10.3.2 Modificando o interpretador meta-circular . . . . . . . . . . . . . . . 237
10.3.3 Tempo real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
11 Memória Compartilhada 239
11.1 Travas (Locks) de exclusão mútua . . . . . . . . . . . . . . . . . . . . . . . . . 239
11.2 Variáveis de condição . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240
11.2.1 Variáveis de condição no padrão POSIX . . . . . . . . . . . . . . . . . 244
11.3 Semáforos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
11.3.1 Exemplo de uso: rendezvous . . . . . . . . . . . . . . . . . . . . . . . . 245
11.3.2 Exemplo: produtor-consumidor . . . . . . . . . . . . . . . . . . . . . 246
11.3.3 Exemplo: lightswitch . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
11.3.4 Exemplo: jantar dos filósofos . . . . . . . . . . . . . . . . . . . . . . . 249
11.3.5 Semáforos POSIX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
11.3.6 Semáforos em Java . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251
11.3.7 Mais sobre semáforos . . . . . . . . . . . . . . . . . . . . . . . . . . . 252
11.4 Barreiras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252
11.5 Monitores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
11.5.1 Variáveis de condição com bloqueio . . . . . . . . . . . . . . . . . . . 254
11.5.2 Variáveis de condição sem bloqueio . . . . . . . . . . . . . . . . . . . 255
11.5.3 Exemplo: produtor-consumidor . . . . . . . . . . . . . . . . . . . . . 256
11.5.4 Exemplo: barreira . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257
11.5.5 Exemplo: jantar dos filósofos . . . . . . . . . . . . . . . . . . . . . . . 258
11.5.6 Monitores em Java . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 258
11.6 Memória Transacional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259
11.6.1 Suporte por hardware . . . . . . . . . . . . . . . . . . . . . . . . . . . 260
11.6.2 Memória transacional por software . . . . . . . . . . . . . . . . . . . 260
11.7 Thread Pools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 260
11.7.1 Exemplo: um servidor HTTP . . . . . . . . . . . . . . . . . . . . . . . 263
11.7.2 Thread Pools em Java . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
12 Passagem de Mensagens 269
12.1 Mensagens assíncronas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
Versão Preliminar
12.1.1 Exemplo: produtor/consumidor . . . . . . . . . . . . . . . . . . . . . 273
12.1.2 Exemplo: filtros e redes de intercalação . . . . . . . . . . . . . . . . . 274
12.1.3 Timeout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274
[ 27 de outubro de 2010 at 15:47 ]
v