Skip to main content
Springer Nature Link
Log in

Concurrent Program Metrics Drawn by Quasar

  • Conference paper
Reliable Software Technologies – Ada-Europe 2008 (Ada-Europe 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5026))

Included in the following conference series:

  • 360 Accesses

Abstract

Aiming at developing reliable concurrent software, the engineering practice uses appropriate metrics. Our tool Quasar analyses automatically the concurrent part of programs and produces data reporting its analysis process. We attempt to use the data as metrics for concurrent programming. The first aim of Quasar is the validation of concurrent code; in addition, the reported data may be relevant to mark the quality of code, to evaluate different concurrency semantics, to compare the execution indeterminism of different implementations of a concurrency pattern and to estimate the scalability of a solution. As a case study we analyse with Quasar several implementations of a distributed symmetric non-deterministic rendezvous algorithm. We consider two possible uses of the collected data for indeterminism estimation and for concurrent software quality.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Quasar website, http://quasar.cnam.fr/files/concurrency_papers.html

  2. Andrews, G.R.: Concurrent programming: principles and practice. Benjamin-Cummings Publishing Co. Inc., USA (1991)

    Google Scholar 

  3. Buhr, P.A., Fortier, M., Coffin, M.H.: Monitor classification. ACM Comput. Surv. 27(1), 63–107 (1995)

    Article  Google Scholar 

  4. Cha, S., Chung, I.S., Kwon, Y.R.: Complexity measures for concurrent programs based on information-theoretic metrics. Inf. Proc. Lett. 46(1), 43–50 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  5. Chung, C.-M., Shih, T.K., Wang, Y.-H., Lin, W.-C., Kou, Y.-F.: Task decomposition testing and metrics for concurrent programs. In: Proc. of the 7th Int. Symposium on Software Reliability Engineering (1996)

    Google Scholar 

  6. Peled, D., Clarke, E., Grumberg, O.: Model Checking. MIT Press, Cambridge (1999)

    Google Scholar 

  7. Evangelista, S., Kaiser, C., Pradat-Peyre, J.-F., Rousseau, P.: Quasar: A New Tool for Concurrent Ada Programs Analysis. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol. 2655, pp. 168–181. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Evangelista, S., Kaiser, C., Pradat-Peyre, J.F., Rousseau, P.: Verifying linear time temporal logic properties of concurrent ada programs with quasar. In: Proc. of the 2003 Annual ACM Int. Conf. on Ada (SIGAda 2003), pp. 17–24 (2003)

    Google Scholar 

  9. Evangelista, S., Kaiser, C., Pradat-Peyre, J.-F., Rousseau, P.: Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement. Ada Letters XXVI(2), 23–37 (2006)

    Article  Google Scholar 

  10. Halstead, M.H.: Elements of Software Science. Operating and programming systems series. Elsevier Science Inc., New York (1977)

    MATH  Google Scholar 

  11. Hoare, C.A.R.: Monitors: an operating system structuring concept. Commun. ACM 17(10), 549–557 (1974)

    Article  MATH  Google Scholar 

  12. Kaiser, C., Pajault, C., Pradat-Peyre, J.-F.: Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 192–207. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  13. Kaiser, C., Pradat-Peyre, J.F.: Chameneos, a concurrency game for Java, Ada and others. In: Int. Conf. ACS/IEEE AICCSA 2003 (2003)

    Google Scholar 

  14. Kessels, J.L.W.: An alternative to event queues for synchronization in monitors. Commun. ACM 20(7), 500–503 (1977)

    Article  MATH  Google Scholar 

  15. McCabe, T.J.: A complexity measure. IEEE Transactions on Software Engineering 2, 308–320 (1976)

    Article  MathSciNet  Google Scholar 

  16. Brukardt, R., Tucker Taft, S., Duff, R.A., Plödereder, E.: Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol. 2219. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  17. Geotechnical Software Services. Java programming style guidelines (2007)

    Google Scholar 

  18. Shatz, S.M.: Towards complexity metrics for Ada tasking. IEEE Trans. on Softw. Eng. 14(8), 1122–1127 (1988)

    Article  Google Scholar 

  19. JavaRanch Project standards. Java programming style guide (2007)

    Google Scholar 

  20. Tip, F.: A survey of program slicing techniques. Journal of programming languages 3, 121–189 (1995)

    Google Scholar 

  21. Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. SIGSOFT Softw. Eng. Notes 30(2), 1–36 (2005)

    Article  Google Scholar 

  22. Yu, Y., Rodeheffer, T., Chen, W.: Racetrack: efficient detection of data race conditions via adaptive tracking. ACM SIGOPS OSR 39(5), 221–234 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CEDRIC - CNAM Paris, 292, rue St Martin, F-75003, Paris,  

    Claude Kaiser & Christophe Pajault

  2. LIP6 - Université Pierre et Marie Curie, 104 avenue du Président Kennedy, F-75016, Paris,  

    Jean-François Pradat-Peyre

Authors
  1. Claude Kaiser
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christophe Pajault
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jean-François Pradat-Peyre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Fabrice Kordon Tullio Vardanega

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kaiser, C., Pajault, C., Pradat-Peyre, JF. (2008). Concurrent Program Metrics Drawn by Quasar. In: Kordon, F., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2008. Ada-Europe 2008. Lecture Notes in Computer Science, vol 5026. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68624-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68624-8_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68621-7

  • Online ISBN: 978-3-540-68624-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics