Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ngoc-Khai Nguyen"'
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 32:791-818
Software transactional memory (STM) programs usually use more memory resources than traditional programs. Therefore, estimating an upper bound of memory resources used by an STM program is crucial for optimizing the program and reducing the risks of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::beefa579d10a810f2e1cdd52a2da8ebb
https://doi.org/10.1142/s0218194022500139
https://doi.org/10.1142/s0218194022500139
Autor:
Anh-Hoang Truong, Ngoc-Khai Nguyen
Publikováno v:
SoICT
In our previous works, we proposed several type systems that can guarantee log memory bounds of transactional programs. One drawback of these type systems is their restricted compositionality. In this work, we develop a type system that is completely
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::654ba6cc9fd7eb1011eee723a0f1a216
https://doi.org/10.1145/3155133.3155183
https://doi.org/10.1145/3155133.3155183
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2016 ISBN: 9783319467498
ICTAC
ICTAC
During the execution of multi-threaded and transactional programs, when new threads are created or new transactions are started, memory areas called logs are implicitly allocated to store copies of shared variables so that the threads can independent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48581e3ca9c35ff02f3e77798f84b30b
https://doi.org/10.1007/978-3-319-46750-4_6
https://doi.org/10.1007/978-3-319-46750-4_6
