When: Wednesday, 2014-Sep-17, 11h30-12h00
Where: FCUL-DI, room C6.3.38
Presenter: Tiago Cogumbreiro
Abstract: A major part of deadlock detection is the maintenance of the concurrency constraints between tasks and blocking operations (e.g., barriers). Since barriers are collective operations, their analysis requires information distributed among various tasks. To improve the scalability of distributed deadlock detection, we propose an alternative representation that is oblivious of the status of the barrier operation—a global property—and instead considers the local impact of each task in the global ordering of barrier synchronisation.