если у тебя честный асинк, то тредпул даже не вырастет за пределы кол-ва ядер ЦПУ

Сложно

Дедлок!

дедлок это другое. Это когда, например, у тебя 2 вложенных лока, внешний блочит объект а, а внутренний б. А в другом месте обратный порядок. И тред1 захватил объект а и ждет освобождения объекта б, а тред2 захватил объект б и ждет освобождения объекта а. И так они и висят до перезагрузки

А в дотнете почему нет такой проблемы?

пушто у нас есть синтаксический сахар, чтобы удобно писать асинхронный код. И в итоге погромистам не нужно выбирать — писать идиоматично или производительно. А в жаве нужно. Можно сделать асинхронность без тредпулов (наверное, я мамкин жавист тока), но придется написать йоба-код, который будет выглядеть как пиздец. И никаких тебе вменяемых await-ов тоже.

поэтому то, что у нас пишется в 2 строчки, у них превращается в ебучий трактат в четырех томах трехстопным ямбом. @omgszer поправь плз, если я про жаву напиздел)

всё так, в джавке можно сделать нормально

но сук сложно

дедлок это другое. Это когда, например, у тебя 2 вложенных лока, внешний блочит объект а, а внутренний б. А в другом месте обратный порядок. И тред1 захватил объект а и ждет освобождения объекта б, а тред2 захватил объект б и ждет освобождения объекта а. И так они и висят до перезагрузки

In concurrent computing, a deadlock is a state in which each member of a group is waiting for another member, including itself, to take action, such as sending a message or more commonly releasing a lock.

Ну в целом, с натяжкой так-то можно назвать дедлоком

По сути, один тред ждет, пока другой трэд освободит поток

А тот трэд, ждет пока третий трэд освободит поток

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

Ну в целом, с натяжкой так-то можно назвать дедлоком

насколько я понимаю, thread starvation это не приговор, просто дождешься рано или поздно своего треда. На мертво не встанет

насколько я понимаю, thread starvation это не приговор, просто дождешься рано или поздно своего треда. На мертво не встанет

Мне кажется может быть кейс, когда не дождешься

Это как раз и будет дедлоком)

Мне кажется может быть кейс, когда не дождешься

ну даже если может быть, то это не дедлок. Дедлок — это стопроцентная рафинированная пизда. Если возникла, то все кончено. Не бывает, чтоб дедлок посидел и отпустил

Это как раз и будет дедлоком)

если у тебя в тредпуле из двух тредов, два треда задедлочились, то ты мудак!!111

если у тебя в тредпуле из двух тредов, два треда задедлочились, то ты мудак!!111

нУ эТо тВоЕ мНеНиЕ, тЫсЯчи ПроГрамМисТоВ тАк ПиШут КаЖдЫй дЕнь!111 И нИчЕгО, жИвУт

Как там было? Это твоё субъективное мнение!!!

Это как раз и будет дедлоком)

Ливлок

@omgszer а тред старвейшн рассасывается со временем? Ну типа если 1 тред таки соизволили разлочить

Ливлок

ливлок это ж бесконечный цикл вроде

если у тебя в тредпуле из двух тредов, два треда задедлочились, то ты мудак!!111

А если запустить две одинаковых таски параллельно, они выполняют какую-то работу, затем запускают ещё одну таску, и опять выполняют работу, а потом ожидают завершения запущенной таски

Разве лока не будет?

@omgszer а тред старвейшн рассасывается со временем? Ну типа если 1 тред таки соизволили разлочить

ну да, конечно. просто у тебя ВСЁ начинает работать пиздец плохо и медленно

то есть ты вроде ожидаешь быструю работу (и она вполне может быть быстрая), но там какой-то мудак массив сортирует на единственном треде

Разве лока не будет?

ForkJoinThreadPool

@omgszer а тред старвейшн рассасывается со временем? Ну типа если 1 тред таки соизволили разлочить

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

короче, в продолжении истории, тот парень оказался вменяемым. Написал мне слёзное письмо что он нихуя не понимает в тредах и вообще его взяли по объявлению и долго описывал как же он рад что смог чему-то научиться сегодня. Кстати, азиат, что важно

Возможно завтра он со стыда уже гопак напишет

Потому что сегодня вечером РАЗБЕРЁТСЯ в тредах

возможно его семья уже отвернулась от него, т.к. он не разобрался достаточно хорошо

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

да я так и думал, прост решил перепроверить на всякий. Ну, чтоб от меня семья не отвернулась за то, что я не разобрался достаточно хорошо

короче, в продолжении истории, тот парень оказался вменяемым. Написал мне слёзное письмо что он нихуя не понимает в тредах и вообще его взяли по объявлению и долго описывал как же он рад что смог чему-то научиться сегодня. Кстати, азиат, что важно

Прям письмо ?)

Прям письмо ?)

Ну в слаке.

Если б мог в зуме в ноги кинуться, наверное кинулся бы. Заебался с ним прощаться, все рассыпался в благодарностях

Ну в слаке.

Я уже прям представлял что чувак написал тераду извинений на емейл, плюс менеджера прикрепить)

Если б мог в зуме в ноги кинуться, наверное кинулся бы. Заебался с ним прощаться, все рассыпался в благодарностях

хорошая страта. Теперь ты дважды подумаешь, прежде чем его хуесосить на ревью — мало ли, опять заебет извинениями

Если б мог в зуме в ноги кинуться, наверное кинулся бы. Заебался с ним прощаться, все рассыпался в благодарностях

Ха теперь у тебя есть свой азиат как у умпутуна 😘

Если б мог в зуме в ноги кинуться, наверное кинулся бы. Заебался с ним прощаться, все рассыпался в благодарностях

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

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

Ну я ожидал второго да. Не ожидал что он окажется обучаемым!

do functional programmers dream about cock?

Ну я ожидал второго да. Не ожидал что он окажется обучаемым!

Да он просто компромат собирает, ты ж обязательно где-то токсик окажешься. Вот он и напишет: «текникалли стронг инженер, но ЕСТЬ ОДИН НЬЮАНС»

Да он просто компромат собирает, ты ж обязательно где-то токсик окажешься. Вот он и напишет: «текникалли стронг инженер, но ЕСТЬ ОДИН НЬЮАНС»

я уже не сдерживаю себя

лыжи смазаны

Да он просто компромат собирает, ты ж обязательно где-то токсик окажешься. Вот он и напишет: «текникалли стронг инженер, но ЕСТЬ ОДИН НЬЮАНС»

Про тебя так писали? 🤣

Про тебя так писали? 🤣

Про всех так писали, это менеджмент 101

Про всех так писали, это менеджмент 101

Наверное ты прав. Но за 20+ лет мне попался такой мудак только единожды.

https://naked-science.ru/article/nakedscience/tsena-straha

когда то болтали насчет атомной энергетики

а хули тут мокать?

Оправдан

https://github.com/fsprojects/FSharpPlus/blob/master/src/FSharpPlus/TypeLevel/TypeBool.fs тут недавно @eglyph вроде кидал тип була кастомный

я нашёл это и плачу

#define false true

let inline Not (b: ^Bool) = (^Bool: (static member Not: _->_) b)

let inline Not (b: ^Bool) = (^Bool: (static member Not: _->_) b)

Зачем такое может быть нужно?

Зачем такое может быть нужно?

@DogeShibu вот он должен знать!

@DogeShibu вот он должен знать!

Мне тоже сложно представить, если честно.

Похоже это знание умрёт вместе с автором

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

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

Чо то непонятно

Чо то непонятно

Ну типа у тебя false = true кинет ошибку компиляции

Осталось понять где в ФШАРПЕ это может пригодиться

Ну типа у тебя false = true кинет ошибку компиляции

Как??? И зачем, кстати?

Как??? И зачем, кстати?

Ну у тебя все инлайнится же и в статике все буловые операции раскрываются

Как??? И зачем, кстати?

Подобные техники пользуют в верифицирующих языках чтобы найти противоречие в леммах или наоборот их доказать

Но блять, при чём здесь фшарп

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

а не просто ли это возможность инвертировать типы у которых метод Not определен?

а не просто ли это возможность инвертировать типы у которых метод Not определен?

Нет, ты по ссылке сходи!

аа, понятно) я по ссылкам без надобности не хожу)

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

Я просто не очень представляю как это может в фшарпе пригодиться. Обычно эти инструменты вместе с тайпклассами и т.п. юзаются, чтобы что-то реальное сделать, но в фшарпе их нету же.

Т.е. везде где я использовал тайплевел в том или ином виде - это так или иначе сводилось к выводу тайпклассов через Generics и т.п. механизмы.

@omgszer А там, кстати, примера какого-то осмысленного кода с этой машинерией нет?

@omgszer А там, кстати, примера какого-то осмысленного кода с этой машинерией нет?

Надо поискать, я с телефона смотрел

Надо поискать, я с телефона смотрел

А, ну там есть спуск значений с тайплевела в рантайм, значит что-то можно попробовать на этой штуке сделать.

Пацаны, помогите с джавой. Или я тупой, или идея

две проблемы, код выше требует return statement. И подчёркнутое желтым говорят что always true

Я видимо в упор тупой, но не понимаю почему он always true