dc.contributor.author |
Carlsson, R |
en |
dc.contributor.author |
Sagonas, K |
en |
dc.contributor.author |
Wilhelmsson, J |
en |
dc.date.accessioned |
2014-03-01T01:24:38Z |
|
dc.date.available |
2014-03-01T01:24:38Z |
|
dc.date.issued |
2006 |
en |
dc.identifier.uri |
https://dspace.lib.ntua.gr/xmlui/handle/123456789/17364 |
|
dc.subject |
Concurrent Language |
en |
dc.subject |
Concurrent Programs |
en |
dc.subject |
Message Passing |
en |
dc.subject |
Runtime System |
en |
dc.subject |
Static Analysis |
en |
dc.title |
Message analysis for concurrent programs using message passing |
en |
heal.type |
journalArticle |
en |
heal.identifier.primary |
10.1145/1146813 |
en |
heal.identifier.secondary |
http://dx.doi.org/10.1145/1146813 |
en |
heal.publicationDate |
2006 |
en |
heal.abstract |
We describe an analysis-driven storage allocation scheme for concurrent systems that use message passing with copying semantics. The basic principle is that in such a system, data which is not part of any message does not need to be allocated in a shared data area. This allows for the deallocation of thread-specific data without requiring global synchronization and often without |
en |
heal.journalName |
ACM Transactions on Programming Languages and Systems |
en |
dc.identifier.doi |
10.1145/1146813 |
en |