Lu Yang
ABSTRACT
Along with the development of the multi-core architecture, high performance computing platform is produced to satisfy users' requirement for solving large and complex problems. Multi-core architecture has become a new trend in the verification field to improve the performance. With the explosion of software size, Monitoring-Oriented Programming (MOP) is considered as a design trend to increase reliability of the software systems. In this paper, we have done the experiment for a case study which is a preliminary exploration for integrating MOP with multi-core architecture. Our work shows that multi-core architecture can improve the efficiency of MOP. It will be the groundwork of our discussion about "how to design a good monitor?" in the future work.
- Aspect#. http://www.castleproject.org/aspectsharp/.Google Scholar
- ACC: The AspeCt-oriented C compiler, 2008. http://www.aspectc.net/.Google Scholar
- J. Barnat, L. Brim, and P. Rockai. Scalable Multi-core LTL Model-Checking. In SPIN, pages 187--203, 2007. Google ScholarDigital Library
- M. Chapman et al. AJDT Project, 2006. http://www.eclipse.org/ajdt.Google Scholar
- F. Chen and G. Rosu. Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. Electr. Notes Theor. Comput. Sci., 89(2), 2003.Google Scholar
- F. Chen and G. Rosu. Java-MOP: A Monitoring Oriented Programming Environment for Java. In TACAS, pages 546--550, 2005. Google ScholarDigital Library
- F. Chen and G. Rosu. MOP: An Efficient and Generic Runtime Verification Framework. In R. P. Gabriel, D. F. Bacon, C. V. Lopes, and G. L. Steele Jr., editors, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'07), pages 569--588, Montreal, Quebec, Canada, October 2007. ACM. Google ScholarDigital Library
- Y. Cheon, C. Clifton, D. Cok, J. Kiniry, G. T. Leavens, P. Muller, and C. Ruby. JML Reference Manual, 2006.Google Scholar
- G. J. Holzmann and D. Bosnacki. The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. Software Eng., 33(10):659--674, 2007. Google ScholarDigital Library
- K. Khan et al. JBoss AOP. http://labs.jboss.com/jbossaop/.Google Scholar
- G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP, pages 220--242, 1997.Google ScholarCross Ref
- Microsoft. MSDN Library. http://msdn2.microsoft.com/enus/library/default.aspx.Google Scholar
- V. O. Safonov. Aspect.NET 2.1, 2007. https://www.academicresourcecenter.net/curriculum/pfv.aspx?ID=6801.Google Scholar
- O. Spinczyk, A.Gal, and W. Schröder-Preikschat. AspectC++: an aspect-oriented extension to the C++ programming language. In Proceedings of the Fortieth International Conference on Tools Pacific (CRPIT '02), pages 53--60, Darlinghurst, Australia, Australia, 2002. Australian Computer Society, Inc. Google ScholarDigital Library
- N. Talekar. VideoNet version 1.1, 2004. http://codeguru.earthweb.net/cpp/gm/multimedia/video/article.php/c7621/.Google Scholar
- Y. Yu, T. Chen, and H. Dai. Design and Analyze the Communication in the Multi-Core Soc Driven by Petri Net. In Proceedings of the Third International Conference on Autonomic and Autonomous Systems (ICAS'07), page 3, Washington, DC, USA, 2007. IEEE Computer Society. Google ScholarDigital Library
Index Terms
- A case study for monitoring-oriented programming in multi-core architecture
Recommendations
Optimizing image processing on multi-core CPUs with Intel parallel programming technologies
The rapid advance of computer hardware and popularity of multimedia applications enable multi-core processors with sub-word parallelism instructions to become a dominant market trend in desk-top PCs as well as high end mobile devices. This paper ...
Performance Gaps between OpenMP and OpenCL for Multi-core CPUs
ICPPW '12: Proceedings of the 2012 41st International Conference on Parallel Processing WorkshopsOpenCL and OpenMP are the most commonly used programming models for multi-core processors. They are also fundamentally different in their approach to parallelization. In this paper, we focus on comparing the performance of OpenCL and OpenMP. We select ...
Multi- and many-core data mining with adaptive sparse grids
CF '11: Proceedings of the 8th ACM International Conference on Computing FrontiersGaining knowledge out of vast datasets is a main challenge in data-driven applications nowadays. Sparse grids provide a numerical method for both classification and regression in data mining which scales only linearly in the number of data points and is ...
Comments