source: src/libcfa/interpose.c @ 69ce455

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 69ce455 was 6bfe5cc, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

allow backtrace for debug mode no multi

  • Property mode set to 100644
File size: 5.9 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// interpose.c --
8//
9// Author           : Thierry Delisle
10// Created On       : Wed Mar 29 16:10:31 2017
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Mon Feb  5 23:40:04 2018
13// Update Count     : 17
14//
15
16#include <stdarg.h>
17#include <stddef.h>
18
19extern "C" {
20#include <stdio.h>
21#include <string.h>
22#include <dlfcn.h>
23#include <unistd.h>
24#define __USE_GNU
25#include <signal.h>
26#undef __USE_GNU
27#include <execinfo.h>
28}
29
30#include "bits/debug.h"
31#include "bits/defs.h"
32#include "bits/signal.h"
33#include "startup.h"
34
35typedef void (*generic_fptr_t)(void);
36generic_fptr_t interpose_symbol( const char* symbol, const char *version ) {
37        const char * error;
38
39        static void * library;
40        if ( ! library ) {
41                #if defined( RTLD_NEXT )
42                        library = RTLD_NEXT;
43                #else
44                        // missing RTLD_NEXT => must hard-code library name, assuming libstdc++
45                        library = dlopen( "libc.so.6", RTLD_LAZY );
46                        error = dlerror();
47                        if ( error ) {
48                                abortf( "interpose_symbol : failed to open libc, %s\n", error );
49                        }
50                #endif
51        } // if
52
53        union { generic_fptr_t fptr; void* ptr; } originalFunc;
54
55        #if defined( _GNU_SOURCE )
56                if ( version ) {
57                        originalFunc.ptr = dlvsym( library, symbol, version );
58                } else {
59                        originalFunc.ptr = dlsym( library, symbol );
60                }
61        #else
62                originalFunc.ptr = dlsym( library, symbol );
63        #endif // _GNU_SOURCE
64
65        error = dlerror();
66        if ( error ) abortf( "interpose_symbol : internal error, %s\n", error );
67
68        return originalFunc.fptr;
69}
70
71
72__typeof__( exit ) libc_exit __attribute__(( noreturn ));
73__typeof__( abort ) libc_abort __attribute__(( noreturn ));
74
75forall(dtype T)
76static inline void assign_ptr( T** symbol_ptr, const char * symbol_name, const char * version) {
77        union {
78                generic_fptr_t gp;
79                T* tp;
80        } u;
81
82        u.gp = interpose_symbol( symbol_name, version );
83
84        *symbol_ptr = u.tp;
85}
86
87#define INIT_REALRTN( x, ver ) assign_ptr( (void**)&libc_##x, #x, ver)
88
89void sigHandler_segv ( __CFA_SIGPARMS__ );
90void sigHandler_abort( __CFA_SIGPARMS__ );
91
92extern "C" {
93        void __cfaabi_interpose_startup(void)  __attribute__(( constructor( STARTUP_PRIORITY_CORE ) ));
94        void __cfaabi_interpose_startup( void ) {
95                const char *version = NULL;
96
97                INIT_REALRTN( abort, version );
98                INIT_REALRTN( exit, version );
99
100                __kernel_sigaction( SIGSEGV, sigHandler_segv , SA_SIGINFO ); // Failure handler
101                __kernel_sigaction( SIGBUS , sigHandler_segv , SA_SIGINFO ); // Failure handler
102                __kernel_sigaction( SIGABRT, sigHandler_abort, SA_SIGINFO ); // Failure handler
103        }
104}
105
106//=============================================================================================
107// Terminating Signals logic
108//=============================================================================================
109
110extern "C" {
111        void abort( void ) __attribute__ ((__nothrow__, __leaf__, __noreturn__)) {
112                abortf( NULL );
113        }
114
115        void exit( int __status ) __attribute__ ((__nothrow__, __leaf__, __noreturn__)) {
116                libc_exit(__status);
117        }
118}
119
120void abort( const char *fmt, va_list argp ) __attribute__ ((__nothrow__, __leaf__, __noreturn__)) {
121        abortf( fmt, argp );
122}
123
124void * kernel_abort    ( void ) __attribute__ ((__nothrow__, __leaf__, __weak__)) { return NULL; }
125void   kernel_abort_msg( void * data, char * buffer, int size ) __attribute__ ((__nothrow__, __leaf__, __weak__)) {}
126
127enum { abort_text_size = 1024 };
128static char abort_text[ abort_text_size ];
129
130extern "C" {
131        void abortf( const char fmt[], ... ) __attribute__ ((__nothrow__, __leaf__, __noreturn__)) {
132                void * kernel_data = kernel_abort();
133
134                int len;
135
136                if ( fmt ) {
137                        va_list args;
138                        va_start( args, fmt );
139
140                        len = vsnprintf( abort_text, abort_text_size, fmt, args );
141
142                        va_end( args );
143
144                        __cfaabi_dbg_bits_write( abort_text, len );
145                        //__cfaabi_dbg_bits_write( "\n", 1 );
146                }
147
148                len = snprintf( abort_text, abort_text_size, "Cforall Runtime error (UNIX pid:%ld)\n", (long int)getpid() ); // use UNIX pid (versus getPid)
149                __cfaabi_dbg_bits_write( abort_text, len );
150
151
152                kernel_abort_msg( kernel_data, abort_text, abort_text_size );
153
154                libc_abort();
155        }
156}
157
158// skip first 6 stack frames by default
159static void __kernel_backtrace() {
160        // skip first N stack frames
161        int start = 6;
162
163        enum { Frames = 50 };
164        void * array[Frames];
165        size_t size = backtrace( array, Frames );
166        char ** messages = backtrace_symbols( array, size );
167
168        // find executable name
169        *index( messages[0], '(' ) = '\0';
170        __cfaabi_dbg_bits_print_nolock( "Stack back trace for: %s\n", messages[0]);
171
172        // skip last 2 stack frames after main
173        for ( int i = start; i < size && messages != NULL; i += 1 ) {
174                char * name = NULL;
175                char * offset_begin = NULL;
176                char * offset_end = NULL;
177
178                for ( char *p = messages[i]; *p; ++p ) {
179                        //__cfaabi_dbg_bits_print_nolock( "X %s\n", p);
180                        // find parantheses and +offset
181                        if ( *p == '(' ) {
182                                name = p;
183                        }
184                        else if ( *p == '+' ) {
185                                offset_begin = p;
186                        }
187                        else if ( *p == ')' ) {
188                                offset_end = p;
189                                break;
190                        }
191                }
192
193                // if line contains symbol print it
194                int frameNo = i - start;
195                if ( name && offset_begin && offset_end && name < offset_begin ) {
196                        // delimit strings
197                        *name++ = '\0';
198                        *offset_begin++ = '\0';
199                        *offset_end++ = '\0';
200
201                        __cfaabi_dbg_bits_print_nolock( "(%i) %s : %s + %s %s\n", frameNo, messages[i], name, offset_begin, offset_end);
202                }
203                // otherwise, print the whole line
204                else {
205                        __cfaabi_dbg_bits_print_nolock( "(%i) %s\n", frameNo, messages[i] );
206                }
207        }
208
209        free( messages );
210}
211
212void sigHandler_segv( __CFA_SIGPARMS__ ) {
213        // skip first only 1 stack frames in case of segfault.
214        abortf( "*CFA runtime error* program cfa-cpp terminated with %s\n", sig == SIGSEGV ? "segment fault." : "bus error." );
215}
216
217void sigHandler_abort( __CFA_SIGPARMS__ ) {
218        __kernel_backtrace();
219
220        // reset default signal handler
221        __kernel_sigdefault( SIGABRT );
222
223        raise( SIGABRT );
224}
225
226// Local Variables: //
227// mode: c //
228// tab-width: 4 //
229// End: //
Note: See TracBrowser for help on using the repository browser.