Abstract
We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions that record relevant information for the time analysis (cost of statements, creations of objects, and concurrent operations), called behavioural types. Then, we define a translation function that takes behavioural types and makes the parallelism explicit into so-called cost equations, which are fed to an automatic off-the-shelf solver for obtaining the time complexity.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Supported by the EU projects FP7-610582 Envisage: Engineering Virtualized Services (http://www.envisage-project.eu).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Albert, E., de Boer, F.S., Hähnle, R., Johnsen, E.B., Schlatte, R., Tarifa, S.L.T., Wong, P.Y.H.: Formal modeling of resource management for cloud architectures : an industrial case study using Real-Time ABS. J. Serv.-Oriented Comput. Appl. 8(4), 323–339 (2014)
Albert, E., Correas, J., Johnsen, E.B., Román-Díez, G.: Parallel cost analysis of distributed systems. In: Blazy, S., Jensen, T. (eds.) SAS 2015. LNCS, vol. 9291, pp. 275–292. Springer, Heidelberg (2015)
Buyya, R., Yeo, C.S., Venugopal, S., Broberg, J., Brandic, I.: Cloud computing and emerging IT platforms: vision, hype, and reality for delivering computing as the 5th utility. Future Gener. Comp. Syst. 25(6), 599–616 (2009)
Flores-Montoya, A., Hähnle, R.: Resource analysis of complex programs with cost equations. In: Garrigue, J. (ed.) APLAS 2014. LNCS, vol. 8858, pp. 275–295. Springer, Heidelberg (2014)
Garcia, A., Laneve, C., Lienhardt, M.: Static analysis of cloud elasticity. In: Proceedings of PPDP vol. 2015 (2015)
Hähnle, R., Johnsen, E.B.: Resource-aware applications for the cloud. IEEE Comput. 48(6), 72–75 (2015)
Johnsen, E.B., Pun, K.I., Steffen, M., Tarifa, S.L.T., Yu, I.C.: Meeting deadlines, elastically. In: From Action Systems to Distributed Systems: The Refinement Approach. CRC Press (to Appear, 2015)
Johnsen, E.B., Schlatte, R., Tarifa, S.L.T.: Integrating deployment architectures, resource consumption in timed object-oriented models. J. Logical Algebraic Meth. Program. 84(1), 67–91 (2015)
Trinder, P.W., Cole, M.I., Hammond, K., Loidl, H., Michaelson, G.: Resource analyses for parallel and distributed coordination. Concurrency Comput.: Pract. Experience 25(3), 309–348 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Giachino, E., Johnsen, E.B., Laneve, C., Pun, K.I. (2016). Time Complexity of Concurrent Programs. In: Braga, C., Ölveczky, P. (eds) Formal Aspects of Component Software. FACS 2015. Lecture Notes in Computer Science(), vol 9539. Springer, Cham. https://doi.org/10.1007/978-3-319-28934-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-28934-2_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28933-5
Online ISBN: 978-3-319-28934-2
eBook Packages: Computer ScienceComputer Science (R0)