skip to main content
10.1145/1370082.1370094acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

A case study for monitoring-oriented programming in multi-core architecture

Published: 11 May 2008 Publication History

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.

References

[1]
Aspect#. http://www.castleproject.org/aspectsharp/.
[2]
ACC: The AspeCt-oriented C compiler, 2008. http://www.aspectc.net/.
[3]
J. Barnat, L. Brim, and P. Rockai. Scalable Multi-core LTL Model-Checking. In SPIN, pages 187--203, 2007.
[4]
M. Chapman et al. AJDT Project, 2006. http://www.eclipse.org/ajdt.
[5]
F. Chen and G. Rosu. Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. Electr. Notes Theor. Comput. Sci., 89(2), 2003.
[6]
F. Chen and G. Rosu. Java-MOP: A Monitoring Oriented Programming Environment for Java. In TACAS, pages 546--550, 2005.
[7]
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.
[8]
Y. Cheon, C. Clifton, D. Cok, J. Kiniry, G. T. Leavens, P. Muller, and C. Ruby. JML Reference Manual, 2006.
[9]
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.
[10]
K. Khan et al. JBoss AOP. http://labs.jboss.com/jbossaop/.
[11]
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.
[12]
Microsoft. MSDN Library. http://msdn2.microsoft.com/enus/library/default.aspx.
[13]
V. O. Safonov. Aspect.NET 2.1, 2007. https://www.academicresourcecenter.net/curriculum/pfv.aspx?ID=6801.
[14]
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.
[15]
N. Talekar. VideoNet version 1.1, 2004. http://codeguru.earthweb.net/cpp/gm/multimedia/video/article.php/c7621/.
[16]
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.

Cited By

View all
  • (2017)Optimization of multithread for long digit multiplier: By using ancient India Vedic mathematic2017 14th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON)10.1109/ECTICon.2017.8096322(652-655)Online publication date: Jun-2017
  • (2011)UML interaction model-driven runtime verification of Java programsIET Software10.1049/iet-sen.2009.00095:2(142)Online publication date: 2011
  • (2010)Extending Ada to support multi-core based monitoring and fault toleranceACM SIGAda Ada Letters10.1145/1879097.187907930:3(53-62)Online publication date: 24-Oct-2010
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
IWMSE '08: Proceedings of the 1st international workshop on Multicore software engineering
May 2008
76 pages
ISBN:9781605580319
DOI:10.1145/1370082
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 May 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. aspect-oriented programming
  2. monitoring-oriented programming
  3. multi-core
  4. runtime verification

Qualifiers

  • Research-article

Conference

ICSE '08
Sponsor:

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2017)Optimization of multithread for long digit multiplier: By using ancient India Vedic mathematic2017 14th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON)10.1109/ECTICon.2017.8096322(652-655)Online publication date: Jun-2017
  • (2011)UML interaction model-driven runtime verification of Java programsIET Software10.1049/iet-sen.2009.00095:2(142)Online publication date: 2011
  • (2010)Extending Ada to support multi-core based monitoring and fault toleranceACM SIGAda Ada Letters10.1145/1879097.187907930:3(53-62)Online publication date: 24-Oct-2010
  • (2010)Extending Ada to support multi-core based monitoring and fault toleranceProceedings of the ACM SIGAda annual international conference on SIGAda10.1145/1879063.1879079(53-62)Online publication date: 24-Oct-2010
  • (2010)Enabling multi-core based monitoring and fault tolerance in C++/JavaProceedings of the 3rd International Workshop on Multicore Software Engineering10.1145/1808954.1808963(32-39)Online publication date: 1-May-2010
  • (2010)McC++/JavaProceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems10.1109/ICECCS.2010.37(255-256)Online publication date: 22-Mar-2010
  • (2009)Compressed Pattern Matching in DNA Sequences Using Multithreaded Technology2009 3rd International Conference on Bioinformatics and Biomedical Engineering10.1109/ICBBE.2009.5162550(1-4)Online publication date: Jun-2009
  • (2009)A Case Study for Fault Tolerance Oriented Programming in Multi-core ArchitectureProceedings of the 2009 11th IEEE International Conference on High Performance Computing and Communications10.1109/HPCC.2009.44(630-635)Online publication date: 25-Jun-2009
  • (2009)Research on Parallelization of Aspect-Oriented ProgramProceedings of the 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing10.1109/DASC.2009.43(478-482)Online publication date: 12-Dec-2009
  • (2008)International workshop on multicore software engineering (IWMSE 2008)Companion of the 30th international conference on Software engineering10.1145/1370175.1370242(1051-1052)Online publication date: 10-May-2008

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media