Name
Abstract | ||
|---|---|---|
The two standard models used for communication in concurrent programs, shared memory and message passing, have been the focus of much debate for a long time. Still, we believe the main issue at stake should not be the choice between these models, but rather how to ensure that communication is structured, i.e., it occurs only in syntactically restricted code regions. In this survey, we explore concurrency control models and evaluate how their characteristics contribute positively or negatively to the support for structured communication. We focus the evaluation on three properties: reasonability, which is the main property we are interested in and determines how easily programmers can reason about a concurrent program's execution; performance, which determines whether there are any distinct features which can prevent or facilitate efficient implementations; and composability, which determines whether a model offers constructs that can be used as building blocks for coarser-grained, or higher-level, concurrency abstractions. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1016/j.jpdc.2013.11.005 | J. Parallel Distrib. Comput. |
Keywords | Field | DocType |
concurrent program,concurrency abstraction,efficient implementation,long time,main issue,distinct feature,main property,structured communication,concurrency control model,message passing,communication,concurrency | Isolation (database systems),Programming language,Concurrency control,Concurrency,Structured communication,Computer science,Parallel computing,Multiversion concurrency control,Composability,Non-lock concurrency control,Message passing,Distributed computing | Journal |
Volume | Issue | ISSN |
74 | 4 | 0743-7315 |
Citations | PageRank | References |
0 | 0.34 | 71 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexandre Skyrme | 1 | 19 | 2.15 |
| Noemi Rodriguez | 2 | 29 | 4.51 |
| Roberto Ierusalimschy | 3 | 463 | 54.25 |