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.