International Workshop on Formal Aspects of Component Software

Formal Aspects of Component Software pp 199-216 | Cite as

Time Complexity of Concurrent Programs

– A Technique Based on Behavioural Types –
  • Elena Giachino
  • Einar Broch Johnsen
  • Cosimo Laneve
  • Ka I. Pun
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9539)

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.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Garcia, A., Laneve, C., Lienhardt, M.: Static analysis of cloud elasticity. In: Proceedings of PPDP vol. 2015 (2015)Google Scholar
  6. 6.
    Hähnle, R., Johnsen, E.B.: Resource-aware applications for the cloud. IEEE Comput. 48(6), 72–75 (2015)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)MATHCrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Elena Giachino
    • 1
  • Einar Broch Johnsen
    • 2
  • Cosimo Laneve
    • 1
  • Ka I. Pun
    • 2
  1. 1.Department of Computer Science and EngineeringUniversity of Bologna – INRIA FOCUSBolognaItaly
  2. 2.Department of InformaticsUniversity of OsloOsloNorway

Personalised recommendations