W
Верю, что они все правильно сделали
А мне нужно убедиться, что
1) В многопотоке мои методы не интерферируют друг с другом в статических переменных
2) Отменяются когда надо
Size: a a a
2020 November 26
2020 November 27
AB
Ну и таки без примеров не понятно чо там должно отработать, не должно, зачем. Абстрактные вопросы/ответы
Dv
А как в реальном мире проводят тесты на многопоток? Там же все время приходится придумывать операции, зависимые от времени. Я вот щас тестировал, что вот четыре таски запускаю, какие-то отменяю, и смотрю, те ли отменились. Но у меня тут везде миллисекунды - тут протестить, что операция длится не менее секунды, тут - отменить через полсекунды. Конечно, это зависит от железа и версии библиотеки, и вообще кажется ненадежным
Да, это очень сложно. Есть разные интересные инструменты, но они все сложные: например, могут требовать построения формальной модели твоей многопоточной системы.
Dv
Верю, что они все правильно сделали
Ха-ха.
Dv
А мне нужно убедиться, что
1) В многопотоке мои методы не интерферируют друг с другом в статических переменных
2) Отменяются когда надо
1) В многопотоке мои методы не интерферируют друг с другом в статических переменных
2) Отменяются когда надо
Обычно я в таком случае пытаюсь всё-таки написать стабильные тесты, которые будут тестировать проблемные сценарии. А в тестах расставить семафоры, эвенты или другие способы синхронизации.
В особо сложных случаях, когда корректность системы не удаётся доказать тестами — это веское основание для того, чтобы её перепроектировать.
В особо сложных случаях, когда корректность системы не удаётся доказать тестами — это веское основание для того, чтобы её перепроектировать.
I
А как в реальном мире проводят тесты на многопоток? Там же все время приходится придумывать операции, зависимые от времени. Я вот щас тестировал, что вот четыре таски запускаю, какие-то отменяю, и смотрю, те ли отменились. Но у меня тут везде миллисекунды - тут протестить, что операция длится не менее секунды, тут - отменить через полсекунды. Конечно, это зависит от железа и версии библиотеки, и вообще кажется ненадежным
Попробуй Microsoft Coyote
I
Я им конкретно не пользовался, но немного щупал, скажем так. С виду как раз то, что тебе нужно
W
Спасибо, хотя я наверное пока останусь с тем, что есть, по усложнению пойду когда прям позарез нужно будет.
GM
Ребят, подскажите, как отправить в ебучем Razor Pages (.NET Core) из контроллера Dictionary<Enum,long> , он у меня просто пустой приходит. Я уже и через viewData пробовал.
DB
LINQ.ToList не потокобезопасен при работе с ConcurrentDictionary.
E
а с чего бы он должен быть?
AB
Эти и другие открытия тех, кто не читает доки.
DP
Эх. Шож на внутренности тупла атрибут не повесить
DB
а с чего бы он должен быть?
dic.ToArray() // потокобезопасенПотому что это приводит к ошибкам, который разруливаются только статическими анализаторами, и я пока не нашёл ни одного где такое правило было бы по умолчанию.
dic.ToList() // не потокобезопасен
AH
dic.ToArray() // потокобезопасенПотому что это приводит к ошибкам, который разруливаются только статическими анализаторами, и я пока не нашёл ни одного где такое правило было бы по умолчанию.
dic.ToList() // не потокобезопасен
ToArray() метод самого дикшнари, ToList() из линкуя берется
DB
И?
AH
ну и все
AT
dic.ToArray() // потокобезопасен
dic.ToList() // не потокобезопасен
это где такое написано?