Prevenção de Violações de Atomicidade usando Contractos

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 languageUnknown
Title of host publicationINForum 2013 - Comunicações
Place of PublicationLisbon, Portugal
PublisherFaculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Pages190-201
ISBN (Print)978-989-97060-8-8
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