Vladimir Sergeevich
Vladimir SergeevichТам. 9, 2023, 7:20 Т.Ж.

Некорректная работа потоков Java (Модель памяти)

Java, модель памяти, параллельное программирование

Вот такой код на Java написал:

import java.lang.Thread;

public class Main {
    private static int value;

    public static void main(String[] args) {
        final int val1 = 10;
        final int val2 = 999999;

        final int iterationCount = 99999999;

        Thread thread1 = new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 0; i < iterationCount; ++i) {
                    value = val1;

                    if (value != val1 && value != val2) {
                        System.out.println("#2 " + String.valueOf(value) );
                    }
                }

            }
        });

        Thread thread2 = new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 0; i < iterationCount; ++i) {
                    value = val2;

                    if (value != val1 && value != val2) {
                        System.out.println("#2 " + String.valueOf(value) );
                    }
                }

            }
        });

        thread1.start();
        thread2.start();
    }
}

Все просто. Есть 2 потока и 1 переменная. Каждый поток выставляет этой переменной свое значение (константное) и тут же проверяет что оно установилось. Если значение, присвоенное переменной не соответствует константам, которые потоки туда пытаются писать - то на экран выводится это значение.

Этот пример я написал к теме "Модель памяти Java", теоретически переменной может быть установлено другое значение так как запись целого числа - не атомарная операция. Старшие и младшие биты пишутся отдельно. То-есть сначала первый поток туда может запихнуть старшие биты своего числа, а потом второй - младшие от своего числа.

Короче вопрос то в чем...оно вроде бы работает, но какого-то черта вывод всегда один и тот же:
"#2 10"

Ну то, что там по итогу выводится 10 - это ок, потому что пока дело доходит до вывода - другой поток уже десять раз запишет туда свое число (так и получается).

Не ясно почему такая ситуация возникает стабильно и почему всего 1 раз, то-есть iterationCount мало на что влияет (со значениями больше 9999 "ошибка" проявляется стабильно, но ровно 1 раз). Таки почему, как вы думаете?

Рекомендуем хостинг TIMEWEB
Рекомендуем хостинг TIMEWEB
Стабильный хостинг, на котором располагается социальная сеть EVILEG. Для проектов на Django рекомендуем VDS хостинг.

Ол саған ұнайды ма? Әлеуметтік желілерде бөлісіңіз!

4
Evgenii Legotckoi
  • Там. 9, 2023, 7:38 Т.Ж.
  • (өңделген)

Эм.. При старте программы в value находится значение по умолчанию, то есть 0. Далее выполняется условие value != val1 && value != val2
Выводится значение одного из потоков.
А потом это условие уже никогда не выполнится, чтобы вывод был. Нужно ставить логическое ИЛИ вместо логического И

value != val1 || value != val2

    Vladimir Sergeevich
    • Там. 9, 2023, 10:53 Т.Ж.
    • (өңделген)

    Нет, не так. Ведь прямо перед проверкой (условием) стоит эта строка:
    value = val2; // у второго потока value = val1;
    То-есть значение меняется перед проверкой и никакой там не ноль.

    Вообще, если бы не специфическая "модель памяти Java" то условие не должно было бы выполниться ни разу. Я пытался как раз кодом показать возможность допустить ошибку. Меня смущает что она проявляется так редко. Ну вот она проявляется на 9999 итерациях один раз. Ну значит на 9999999 итерациях должна проявиться хотя бы раз 10? - а, нет, по прежнему 1 раз. Вот это странно.

      Evgenii Legotckoi
      • Там. 10, 2023, 1:50 Т.Ж.

      пффф.. ну да, понял в чём проблема. кину другу джависту эту задачку. может он чего интересного скажет.

        Evgenii Legotckoi
        • Там. 14, 2023, 7:34 Т.Ж.

        Собственно говоря да.
        Ответил. Неатомарная операция + состояние гонки. В продкашн такой код не пищут.
        Касательно того, что вывод возникает один раз: зависит от железа и его производительности. У него больше чем один раз такое выскакивало.

          Пікірлер

          Тек рұқсаты бар пайдаланушылар ғана пікір қалдыра алады.
          Кіріңіз немесе Тіркеліңіз
          Г

          C++ - Тест 001. Первая программа и типы данных

          • Нәтиже:66ұпай,
          • Бағалау ұпайлары-1
          t

          C++ - Тест 001. Первая программа и типы данных

          • Нәтиже:33ұпай,
          • Бағалау ұпайлары-10
          t

          Qt - Тест 001. Сигналы и слоты

          • Нәтиже:52ұпай,
          • Бағалау ұпайлары-4
          Соңғы пікірлер
          G
          GoattRockҚыр. 3, 2024, 1:50 Т.Қ.
          Linux жүйесінде файлдарды қалай көшіруге болады Задумывались когда-нибудь о том, как мы привыкли доверять свои вещи службам грузоперевозок? Сейчас такие услуги стали неотъемлемой частью нашей жизни, особенно когда речь идет о переездах между …
          d
          dblas5Шілде 5, 2024, 11:02 Т.Ж.
          QML - Сабақ 016. SQLite деректер қоры және онымен QML Qt-та жұмыс істеу Здравствуйте, возникает такая проблема (я новичок): ApplicationWindow неизвестный элемент. (М300) для TextField и Button аналогично. Могу предположить, что из-за более новой верси…
          k
          kmssrАқп. 8, 2024, 6:43 Т.Қ.
          Qt Linux - Сабақ 001. Linux астында Autorun Qt қолданбасы как сделать автозапуск для флэтпака, который не даёт создавать файлы в ~/.config - вот это вопрос ))
          АК
          Анатолий КононенкоАқп. 5, 2024, 1:50 Т.Ж.
          Qt WinAPI - Сабақ 007. Qt ішінде ICMP Ping арқылы жұмыс істеу Без строки #include <QRegularExpressionValidator> в заголовочном файле не работает валидатор.
          Енді форумда талқылаңыз
          Evgenii Legotckoi
          Evgenii LegotckoiМаусым 24, 2024, 3:11 Т.Қ.
          добавить qlineseries в функции Я тут. Работы оень много. Отправил его в бан.
          F
          FynjyШілде 22, 2024, 4:15 Т.Ж.
          при создании qml проекта Kits есть но недоступны для выбора Поставил Qt Creator 11.0.2. Qt 6.4.3 При создании проекта Qml не могу выбрать Kits, они все недоступны, хотя настроены и при создании обычного Qt Widget приложения их можно выбрать. В чем может …
          BlinCT
          BlinCTМаусым 25, 2024, 1 Т.Ж.
          Нарисовать кривую в qml Всем привет. Имеется Лист листов с тосками, точки получаны интерполяцией Лагранжа. Вопрос, как этими точками нарисовать кривую? ChartView отпадает сразу, в qt6.7 появился новый элемент…
          BlinCT
          BlinCTМамыр 5, 2024, 5:46 Т.Ж.
          Написать свой GraphsView Всем привет. В Qt есть давольно старый обьект дял работы с графиками ChartsView и есть в 6.7 новый но очень сырой и со слабым функционалом GraphsView. По этой причине я хочу написать х…
          Evgenii Legotckoi
          Evgenii LegotckoiМамыр 2, 2024, 2:07 Т.Қ.
          Мобильное приложение на C++Qt и бэкенд к нему на Django Rest Framework Добрый день. По моему мнению - да, но то, что будет касаться вызовов к функционалу Андроида, может создать огромные трудности.

          Бізді әлеуметтік желілерде бақылаңыз