Версия для печати темы

Автор: Алексей1153 22.1.2013, 12:59

Вопрос: когда сигнал и слот имеют аргументы по значению (то есть, не указатели и не ссылки), нужно ли выполнять межпоточную синхронизацию, если я из одного потока шлю сигнал в слот другого?

Понимаю, что глупый вопрос, поэтому задам его по-другому: в каких случаях при использовании сигнала в одном потоке и слота в другом требуется синхронизация ?

Ситуация простейшая - передаю, к примеру, QString по значению из потока в поток

Автор: Litkevich Yuriy 23.1.2013, 3:46

если по значению, то передаваемая величина просто копируется.

Автор: Алексей1153 23.1.2013, 8:24

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

Автор: ssoft 24.1.2013, 9:01

1. Если передача параметров происходит по значению.

signals:
    void foo ( QString );
    void foofoo ( const & QString );

то при асинхронном вызове (через очередь сообщений), передаваемые данные копируются и синхронизировать ничего не нужно.

2. Если передача параметров происходит по указателю по не константной ссылке.

signals:
    void foo ( QString * );
    void foo ( QString & );
    void foofoo ( const QString * );

то при асинхронном вызове копируется значение указателя (ссылки), за существование объекта QString и синхронизацию доступа к нему отвечает сам программист.

Автор: Алексей1153 24.1.2013, 9:12

ssoft, вот я именно про случай без ссылок. Я в детали механизма сигналов/слотов глубоко не вникал - вероятно они уже имеют свои синхронизаторы для этого случая ? То есть - в некий "почтовый ящик" значение положилось, а потом его адресат (слот) вытащит, и неважно, что это из другого потока произошло

----------------
а со ссылками (неважно, кстати, константные или нет) - ну тут и так понятно, что синхронизировать надо

Автор: iReset 24.1.2013, 9:40

А вот для меня этот ответ не совсем полон и остаются вопросы. Поясню:
1. Все функции в классе QString реентерабельны, за исключением некоторых (http://www.doc.crossplatform.ru/qt/4.7.x/qstring.html в самом начале). Т.е. при вызове этих функций уже необходимо обеспечивать блокировки. Другие функции, вроде бы, можно использовать в разных потоках, потому что у нас две копии QString.
Но...
2. QString использует неявное разделение данных (http://www.doc.crossplatform.ru/qt/4.7.x/qstring.html#details 4 абзац). Т.е. обе копии QString будут указывать на одни и те же данные до их изменения.

Что будет при одновременном изменении строки в одном потоке и чтении в другом? Вероятно, каша, поскольку для хранения данных в QString используется структура

    struct Data {
        QBasicAtomicInt ref;
        int alloc, size;
        ushort *data;
        ushort clean : 1;
        ushort simpletext : 1;
        ushort righttoleft : 1;
        ushort asciiCache : 1;
        ushort capacity : 1;
        ushort reserved : 11;
        ushort array[1];
    };

и, естественно, она обновится не атомарно.

Все это мои теоретические выкладки, на практике не проверял.


Я думаю, что если в документации (http://www.doc.crossplatform.ru/qt/4.7.x/qthread.html#details, после примера 3 абзац) прямо сказано, что соединяться можно с использованием соединения через очередь, то это работает.


Если речь идёт про классы Qt, то не обязательно, если используются только потокобезопасные функции (http://www.doc.crossplatform.ru/qt/4.7.x/threads-reentrancy.html#reentrant).

Автор: Алексей1153 24.1.2013, 9:57

выходит, если указать Qt::QueuedConnection , то аргументы по значению можно передавать без синхронизации

а вот указатели на локальные данные при Qt::QueuedConnection точно нельзя по определению

так, а это что за комиссия )

у меня поток не использует контролы и цикл обработки событий. Или это неважно ?

Автор: iReset 24.1.2013, 10:40

Все можно передавать безопасно, только пользоваться с оглядкой .

Судя по оригиналу
тут неправильный перевод. Должно быть


Ну контролы фиг с ними, а как ты без цикла обработки событий хочешь получить сигнал? Если поток на основе QThread, то он сам запускает свой цикл обработки событий (http://www.doc.crossplatform.ru/qt/4.7.x/qthread.html#details, второй абзац).

Автор: Алексей1153 24.1.2013, 10:42

с циклом - понятно, ок

Ну, видимо, класс потока сам и запустил петлю. Я сам явно не запускал

Автор: Авварон 24.1.2013, 22:04

iReset
Всё там у QString нормально. У шаред классов атомарно копирование - при передаче строки в поток мы получаем 2 копии с рефкаунтом 2.
При попытке изменить строку делается detach() - если счетчик ссылок больше 2х, то создается новая дата, туда копируется содержимое (заметь, это всё обращения на чтение), затем делается deref() оригиналу и только после этого идет изменение строки.
Самое плохое, что может случиться - это если 2 потока сделают детач() "одновременно" - тогда будет создано еще 2 копии, а исходник будет уничтожен при deref() той строки, что закончила detach() последней. Но эта ситуация достаточно маловероятна и чревата только падениями производительности.

Автор: iReset 25.1.2013, 8:45

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

Автор: Авварон 25.1.2013, 9:28

Лень в доку лезть, а какие ф-ии у QString нереентрабельны?

Автор: Алексей1153 25.1.2013, 11:28

Авварон, он, наверное, имел в виду не QString, а юзерские классы

Автор: iReset 25.1.2013, 12:38

http://www.doc.crossplatform.ru/qt/4.7.x/qstring.html

Автор: Авварон 25.1.2013, 17:38

Прикольно, даже не знал, что такие есть, всегда использовал toX() аналоги.