Skip to content

Commit

Permalink
ST: Support asan fiber switch for stack tracing.
Browse files Browse the repository at this point in the history
  • Loading branch information
winlinvip committed Aug 22, 2024
1 parent 09c8d9d commit 1e68fd4
Show file tree
Hide file tree
Showing 10 changed files with 142 additions and 7 deletions.
6 changes: 6 additions & 0 deletions trunk/3rdparty/st-srs/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -195,6 +195,12 @@ endif
# or cache the stack and reuse it:
# make EXTRA_CFLAGS=-DMD_CACHE_STACK
#
# or enable support for valgrind:
# make EXTRA_CFLAGS="-DMD_VALGRIND"
#
# or enable support for asan:
# make EXTRA_CFLAGS="-DMD_ASAN"
#
# or enable the coverage for utest:
# make UTEST_FLAGS="-fprofile-arcs -ftest-coverage"
#
Expand Down
6 changes: 6 additions & 0 deletions trunk/3rdparty/st-srs/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,12 @@ Linux with valgrind and epoll:
make linux-debug EXTRA_CFLAGS="-DMD_HAVE_EPOLL -DMD_VALGRIND"
```

Linux with ASAN(Google Address Sanitizer):

```bash
make linux-debug EXTRA_CFLAGS="-DMD_ASAN"
```

## Mac: Usage

Get code:
Expand Down
9 changes: 9 additions & 0 deletions trunk/3rdparty/st-srs/common.c
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,12 @@

#include "common.h"

void *_st_primordial_stack_bottom = NULL;
size_t _st_primordial_stack_size = 0;

void st_set_primordial_stack(void *top, void *bottom)
{
_st_primordial_stack_bottom = bottom;
_st_primordial_stack_size = (char *)top - (char *)bottom;
}

61 changes: 61 additions & 0 deletions trunk/3rdparty/st-srs/common.h
Original file line number Diff line number Diff line change
Expand Up @@ -162,6 +162,10 @@ struct _st_thread {
_st_clist_t tlink; /* For putting on thread queue */
#endif

#ifdef MD_ASAN
void *fake_stack; /* Fake stack for ASAN */
#endif

st_utime_t due; /* Wakeup time when thread is sleeping */
_st_thread_t *left; /* For putting in timeout heap */
_st_thread_t *right; /* -- see docs/timeout_heap.txt for details */
Expand Down Expand Up @@ -365,6 +369,40 @@ _st_thread_t *st_thread_create(void *(*start)(void *arg), void *arg, int joinabl
#define ST_SWITCH_IN_CB(_thread)
#endif

#ifdef MD_ASAN
/*
* Fiber annotation interface.
*
* Before switching to a different stack, one must call
* __sanitizer_start_switch_fiber with a pointer to the bottom of the
* destination stack and its size. When code starts running on the new stack,
* it must call __sanitizer_finish_switch_fiber to finalize the switch.
* The start_switch function takes a void** to store the current fake stack if
* there is one (it is needed when detect_stack_use_after_return is enabled).
* When restoring a stack, this pointer must be given to the finish_switch
* function. In most cases, this void* can be stored on the stack just before
* switching. When leaving a fiber definitely, null must be passed as first
* argument to the start_switch function so that the fake stack is destroyed.
* If you do not want support for stack use-after-return detection, you can
* always pass null to these two functions.
* Note that the fake stack mechanism is disabled during fiber switch, so if a
* signal callback runs during the switch, it will not benefit from the stack
* use-after-return detection.
*
* See https://github.com/google/sanitizers/issues/189#issuecomment-1346243598
*/
extern void __sanitizer_start_switch_fiber(void **fake_stack_save,
const void *bottom, size_t size);

extern void __sanitizer_finish_switch_fiber(void *fake_stack_save,
const void **bottom_old,
size_t *size_old);

/* The stack for primoridal thread. */
extern void *_st_primordial_stack_bottom;
extern size_t _st_primordial_stack_size;
#endif

/*
* Switch away from the current thread context by saving its state and
* calling the thread scheduler
Expand All @@ -377,6 +415,11 @@ static inline void _st_switch_context(_st_thread_t *thread)
_st_vp_schedule(thread);
}

#ifdef MD_ASAN
/* Switch from other thread to this running thread. */
__sanitizer_finish_switch_fiber(thread->fake_stack, NULL, NULL);
#endif

ST_DEBUG_ITERATE_THREADS();
ST_SWITCH_IN_CB(thread);
}
Expand All @@ -387,6 +430,24 @@ static inline void _st_switch_context(_st_thread_t *thread)
*/
static inline void _st_restore_context(_st_thread_t *from, _st_thread_t *thread)
{
#ifdef MD_ASAN
/* For primordial thread, the stack is NULL, so asan can not capture it. */
const void *stk_bottom = thread->stack ? thread->stack->stk_bottom : NULL;
size_t stk_size = thread->stack ? thread->stack->stk_size : 0;

/* For primordial thread, user should setup the stack information. */
if (!stk_bottom && (thread->flags & _ST_FL_PRIMORDIAL)) {
stk_bottom = _st_primordial_stack_bottom;
stk_size = _st_primordial_stack_size;
}

/*
* Save the current stack to fake_stack of from, tell asan the target stack
* we are targeting to switch to.
*/
__sanitizer_start_switch_fiber(&from->fake_stack, stk_bottom, stk_size);
#endif

_st_this_thread = thread;
_st_md_cxt_restore(thread->context, 1);
}
Expand Down
2 changes: 2 additions & 0 deletions trunk/3rdparty/st-srs/public.h
Original file line number Diff line number Diff line change
Expand Up @@ -159,6 +159,8 @@ extern st_netfd_t st_open(const char *path, int oflags, mode_t mode);
extern void st_destroy(void);
extern int st_thread_setspecific2(st_thread_t thread, int key, void *value);

extern void st_set_primordial_stack(void *top, void *bottom);

#ifdef DEBUG
extern void _st_show_thread_stack(st_thread_t thread, const char *messg);
extern void _st_iterate_threads(void);
Expand Down
16 changes: 11 additions & 5 deletions trunk/3rdparty/st-srs/sched.c
Original file line number Diff line number Diff line change
Expand Up @@ -368,6 +368,11 @@ int st_thread_join(_st_thread_t *thread, void **retvalp)
void _st_thread_main(void)
{
_st_thread_t *thread = _st_this_thread;

#ifdef MD_ASAN
/* Switch from other thread to this new created thread. */
__sanitizer_finish_switch_fiber(thread->fake_stack, NULL, NULL);
#endif

/*
* Cap the stack by zeroing out the saved return address register
Expand Down Expand Up @@ -572,7 +577,7 @@ void _st_vp_check_clock(void)
/* Make thread runnable */
ST_ASSERT(!(thread->flags & _ST_FL_IDLE_THREAD));
thread->state = _ST_ST_RUNNABLE;
// Insert at the head of RunQ, to execute timer first.
/* Insert at the head of RunQ, to execute timer first. */
st_clist_insert_after(&thread->links, &_st_this_vp.run_q);
}
}
Expand All @@ -589,7 +594,7 @@ void st_thread_yield()
/* Check sleep queue for expired threads */
_st_vp_check_clock();

// If not thread in RunQ to yield to, ignore and continue to run.
/* If not thread in RunQ to yield to, ignore and continue to run. */
if (_st_this_vp.run_q.next == &_st_this_vp.run_q) {
return;
}
Expand All @@ -598,11 +603,11 @@ void st_thread_yield()
++_st_stat_thread_yield2;
#endif

// Append thread to the tail of RunQ, we will back after all threads executed.
/* Append thread to the tail of RunQ, we will back after all threads executed. */
me->state = _ST_ST_RUNNABLE;
st_clist_insert_before(&me->links, &_st_this_vp.run_q);

// Yield to other threads in the RunQ.
/* Yield to other threads in the RunQ. */
_st_switch_context(me);
}

Expand Down Expand Up @@ -664,8 +669,9 @@ _st_thread_t *st_thread_create(void *(*start)(void *arg), void *arg, int joinabl
thread->arg = arg;

/* Note that we must directly call rather than call any functions. */
if (_st_md_cxt_save(thread->context))
if (_st_md_cxt_save(thread->context)) {
_st_thread_main();
}
MD_GET_SP(thread) = (long)(stack->sp);

/* If thread is joinable, allocate a termination condition variable */
Expand Down
1 change: 1 addition & 0 deletions trunk/research/st/.gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -11,3 +11,4 @@ exceptions
hello
pthreads
asan-switch
hello-thread
18 changes: 16 additions & 2 deletions trunk/research/st/asan-switch.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -3,12 +3,17 @@ g++ asan-switch.cpp ../../objs/st/libst.a -fsanitize=address -fno-omit-frame-poi
*/
#include <stdio.h>
#include <string.h>
#include <sys/resource.h>
#include "../../objs/st/st.h"

extern "C" {
extern void st_set_primordial_stack(void* top, void* bottom);
}

void* foo(void *args) {
for (int i = 0; ; i++) {
st_sleep(1);
if (i && (i % 3) == 0) {
if (i && (i % 2) == 0) {
char *p = new char[3];
p[3] = 'H';
}
Expand All @@ -18,9 +23,18 @@ void* foo(void *args) {
}

int main(int argc, char **argv) {
register void* stack_top asm ("sp");
struct rlimit limit;
if (getrlimit (RLIMIT_STACK, &limit) == 0) {
void* stack_bottom = (char*)stack_top - limit.rlim_cur;
st_set_primordial_stack(stack_top, stack_bottom);
}

st_init();
if (argc > 1) {
foo(NULL); // Directly call foo() to trigger ASAN.
// Directly call foo() to trigger ASAN, call the function in the primordial thread,
// note that asan can not capther the stack of primordial thread.
foo(NULL);
} else {
st_thread_create(foo, NULL, 0, 0);
st_thread_exit(NULL);
Expand Down
21 changes: 21 additions & 0 deletions trunk/research/st/hello-thread.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
/*
g++ hello-thread.cpp ../../objs/st/libst.a -g -O0 -o hello-thread && ./hello-thread
*/
#include <stdio.h>
#include "../../objs/st/st.h"

void* foo(void *args) {
for (int i = 0; ; i++) {
st_sleep(1);
printf("#%d: main: working\n", i);
}

return NULL;
}

int main() {
st_init();
st_thread_create(foo, NULL, 0, 0);
st_thread_exit(NULL);
return 0;
}
9 changes: 9 additions & 0 deletions trunk/research/st/hello.c
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
#include <sys/resource.h>
#include <stdio.h>
int main (void)
{
struct rlimit limit;

getrlimit (RLIMIT_STACK, &limit);
printf ("\nStack Limit = %ld and %ld max\n", limit.rlim_cur, limit.rlim_max);
}

0 comments on commit 1e68fd4

Please sign in to comment.