Vladimir Sergeevich
Vladimir Sergeevich9. August 2023 07: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
Stabiles Hosting des sozialen Netzwerks EVILEG. Wir empfehlen VDS-Hosting für Django-Projekte.

Magst du es? In sozialen Netzwerken teilen!

4
Evgenii Legotckoi
  • 9. August 2023 07:38
  • (bearbeitet)

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

value != val1 || value != val2

    Vladimir Sergeevich
    • 9. August 2023 10:53
    • (bearbeitet)

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

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

      Evgenii Legotckoi
      • 10. August 2023 01:50

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

        Evgenii Legotckoi
        • 14. August 2023 07:34

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

          Kommentare

          Nur autorisierte Benutzer können Kommentare posten.
          Bitte Anmelden oder Registrieren
          Letzte Kommentare
          ИМ
          Игорь Максимов5. Oktober 2024 07:51
          Django – Lektion 064. So schreiben Sie eine Python-Markdown-Erweiterung Приветствую Евгений! У меня вопрос. Можно ли вставлять свои классы в разметку редактора markdown? Допустим имея стандартную разметку: <ul> <li></li> <li></l…
          d
          dblas55. Juli 2024 11:02
          QML - Lektion 016. SQLite-Datenbank und das Arbeiten damit in QML Qt Здравствуйте, возникает такая проблема (я новичок): ApplicationWindow неизвестный элемент. (М300) для TextField и Button аналогично. Могу предположить, что из-за более новой верси…
          k
          kmssr8. Februar 2024 18:43
          Qt Linux - Lektion 001. Autorun Qt-Anwendung unter Linux как сделать автозапуск для флэтпака, который не даёт создавать файлы в ~/.config - вот это вопрос ))
          Qt WinAPI - Lektion 007. Arbeiten mit ICMP-Ping in Qt Без строки #include <QRegularExpressionValidator> в заголовочном файле не работает валидатор.
          EVA
          EVA25. Dezember 2023 10:30
          Boost - statisches Verknüpfen im CMake-Projekt unter Windows Ошибка LNK1104 часто возникает, когда компоновщик не может найти или открыть файл библиотеки. В вашем случае, это файл libboost_locale-vc142-mt-gd-x64-1_74.lib из библиотеки Boost для C+…
          Jetzt im Forum diskutieren
          J
          JacobFib17. Oktober 2024 03:27
          добавить qlineseries в функции Пользователь может получить любые разъяснения по интересующим вопросам, касающимся обработки его персональных данных, обратившись к Оператору с помощью электронной почты https://topdecorpro.ru…
          JW
          Jhon Wick1. Oktober 2024 15:52
          Indian Food Restaurant In Columbus OH| Layla’s Kitchen Indian Restaurant If you're looking for a truly authentic https://www.laylaskitchenrestaurantohio.com/ , Layla’s Kitchen Indian Restaurant is your go-to destination. Located at 6152 Cleveland Ave, Colu…
          КГ
          Кирилл Гусарев27. September 2024 09:09
          Не запускается программа на Qt: точка входа в процедуру не найдена в библиотеке DLL Написал программу на C++ Qt в Qt Creator, сбилдил Release с помощью MinGW 64-bit, бинарнику напихал dll-ки с помощью windeployqt.exe. При попытке запуска моей сбилженной программы выдаёт три оши…
          F
          Fynjy22. Juli 2024 04:15
          при создании qml проекта Kits есть но недоступны для выбора Поставил Qt Creator 11.0.2. Qt 6.4.3 При создании проекта Qml не могу выбрать Kits, они все недоступны, хотя настроены и при создании обычного Qt Widget приложения их можно выбрать. В чем может …

          Folgen Sie uns in sozialen Netzwerken