Описание тега jcstress
2
ответа
Ошибка при запуске jcstress: опция VM 'StressLCM' разработана и доступна только в отладочной версии VM
Я пытаюсь запустить jcstress 0.5, но получаю сообщение об ошибке: Error: VM option 'StressLCM' is develop and is available only in debug version of VM. Error: Could not create the Java Virtual Machine. Error: A fatal exception has occurred. Program …
05 фев '19 в 20:15
2
ответа
Запуск первого теста JCStress
Я новичок в JCStress и пытаюсь запустить "привет мир" для JCStress, но сталкиваюсь с некоторыми проблемами. Я думаю, что есть кое-что очевидное, что я скучаю. Я иду по этой ссылке, чтобы узнать. И образцы, которые я пробую, здесь. Я начал с шаблона …
24 ноя '18 в 12:55
1
ответ
Смущает тест jcstress при сбое ReentrantReadWriteLock#tryLock
Я пытаюсь справиться с JCStress. Чтобы убедиться, что я это понимаю, я решил написать несколько простых тестов для того, что, как я знаю, должно быть правильным: java.util.concurrent.locks.ReentrantReadWriteLock, Я написал несколько очень простых те…
25 сен '18 в 15:57
1
ответ
Как я могу произвести переупорядочение команд в jcstress test?
Когда я подозреваю, что определенная перестановка команд разрешена спецификацией языка Java, я хочу воспроизвести ее в тесте jcstress. Как я могу это сделать? Например, в следующем коде инструкции Load и Store (я считаю) могут быть переупорядочены п…
14 май '19 в 22:06
0
ответов
JCStress при сбое теста Singleton
Я провел тест JCStess на Singleton, ниже - мой код. В общем, этот код завершится ошибкой из-за того, что несколько потоков будут гоняться за экземпляром, потому что блок if вернет более одного экземпляра. Но мой тест JCStress всегда успешен. Что-то …
29 ноя '19 в 05:56
3
ответа
Гарантирует ли последнее поле видимость значений поля в другом потоке?
я использую JCStressдля проверки последней переменной. Я знаю это, finalможет использоваться, чтобы убедиться, что при создании объекта другой поток, обращающийся к этому объекту, не видит этот объект в частично сконструированном состоянии. Теперь у…
16 май '21 в 08:14
1
ответ
ошибка в использовании jcstress из-за тестов не может быть найдена
Я пытаюсь использовать jcstress для тестирования в IDEA, и вот конфигурация в IDEA. код не в тему, но все равно выложу @JCStressTest @Outcome(id={"1","4"},expect = Expect.ACCEPTABLE,desc="ok") @Outcome(id="0",expect = Expect.ACCEPTABLE_INTERESTING,d…
25 сен '22 в 12:02
2
ответа
Могу ли я исключить вложенную синхронизацию в частном поле в синхронизированном методе
У меня есть этот устаревший псевдокод: public class Wrapper { private volatile Sink sink; public synchronized void flushSink() { if (sink != null) { synchronized (sink) { sink.flush(); } } } public void close() throws IOException { var sink = this.s…
25 ноя '22 в 15:39
0
ответов
Остается ли программа правильной, когда я удаляю одну из двух летучих?
У меня есть этот упрощенный фрагмент кода с двумя переменными (предположим, что мы должны сохранить оба поля): volatile boolean hasParam; volatile String param; boolean hasParam() { if (param == null) { getParam(); } return hasParam; } String getPar…
10 июн '22 в 17:13
1
ответ
Можно ли описать результат JCStress как результат кэширования, а не переупорядочения?
Я изменил один из примеров JCStress : @JCStressTest @Outcome(id = "0, 0", expect = ACCEPTABLE, desc = "Doing both reads early.") @Outcome(id = "1, 1", expect = ACCEPTABLE, desc = "Doing both reads late.") @Outcome(id = "1, 0", expect = ACCEPTABLE, d…
31 мар '23 в 13:40