Please use this identifier to cite or link to this item:
|Title:||Considerations for monitoring highly concurrent systems|
Pace, Gordon J.
Formal methods (Computer science)
Computer software -- Development
Computer software -- Verification
Autonomous distributed systems
Computer network architectures
|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|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.