Uma Abordagem Alto Nível ao Controlo de Concorrência Componível Centrado nos Dados

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageUnknown
Title of host publicationINForum - Simpósio de Informática
Pages298-309
Publication statusPublished - 1 Jan 2013
EventINForum - Simpósio de Informática -
Duration: 1 Jan 2013 → …

Conference

ConferenceINForum - Simpósio de Informática
Period1/01/13 → …

Cite this