Abstract
A programação concorrente obriga o programador a sincronizar os acessos concorrentes a regiões de memória partilhada, contudo esta abordagem não é suficiente para evitar todas as anomalias que podem ocorrer num cenário concorrente. Executar uma sequência de operações atómicas pode causar violações de atomicidade se existir uma correlação entre essas operações, devendo o programador garantir que toda a sequência de operações é executada atomicamente. Este problema é especialmente comum quando se usam operações de pacotes ou módulos de terceiros, pois o programador pode identificar incorretamente o âmbito das regiões de código que precisam de ser atómicas para garantir o correto comportamento do programa. Para evitar este problema o programador do módulo pode criar um contrato que especifica quais as sequências de operações do módulo que devem ser sempre executadas de forma atómica. Este trabalho apresenta uma análise estática para verificação destes contratos.
Original language | Unknown |
---|---|
Title of host publication | INForum 2013 - Comunicações |
Place of Publication | Lisbon, Portugal |
Publisher | Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa |
Pages | 190-201 |
ISBN (Print) | 978-989-97060-8-8 |
Publication status | Published - 1 Jan 2013 |
Event | INForum - Simpósio de Informática - Duration: 1 Jan 2013 → … |
Conference
Conference | INForum - Simpósio de Informática |
---|---|
Period | 1/01/13 → … |