Телеграмм чат группы codingteam страница 25526

Хотя, конечно, хочется поменьше всяких специальных режимов.

18:44пожаловаться #1

Minoru
хм. С другой стороны, спец. режим понадёжнее «семафора», потому что если тред упадёт, то со спец.режимом у нас просто останется неудалённый элемент, wait() на котором завершится мгновенно. А вот с семафорами в такой ситуации мой главный тред зависнет навсегда

18:46пожаловаться #2

В принципе, смотри чо можно сделать.

Можно сделать семафор и счётчик. Семафор при работающем пуле всегда равен единичке.

При завершении каждый тред уменьшает счётчик (атомарно). Если счётчик упал до нуля — тогда последний дёргает семафор.

Мейнтред даёт им сигнал на завершение и ждёт семафора.

18:47пожаловаться #3

Minoru
звучит как rwlock

18:48пожаловаться #4

Серьёзно?

18:48пожаловаться #5

Minoru
ну, rwlock вроде именно так и реализуется: счётчик читателей и семафор, позволяющий писателю продолжать

18:48пожаловаться #6

Minoru
я вчера это у Таненбаума прочитал! *гордо выпячивает грудь*

18:48пожаловаться #7

Кажись, это non-upgradeable rwlock?

18:48пожаловаться #8

А, у тредов есть некий JoinHandle, который прям в точности сообщает состояние треда. Этот момент я упустил. Можно с его помощью сделать полущ, да.

18:49пожаловаться #9

Minoru
да, non-upgradeable. И, к тому же, с ним читатели могут заморить писателя голодом

18:49пожаловаться #10

Minoru
но идея интересная. А что можно сделать с JoinHandle? Учти, что там нет try_join(), то есть нельзя просто глянуть, завершился тред или нет

18:50пожаловаться #11

An owned permission to join on a thread (block on its termination).

Minoru
собственно, вот: https://doc.rust-lang.org/std/thread/struct.JoinHandle.html

doc.rust-lang.org

JoinHandle in std::thread - Rust

18:50пожаловаться #12

Ну вот я пока думаю

18:52пожаловаться #13

А вообще, в Расте это норм ситуация, что тред помер, а процесс не завершился?

18:52пожаловаться #14

Мне казалось, там вообще на любой чих дёргают panic, не?

18:53пожаловаться #15

Алсо, ну вот включил ты у пула режим самоуничтожения. Берёшь массив этих джойнеров, копируешь себе (атомарно!)

Потом по ним циклом идёшь и ждёшь каждого.

В этом случае тебе не нужно держать лок во время терминации.

18:54пожаловаться #16

Minoru
дёргают. Если паникует главный тред, то процесс завершается, а если не главный — то не завершается

18:54пожаловаться #17

На время копирования нужен лок, а потом уже не нужен. И не будет дедлока.

18:54пожаловаться #18

Minoru
о, действительно!

18:54пожаловаться #19

Главное — чтобы треды не плодились после того, как пул вступил в режим самоуничтожения