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
          Ua

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

          • Результат:84бали,
          • Рейтинг балів4
          Ua

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

          • Результат:42бали,
          • Рейтинг балів-8
          ОК

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

          • Результат:47бали,
          • Рейтинг балів-6
          Останні коментарі
          ИМ
          Игорь Максимов22 листопада 2024 р. 11:51
          Django - Підручник 017. Налаштуйте сторінку входу до Django Добрый вечер Евгений! Я сделал себе авторизацию аналогичную вашей, все работает, кроме возврата к предидущей странице. Редеректит всегда на главную, хотя в логах сервера вижу запросы на правильн…
          Evgenii Legotckoi
          Evgenii Legotckoi31 жовтня 2024 р. 14:37
          Django - Урок 064. Як написати розширення для Python Markdown Добрый день. Да, можно. Либо через такие же плагины, либо с постобработкой через python библиотеку Beautiful Soup
          A
          ALO1ZE19 жовтня 2024 р. 08:19
          Читалка файлів fb3 на Qt Creator Подскажите как это запустить? Я не шарю в программировании и кодинге. Скачал и установаил Qt, но куча ошибок выдается и не запустить. А очень надо fb3 переконвертировать в html
          ИМ
          Игорь Максимов05 жовтня 2024 р. 07:51
          Django - Урок 064. Як написати розширення для Python Markdown Приветствую Евгений! У меня вопрос. Можно ли вставлять свои классы в разметку редактора markdown? Допустим имея стандартную разметку: <ul> <li></li> <li></l…
          d
          dblas505 липня 2024 р. 11:02
          QML - Урок 016. База даних SQLite та робота з нею в QML Qt Здравствуйте, возникает такая проблема (я новичок): ApplicationWindow неизвестный элемент. (М300) для TextField и Button аналогично. Могу предположить, что из-за более новой верси…
          Тепер обговоріть на форумі
          Дмитрий
          Дмитрий03 лютого 2025 р. 06:24
          Создание deb-пакета. Как создать ярлык на рабочем столе после установки собственного deb-пакета? Всем привет. Сделал свой deb-пакет с программой. Всё устанавливается и работает. Ставлю по пути /usr/bin/my_application. Как для пользователя при установке пакета сразу создать ярлык на раб…
          NW
          Nayo Wai30 січня 2025 р. 09:22
          не запускается компьютер!!! Не запускается компьютер (точнее работает блок , но сам монитор вообще жесть)В общем я ничего с интернета не скачивала в последнее время. На компе никаких левых пр…
          n
          nkly03 січня 2025 р. 02:52
          Нужно запретить перемещение только некоторых итемов, остальные перемещать можно. Вопрос решен. Узнать QModelIndex элемента на который мы перетаскиваем другой элемент, можно с помощью функции indexAt(event->position().toPoint()) представления QTreeViev вызываемой в переопр…
          M
          Marsel16 серпня 2023 р. 14:26
          OAuth2.0 через VK, получение email Спасибо большое за помощь и простите за то что отнял время своей невнимательностью.
          Evgenii Legotckoi
          Evgenii Legotckoi24 червня 2024 р. 15:11
          добавить qlineseries в функции Я тут. Работы оень много. Отправил его в бан.

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