Scalability and parallelism can reduce software performance when tasks interact with data, for example when tasks access remote data or tasks modify shared data. This motivate the aim of the ADAPT project: to improve data processing, by systematically extracting data-access patterns from applications and by matching and customize task scheduling and data allocation using such patterns.
About the project
The ADAPT project will introduce a formal notion of data-access patterns that describes abstractly how computation interacts with memory. ADAPT combines formal models of parallel systems with basic research in programming language theory, with the aim of developing novel techniques to improve data locality and demonstrating their applicability by means of experimental proof of concept.
The main goal of the project is "to study how to systematically explore applications with parallel data processing to (1) extract information related to how tasks interact with data in memory, and (2) use this information to coordinate data allocation and task scheduling”.
The ADAPT project will develop a formal theory that captures abstractly the interaction of workflows with dynamically created tasks and memory locations on parallel computers. This theory will form the basis to combine formal analysis with model-based simulations, using data-access patterns, to control schedulers and allocators for a specific application. The approach will be validated with a proof of concept tool applied to a case study based on a real application.
ADAPT’s research agenda is based on two hypotheses. First, application-specific data management, combining data scheduling and task allocation, can improve the performance of highly parallelised applications that access large amounts of data. Second, that abstractions, formal foundations, and executable modelling together enable model-based static analysis techniques that can predict runtime data access with sufficient precision to improve data management for a particular application. Therefore, the project will study how to systematically infer these patterns for a particular parallel application before execution, and how to use them later to monitor and control data distribution and data movement of the application while it is running. This will allow better data allocation and task scheduling and could avoid performance degradation.
The Research Council of Norway - FRINATEK - Young Research Talent
- CWI’s Foundations of Software Engineering group, Amsterdam.
- Dept. of Computing, Imperial College London.
- Dept. of Computer Science, University of Oxford.
- Numascale, Norway.
Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard & Tapia Tarifa, Silvia Lizeth (2021). Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-030-78142-2_1.
Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch & Tapia Tarifa, Silvia Lizeth (2021). Designing Distributed Control with Hybrid Active Objects. In Margaria, Tiziana & Steffen, Bernhard (Ed.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV. Springer. ISSN 978-3-030-83722-8. p. 88–108. doi: 10.1007/978-3-030-83723-5_7.
Halvorsrud, Ragnhild; Mannhardt, Felix; Johnsen, Einar Broch & Tapia Tarifa, Silvia Lizeth (2021). Smart Journey Mining for Improved Service Quality. In Barbara, Carminati (Eds.), IEEE International Conference on Services Computing, SCC 2021. IEEE. ISSN 978-1-6654-1683-2. p. 367–369. doi: 10.1109/SCC53864.2021.00051. Full text in Research Archive
Turin, Gianluca; Borgarelli, Andrea; Donetti, Simone; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth & Damiani, Ferruccio (2020). A Formal Model of the Kubernetes Container Framework. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12476, p. 558–577. doi: 10.1007/978-3-030-61362-4_32. Full text in Research Archive
Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2019). Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11424, p. 332–350. doi: 10.1007/978-3-030-16722-6_20. Full text in Research Archive
Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2019). A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming. ISSN 0167-6423. 179, p. 24–53. doi: 10.1016/j.scico.2019.04.003.
Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph & Tapia Tarifa, Silvia Lizeth (2018). Deployment by Construction for Multicore Architectures. In Margaria, Tiziana & Steffen, Bernhard (Ed.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I. Springer. ISSN 978-3-030-03417-7. p. 448–465. doi: 10.1007/978-3-030-03418-4_26.
Ahrendt, Wolfgang & Tapia Tarifa, Silvia Lizeth (2019). Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Springer. ISBN 978-3-030-34967-7. 551 p.