Informações
Tema: Um estudo do Modelo de Atores aplicado à concorrência de recursos
Nome: Fellipe Souto Sampaio
Orientadora: Prof. Dra Ana Cristina Vieira de Melo
Prof Responsável: Prof. Dra Nina Hirata
Instituição de Ensino: Instituto de Matemática e Estatística - Universidade de São Paulo
Data: Dezembro de 2016
Resumo:
A concorrência por recursos computacionais é um dos problemas mais fundamentais da computação. Essa disputa pode acontecer em qualquer nível de Software, desde trechos de memória sendo compartilhados por diversos processos no Kernel do sistema operacional até serviços web sendo consumidos por centenas de aplicações distribuídas.
Lidar com essa concorrência não é uma tarefa trivial, impasses como Deadlocks, Livelocks e Starvation são comuns de acontecer quando tentamos arbitrar o compartilhamento de recursos. O Modelo de Atores é um modelo matemático para programação concorrente, que permite uma abordagem diferente para o compartilhamento de estruturas; elas passam a estar encapsuladas dentro dos atores e seu acesso é controlado através da troca de mensagens.
Problemas clássicos de concorrência, como O Jantar dos Filósofos, podem ser modelados e solucionados através do Modelo de Atores. A concorrência por recursos existente no problema é resolvida de forma natural, através da definição de quais tipos de mensagens serão trocadas e como elas deverão ser interpretadas pelos atores.
Palavras-chave: Programação Concorrente, Modelo de Atores, Compartilhamento de Recursos, O Problema do Jantar dos Filósofos.