С Новым годом! Форум программистов, компьютерный форум, киберфорум
C++
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.89/18: Рейтинг темы: голосов - 18, средняя оценка - 4.89
0 / 0 / 0
Регистрация: 17.11.2018
Сообщений: 4

Неблокирующие алгоритмы на C++, многопоточность

29.11.2019, 15:59. Показов 4024. Ответов 7
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Добрый день!
Прошу помочь понять задание. Я новичок.
Тема: неблокирующие алгоритмы. Задание дано для java, но мне нужно выполнить на C++ с помощью соответствующих конструкций.

Разработать многопоточную программу, которая с помощью AtomicInteger и метода compareAndSet выполняет следующие операции для одномерного массива.
Создать параллельные функции для нахождения:
- количества элементов массива типа int;
- контрольной суммы с использованием XOR для элементов массива типа int.
- минимального и максимального элементов массива типа long, а также их индексы.

Если я правильно понимаю, мне нужно создать массив, потом эти три функции для работы с ним, потом вручить разным потокам выполнение этих функций. Если правильно поняла, в C++ в неблокирующих алгоритмах используется <atomic>. Но я не могу понять, к чему тут применить <atomic>. Каждый поток будет выполнять свою функцию, которая заключается в чтении данных массива, а не в их модификации. Зачем же тогда тут этот неблокирующий алгоритм или я совсем неправильно поняла задание?
0
Лучшие ответы (1)
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
29.11.2019, 15:59
Ответы с готовыми решениями:

Неблокирующие сокеты
Пожалуйста помогите разобраться с темой неблокирующих сокетов. Литература или если есть у кого исходники. Как то.. никогда не занимался...

Неблокирующие сокеты
Всем привет! Столкнулся с проблемой при выполнении лабораторной работы. В ней нужно реализовать скачку изображений в асинхронном режиме...

MPI программы: неблокирующие сообщения
...доброго времени суток, уважаемые форумчане!... имеется следующая задача: в исходном тексте программы на языке C пропущены вызовы...

7
2734 / 888 / 331
Регистрация: 10.02.2018
Сообщений: 2,097
29.11.2019, 19:38
Чисто теоретически...
Например, нужно найти минимум.

Можно разбить массив на несколько частей (первая и вторая половины). Запустить для каждой части поток (два потока). В потоках найти минимумы по заданным частям (минимум первой половины и минимум второй половины). В конце выбрать минимум из полученных результатов каждого потока (минимальный из двух минимумов).

Как можно тут прикрутить атомарные операции?
В каждом потоке ищем не локальный минимум, а общий. Заводим атомарный минимум. Каждый поток сравнивает значение с ним и, если нужно, заносит в него новый минимум. Стрёмный какой-то вариант, но почему бы и нет...

Стрёмный, потому что на запись требуется несколько операций, а они уже не будут атомарными по своей природе, только если их завернуть в какой-нибудь мьютекс... или атомарный локер.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
atomic_int global_min; // атомарное значение, можем одновременно читать и записывать из разных потоков
int global_min_index; // не атомарное значение
 
// функция потока
void thread(int* array, int start, int stop)
{
  // цикл по заданным элементам
  for (int pos=start; pos<stop; pos++)
  {
    // сравнение с атомиком
    if (array[pos] < global_min)
    {
      // << lock ??? на запись нужно как-то заблокировать, что бы два потока не лезли одновременно
 
      // повторная проверка из-за возможности пересечения нескольких потоков
      // если какой-то поток уже внёс свои изменения, то нужно перепроверить минимум
      //  если всё ещё минимум, то обновить
      //  если минимум устарел, то ничего не делаем
      if (array[pos] < global_min)
      {
        global_min = array[pos];// запись в атомик
        global_min_index = pos;
      }
 
      // << unlock ???
    }
  }
}
Проще всё таки считать локальные минимумы, а потом свести результат по потокам в одну переменную. Можно сделать сведение с блокировкой на спинлоке, это типа и будет неблокирующий алгоритм.

С количеством проще, наверное имеется в виду количество элементов равных чему-то. Заводим атомарный счётчик и увеличиваем его из разных потоков.

С XOR не очень понятно. Можно попробовать воспользоваться fetch_xor для каждого элемента, но какой смысл? Проще опять же посчитать локальные XOR и потом объединить результат.
1
736 / 700 / 110
Регистрация: 29.05.2015
Сообщений: 4,267
29.11.2019, 20:21
Цитата Сообщение от juliyasos Посмотреть сообщение
Зачем же тогда тут этот неблокирующий алгоритм или я совсем неправильно поняла задание?
Потому неблокирующий, что все три потока выполняют вычисления независимо друг от друга. Не нужно блокировать один поток, что-бы дождаться результатов работы другого. Я так думаю.

Добавлено через 6 минут
А вообще, нужно уточнить задание. В двух случаях фигурирует массив int, в третьем - long. Это что, два разных массива нужно? А может три - по массиву на каждый поток?
1
0 / 0 / 0
Регистрация: 17.11.2018
Сообщений: 4
29.11.2019, 20:51  [ТС]
Ygg, благодарю! Сейчас попробую с атомарным минимумом.
Нам дали образец выполнения. На java. Но поскольку я не знакома с java, не могу понять, где там деление действий между потоками и почему считается 3 суммы?..

Java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
package com.company;
import java.util.Arrays;
import java.util.concurrent.atomic.AtomicInteger;
import java.util.stream.IntStream;
public class Main {
   static int sum = 0;
   public static void main(String[] args) {
       int array[] = new int [5000000]; /* long array[] = new Random().longs(SIZE).toArray();*/ 
       AtomicInteger atomicSum = new AtomicInteger(); /*создание атомарной переменной (atomic variable)*/
       Arrays.fill(array,2);
       int serialSum = IntStream.of(array).sum();
       IntStream.of(array).parallel().forEach( arrayElement -> {   /*встроенный метод для выполнения параллельных вычислений в Java*/
           sum += arrayElement;    /*нахождение суммы без использования атомарной переменной*/
           int oldValue;
           int newValue;
           do{ //смена суммы с использованием метода compareAndSet
               oldValue = atomicSum.get();
               newValue = oldValue + arrayElement;
           }while(!atomicSum.compareAndSet(oldValue , newValue));
       });
       System.out.println("Serial sum:   " + serialSum);
       System.out.println("Blocking sum: " + sum);
       System.out.println("Atomic sum:   " + atomicSum.get());
   }
}
0
2734 / 888 / 331
Регистрация: 10.02.2018
Сообщений: 2,097
29.11.2019, 23:07
Лучший ответ Сообщение было отмечено juliyasos как решение

Решение

Java
1
2
3
4
5
6
7
8
9
IntStream.of(array).parallel().forEach( arrayElement -> { /*встроенный метод для выполнения параллельных вычислений в Java*/
  sum += arrayElement; /*нахождение суммы без использования атомарной переменной*/
  int oldValue;
  int newValue;
  do{ //смена суммы с использованием метода compareAndSet
    oldValue = atomicSum.get();
    newValue = oldValue + arrayElement;
  }while(!atomicSum.compareAndSet(oldValue , newValue));
});
Я Java не знаю, но чисто логически...
IntStream.of(array) - создаём какой-то объект "стрим" из массива "array"
IntStream.of(array).parallel() - создаём из стрима параллельный стрим
IntStream.of(array).parallel().forEach(<function>) - для каждого элемента стрима выполняем функцию "function"
В случае параллельного стрима весь диапазон автоматически разбивается на несколько частей и для каждой части в отдельном потоке выполняется функция "function"
Код ниже выполняет атомарное сложение:
Java
1
2
3
4
  do{ //смена суммы с использованием метода compareAndSet
    oldValue = atomicSum.get();
    newValue = oldValue + arrayElement;
  }while(!atomicSum.compareAndSet(oldValue , newValue));
atomicSum.compareAndSet(oldValue , newValue) - поместить в "atomicSum" значение "newValue" при условии что там сейчас лежит значение "oldValue". В противном случае возвращается ошибка и повторяем операцию.
Жуть какая-то с точки зрения скорости выполнения на мой взгляд, но если оно так нужно, то можно посмотреть в сторону compare_exchange.

C++
1
2
3
4
5
6
7
8
9
// поиск минимума для части диапазона по аналогии с кодом джава
for (int pos=start; pos<stop; pos++)
{
  int prev = atomic_min_index;
  do{
    if (array[pos] >= array[prev])
      break;
  } while (!atomic_min_index.compare_exchange_strong(prev, pos));
}
1
Mental handicap
 Аватар для Azazel-San
1246 / 624 / 171
Регистрация: 24.11.2015
Сообщений: 2,429
30.11.2019, 02:08
Цитата Сообщение от alexu_007 Посмотреть сообщение
Потому неблокирующий, что все три потока выполняют вычисления независимо друг от друга. Не нужно блокировать один поток, чтобы дождаться результатов работы другого. Я так думаю.
Почти так, но не стоит полагать, что lock-free - это магия, как бы не так. За все надо платить, за атомарные операции, за копирование и тд. Но исходя из задания ТС ей это не надо, тк потоки будут только читать данные и синхронизации не нужны (данные еще и можно разделить), тогда почему в этом мире мы должны платить за это?
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
#include <thread>
#include <future>
#include <random>
#include <algorithm>
 
template <size_t N>
void fill(int(&array)[N], int lower_bound, int upper_bound) noexcept {
    static std::mt19937 gen { std::random_device()() }; 
    std::uniform_int_distribution<int> uid(lower_bound, upper_bound);
 
    std::generate(array, array + N, [&uid] { return uid(gen); });
}
 
template <size_t N>
void print(int(&array)[N]) noexcept {
    for (size_t i = 0; i < N; i++) {
        printf("%d ", array[i]);
    }
}
 
int find_max(int* begin, int* end) noexcept {
    return *std::max_element(begin, end);
}
 
int main() {
    int data[100];
    fill(data, 1, 99);
    print(data);
 
    auto worker1 = std::async(find_max, data,      data + 50 );
    auto worker2 = std::async(find_max, data + 50, data + 100);
 
    int max_from_thread_1 = worker1.get();
    int max_from_thread_2 = worker2.get();
 
    printf("\nmax value = %d", std::max(max_from_thread_1, max_from_thread_2));
}
Code
1
2
3
Out:
54 48 84 80 74 13 54 21 16 96 61 15 36 90 35 44 77 41 79 5 79 24 50 24 95 80 41 75 80 26 40 56 75 12 60 68 19 66 66 75 45 19 84 3 55 89 77 60 46 50 39 51 22 51 85 65 29 94 67 42 27 85 59 28 82 21 70 72 91 87 22 65 54 8 35 20 53 63 55 55 28 44 39 63 17 60 1 14 64 22 14 31 60 98 71 80 11 78 32 80 
max value = 98
1
2734 / 888 / 331
Регистрация: 10.02.2018
Сообщений: 2,097
30.11.2019, 11:00
Цитата Сообщение от juliyasos Посмотреть сообщение
и почему считается 3 суммы?
serialSum - это сумма посчитанная обычным последовательным сложением без распараллеливания, эталон
sum - это сумма посчитанная параллельным сложением без атомарности, может быть ошибочной
atomicSum - это сумма посчитанная параллельным сложением с атомарностью, должна быть равна эталону
1
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
30.11.2019, 16:51
Цитата Сообщение от Azazel-San Посмотреть сообщение
Почти так, но не стоит полагать, что lock-free - это магия, как бы не так. За все надо платить, за атомарные операции, за копирование и тд. Но исходя из задания ТС ей это не надо, тк потоки будут только читать данные и синхронизации не нужны (данные еще и можно разделить), тогда почему в этом мире мы должны платить за это?
Там просто задание безграмотное, никакие блокировки для решения этих задач не нужны (ну, возможно, кроме контрольной суммы, тут тупо не знаю).
Единственная синхронизация здесь - ожидание завершения всех потоков.
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
30.11.2019, 16:51
Помогаю со студенческими работами здесь

Неблокирующие сокеты, проверка установки соединения
Создал неблокирующий сокет. Когда делаю connect - возвращает -1 Operation now in progress Как я понял это нормально для неблокирующих...

Неблокирующие сокеты и тайм-аут подключения
Имеется tcp-соединение с некоторым устройством. Устройство выступает в качестве сервера, клиент - приложение. Есть набор команд, с помощью...

Неблокирующие сокеты блокируют во время передачи данных или нет
Если использовать не блокирующие сокеты то приложение не будет зависать на ожидании данных. Но если например данные начали приниматься...

Реализовать алгоритмы построения прямой: простой пошаговый алгоритм и алгоритмы Брезенхема
1. Написать на языке PASCAL программу, реализующую алгоритмы построения прямой: простой пошаговый алгоритм и алгоритмы Брезенхема для...

Циклические алгоритмы. Алгоритмы обработки последовательностей чисел
Помогите пожалуйста program Lab_3_1; const x1=1; xn=3; dx=0.2; a=3.9; b=2.3; var x,y,z:real; ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
8
Ответ Создать тему
Новые блоги и статьи
Изучаю kubernetes
lagorue 13.01.2026
А пригодятся-ли мне знания kubernetes в России?
Сукцессия микоризы: основная теория в виде двух уравнений.
anaschu 11.01.2026
https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/
WordPad для Windows 11
Jel 10.01.2026
WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .
Classic Notepad for Windows 11
Jel 10.01.2026
Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .
Почему дизайн решает?
Neotwalker 09.01.2026
В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 3
anaschu 06.01.2026
aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR
ФедосеевПавел 06.01.2026
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .
Модель микоризы: классовый агентный подход 2
anaschu 06.01.2026
репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru