123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444 |
- /* go-unwind.c -- unwind the stack for panic/recover.
- Copyright 2010 The Go Authors. All rights reserved.
- Use of this source code is governed by a BSD-style
- license that can be found in the LICENSE file. */
- #include "config.h"
- #include <stdlib.h>
- #include <unistd.h>
- #include "unwind.h"
- #define NO_SIZE_OF_ENCODED_VALUE
- #include "unwind-pe.h"
- #include "runtime.h"
- #include "go-alloc.h"
- #include "go-defer.h"
- #include "go-panic.h"
- /* The code for a Go exception. */
- #ifdef __ARM_EABI_UNWINDER__
- static const _Unwind_Exception_Class __go_exception_class =
- { 'G', 'N', 'U', 'C', 'G', 'O', '\0', '\0' };
- #else
- static const _Unwind_Exception_Class __go_exception_class =
- ((((((((_Unwind_Exception_Class) 'G'
- << 8 | (_Unwind_Exception_Class) 'N')
- << 8 | (_Unwind_Exception_Class) 'U')
- << 8 | (_Unwind_Exception_Class) 'C')
- << 8 | (_Unwind_Exception_Class) 'G')
- << 8 | (_Unwind_Exception_Class) 'O')
- << 8 | (_Unwind_Exception_Class) '\0')
- << 8 | (_Unwind_Exception_Class) '\0');
- #endif
- /* This function is called by exception handlers used when unwinding
- the stack after a recovered panic. The exception handler looks
- like this:
- __go_check_defer (frame);
- return;
- If we have not yet reached the frame we are looking for, we
- continue unwinding. */
- void
- __go_check_defer (_Bool *frame)
- {
- G *g;
- struct _Unwind_Exception *hdr;
- g = runtime_g ();
- if (g == NULL)
- {
- /* Some other language has thrown an exception. We know there
- are no defer handlers, so there is nothing to do. */
- }
- else if (g->is_foreign)
- {
- struct __go_panic_stack *n;
- _Bool was_recovered;
- /* Some other language has thrown an exception. We need to run
- the local defer handlers. If they call recover, we stop
- unwinding the stack here. */
- n = ((struct __go_panic_stack *)
- __go_alloc (sizeof (struct __go_panic_stack)));
- n->__arg.__type_descriptor = NULL;
- n->__arg.__object = NULL;
- n->__was_recovered = 0;
- n->__is_foreign = 1;
- n->__next = g->panic;
- g->panic = n;
- while (1)
- {
- struct __go_defer_stack *d;
- void (*pfn) (void *);
- d = g->defer;
- if (d == NULL || d->__frame != frame || d->__pfn == NULL)
- break;
- pfn = d->__pfn;
- g->defer = d->__next;
- (*pfn) (d->__arg);
- if (runtime_m () != NULL)
- runtime_freedefer (d);
- if (n->__was_recovered)
- {
- /* The recover function caught the panic thrown by some
- other language. */
- break;
- }
- }
- was_recovered = n->__was_recovered;
- g->panic = n->__next;
- __go_free (n);
- if (was_recovered)
- {
- /* Just return and continue executing Go code. */
- *frame = 1;
- return;
- }
- /* We are panicing through this function. */
- *frame = 0;
- }
- else if (g->defer != NULL
- && g->defer->__pfn == NULL
- && g->defer->__frame == frame)
- {
- struct __go_defer_stack *d;
- /* This is the defer function which called recover. Simply
- return to stop the stack unwind, and let the Go code continue
- to execute. */
- d = g->defer;
- g->defer = d->__next;
- if (runtime_m () != NULL)
- runtime_freedefer (d);
- /* We are returning from this function. */
- *frame = 1;
- return;
- }
- /* This is some other defer function. It was already run by the
- call to panic, or just above. Rethrow the exception. */
- hdr = (struct _Unwind_Exception *) g->exception;
- #ifdef LIBGO_SJLJ_EXCEPTIONS
- _Unwind_SjLj_Resume_or_Rethrow (hdr);
- #else
- #if defined(_LIBUNWIND_STD_ABI)
- _Unwind_RaiseException (hdr);
- #else
- _Unwind_Resume_or_Rethrow (hdr);
- #endif
- #endif
- /* Rethrowing the exception should not return. */
- abort();
- }
- /* Unwind function calls until we reach the one which used a defer
- function which called recover. Each function which uses a defer
- statement will have an exception handler, as shown above. */
- void
- __go_unwind_stack ()
- {
- struct _Unwind_Exception *hdr;
- hdr = ((struct _Unwind_Exception *)
- __go_alloc (sizeof (struct _Unwind_Exception)));
- __builtin_memcpy (&hdr->exception_class, &__go_exception_class,
- sizeof hdr->exception_class);
- hdr->exception_cleanup = NULL;
- runtime_g ()->exception = hdr;
- #ifdef __USING_SJLJ_EXCEPTIONS__
- _Unwind_SjLj_RaiseException (hdr);
- #else
- _Unwind_RaiseException (hdr);
- #endif
- /* Raising an exception should not return. */
- abort ();
- }
- /* The rest of this code is really similar to gcc/unwind-c.c and
- libjava/exception.cc. */
- typedef struct
- {
- _Unwind_Ptr Start;
- _Unwind_Ptr LPStart;
- _Unwind_Ptr ttype_base;
- const unsigned char *TType;
- const unsigned char *action_table;
- unsigned char ttype_encoding;
- unsigned char call_site_encoding;
- } lsda_header_info;
- static const unsigned char *
- parse_lsda_header (struct _Unwind_Context *context, const unsigned char *p,
- lsda_header_info *info)
- {
- _uleb128_t tmp;
- unsigned char lpstart_encoding;
- info->Start = (context ? _Unwind_GetRegionStart (context) : 0);
- /* Find @LPStart, the base to which landing pad offsets are relative. */
- lpstart_encoding = *p++;
- if (lpstart_encoding != DW_EH_PE_omit)
- p = read_encoded_value (context, lpstart_encoding, p, &info->LPStart);
- else
- info->LPStart = info->Start;
- /* Find @TType, the base of the handler and exception spec type data. */
- info->ttype_encoding = *p++;
- if (info->ttype_encoding != DW_EH_PE_omit)
- {
- p = read_uleb128 (p, &tmp);
- info->TType = p + tmp;
- }
- else
- info->TType = 0;
- /* The encoding and length of the call-site table; the action table
- immediately follows. */
- info->call_site_encoding = *p++;
- p = read_uleb128 (p, &tmp);
- info->action_table = p + tmp;
- return p;
- }
- /* The personality function is invoked when unwinding the stack due to
- a panic. Its job is to find the cleanup and exception handlers to
- run. We can't split the stack here, because we won't be able to
- unwind from that split. */
- #ifdef __ARM_EABI_UNWINDER__
- /* ARM EABI personality routines must also unwind the stack. */
- #define CONTINUE_UNWINDING \
- do \
- { \
- if (__gnu_unwind_frame (ue_header, context) != _URC_OK) \
- return _URC_FAILURE; \
- return _URC_CONTINUE_UNWIND; \
- } \
- while (0)
- #else
- #define CONTINUE_UNWINDING return _URC_CONTINUE_UNWIND
- #endif
- #ifdef __USING_SJLJ_EXCEPTIONS__
- #define PERSONALITY_FUNCTION __gccgo_personality_sj0
- #define __builtin_eh_return_data_regno(x) x
- #else
- #define PERSONALITY_FUNCTION __gccgo_personality_v0
- #endif
- #ifdef __ARM_EABI_UNWINDER__
- _Unwind_Reason_Code
- PERSONALITY_FUNCTION (_Unwind_State, struct _Unwind_Exception *,
- struct _Unwind_Context *)
- __attribute__ ((no_split_stack, flatten));
- _Unwind_Reason_Code
- PERSONALITY_FUNCTION (_Unwind_State state,
- struct _Unwind_Exception * ue_header,
- struct _Unwind_Context * context)
- #else
- _Unwind_Reason_Code
- PERSONALITY_FUNCTION (int, _Unwind_Action, _Unwind_Exception_Class,
- struct _Unwind_Exception *, struct _Unwind_Context *)
- __attribute__ ((no_split_stack, flatten));
- _Unwind_Reason_Code
- PERSONALITY_FUNCTION (int version,
- _Unwind_Action actions,
- _Unwind_Exception_Class exception_class,
- struct _Unwind_Exception *ue_header,
- struct _Unwind_Context *context)
- #endif
- {
- lsda_header_info info;
- const unsigned char *language_specific_data, *p, *action_record;
- _Unwind_Ptr landing_pad, ip;
- int ip_before_insn = 0;
- _Bool is_foreign;
- G *g;
- #ifdef __ARM_EABI_UNWINDER__
- _Unwind_Action actions;
- switch (state & _US_ACTION_MASK)
- {
- case _US_VIRTUAL_UNWIND_FRAME:
- actions = _UA_SEARCH_PHASE;
- break;
- case _US_UNWIND_FRAME_STARTING:
- actions = _UA_CLEANUP_PHASE;
- if (!(state & _US_FORCE_UNWIND)
- && ue_header->barrier_cache.sp == _Unwind_GetGR(context, 13))
- actions |= _UA_HANDLER_FRAME;
- break;
- case _US_UNWIND_FRAME_RESUME:
- CONTINUE_UNWINDING;
- break;
- default:
- abort();
- }
- actions |= state & _US_FORCE_UNWIND;
- is_foreign = 0;
- /* The dwarf unwinder assumes the context structure holds things like the
- function and LSDA pointers. The ARM implementation caches these in
- the exception header (UCB). To avoid rewriting everything we make the
- virtual IP register point at the UCB. */
- ip = (_Unwind_Ptr) ue_header;
- _Unwind_SetGR (context, 12, ip);
- #else
- if (version != 1)
- return _URC_FATAL_PHASE1_ERROR;
- is_foreign = exception_class != __go_exception_class;
- #endif
- language_specific_data = (const unsigned char *)
- _Unwind_GetLanguageSpecificData (context);
- /* If no LSDA, then there are no handlers or cleanups. */
- if (! language_specific_data)
- CONTINUE_UNWINDING;
- /* Parse the LSDA header. */
- p = parse_lsda_header (context, language_specific_data, &info);
- #ifdef HAVE_GETIPINFO
- ip = _Unwind_GetIPInfo (context, &ip_before_insn);
- #else
- ip = _Unwind_GetIP (context);
- #endif
- if (! ip_before_insn)
- --ip;
- landing_pad = 0;
- action_record = NULL;
- #ifdef __USING_SJLJ_EXCEPTIONS__
- /* The given "IP" is an index into the call-site table, with two
- exceptions -- -1 means no-action, and 0 means terminate. But
- since we're using uleb128 values, we've not got random access
- to the array. */
- if ((int) ip <= 0)
- return _URC_CONTINUE_UNWIND;
- else
- {
- _uleb128_t cs_lp, cs_action;
- do
- {
- p = read_uleb128 (p, &cs_lp);
- p = read_uleb128 (p, &cs_action);
- }
- while (--ip);
- /* Can never have null landing pad for sjlj -- that would have
- been indicated by a -1 call site index. */
- landing_pad = (_Unwind_Ptr)cs_lp + 1;
- if (cs_action)
- action_record = info.action_table + cs_action - 1;
- goto found_something;
- }
- #else
- /* Search the call-site table for the action associated with this IP. */
- while (p < info.action_table)
- {
- _Unwind_Ptr cs_start, cs_len, cs_lp;
- _uleb128_t cs_action;
- /* Note that all call-site encodings are "absolute" displacements. */
- p = read_encoded_value (0, info.call_site_encoding, p, &cs_start);
- p = read_encoded_value (0, info.call_site_encoding, p, &cs_len);
- p = read_encoded_value (0, info.call_site_encoding, p, &cs_lp);
- p = read_uleb128 (p, &cs_action);
- /* The table is sorted, so if we've passed the ip, stop. */
- if (ip < info.Start + cs_start)
- p = info.action_table;
- else if (ip < info.Start + cs_start + cs_len)
- {
- if (cs_lp)
- landing_pad = info.LPStart + cs_lp;
- if (cs_action)
- action_record = info.action_table + cs_action - 1;
- goto found_something;
- }
- }
- #endif
- /* IP is not in table. No associated cleanups. */
- CONTINUE_UNWINDING;
- found_something:
- if (landing_pad == 0)
- {
- /* IP is present, but has a null landing pad.
- No handler to be run. */
- CONTINUE_UNWINDING;
- }
- if (actions & _UA_SEARCH_PHASE)
- {
- if (action_record == 0)
- {
- /* This indicates a cleanup rather than an exception
- handler. */
- CONTINUE_UNWINDING;
- }
- return _URC_HANDLER_FOUND;
- }
- /* It's possible for g to be NULL here for an exception thrown by a
- language other than Go. */
- g = runtime_g ();
- if (g == NULL)
- {
- if (!is_foreign)
- abort ();
- }
- else
- {
- g->exception = ue_header;
- g->is_foreign = is_foreign;
- }
- _Unwind_SetGR (context, __builtin_eh_return_data_regno (0),
- (_Unwind_Ptr) ue_header);
- _Unwind_SetGR (context, __builtin_eh_return_data_regno (1), 0);
- _Unwind_SetIP (context, landing_pad);
- return _URC_INSTALL_CONTEXT;
- }
|