kleines Filmröllchen
bfb3fc58dd
Kernel: Allow dead threads to be joined
...
Joining dead threads is allowed for two main reasons:
- Thread join behavior should not be racy when a thread is joined and
exiting at roughly the same time. This is common behavior when threads
are given a signal to end (meaning they are going to exit ASAP) and
then joined.
- POSIX requires that exited threads are joinable (at least, there is no
language in the specification forbidding it).
The behavior is still well-defined; e.g. it doesn't allow a dead
detached thread to be joined or a thread to be joined more than once.
2022-12-11 19:07:20 -07:00
..
2022-12-06 08:54:33 +01:00
2022-12-08 09:20:27 +00:00
2022-12-09 23:09:00 -07:00
2022-12-09 23:09:00 -07:00
2022-12-09 23:29:33 -07:00
2022-10-17 20:11:31 +02:00
2022-12-03 23:52:23 +00:00
2022-12-07 16:31:16 +00:00
2022-11-19 15:39:30 +01:00
2022-12-03 23:52:23 +00:00
2022-12-03 23:52:23 +00:00
2022-12-07 16:31:16 +00:00
2022-11-01 14:31:48 +00:00
2022-11-29 11:04:21 +01:00
2022-12-03 23:52:23 +00:00
2022-11-29 11:09:19 +01:00
2022-11-24 16:56:27 +01:00
2022-12-09 23:09:00 -07:00
2022-10-16 17:35:37 +02:00
2022-04-01 21:24:45 +01:00
2022-12-03 05:56:59 -07:00
2022-12-10 14:29:46 +01:00
2022-09-20 18:43:05 +01:00
2022-12-03 05:56:59 -07:00
2022-12-03 05:56:59 -07:00
2022-08-21 16:02:24 +02:00
2022-10-14 18:36:40 -06:00
2022-10-17 20:11:31 +02:00
2022-07-12 23:11:35 +02:00
2022-11-08 02:54:48 -07:00
2022-08-20 17:15:52 +02:00
2022-10-14 13:45:33 +02:00
2022-10-17 20:11:31 +02:00
2022-12-03 23:52:23 +00:00
2022-12-03 23:52:23 +00:00
2022-11-05 18:00:58 -06:00
2022-11-18 16:25:33 -08:00
2022-11-05 18:00:58 -06:00
2022-11-05 18:00:58 -06:00
2022-07-12 23:11:35 +02:00
2021-11-11 01:27:46 +01:00
2022-09-20 18:43:05 +01:00
2022-09-20 18:43:05 +01:00
2022-04-01 21:24:45 +01:00
2022-10-01 14:09:01 +02:00
2022-10-01 14:09:01 +02:00
2021-12-30 18:10:51 +01:00
2022-09-12 00:56:44 +01:00
2022-09-20 18:43:05 +01:00
2022-08-24 14:57:51 +02:00
2022-09-14 04:46:49 +00:00
2022-07-12 23:11:35 +02:00
2022-12-03 05:56:59 -07:00
2022-11-26 12:42:15 -07:00
2022-11-08 02:54:48 -07:00
2022-11-24 16:56:27 +01:00
2022-10-26 20:01:45 +02:00
2022-11-08 02:54:48 -07:00
2022-11-08 02:54:48 -07:00
2022-10-20 23:26:32 +02:00
2022-12-03 23:52:23 +00:00
2021-12-30 14:32:17 +01:00
2022-10-18 13:08:25 +02:00
2022-10-14 14:13:51 +02:00
2022-12-03 23:52:23 +00:00
2022-12-03 23:52:23 +00:00
2022-10-16 17:35:37 +02:00
2022-12-10 13:11:49 +01:00
2022-12-11 19:07:20 -07:00
2022-08-26 12:51:57 +02:00
2022-04-01 21:24:45 +01:00
2022-07-12 23:11:35 +02:00
2022-04-01 21:24:45 +01:00
2022-04-01 21:24:45 +01:00
2022-08-20 17:20:43 +02:00