sigsuspend does not work under TSan

[GoogleCodeExporter]

Repro by Julien Tinnes, 
https://code.google.com/p/chromium/issues/detail?id=258655

$ cat sig.cc 

#include <assert.h>
#include <stdlib.h>
#include <signal.h>
#include <unistd.h>

static bool signal_handler_ran = false;

void do_nothing_signal_handler(int signum) {
  write(2, "BBBBBBB\n", 8);
  signal_handler_ran = true;
}

int main() {
  int kSignalToTest = SIGSYS;
  assert(SIG_ERR != signal(kSignalToTest, do_nothing_signal_handler));
  sigset_t empty_set;
  assert(0 == sigemptyset(&empty_set));
  sigset_t one_signal = empty_set;
  assert(0 == sigaddset(&one_signal, kSignalToTest));
  sigset_t old_set;
  assert(0 == sigprocmask(SIG_BLOCK, &one_signal, &old_set));
  raise(kSignalToTest);
  assert(!signal_handler_ran);
  sigset_t all_but_one;
  assert(0 == sigfillset(&all_but_one));
  assert(0 == sigdelset(&all_but_one, kSignalToTest));
  sigsuspend(&all_but_one);
  assert(signal_handler_ran);

  // Restore the original set.
  assert (0 == sigprocmask(SIG_SETMASK, &old_set, NULL));
}
$ bin/clang++ sig.cc   -o sig
$ ./sig 
BBBBBBB
$ bin/clang++ sig.cc -fsanitize=thread  -o sig -g
$ ./sig 
==================
WARNING: ThreadSanitizer: signal-unsafe call inside of a signal (pid=11791)
    #0 write /usr/local/google/asan/llvm/projects/compiler-rt/lib/tsan/../sanitizer_common/sanitizer_common_interceptors.inc:232 (exe+0x000000018344)
    #1 do_nothing_signal_handler(int) /usr/local/google/asan/llvm/llvm_cmake_build/sig.cc:9 (exe+0x000000063d43)
    #2 __tsan::ProcessPendingSignals(__tsan::ThreadState*) /usr/local/google/asan/llvm/projects/compiler-rt/lib/tsan/rtl/tsan_interceptors.cc:1877 (exe+0x00000000d2d4)
    #3 __libc_start_main /build/buildd/eglibc-2.15/csu/libc-start.c:226 (libc.so.6+0x00000002176c)

SUMMARY: ThreadSanitizer: signal-unsafe call inside of a signal 
/usr/local/google/asan/llvm/llvm_cmake_build/sig.cc:9 
do_nothing_signal_handler(int)
==================
BBBBBBB
sig: sig.cc:28: int main(): Assertion `signal_handler_ran' failed.
Aborted (core dumped)

Original issue reported on code.google.com by gli...@google.com on 10 Jul 2013 at 10:15

[GoogleCodeExporter]

Original comment by gli...@chromium.org on 10 Jul 2013 at 10:16

[GoogleCodeExporter]

Not the main bug (which is that sigsuspend doesn't work properly), but in this 
output, it also looks like it's mistakenly flagging "write" as not being async 
signal safe.

Which would be a big problem for Chromium.

Original comment by jln@chromium.org on 11 Jul 2013 at 11:12

[GoogleCodeExporter]

Er, this program actually prints something, which means that 
do_nothing_signal_handler() is being called. Doesn't this mean sigsuspend() 
actually works?

// I still don't understand why signal_handler_ran is 0 after the return from 
the handler.

Original comment by gli...@google.com on 12 Jul 2013 at 12:03

[GoogleCodeExporter]

Should be fixed by:
http://llvm.org/viewvc/llvm-project?view=revision&revision=186400

Original comment by dvyu...@google.com on 16 Jul 2013 at 11:47

• Changed state: Fixed

[GoogleCodeExporter]

> Er, this program actually prints something, which means that 
do_nothing_signal_handler() is being called.

I guess it's called some time later.

> WARNING: ThreadSanitizer: signal-unsafe call inside of a signal (pid=11791)

I can not reproduce this.

> Which would be a big problem for Chromium.

I will fix it, if I can reproduce it. I do not understand how it happens.

Original comment by dvyu...@google.com on 16 Jul 2013 at 11:52

[GoogleCodeExporter]

Excellent, thanks a lot!

Original comment by jln@chromium.org on 17 Jul 2013 at 5:57

[GoogleCodeExporter]

Adding Project:ThreadSanitizer as part of GitHub migration.

Original comment by gli...@google.com on 30 Jul 2015 at 9:21

• Added labels: ProjectThreadSanitizer