ProgramaÃ§Ã£o Funcional e Concorrente com Scheme

More documents

Recommendations

Info

notas de aula - Jerônimo C. Pellegrini No exemplo acima as duas primeiras atribuições de variável serão realizadas sequencialmente, e depois delas outras duas serão feitas em paralelo. A troca de mensagens é feita usando os operadores ! e , como no CSP: canal ! expressao canal variavel O trecho de código a seguir: PAR c ! c expressao variavel faz exatamente o mesmo que variavel := expressao ALT Em occam, a palavra-chave ALT implementa escolha determinística: canal1 variavel1 -- p1 canal2 variavel2 -- p2 time AFTER um. segundo -- p3 O código acima executará um dos três trechos, p1, p2 ou p3, dependendo do que acontecer primeiro: alguma comunicação chegar por canal1, alguma comunicação chegar por canal2 ou o timer time exceder um segundo. 13.2 o modelo actor O modelo actor foi proposto por Hewitt, Bishop e Steiger em 1973 como um modelo de Versão Preliminar programação para Inteligência Artificial [52] que se baseava em atores que interagem. O modelo foi modificado e formalizado de maneira diferente mais tarde [53, 4]. A apresentação dada neste texto é próxima daquela dada por Agha [4]. 288 [ 27 de outubro de 2010 at 15:47 ]
notas de aula - Jerônimo C. Pellegrini No modelo actor, um programa é composto de atores cujo comportamento consiste em reagir a mensagens. Para cada mensagem recebida, o comportamento de um ator é definido por uma tripla: • Um número finito de mensagens que devem ser enviadas para outros atores; • Um número finito de novos atores que devem ser criados; • O novo comportamento do ator (que será usado quando a próxima mensagem for recebida). Por exemplo, um ator poderia receber dois tipos de mensagem, PING e PONG, e dar uma resposta para cada uma: • PING: envie ao cliente a mensagem “PING_OK” e mantenha o comportamento anterior; • PONG: envie a cliente a mensagem “PONG_OK” e mude o comportamento, tornando-se um ator que ignora todas as mensagens. Não há compartilhamento de variáveis ou estruturas de qualquer tipo. A única forma de comunicação entre atores é a passagem de mensagens. Por isso é comum usar o nome processo para falar do comportamento de atores – no entanto, as implementações do modelo actor normalmente não mapeiam atores diretamente em processos do sistema operacional, cuja criação e manutenção são caras; os atores funcionam como processos leves. As mensagens trocadas por atores são assíncronas: não há a necessidade de esperar o destinatário para enviar a mensagem. Além disso, cada ator tem um buffer (também chamado de caixa postal), onde mensagens são guardadas até que sejam processadas. De maneira geral, linguagens que implementam o modelo actor oferecem garantia de entrega para mensagens. Mensagens são sempre enviadas a um endereço postal de algum ator. Um ator não necessariamente conhece os endereços de todos os outros. Quando um ator A reage a uma mensagem k e decide enviar outra mensagem m a algum outro ator B: • O endereço de B já era conhecido de A antes de receber a mensagem k, ou Versão Preliminar • O enrereço de B estava contido na mensagem k, ou • B é um novo ator, criado como resultado do processamento da mensagem k. [ 27 de outubro de 2010 at 15:47 ] 289
Page 1 and 2:
notas de aula - Jerônimo C. Pelleg
Page 3 and 4:
Page 5 and 6:
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
Page 17 and 18:
Page 19 and 20:
Page 21 and 22:
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
Page 137 and 138:
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 145 and 146:
Page 147 and 148:
Page 149 and 150:
Page 151 and 152:
Page 153 and 154:
Page 155 and 156:
Page 157 and 158:
Page 159 and 160:
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
Page 167 and 168:
Page 169 and 170:
Page 171 and 172:
Page 173 and 174:
Page 175 and 176:
Page 177 and 178:
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
Page 201 and 202:
Page 203 and 204:
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
Page 223 and 224:
Page 225 and 226:
Page 227 and 228:
Page 229 and 230:
Page 231 and 232:
Page 233 and 234:
Page 235 and 236:
Page 237 and 238:
Page 239 and 240:
Page 241 and 242:
Page 243 and 244:
Page 245 and 246: notas de aula - Jerônimo C. Pelleg
Page 295: notas de aula - Jerônimo C. Pelleg
Page 347 and 348:
Page 349 and 350:
Page 351 and 352:
Page 353 and 354:
Page 355 and 356:
show all

ProgramaÃ§Ã£o Funcional e Concorrente com Scheme

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?