Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

std::call_once() hangs on second call after callable threw on first call

Given this piece of code:

#include <mutex>
#include <iostream>

void f(bool doThrow) {
    if (doThrow) {
        std::cout << "Throwing" << std::endl;
        throw 42;
    }
    std::cout << "Not throwing" << std::endl;
}

std::once_flag flag;

void g(bool doThrow) {
    try {
        std::call_once(flag, f, doThrow);
        std::cout << "Returning" << std::endl;
    } catch (int i) {
        std::cout << "Caught " << i << std::endl;
    }
}

int main() {
    std::once_flag flag;
    g(true);
    g(true);
    g(false);
    g(true);
    g(false);
}

When compiled with g++ -std=c++11 -pthread -ggdb I get the output:

Throwing
Caught 42

after which the process hangs:

#0  0x000003fff7277abf in futex_wait (private=0, expected=1, futex_word=0x2aaaacad144 <flag>) at ../sysdeps/unix/sysv/linux/futex-internal.h:61
#1  futex_wait_simple (private=0, expected=1, futex_word=0x2aaaacad144 <flag>) at ../sysdeps/nptl/futex-internal.h:135
#2  __pthread_once_slow (once_control=0x2aaaacad144 <flag>, init_routine=0x3fff7a8d870 <std::__once_proxy()>) at pthread_once.c:105
#3  0x000002aaaaaab06f in __gthread_once (__once=0x2aaaacad144 <flag>, __func=0x3fff7a8d870 <std::__once_proxy()>) at /usr/lib/gcc/x86_64-pc-linux-gnu/5.4.0/include/g++-v5/x86_64-pc-linux-gnu/bits/gthr-default.h:699
#4  0x000002aaaaaab6c8 in std::call_once<void (&)(bool), bool&> (__once=..., __f=@0x2aaaaaab08c: {void (bool)} 0x2aaaaaab08c <f(bool)>) at /usr/lib/gcc/x86_64-pc-linux-gnu/5.4.0/include/g++-v5/mutex:738
#5  0x000002aaaaaab192 in g (doThrow=true) at test.cpp:17
#6  0x000002aaaaaab287 in main () at test.cpp:27

But when compiled with clang++ -std=c++11 -pthread -ggdb I get:

Throwing
Caught 42
Throwing
Caught 42
Not throwing
Returning
Returning
Returning

As far as I know this seems to be the correct behavior.

Is this a GCC bug, just me being confused over the semantics of std::call_once, or is my code incorrect?

like image 316
jotik Avatar asked Jan 18 '17 10:01

jotik


1 Answers

This looks to be a bug in the GNU C++ Library.


Surely this is a bug since even the default std::call_once example from cppreference will hang if you try to use the provided online compiler (Coliru) :)

The bug happens in g++ linux implementation which uses pthreads. What puzzled me is that this Wandbox example runs just fine. I checked the versions of libstdc++:

  • Wandbox: GLIBCXX: 20130411
  • Coliru: GLIBCXX: 20161221

Therefore I believe it is a libstdc++ bug, probably this one, or more precisely this one.

like image 140
AMA Avatar answered Sep 29 '22 12:09

AMA