Automatically Injecting Robustness Statements into Distributed Applications
Daniele Marletta,
Alessandro Midolo and
Emiliano Tramontana ()
Additional contact information
Daniele Marletta: Dipartimento di Matematica e Informatica, University of Catania, 95125 Catania, Italy
Alessandro Midolo: Dipartimento di Matematica e Informatica, University of Catania, 95125 Catania, Italy
Emiliano Tramontana: Dipartimento di Matematica e Informatica, University of Catania, 95125 Catania, Italy
Future Internet, 2024, vol. 16, issue 11, 1-16
Abstract:
When developing a distributed application, several issues need to be handled, and software components should include some mechanisms to make their execution resilient when network faults, delays, or tampering occur. For example, synchronous calls represent a too-tight connection between a client requesting a service and the service itself, whereby potential network delays or temporary server overloads would keep the client side hanging, exposing it to a domino effect. The proposed approach assists developers in dealing with such issues by providing an automatic tool that enhances a distributed application using simple blocking calls and makes it robust in the face of adverse events. The proposed devised solution consists in automatically identifying the parts of the application that connect to remote services using simple synchronous calls and substituting them with a generated customized snippet of code that handles potential network delays or faults. To accurately perform the proposed transformation, the devised tool finds application code statements that are data-dependent on the results of the original synchronous calls. Then, for the dependent statements, a solution involving guarding code, proper synchronization, and timeouts is injected. We experimented with the analysis and transformation of several applications and report a meaningful example, together with the analysis of the results achieved.
Keywords: resilience; refactoring; static code analysis; RMI; network faults; parallelism (search for similar items in EconPapers)
JEL-codes: O3 (search for similar items in EconPapers)
Date: 2024
References: View references in EconPapers View complete reference list from CitEc
Citations:
Downloads: (external link)
https://www.mdpi.com/1999-5903/16/11/416/pdf (application/pdf)
https://www.mdpi.com/1999-5903/16/11/416/ (text/html)
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:gam:jftint:v:16:y:2024:i:11:p:416-:d:1517836
Access Statistics for this article
Future Internet is currently edited by Ms. Grace You
More articles in Future Internet from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().