Состояние гонки Python с объединением потоков через все функции

См. приведенный ниже фрагмент кода, который не может пройти первый локальный запуск с Python 3.10.

Когда я пытаюсь join все потоки во встроенной all функции, всегда один из потоков все еще жив.

В чем здесь проблема, почему возникает состояние гонки?

import time
from threading import Thread

def expose_race_condition(run_index: int) -> None:
    threads: list[Thread] = [
        Thread(target=time.sleep, args=(1,)) for _ in range(10)
    ]
    for thread in threads:
        thread.start()

    # RACE CONDITION IS HERE
    assert not all(thread.join() for thread in threads)
    for thread_index, thread in enumerate(threads):
        # Uncommenting the below line defeats the race condition
        # assert not thread.join()
        assert (
            not thread.is_alive()
        ), f"Worker {thread_index} in run {run_index} was still alive."
    print(f"Completed run {run_index}")

if __name__ == "__main__":
    for i in range(10_000):
        expose_race_condition(i)
Анализ настроения постов в Twitter с помощью Python, Tweepy и Flair
Анализ настроения постов в Twitter с помощью Python, Tweepy и Flair
Анализ настроения текстовых сообщений может быть настолько сложным или простым, насколько вы его сделаете. Как и в любом ML-проекте, вы можете выбрать...
7 лайфхаков для начинающих Python-программистов
7 лайфхаков для начинающих Python-программистов
В этой статье мы расскажем о хитростях и советах по Python, которые должны быть известны разработчику Python.
Установка Apache Cassandra на Mac OS
Установка Apache Cassandra на Mac OS
Это краткое руководство по установке Apache Cassandra.
Сертификатная программа "Кванты Python": Бэктестер ансамблевых методов на основе ООП
Сертификатная программа "Кванты Python": Бэктестер ансамблевых методов на основе ООП
В одном из недавних постов я рассказал о том, как я использую навыки количественных исследований, которые я совершенствую в рамках программы TPQ...
Создание персонального файлового хранилища
Создание персонального файлового хранилища
Вы когда-нибудь хотели поделиться с кем-то файлом, но он содержал конфиденциальную информацию? Многие думают, что электронная почта безопасна, но это...
Создание приборной панели для анализа данных на GCP - часть I
Создание приборной панели для анализа данных на GCP - часть I
Недавно я столкнулся с интересной бизнес-задачей - визуализацией сбоев в цепочке поставок лекарств, которую могут просматривать врачи и...
0
0
36
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Извините, я не понимаю, что вы пытаетесь сделать. Эта строка, например:

   assert not all(thread.join() for thread in threads)

просто не имеет смысла. .join()всегда возвращает None, так что это то же самое, что и

   assert not all(None for thread in threads)

за исключением того, что он имеет побочный эффект объединения потоков. all() закорачивает в первый раз, когда видит значение False, которым является None, поэтому на самом деле вызывается только первое .join(). all(...) возвращает False, поэтому not all(...) возвращает True, поэтому assert выполняется успешно. Это как:

    threads[0].join()
    assert True

Краткий курс: код Любые, уделяющий какое-либо внимание возвращаемому значению thread.join(), вероятно, полностью сломан, потому что None — это единственное значение, которое он когда-либо увидит.

Вау... да, это неловко. Спасибо @TimPeters за указание на ошибку новичка, почему-то я подумал, что Thread.join вернул bool. И короткое замыкание all... в этом есть смысл. Еще раз спасибо!

Intrastellar Explorer 23.04.2022 03:16

Другие вопросы по теме