Table of Contents Author Guidelines Submit a Manuscript
Scientific Programming
Volume 2016, Article ID 9792462, 18 pages
Research Article

Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints

Computer and Software Engineering Department, Polytechnique Montreal, CP 6079, Station Downtown, Montreal, QC, Canada H3C 3A7

Received 25 November 2015; Revised 3 March 2016; Accepted 16 March 2016

Academic Editor: Dimitrios S. Nikolopoulos

Copyright © 2016 Raphaël Beamonte and Michel R. Dagenais. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. L. Aceto, A. Burgueño, and K. G. Larsen, “Model checking via reachability testing for timed automata,” in Proceedings of the 4th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Lisbon, Portugal, March 1998, B. Steffen, Ed., vol. 1384 of Lecture Notes in Computer Science, pp. 263–280, Gulbenkian Foundation, 1998. View at Google Scholar
  2. F. Reumont-Locke, Méthodes efficaces de parallélisation de l'analyse de traces noyau [M.S. thesis], École Polytechnique de Montréal, Québec, Canada, 2015.
  3. D. Couturier and M. R. Dagenais, “LTTng CLUST: a system-wide unified CPU and GPU tracing tool for OpenCL applications,” Advances in Software Engineering, vol. 2015, Article ID 940628, 14 pages, 2015. View at Publisher · View at Google Scholar
  4. B. Brandenburg and J. Anderson, “Feather-trace: a light-weight event tracing toolkit,” in Proceedings of the Third International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, pp. 61–70, July 2007.
  5. B. P. Miller, M. D. Callaghan, J. M. Cargille et al., “The paradyn parallel performance measurement tool,” Computer, vol. 28, no. 11, pp. 37–46, 1995. View at Publisher · View at Google Scholar · View at Scopus
  6. R. Wismüller, M. Bubak, W. Funika, and B. Baliś, “A performance analysis tool for interactive applications on the grid,” International Journal of High Performance Computing Applications, vol. 18, no. 3, pp. 305–316, 2004. View at Publisher · View at Google Scholar · View at Scopus
  7. A. R. Bernat and B. P. Miller, “Anywhere, any-time binary instrumentation,” in Proceedings of the 10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '11), pp. 9–16, Szeged, Hungary, September 2011. View at Publisher · View at Google Scholar · View at Scopus
  8. J. Edge, Perfcounters Added to the Mainline, 2009,
  9. M. Desnoyers, A New Unified Lockless Ring Buffer Library for Efficient Kernel Tracing, 2010,
  10. J. Edge, A Look at Ftrace, 2009,
  11. S. Rostedt, Ftrace—Function Tracer, 2008,
  12. Ftrace: now and then, 2010,
  13. F. C. Eigler, “Problem solving with systemtap,” in Proceedings of the Linux Symposium, vol. 1, pp. 261–268, Ottawa, Canada, July 2006.
  14. R. Krishnakumar, “Kernel korner: kprobes-a kernel debugger,” Linux Journal, vol. 2005, no. 133, p. 11, 2005. View at Google Scholar
  15. M. Desnoyers, Common Trace Format (CTF) Specifications, 2011,;a=blob_plain;f=common-trace-format-specification.txt.
  16. P. E. McKenney and J. Walpole, “Introducing technology into the Linux kernel: a case study,” ACM SIGOPS Operating Systems Review, vol. 42, no. 5, pp. 4–17, 2008. View at Google Scholar
  17. M. Desnoyers, P. E. McKenney, A. S. Stern, M. R. Dagenais, and J. Walpole, “User-level implementations of read-copy update,” IEEE Transactions on Parallel and Distributed Systems, vol. 23, no. 2, pp. 375–382, 2012. View at Publisher · View at Google Scholar · View at Scopus
  18. R. Beamonte, Traçage de systèmes linux multi-coeurs en temps réel [M.S. thesis], École Polytechnique de Montréal, Montreal, Canada, 2013.
  19. S. A. Ezust, Tango: the trace analysis generator [M.S. thesis], McGill University, Montreal, Canada, 1995.
  20. S. A. Ezust and G. V. Bochmann, “An automatic trace analysis tool generator for estelle specifications,” in Proceedings of the ACM SIGCOMM Conference, pp. 175–184, Cambridge, Mass, USA, 1995.
  21. X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe, “Logic of constraints: a quantitative performance and functional constraint formalism,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 23, no. 8, pp. 1243–1255, 2004. View at Publisher · View at Google Scholar · View at Scopus
  22. M. Geimer, F. Wolf, B. J. N. Wylie, E. Ábrahám, D. Becker, and B. Mohr, “The scalasca performance toolset architecture,” Concurrency Computation Practice & Experience, vol. 22, no. 6, pp. 702–719, 2010. View at Publisher · View at Google Scholar · View at Scopus
  23. T. M. Peiris and J. H. Hill, “Adapting system execution traces for validation of distributed system QoS properties,” in Proceedings of the 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC '12), pp. 162–171, IEEE, Guangdong, China, April 2012. View at Publisher · View at Google Scholar · View at Scopus
  24. J. H. Hill, H. A. Turner, J. R. Edmondson, and D. C. Schmidt, “Unit testing non-functional concerns of component-based distributed systems,” in Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation (ICST '09), pp. 406–415, Denver, Colo, USA, April 2009. View at Publisher · View at Google Scholar · View at Scopus
  25. Trace Compass,
  26. F. Rajotte and M. R. Dagenais, “Real-time linux analysis using low-impact tracer,” Advances in Computer Engineering, vol. 2014, Article ID 173976, 8 pages, 2014. View at Publisher · View at Google Scholar
  27. F. Giraldeau, Analyse de performance de systèmes distribués et hétérogènes à l'aide de traçage noyau [Ph.D. dissertation], École Polytechnique de Montréal, Montreal, Canada, 2015.
  28. G. Matni and M. Dagenais, “Automata-based approach for kernel trace analysis,” in Proceedings of the Canadian Conference on Electrical and Computer Engineering (CCECE '09), pp. 970–973, May 2009.
  29. R. M. Yoo, A. Romano, and C. Kozyrakis, “Phoenix rebirth: scalable mapreduce on a large-scale shared-memory system,” in Proceedings of the IEEE International Symposium on Workload Characterization (IISWC '09), pp. 198–207, Austin, Tex, USA, October 2009. View at Publisher · View at Google Scholar · View at Scopus