| Home \ Publications \ InProceedings Page | Login |
|
Uma Abordagem Alto Nível ao Controlo de Concorrência Componível Centrado nos Dados Abstract:O controlo da concorrência no acesso a estado partilhado assume actualmente um papel de destaque no desenvolvimento de software. Trabalhos recentes propõem que tal gestão seja expressa ao nível dos dados, em alternativa à usual centralidade no código. A principal vantagem é o acoplamento da gestão da concorrência com a declaração dos dados, eliminando desse modo a descentralização dos erros de concorrência, facilitando a sua correção. No entanto, as abordagens centradas nos dados existentes pecam por não garantirem a ausência de deadlocks em todos os cenários e/ou exigirem do programador a agregação explícita dos recursos que devem ser avaliados atomicamente. A nossa proposta colmata ambas estas limitações. O programador anota isoladamente que zonas de memória requerem acesso exclusivo, sendo que uma análise estática infere quais dessas devem ser agrupadas e adquiridas atomicamente, e garante que o código gerado é ausente de deadlocks. De modo a aferir-se a eficiência da nossa solução, comparamos o seu desempenho e a sua produtividade relativamente à memória transacional e outras abordagens centrada nos dados. @ INForum 2013 - Atas do 5º Simpósio de Informática Editors: João Cachopo and Beatriz Sousa Santos Publisher: Escola de Ciências e Tecnologia da Universidade de Évora ( Portugal ) Pages: 298 to 309 Date: September, 2013 Authors:
|
