source: src/libcfa/interpose.c@ 5f95b5f

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 5f95b5f was 6bfe5cc, checked in by Peter A. Buhr <pabuhr@…>, 8 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.