Vladimir Sergeevich
Vladimir Sergeevich09 серпня 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
Стабільний хостинг, на якому розміщується соціальна мережа EVILEG. Для проектів на Django радимо VDS хостинг.

Вам це подобається? Поділіться в соціальних мережах!

4
Evgenii Legotckoi
  • 09 серпня 2023 р. 07:38
  • (відредаговано)

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

value != val1 || value != val2

    Vladimir Sergeevich
    • 09 серпня 2023 р. 10:53
    • (відредаговано)

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

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

      Evgenii Legotckoi
      • 10 серпня 2023 р. 01:50

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

        Evgenii Legotckoi
        • 14 серпня 2023 р. 07:34

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

          Коментарі

          Only authorized users can post comments.
          Please, Log in or Sign up
          Дмитрий

          C++ - Тест 004. Указатели, Массивы и Циклы

          • Результат:60бали,
          • Рейтинг балів-1
          Дмитрий

          C++ - Тест 003. Условия и циклы

          • Результат:92бали,
          • Рейтинг балів8
          d
          • dsfs
          • 26 квітня 2024 р. 14:56

          C++ - Тест 004. Указатели, Массивы и Циклы

          • Результат:80бали,
          • Рейтинг балів4
          Останні коментарі
          k
          kmssr09 лютого 2024 р. 05:43
          Qt Linux - Урок 001. Автозапуск програми Qt під Linux как сделать автозапуск для флэтпака, который не даёт создавать файлы в ~/.config - вот это вопрос ))
          АК
          Анатолий Кононенко05 лютого 2024 р. 12:50
          Qt WinAPI - Урок 007. Робота з ICMP Ping в Qt Без строки #include <QRegularExpressionValidator> в заголовочном файле не работает валидатор.
          EVA
          EVA25 грудня 2023 р. 21:30
          Boost - статичне зв&#39;язування в проекті CMake під Windows Ошибка LNK1104 часто возникает, когда компоновщик не может найти или открыть файл библиотеки. В вашем случае, это файл libboost_locale-vc142-mt-gd-x64-1_74.lib из библиотеки Boost для C+…
          J
          JonnyJo25 грудня 2023 р. 19:38
          Boost - статичне зв&#39;язування в проекті CMake під Windows Сделал всё по-как у вас, но выдаёт ошибку [build] LINK : fatal error LNK1104: не удается открыть файл "libboost_locale-vc142-mt-gd-x64-1_74.lib" Хоть убей, не могу понять в чём дел…
          G
          Gvozdik19 грудня 2023 р. 08:01
          Qt/C++ - Урок 056. Підключення бібліотеки Boost в Qt для компіляторів MinGW і MSVC Для решения твой проблемы добавь в файл .pro строчку "LIBS += -lws2_32" она решит проблему , лично мне помогло.
          Тепер обговоріть на форумі
          G
          George1307 травня 2024 р. 10:27
          добавить qlineseries в функции в функции: "GPlotter::addSeries(QString title, QVector &arr)" я вызываю метод setChart(...), я в конструктор передал адрес на QChartView элемент
          BlinCT
          BlinCT05 травня 2024 р. 15:46
          Написать свой GraphsView Всем привет. В Qt есть давольно старый обьект дял работы с графиками ChartsView и есть в 6.7 новый но очень сырой и со слабым функционалом GraphsView. По этой причине я хочу написать х…
          PS
          Peter Son04 травня 2024 р. 03:57
          Best Indian Food Restaurant In Cincinnati OH Ready to embark on a gastronomic journey like no other? Join us at App india restaurant and discover why we're renowned as the Best Indian Food Restaurant In Cincinnati OH . Whether y…
          Evgenii Legotckoi
          Evgenii Legotckoi03 травня 2024 р. 00:07
          Мобильное приложение на C++Qt и бэкенд к нему на Django Rest Framework Добрый день. По моему мнению - да, но то, что будет касаться вызовов к функционалу Андроида, может создать огромные трудности.
          IscanderChe
          IscanderChe30 квітня 2024 р. 14:22
          Во Flask рендер шаблона не передаётся в браузер Доброе утро! Имеется вот такой шаблон: <!doctype html><html> <head> <title>{{ title }}</title> <link rel="stylesheet" href="{{ url_…

          Слідкуйте за нами в соціальних мережах