Project detail

Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)

Duration: 10.02.2011 — 09.02.2015

Funding resources

Ministerstvo školství, mládeže a tělovýchovy ČR - COST CZ (2011-2017)

- whole funder (2011-02-10 - 2015-02-09)

On the project

Parallel programming used to be an area once confined to a few niches, such as scientific and high-performance computing applications. However, with the proliferation of multicore processors, and the emergence of new, inherently parallel and distributed deployment platforms, such as those provided by cloud computing, parallel programming has definitely become a mainstream concern. Transactional memories (TMs) answer the need to find a better programming model for parallel programming, capable of boosting developers' productivity and allowing ordinary programmers to unleash the power of parallel and distributed architectures avoiding the pitfalls of manual, lock based synchronization. It is therefore no surprise that TM has been subject to intense research in the last years. The Euro-TM COST action aims at consolidating European research on this important field, by coordinating the European research groups working on the development of complementary, interdisciplinary aspects of transactional memories, including theoretical foundations, algorithms, hardware and operating system support, language integration and development tools, and applications.

Description in Czech
Projekt se zaměřuje na výzkum teoretických základů transakčních pamětí, návrh algoritmů pro práci s nimi, vývoj nástrojů na těchto algoritmech založených a na aplikace transakčních pamětí.

Keywords
concurrent programs, transactional memories

Mark

IC1001

Default language

English

People responsible

Dudka Vendula, Ing. - fellow researcher
Fiedor Jan, Ing., Ph.D. - fellow researcher
Křena Bohuslav, Ing., Ph.D. - fellow researcher
Letko Zdeněk, Ing., Ph.D. - fellow researcher
Šimková Hana, Mgr. Bc., Ph.D. - fellow researcher
Lourenco Joao - principal person responsible

Units

Department of Intelligent Systems
- beneficiary (2013-03-31 - 2015-02-09)
Research Centre of Information Technology
- internal (2013-03-31 - 2015-02-09)

Results

FIEDOR, J.; VOJNAR, T.; LETKO, Z.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. In Proceedings of EUROCAST'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 555-564. ISBN: 978-3-319-27339-6.
Detail

FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T. On Monitoring C/C++ Transactional Memory Programs. In Proceedings of MEMICS'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 73-87. ISBN: 978-3-319-14895-3.
Detail

Link