Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
7.5 Problemas comuns a todos os sistemas de macro . . . . . . . . . . . . . . . 181
7.5.1 Número de avaliações . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
7.5.2 Tipos de variáveis e seus valores . . . . . . . . . . . . . . . . . . . . . 183
7.6 Quando usar macros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
7.7 Abstração de dados com macros . . . . . . . . . . . . . . . . . . . . . . . . . 185
7.8 Exemplo: Trace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
7.9 Casamento de padrões . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
8 Continuações 195
8.1 Definindo continuações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
8.1.1 Contextos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
8.1.2 Procedimentos de escape . . . . . . . . . . . . . . . . . . . . . . . . . 197
8.1.3 Continuações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198
8.1.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
8.2 Um exemplo simples: escapando de laços . . . . . . . . . . . . . . . . . . . . 200
8.3 Extensão dinâmica e dynamic-wind . . . . . . . . . . . . . . . . . . . . . . . 201
8.4 Sistemas de exceções . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
8.5 Co-rotinas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
8.6 Multitarefa não-preemptiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
8.7 O GOTO funcional e cuidados com continuações . . . . . . . . . . . . . . . 211
8.8 Não-determinismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213
8.9 Estilo de passagem de continuações (opcional) . . . . . . . . . . . . . . . . . 213
9 Preguiça 215
9.1 Delay e force . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
9.1.1 Como implementar delay e force . . . . . . . . . . . . . . . . . . . . . 217
9.2 Estruturas infinitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
9.3 Streams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
9.4 Estruturas de dados com custo amortizado . . . . . . . . . . . . . . . . . . . 223
9.5 Problemas com delay e force . . . . . . . . . . . . . . . . . . . . . . . . . . . 224
10 Concorrência 225
10.1 Problemas inerentes à Programação Concorrente . . . . . . . . . . . . . . . 227
10.1.1 Corretude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227
10.1.2 Dependência de velocidade . . . . . . . . . . . . . . . . . . . . . . . . 228
Versão Preliminar
10.1.3 Deadlocks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
10.1.4 Starvation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
10.2 Problemas e exemplos típicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
10.2.1 Produtor-consumidor . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
iv
[ 27 de outubro de 2010 at 15:47 ]