Ожидание потока

@Knjagskij · Регистрация: 10.11.2008

Студворк — интернет-сервис помощи студентам

Пытаюсь написать программу, в которой 3 потока увеличивают переменную i, пока она меньше N, по мере подключения к ней, но нижеприведенный код считает до N+2, а не N

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
#include <QCoreApplication>
#include <iostream>
#include <thread>
#include <mutex>
#include <vector>
 
using namespace std;
const int N = 300;
int i = 0;
 
struct s1
{
public:
    void operator()(int)const;
};
 
struct s2
{
public:
    void operator()(int)const;
};
 
struct s3
{
public:
    void operator()(int)const;
};
 
std::mutex g_lock;
 
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);
 
    s1 s;
 
    std::thread th1{s1(), 1};
    std::thread th2{s2(), 2};
    std::thread th3{s3(), 3};
 
    th1.join();
    th2.join();
    th3.join();
 
//    std::vector<int> v;
//    v.resize(50);
//    v[5] = 9;
//    std::cout<<v.size();
 
    return a.exec();
}
 
void s1::operator ()(int n)const
{
    while(i<N)
    {
        g_lock.lock();
        i++;
        if(i>100)
        {
            this_thread::yield();
        }
        cout<<i<<" ";
        g_lock.unlock();
    }
}
 
void s2::operator ()(int n)const
{
    while(i<N)
    {
        g_lock.lock();
        i++;
        cout<<i<<" ";
        g_lock.unlock();
    }
}
 
void s3::operator ()(int n)const
{
    while(i<N)
    {
        g_lock.lock();
        i++;
        cout<<i<<" ";
        g_lock.unlock();
    }
}

Далее, (не смотря на ошибку в первом примере), пытаюсь использовать yield, если i>100, для введения первого потока в режим ожидания (пока не выполнятся 2-й и 3-й потоки), соответственно, тоже не работает, но не только из-за первой ошибки. Подскажите пожалуйста, что я делаю не так и как дальше ввести поток в работу, если i будет больше 900?

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
#include <QCoreApplication>
#include <iostream>
#include <thread>
#include <mutex>
#include <vector>
 
using namespace std;
const int N = 300;
int i = 0;
 
struct s1
{
public:
    void operator()(int)const;
};
 
struct s2
{
public:
    void operator()(int)const;
};
 
struct s3
{
public:
    void operator()(int)const;
};
 
std::mutex g_lock;
 
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);
 
    s1 s;
 
    std::thread th1{s1(), 1};
    std::thread th2{s2(), 2};
    std::thread th3{s3(), 3};
 
    th1.join();
    th2.join();
    th3.join();
 
//    std::vector<int> v;
//    v.resize(50);
//    v[5] = 9;
//    std::cout<<v.size();
 
    return a.exec();
}
 
void s1::operator ()(int n)const
{
    while(i<N)
    {
        g_lock.lock();
        i++;
        if(i>100)
        {
            this_thread::yield();
        }
        cout<<n;
        g_lock.unlock();
    }
}
 
void s2::operator ()(int n)const
{
    while(i<N)
    {
        g_lock.lock();
        i++;
        cout<<n;
        g_lock.unlock();
    }
}
 
void s3::operator ()(int n)const
{
    while(i<N)
    {
        g_lock.lock();
        i++;
        cout<<n;
        g_lock.unlock();
    }
}

Добавлено через 41 секунду
И, кстати, у вас, что ли слово "Проблемы" входит в перечень запрещенных, для названия тем?

@nmcf · 26.11.2015, 20:07

lock() нужно делать до обращения к переменной i.

@Knjagskij · 26.11.2015, 20:57 **[ТС]**

Тогда нужно изменить цикл на

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
while(1)
{
    g_lock.lock();
        if(i<N)
        {
            i++;
            cout<<i;
         }else
        {
            break;
        }
    g_lock.unlock();
}

Ilot · 27.11.2015, 07:40

Во-первых, используйте стражи:

C++
1
2
3
4
5
6
7
8
9
10
11
12
void s1::operator ()(int n)const
{
    while(i<N)
    {
        std::lock_guard<std::mutex> lk(g_lock);
        i++;
        if(i>100)  {
            this_thread::yield();
        }
        cout<<n;
    }
}

Во-вторых, функция this_thread::yield() не переводит поток в режим ожидания, а перераспределяет кванты выполнения потоков, давая возможность выполнить свой код другим потокам. Однако так как у вас вызов этой функции находится под защитой мъютекса реально ничего не происходит (кроме проверки условия) т.к. другие потоки не могут захватить мъютекс и инкрементировать переменную.
И в-третьих, вы полностью забываете про многопоточность. Заметьте, что проверка while(i<N) идет не под защитой мъютекса, поэтому вполне возможет подобный сценарий:
1) Один поток схапал мъютекс, но еще не инкрементировал переменную, которая равна в этот момент N - 1.
2) Второй поток проверил условие и пытается захватить мъютекс.
3) Третий поток так же как и второй проверил условие и пытается захватить мъютекс.
4) Первый поток инкрементирует переменную и освобождает мъютек.
5) Второй поток хапает мъютекс и инкрементирует переменную.
6) Третий поток хапает мъютекс и инкрементирует переменную.
И вот значение переменной равно N + 2, что и требовалось доказать.

@Knjagskij · 28.11.2015, 00:37 **[ТС]**

В последнем же изменении я лочу мьютекс перед обработкой объекта. А в каких случаях используются стражи и какие в них преимущества?
А почему мы создали стража и больше ничего с ним не делаем?

@nmcf · 28.11.2015, 08:42

Сообщение от Knjagskij

А в каких случаях используются стражи и какие в них преимущества?

unlock() происходит автоматически при выходе из блока, насколько я помню.

@Knjagskij · 28.11.2015, 14:25 **[ТС]**

Т.е. лучше пользоваться только ими и забыть про мьютексы?

@nmcf · 28.11.2015, 14:40

Мьютекс-то всё равно нужен - lock_guard() его содержит.

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@nmcf 7804 / 6568 / 2988 Регистрация: 14.04.2014 Сообщений: 28,705
	26.11.2015, 20:07
	lock() нужно делать до обращения к переменной i. 0

@Knjagskij -2 / 8 / 2 Регистрация: 10.11.2008 Сообщений: 776
	28.11.2015, 00:37 [ТС]
	В последнем же изменении я лочу мьютекс перед обработкой объекта. А в каких случаях используются стражи и какие в них преимущества? А почему мы создали стража и больше ничего с ним не делаем? 0

@Knjagskij -2 / 8 / 2 Регистрация: 10.11.2008 Сообщений: 776
	28.11.2015, 14:25 [ТС]
	Т.е. лучше пользоваться только ими и забыть про мьютексы? 0

@nmcf 7804 / 6568 / 2988 Регистрация: 14.04.2014 Сообщений: 28,705
	28.11.2015, 14:40
	Мьютекс-то всё равно нужен - lock_guard() его содержит. 0