2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) (2011)
Hong Kong, China
June 27, 2011 to June 30, 2011
Walther Maldonado , University of Neuchâtel, Switzerland
Patrick Marlier , University of Neuchâtel, Switzerland
Pascal Felber , University of Neuchâtel, Switzerland
Julia Lawall , DIKU, Denmark
Giller Muller , INRIA/LIP6, France
Etienne Riviere , University of Neuchâtel, Switzerland
Software Transactional Memory (STM) is an optimistic concurrency control mechanism that simplifies the development of parallel programs. Still, the interest of STM has not yet been demonstrated for reactive applications that require bounded response time for some of their operations. We propose to support such applications by allowing the developer to annotate some transaction blocks with deadlines. Based on previous execution statistics, we adjust the transaction execution strategy by decreasing the level of optimism as the deadlines near through two modes of conservative execution, without overly limiting the progress of concurrent transactions. Our implementation comprises a STM extension for gathering statistics and implementing the execution mode strategies. We have also extended the Linux scheduler to disable preemption or migration of threads that are executing transactions with deadlines. Our experimental evaluation shows that our approach significantly improves the chance of a transaction meeting its deadline when its progress is hampered by conflicts.
G. Muller, W. Maldonado, P. Marlier, P. Felber, J. Lawall and E. Riviere, "Deadline-aware scheduling for Software Transactional Memory," 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), Hong Kong, China, 2011, pp. 257-268.