ADAPT
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.
Objectives
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”.
Outcomes
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.
Background
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.
Financing
ADAPT: Exploiting Abstract Data-Access Patterns for Better Data Locality in Parallel Processing
The Research Council of Norway - FRINATEK - Young Research Talent
Cooperation
- CWI’s Foundations of Software Engineering group, Amsterdam.
- Dept. of Computing, Imperial College London.
- Dept. of Computer Science, University of Oxford.
- Numascale, Norway.
Tools
Publications
-
Tapia Tarifa, Silvia Lizeth (2022). Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13360, p. 481–499. doi: 10.1007/978-3-031-08166-8%5C_23.
-
Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf & Gruschka, Nils (2022). A Policy Language to Capture Compliance of Data Protection Requirements. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13274, p. 289–309. doi: 10.1007/978-3-031-07727-2%5C_16.
-
Kamburjan, Eduard; Klungre, Vidar Norstein; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Cameron, David & Johnsen, Einar Broch (2022). Digital Twin Reconfiguration Using Asset Models. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13704, p. 71–88. doi: 10.1007/978-3-031-19762-8%5C_6.
-
Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Johnsen, Einar Broch (2022). Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13701, p. 188–204. doi: 10.1007/978-3-031-19849-6%5C_12.
-
Päßler, Juliane; Aguado, Esther; Rezende Silva, Gustavo; Tapia Tarifa, Silvia Lizeth; Hernández Corbato, Carlos & Johnsen, Einar Broch (2022). A Formal Model of Metacontrol in Maude. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13701, p. 575–596. doi: 10.1007/978-3-031-19849-6%5C_32.
-
Kobialka, Paul; Tapia Tarifa, Silvia Lizeth; Bergersen, Gunnar R. & Johnsen, Einar Broch (2022). Weighted Games for User Journeys. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13550, p. 253–270. doi: 10.1007/978-3-031-17108-6%5C_16.
-
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.
-
Lebesbye, Torgeir; Mauro, Jacopo; Turin, Gianluca & Yu, Ingrid Chieh (2021). Boreas – A Service Scheduler for Optimal Kubernetes Deployment. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 221–237. doi: 10.1007/978-3-030-91431-8_14. Full text in Research Archive
-
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 (Institute of Electrical and Electronics Engineers). ISSN 978-1-6654-1683-2. p. 367–369. doi: 10.1109/SCC53864.2021.00051. Full text in Research Archive
-
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.
-
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
-
de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2020). From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12226, p. 269–275. doi: 10.1007/978-3-030-57506-9_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.
-
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 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.
-
Tapia Tarifa, Silvia Lizeth & Proença, José (2022). Formal Aspects of Component Software. 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. Springer. ISBN 978-3-031-20871-3. 13712(13712). 245 p.
-
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.
-
Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth & Wehrheim, Heike (2021). Formal Aspects of Computing, Volume 33, Number 6, December 2021. Extended versions of papers presented at iFM 2019. Formal Aspects of Computing. ISSN 0934-5043. 33(6). doi: 10.1007/s00165-021-00569-w.