Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23172
Title: | Considerations for monitoring highly concurrent systems |
Authors: | Mizzi, Ruth Colombo, Christian Francalanza, Adrian Pace, Gordon J. |
Keywords: | Algorithms Formal methods (Computer science) Computer software -- Development Computer software -- Verification Autonomous distributed systems Computer network architectures Aspect-oriented programming |
Issue Date: | 2012 |
Publisher: | University of Malta. Faculty of Information and Communication Technology |
Citation: | Mizzi, R., Colombo, C., Francalanza, A., & Pace, G. (2012). Considerations for monitoring highly concurrent systems. (01-WICT-2012), Msida. |
Abstract: | Sequential monitoring tools such as Larva are impractical for monitoring highly concurrent systems such as online establishments handling hundreds of transactions a second — they lock valuable resources which may otherwise be used to serve valid user requests. In the context of an open-source e-commerce system, we discuss design issues involved in allowing monitors to run concurrently while at the same time ensuring that they remain correct: free from race conditions and faithful to the properties they embody. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23172 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
plarva-conc.pdf | 169.64 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.