Protecting the dynamic dispatch in C++ by dependability aspects

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn 208, Issue , 2012, Pages 521-535

  Borchert, Christoph ^a   Schirmeier, Horst ^a   Spinczyk, Olaf ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DYNAMICS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS;

APPLICATION SCENARIO; DYNAMIC DISPATCH; EVALUATION RESULTS; FAULT TOLERANCE MECHANISMS; IRREGULAR PROGRAMS; MEMORY OVERHEADS; SOURCE-TO-SOURCE COMPILATION; VIRTUAL FUNCTIONS;

C++ (PROGRAMMING LANGUAGE);

EID: 84907079619     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Ruben Alexandersson, Peter Öhman, and Johan Karlsson. Aspect-oriented implementation of fault tolerance: an assessment of overhead. In Proceedings of the 29th international conference on Computer safety, reliability, and security, SAFE-COMP’10, pages 466–479, Berlin, Heidelberg, 2010. Springer-Verlag.
2. Francisco Afonso, Carlos Silva, Sergio Montenegro, and Adriano Tavares. Applying aspects to a real-time embedded operating system. In Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software, ACP4IS’07, New York, NY, USA, 2007. ACM.
3. Joakim Aidemark, Jonny Vinter, Peter Folkesson, and Johan Karlsson. GOOFI: Generic Object-Oriented Fault Injection Tool. In Proceedings of the 31st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’01), pages 83–88, Los Alamitos, CA, USA, 2001. IEEE Computer Society Press.
4. Lakshmi N. Bairavasundaram, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Garth R. Goodson, and Bianca Schroeder. An analysis of data corruption in the storage stack. Trans. Storage, 4(3):1–28, 2008.
5. Shekhar Y. Borkar. Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. IEEE Micro, 25(6):10–16, 2005.
6. Krysztof Czarnecki and Ulrich W. Eisenecker. Generative Programming. Methods, Tools and Applications. Addison-Wesley, May 2000.
7. Francis M. David, Ellick Chan, Jeffrey Carlyle, and Roy H. Campbell. Qinject: A virtual-machine based fault injection framework. In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’08), 2008. (Poster Presentation).
8. Robert Dewar and Franco Gasperoni. Safety and OOP. In System Safety, 2006. The 1st Institution of Engineering and Technology International Conference on, pages 146 –157, jun. 2006.
9. Brian Demsky and Martin Rinard. Automatic detection and repair of errors in data structures. In Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, OOPSLA’03, pages 78–95, New York, NY, USA, 2003. ACM.
10. Marc Duranton, Sami Yehia, Bjorn de Sutter, Koen de Bosschere, Albert Cohen, Babak Falsafi, Georgi Gaydadjiev, Manolis Katevenis, Jonas Maebe, Harm Munk, Nacho Navarro, Alex Ramirez, Olivier Temam, and Mateo Valero. The HiPEAC Vision. Technical report, Network of Excellence on High Performance and Embedded Architecture and Compilation, 2010.
11. The British Standards Institute. The C++ Standard (Incorporating Technical Corrigendum No. 1). John Wiley & Sons, Inc., second edition, 2003. Printed version of the ISO/IEC 14882:2003 standard.
12. Bradley M. Kuhn and David W. Binkley. An enabling optimization for C++ virtual functions. In Proceedings of the 1996 ACM symposium on Applied Computing, SAC’96, pages 420–428, New York, NY, USA, 1996. ACM.
13. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Aksit and S. Matsuoka, editors, Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP’97), volume 1241 of Lecture Notes in Computer Science, pages 220–242. Springer-Verlag, June 1997.
14. Stanley B. Lippman. Inside the C++ object model. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 1996.
15. Daniel Lohmann, Olaf Spinczyk, and Wolfgang Schröder-Preikschat. Lean and Efficient System Software Product Lines: Where Aspects Beat Objects. In Awais Rashid and Mehmet Aksit, editors, Transactions on AOSD II, number 4242 in Lecture Notes in Computer Science, pages 227–255. Springer-Verlag, 2006.
16. Daniel Lohmann, Fabian Scheler, Reinhard Tartler, Olaf Spinczyk, and Wolfgang Schröder-Preikschat. A Quantitative Analysis of Aspects in the eCos Kernel. In Proceedings of the EuroSys 2006 Conference (EuroSys’06), pages 191–204, New York, NY, USA, April 2006. ACM Press.
17. Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee Jr. Enhancing server availability and security through failure-oblivious computing. In Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI’04), pages 303–316, Berkeley, CA, USA, 2004. USENIX Association.
18. Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, and Olaf Spinczyk. FAIL*: Towards a Versatile Fault-Injection Experiment Framework. In Gero Mühl, Jan Richling, and Andreas Herkersdorf, editors, 25th International Conference on Architecture of Computing Systems (ARCS’12), Workshop Proceedings, volume 200 of Lecture Notes in Informatics, pages 201–210. German Society of Informatics, March 2012.
19. Olaf Spinczyk and Daniel Lohmann. The Design and Implementation of AspectC++. Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software, 20(7):636–651, 2007.
20. Matthias Sand, Stefan Potyra, and Volkmar Sieh. Deterministic high-speed simulation of complex systems including fault-injection. In Proceedings of the 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’09), pages 211–216. IEEE Computer Society Press, July 2009.
21. Kalyanaraman Vaidyanathan and Kishor S. Trivedi. A Comprehensive Model for Software Rejuvenation. IEEE Transactions Dependable and Secure Computing, 2(2):124–137, April 2005.