Кстати, а есть ли какой-нибудь способ снаружи уничтожить горутину?

штатного способа нет

а внутри горутины вытесняющую многоздачность устроить? Например, я сделал select на два канала. И я хочу, чтобы не блокировался другой, пока один отрабатывает. Это можно сделать?

cancel?

увы, это не снаружи, а изнутри, насколько я понимаю. Но да, что-то такое

cancel

нет это снаружи)

нет, и быть не может. но есть несколько способов сказать ей “хватит”

а вот тут говорят, что прямо снаружи можно

Не ясно чего хочется достичь

Это не противоречит. import context и вот это всё

не, это недопонимание

и даже с контекстом - только по доброй воле она завершится

если я правильно понял, то да, нужно больше деталей

Там не было условия принуждения

полят обычно канал в селекте. и как его закроют - из него что-нибудь прочтется, и, значит, пора на выход

for { select { case <-stop: return default: // какая-то работа } }

case <-stop: return это не отработает, пока default: // какая-то работа не завершится

а хочется выходить до завершения "какой-то работы"?

Кстати, вы для сообщения горутине о необходимости завершения работы, используете обычно канал со структурой или контекст? Почему? Поделитесь, опытом, пожалуйста)

поставь таймаут на работу

я хочу делать работу, при этом в любой момент по сигналу завершить горутину

в контексте унутре канал. так что разницы нет

мне кажется тут многое зависит от контекста

да

в смысле?

у проверяйте канал посреди работы своей, в чем проблема

проблема в том, что не могу - горутина занята работой

Ну кроме как сделать работу фрагментарной и гонять её в цикле или вставить туда прямо проверку на завершение - по другому никак. Чудес не бывает

тогда без шансов

не могу её такой сделать

Какой работой? Обычно, у многих методов можно передать контекст или время тацмаута

работой - выполнять синхронно функцию

Значит это блокирующая работа и всё. Да, есть бдлокирующий ввод вывод, ещё там что. И все его ждут

Можно не воспринимать её результат. Но магии не существует вне зависимости от языка

прибивать потоки, горутины - это вообще экстремальный случай который редко когда оправдан. Подумайте что произодйте если вы убъете выполняющийся код, который захватил ресурсы (открыл файлы, захватил мьютекс и тд)

ладно, я скажу, почему вообще такая тема возникла любители хаскеля и других фп-образных языков сказали, что модель горутин не такая прям хорошая, потому что нельзя функцию сделать доступной и синхронно, и асинхронно. Одну и ту же. Ну мне стало интересно, нашёл обход через запуск горутины-враппера. И всё бы хорошо, но чуваки попросили сделать возможность отмены выполнения горутины в любой момент времени. И вот тут всё сломалось. Придётся либо отказаться от любого момента, либо делать функцию "цветной" (то есть, явно асинхронной)

а что, в хаскеле есть такие функции, которые можно снаружи пристрелить?

меня вот это смущает если честно

Что именно?

Я бы даже сказал, что это типовое решение

в хаскеле используется preemptive планирование, а так же имея ThreadId можно вызвать killThread id, после чего в целевом треде возникнет исключение которое его убьёт https://hackage.haskell.org/package/base-4.16.0.0/docs/Control-Concurrent.html#v:killThread

если что, мы тут про пользовательские треды говорили, не треды ОС

в джаве есть точно такой же механизм, но он депрекейтед https://docs.oracle.com/javase/7/docs/technotes/guides/concurrency/threadPrimitiveDeprecation.html

я тоже про них, в хаскеле треды планируются рантаймом языка, как в го

он много лет как deprecated, потому как работал он только с гринтредами

а кто должен будет этот сигнал обработать, тред, или нечто снаружи?

в доке написано что тред прерывается в safe point, в частности при аллокации памяти

о_О в жава были гринтреды

только там и были, строго говоря

я не об этом спросил в os есть сигналы для процессов, обработчики которых вызываются в самом процессе, и есть, которые отрабатывает ядро. поэтому для процесса есть ignorabble и non-ignorable kill а в хаскеле как?

хз, вроде killThread реализован без ОС сигналов

но я и не об этом. сам тред обрабатывает эти сигналы? если так - наш канал ничем не хуже

да, сам тред

В питоне до асинхронности делали библиотеку с контрафактными гринтредами.