Wie wird der übergeordnete Thread benachrichtigt, wenn der untergeordnete Thread beendet wird

Kann mir jemand helfen zu verstehen, was den Haupt-Thread aufweckt, nachdem der untergeordnete Thread beendet wurde? Mein Verständnis ist, dass Join Anrufe futex_wait, verursacht den Haupt-Thread zu warten, bis der Unter-Thread beendet ist. Vermutlich gibt es einen Aufruf an futex_wake, um dem Master-Thread zu erlauben, fortzufahren, aber nachdem ich Strace auf beiden Threads ausgeführt habe, kann ich nicht sehen, wo der Syscall den Eltern-Thread aufweckt. Wie wird der übergeordnete Thread benachrichtigt, wenn der untergeordnete Thread beendet wird

#include <iostream> 
#include <thread> 
#include <string> 

void hello() 
{ 
    std::cout <<"Hello Concurrent World" << std::endl; 
} 

int main() 
{ 
    std::thread t(hello); 
    t.join(); 

    std::cout << "finished" << std::endl; 
}

Strace von Muttergewinde

19:37:06.206727 brk(NULL)    = 0x1380000 
19:37:06.206804 brk(0x13b2000)   = 0x13b2000 
19:37:06.206968 futex(0x7fcf7953005c, FUTEX_WAKE_PRIVATE, 2147483647) = 0 
19:37:06.207331 futex(0x7fcf79530068, FUTEX_WAKE_PRIVATE, 2147483647) = 0 
19:37:06.207577 mmap(NULL, 8392704, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS|MAP_STACK, -1, 0) = 0x7fcf780ba000 
19:37:06.207726 mprotect(0x7fcf780ba000, 4096, PROT_NONE) = 0 
19:37:06.207863 clone(child_stack=0x7fcf788b9fb0, flags=CLONE_VM|CLONE_FS|CLONE_FILES|CLONE_SIGHAND|CLONE_THREAD|CLONE_SYSVSEM|CLONE_SETTLS|CLONE_PARENT_SETTID|CLONE_CHILD_CLEARTID, parent_tidptr=0x7fcf788ba9d0, tls=0x7fcf788ba700, child_tidptr=0x7fcf788ba9d0) = 10204 
19:37:06.208005 futex(0x7fcf788ba9d0, FUTEX_WAIT, 10204, NULL) = 0 
19:37:06.209781 write(1, "finished\n", 9) = 9 
19:37:06.210021 exit_group(0)   = ? 
19:37:06.210394 +++ exited with 0 +++

Strace von Kind Thread

19:07:09.837174 set_robust_list(0x7f123adba9e0, 24) = 0 
19:07:09.837411 fstat(1, {st_mode=S_IFIFO|0600, st_size=0, ...}) = 0 
19:07:09.837508 mmap(NULL, 134217728, PROT_NONE, MAP_PRIVATE|MAP_ANONYMOUS|MAP_NORESERVE, -1, 0) = 0x7f12325ba000 
19:07:09.837601 munmap(0x7f12325ba000, 27549696) = 0 
19:07:09.837693 munmap(0x7f1238000000, 39559168) = 0 
19:07:09.837818 mprotect(0x7f1234000000, 139264, PROT_READ|PROT_WRITE) = 0 
19:07:09.837947 write(1, "Hello Concurrent World\n", 23) = 23 
19:07:09.838082 madvise(0x7f123a5ba000, 8368128, MADV_DONTNEED) = 0 
19:07:09.838164 exit(0)     = ? 
19:07:09.838285 +++ exited with 0 +++

Aktuell zusammengestellt Ubuntu 16.10, Klirren Version mit 3.8.1-12, Kernel 4.8.0-34- generic

Quelle

2017-02-05 js7222

Diesen: '19: 37: 06,208005 futex (0x7fcf788ba9d0, FUTEX_WAIT, 10204, NULL) = 0 'verdächtig aussieht wie ein warten. –

Ich sehe, dass der übergeordnete Thread wartet. Was ich nicht verstehe ist, welcher Syscall den übergeordneten Thread aufweckt, um zu melden, dass der untergeordnete Thread beendet ist. – js7222

Dieser Aufruf: set_robust_list(0x7f123adba9e0, 24) = 0 legt eine robuste Futex fest, die beim Thread-Exit automatisch wieder aufgenommen wird. Es wird also kein Syscall benötigt, um den Futex zu wecken. Der Kernel weckt den Futex beim Thread-Exit (auch wenn der Thread beendet wird).

Hier ist ein Spuren Fragment von Debian Strecke zeigt, dass der fuxes wieder "von selbst":

[pid 21604] 20:38:49.614788 futex(0x7f0349dbc9d0, FUTEX_WAIT, 21605, NULL <unfinished ...> 
[pid 21605] 20:38:49.614851 set_robust_list(0x7f0349dbc9e0, 24) = 0 
[pid 21605] 20:38:49.614948 nanosleep({tv_sec=0, tv_nsec=100000000}, NULL) = 0 
[pid 21605] 20:38:49.715377 madvise(0x7f03495bc000, 8368128, MADV_DONTNEED) = 0 
[pid 21605] 20:38:49.715554 exit(0)  = ? 
[pid 21604] 20:38:49.715674 <... futex resumed>) = 0 
[pid 21605] 20:38:49.715701 +++ exited with 0 +++

Quelle

2017-02-05 20:44:55 rustyx

Wie wird der übergeordnete Thread benachrichtigt, wenn der untergeordnete Thread beendet wird

Antwort

Verwandte Themen