Please use this identifier to cite or link to this item:
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
plarva-conc.pdf169.64 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.