future::get() и бесконечное ожидание

@Paket236 · Регистрация: 16.08.2013

Студворк — интернет-сервис помощи студентам

Добрый день!
Пишу для себя некое подобие ThreadPool. И может возникнуть такая ситуация, когда ожидается завершение собственного потока. Например, для thread это будет так (максимально упростил для наглядности):

C++
1
2
3
4
5
thread t;
int main() {
    t = thread([]() {t.join();});
    Sleep(100);
}

В этом случае возникнет исключение, которое можно обработать. Также можно предварительно проверить id текущего и t потоков, прежде чем делать join(). Таким образом, есть способы избежать бесконечного ожидания.
Теперь рассмотрим то же самое для future:

C++
1
2
3
4
5
future<void> f;
int main() {
    f = async(launch::async, []() {f.get();});
    Sleep(100);
}

Вопрос. Как в этом случае избежать бесконечного ожидания? Исключений не выбрасывается, получить id потока из future тоже не понятно как...

Добавлено через 2 часа 40 минут
Кажется, я нашёл решение своей задачи.
Изначально в моём ThreadPool потоки хранились в thread, но затем захотелось получать информацию об их завершённости, поэтому перешёл на future. Но в связи с проблемой выше я нашёл способ использовать и thread, и future одновременно.
Сначала переношу задачу в

C++
1
packaged_task<void()> task(my_task);

затем получаю future и thread

C++
1
2
auto f = task.get_future();
auto t = thread(move(task));

через которые я узнаю о завершённости потока и определяю id потока, чтобы не делать join, когда это не надо.

@DrOffset · 22.03.2022, 13:13

Сообщение от Paket236

может возникнуть такая ситуация, когда ожидается завершение собственного потока.

Интересно почему она может возникнуть?

@Paket236 · 22.03.2022, 13:48 **[ТС]**

Сообщение от DrOffset

Интересно почему она может возникнуть?

Ну, например, если я остановлю ThreadPool (threadpool.stop()) не где положено, а внутри потока, который должен завершиться этим ThreadPool. Получается будет join самого себя. Ситуация больше теоретическая, но я посчитал, что залогировать это надо

.

@DrOffset · 22.03.2022, 21:00

Paket236, лучше вообще так не делать. join не останавливает поток, поэтому делать этой функции в методе stop нечего. Метод stop должен логически остановить ThreadPool (например прекратив обработку очереди событий), в отдельных случаях потоки потом можно закенселить (но лучше дать им завершиться нормально). А вот join лучше вызывать из деструктора ThreadPool, тогда и опасности вызвать join для самого себя практически не останется.

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@DrOffset 19500 / 10105 / 2461 Регистрация: 30.01.2014 Сообщений: 17,818
	22.03.2022, 21:00
	Paket236, лучше вообще так не делать. join не останавливает поток, поэтому делать этой функции в методе stop нечего. Метод stop должен логически остановить ThreadPool (например прекратив обработку очереди событий), в отдельных случаях потоки потом можно закенселить (но лучше дать им завершиться нормально). А вот join лучше вызывать из деструктора ThreadPool, тогда и опасности вызвать join для самого себя практически не останется. 0