Vladimir Sergeevich
Vladimir SergeevichAug. 9, 2023, 7:20 a.m.

Некорректная работа потоков 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 раз). Таки почему, как вы думаете?

We recommend hosting TIMEWEB
We recommend hosting TIMEWEB
Stable hosting, on which the social network EVILEG is located. For projects on Django we recommend VDS hosting.

Do you like it? Share on social networks!

4
Evgenii Legotckoi
  • Aug. 9, 2023, 7:38 a.m.
  • (edited)

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

value != val1 || value != val2

    Vladimir Sergeevich
    • Aug. 9, 2023, 10:53 a.m.
    • (edited)

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

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

      Evgenii Legotckoi
      • Aug. 10, 2023, 1:50 a.m.

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

        Evgenii Legotckoi
        • Aug. 14, 2023, 7:34 a.m.

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

          Comments

          Only authorized users can post comments.
          Please, Log in or Sign up
          AD

          C ++ - Test 004. Pointers, Arrays and Loops

          • Result:50points,
          • Rating points-4
          m

          C ++ - Test 004. Pointers, Arrays and Loops

          • Result:80points,
          • Rating points4
          m

          C ++ - Test 004. Pointers, Arrays and Loops

          • Result:20points,
          • Rating points-10
          Last comments
          i
          innorwallNov. 15, 2024, 8:13 p.m.
          PyQt5 - Lesson 003. QSystemTrayIcon - How to minimize application to tray Dowsett pointed out that, for all three receptor positive subgroups, the point estimate was to the left, suggesting a better performance for anastrozole than for tamoxifen, with no differences i…
          i
          innorwallNov. 15, 2024, 5:30 p.m.
          Qt/C++ - Lesson 065. The correspondence of HTTP errors to server response errors in QNetworkAccessManager s Midsummer Classic in Kansas City priligy online pharmacy
          i
          innorwallNov. 15, 2024, 4:44 p.m.
          Qt/C++ - Lesson 039. How to paint stroke in QSqlTableModel by value in the column? Many OPKs would advise users to start using the test strips around day 9 of your cycle, considering day 1 to be the first day of full menstrual flow buy priligy australia
          i
          innorwallNov. 15, 2024, 1:27 p.m.
          Release of C++/Qt and QML application deployment utility CQtDeployer v1.4.0 (Binary Box) optionally substituted alkoxy, optionally substituted alkenyloxy, optionally substituted alkynyloxy, optionally substituted aryloxy, OCH, OC H, OC H, OC H, OC H, OC H, OC H, O C CH, OCH CH OH, O…
          i
          innorwallNov. 15, 2024, 8:26 a.m.
          Qt/C++ - Lesson 031. QCustomPlot – The build of charts with time buy generic priligy We can just chat, and we will not lose too much time anyway
          Now discuss on the forum
          t
          tonypeachey1Nov. 15, 2024, 5:04 p.m.
          google domain [url=https://google.com/]domain[/url] domain [http://www.example.com link title]
          i
          innorwallNov. 15, 2024, 4:50 p.m.
          добавить qlineseries в функции priligy for sale Gently flush using an ear syringe
          i
          innorwallNov. 11, 2024, 9:55 p.m.
          Всё ещё разбираюсь с кешем. priligy walgreens levitra dulcolax carbs The third ring was found to be made up of ultra relativistic electrons, which are also present in both the outer and inner rings
          9
          9AnonimOct. 25, 2024, 7:10 p.m.
          Машина тьюринга // Начальное состояние 0 0, ,<,1 // Переход в состояние 1 при пустом символе 0,0,>,0 // Остаемся в состоянии 0, двигаясь вправо при встрече 0 0,1,>…

          Follow us in social networks