@conference { asfav-inforum2013,
	title = {Uma Abordagem Alto N{\'\i}vel ao Controlo de Concorr{\^e}ncia Compon{\'\i}vel Centrado nos Dados},
	booktitle = {INForum 2013 - Atas do 5{\textordmasculine} Simp{\'o}sio de Inform{\'a}tica},
	year = {2013},
	note = {<p>n/a</p>
},
	month = {09},
	pages = {298-309},
	publisher = {Escola de Ci{\^e}ncias e Tecnologia da Universidade de {\'E}vora},
	organization = {Escola de Ci{\^e}ncias e Tecnologia da Universidade de {\'E}vora},
	address = {{\'E}vora, Portugal},
	abstract = {<p>O controlo da concorr{\^e}ncia no acesso a estado partilhado assume actualmente um papel de destaque no desenvolvimento de software. Trabalhos recentes prop{\~o}em que tal gest{\~a}o seja expressa ao n{\'\i}vel dos dados, em alternativa {\`a} usual centralidade no c{\'o}digo. A principal vantagem {\'e} o acoplamento da gest{\~a}o da concorr{\^e}ncia com a declara{\c c}{\~a}o dos dados, eliminando desse modo a descentraliza{\c c}{\~a}o dos erros de concorr{\^e}ncia, facilitando a sua corre{\c c}{\~a}o. No entanto, as abordagens centradas nos dados existentes pecam por n{\~a}o garantirem a aus{\^e}ncia de deadlocks em todos os cen{\'a}rios e/ou exigirem do programador a agrega{\c c}{\~a}o expl{\'\i}cita dos recursos que devem ser avaliados atomicamente. A nossa proposta colmata ambas estas limita{\c c}{\~o}es. O programador anota isoladamente que zonas de mem{\'o}ria requerem acesso exclusivo, sendo que uma an{\'a}lise est{\'a}tica infere quais dessas devem ser agrupadas e adquiridas atomicamente, e garante que o c{\'o}digo gerado {\'e} ausente de deadlocks. De modo a aferir-se a efici{\^e}ncia da nossa solu{\c c}{\~a}o, comparamos o seu desempenho e a sua produtividade relativamente {\`a} mem{\'o}ria transacional e outras abordagens centrada nos dados.</p>
},
	author = {Daniel  Parreira and Paulino, Herv{\'e}},
	editor = {Jo{\~a}o Cachopo and Beatriz Sousa Santos}
}
