Sobre um Mecanismo de Controlo de Concorrência baseado em Grupos de Recursos

Hervé Miguel Cordeiro Paulino

Sobre um Mecanismo de Controlo de Concorrência baseado em Grupos de Recursos

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

A consolidação do modelo de memória partilhada na programação de arquiteturas multi-core tem centrado atenções no conhecido problema da gestão de estado partilhado. Nessa medida este artigo propõe um mecanismo de controlo de concorrência que permite a aquisição atómica, e mutualmente exclusiva, de conjuntos de recursos. A abordagem distingui-se relativamente a outras na área por permitir composicionalidade livre de deadlocks tanto em cenários estáticos como dinâmicos.

Original language	Unknown
Title of host publication	INForum
Pages	302-305
Publication status	Published - 1 Jan 2012
Event	INForum - Simpósio de Informática - Duration: 1 Jan 2012 → …

Conference

Conference	INForum - Simpósio de Informática
Period	1/01/12 → …

Cite this

@inproceedings{00206806ffd445fd989fd4f7ce5d4550,

title = "Sobre um Mecanismo de Controlo de Concorr{\^e}ncia baseado em Grupos de Recursos",

abstract = "A consolida{\c c}{\~a}o do modelo de mem{\'o}ria partilhada na programa{\c c}{\~a}o de arquiteturas multi-core tem centrado aten{\c c}{\~o}es no conhecido problema da gest{\~a}o de estado partilhado. Nessa medida este artigo prop{\~o}e um mecanismo de controlo de concorr{\^e}ncia que permite a aquisi{\c c}{\~a}o at{\'o}mica, e mutualmente exclusiva, de conjuntos de recursos. A abordagem distingui-se relativamente a outras na {\'a}rea por permitir composicionalidade livre de deadlocks tanto em cen{\'a}rios est{\'a}ticos como din{\^a}micos.",

keywords = "Static Analysis, Data-Centric, Concurrency Management",

author = "Paulino, \{Herv{\'e} Miguel Cordeiro\}",

year = "2012",

month = jan,

day = "1",

language = "Unknown",

isbn = "978-972-8893-32-3",

pages = "302--305",

booktitle = "INForum",

note = "INForum - Simp{\'o}sio de Inform{\'a}tica ; Conference date: 01-01-2012",

}

TY - GEN

T1 - Sobre um Mecanismo de Controlo de Concorrência baseado em Grupos de Recursos

AU - Paulino, Hervé Miguel Cordeiro

PY - 2012/1/1

Y1 - 2012/1/1

N2 - A consolidação do modelo de memória partilhada na programação de arquiteturas multi-core tem centrado atenções no conhecido problema da gestão de estado partilhado. Nessa medida este artigo propõe um mecanismo de controlo de concorrência que permite a aquisição atómica, e mutualmente exclusiva, de conjuntos de recursos. A abordagem distingui-se relativamente a outras na área por permitir composicionalidade livre de deadlocks tanto em cenários estáticos como dinâmicos.

AB - A consolidação do modelo de memória partilhada na programação de arquiteturas multi-core tem centrado atenções no conhecido problema da gestão de estado partilhado. Nessa medida este artigo propõe um mecanismo de controlo de concorrência que permite a aquisição atómica, e mutualmente exclusiva, de conjuntos de recursos. A abordagem distingui-se relativamente a outras na área por permitir composicionalidade livre de deadlocks tanto em cenários estáticos como dinâmicos.

KW - Static Analysis

KW - Data-Centric

KW - Concurrency Management

M3 - Conference contribution

SN - 978-972-8893-32-3

SP - 302

EP - 305

BT - INForum

T2 - INForum - Simpósio de Informática

Y2 - 1 January 2012

ER -