Discussion about "Threads, Events and QObjects" article
-
Unfortunately, the term "reentrancy" is not really clearly defined in computer world.
Michael Suess complains in his "blog entry:"http://www.thinkingparallel.com/2007/06/08/the-most-overused-word-in-parallel-programming-reentrancy/ about the situation. Reading the comments, it seems that there are at least two definitions of reentrancy in the context of single threading (regarding recursive function calls) and in the context of multi threading. This may confuse the people with a single threading background (DOS!) when heading over to multithreaded programming.
Anyways, the definitions are out in the wild and as long as we are in Qt context, we should use the terms defined by the Trolls to avoid further confusion. Otherwise we would need another round of BabelFishing for these kinds of things, but I doubt there's any T-Shirts to win :-)
-
[quote author="Franzk" date="1292935405"][quote author="Volker" date="1292932902"]but I doubt there's any T-Shirts to win :-)[/quote]Huh, imagine T-shirts stating something about your re-entrancy...
[/quote]What a about
"I'm a male - I'm not thread safe!"
[Edit - ok, a bit offtopic now :-) Volker]
-
Qt also requires that all objects living in a thread are deleted before the QThread object that represents the thread is destroyed; this can be easily done by creating all the objects living in that thread on the QThread::run() method’s stack.
Do you mean that
this can be easily done by deleting all the objects living in that thread on the QThread::run() method’s stack.
? -
[quote author="changsheng230" date="1293679684"]Qt also requires that all objects living in a thread are deleted before the QThread object that represents the thread is destroyed; this can be easily done by creating all the objects living in that thread on the QThread::run() method’s stack.
Do you mean that
this can be easily done by deleting all the objects living in that thread on the QThread::run() method’s stack.
?[/quote]No: I mean that if you do
@
MyThread::run()
{
Object obj1, obj2, obj3;
OtherObject foo, bar;
/* ... */
}
@All those objects will:
- be created on run()'s stack;
- be living in the "MyThread" thread;
- get automatically destroyed immediately before run() returns (thus, terminating the thread).
-
There seem to be two copies of this article now. This one: https://developer.qt.nokia.com/wiki/Threads_Events_QObjects has a revision history going back to Pepe's original post on 10 Dec through Alexandra's name change on 10 Feb. This one: https://developer.qt.nokia.com/wiki/ThreadsEventsQObjects was posted by Volker on 23 Feb under the old name. Based on a quick doc compare, I think the content of the two are identical except for the title.
@Volker: are there other changes in your 23 Feb edit that I'm not seeing? I'd like to consolidate the two back to the (new) name.
-
The two articles are identical. My "version" (that without the underscores) is only a link to the actual article. The reason is, that the old version of the link is referred in some other articles and in a blog entry.
Unfortunately it does not redirect to the actual article but pulls in its content and it does not leave a message of doing so.
-
OK, tks. That makes sense. I've wondered about inbound links as we rename articles. I have done a few searches to try and catch broken links, but I know I miss some.
-
Not sure if the documentation has ever been updated, but it's my understanding that subclassing QThread is no longer recommended. http://labs.qt.nokia.com/2010/06/17/youre-doing-it-wrong/
-
That is wrong, it depends, what you are doing...
Me, for example,, I often have worker threads, that do not use signal / slot, but that are waiting on wait conditions and have order queues which are filled by the client via special methods. These threads overwritre run (as the yhave special handling there) and implement synchronisation on their own.
Aslo if you have pre/post conditions in your threads event loop (like COM initialization on Windows), you have to overwrite run. So there are many scenarios where it makes sense...
-
Great article peppe. One area you didn't get into was implicitly shared objects. This is a tricky subject and one that I wrote about before:
http://www.folding-hyperspace.com/program_tip_15.htm
While I don't know if my analysis is absolutely correct, I think this is another area where the official Qt documentation needs improvement. They totally missed that QDateTime is implicitly shared and when I tried using it in threads I found the problem noted above. The same thing applies to list objects like QList. Passing these between threads in signals and slots might be a problem, but I haven't explored this yet. I simply protect all such objects with QMutex and haven't seen any problems.
Also, here is a more complete article I wrote on getting good timing in threads:
http://www.folding-hyperspace.com/program_tip_14.htm
The Qt_RealtimeIO_App example download shows several ways of doing timing and how accurate or inaccurate it can be.
A more complete list of soft realtime related articles is at:
http://www.folding-hyperspace.com/program_tips.htm
I will read your article more carefully in time and see if I can suggest any other improvements.
And I might say it is really fun to program up a big numerical program using QConcurrent and run it on an Intel i7 with 8 cores and watch it speed up x8 times. Qt rocks!
-
Dear James,
your analysis is incorrect. QString, QDateTime and many others (possibly all?) implicitly shared classes clearly state in the documentation that they're not thread safe. Or, better, they say they're only reentrant, therefore you can't assume they're thread safe. You are describing a race condition between two threads accessing the same object at the same time, which causes a major problem.
That is, suppose you have something like:
@
SharedObj *obj = new SharedObj;
@Then thread 1 is executing
@
delete obj; // runs the dtor
@And at the same time thread 2 is executing
@
SharedObj obj2(*obj); // runs the copy ctor
@"obj" is now being accessed from two threads at the same time: from the obj2 copy ctor and from its dtor. This violates the contract: SharedObj is not thread-safe; up to one thread can access a certain instance at any time.
What instead implicitly sharing lets you to do is, for instance:
@
SharedObj obj1(...);
SharedObj obj2 = obj1;
/* now thread1 accesses obj1 while thread2 accesses obj2 */
@The two objects will safely share the internal data (a memory optimization), but as soon as one thread tries a non-const access, the object detaches its internal data performing a deep copy. This is guaranteed to work (and indeed does).
-
[quote author="peppe" date="1299361797"]
That is, suppose you have something like:
@
SharedObj *obj = new SharedObj;
@Then thread 1 is executing
@
delete obj; // runs the dtor
@And at the same time thread 2 is executing
@
SharedObj obj2(*obj); // runs the copy ctor
@[/quote]Indeed so. Note that this is an approach that in almost all cases shouldn't be used for implicitly shared classes. They do the memory tricks so you don't have to. -
[quote author="Volker" date="1298497988"]The two articles are identical. My "version" (that without the underscores) is only a link to the actual article. The reason is, that the old version of the link is referred in some other articles and in a blog entry.
Unfortunately it does not redirect to the actual article but pulls in its content and it does not leave a message of doing so.[/quote]
I totally missed what happened :) Thank you for setting everything up properly!
-
Sorry for taking a year to get back Peppe, but thanks for your reply at http://qt-project.org/forums/viewreply/25457/. I tend to get busy with big projects and don't worry about past problems I've already fixed.
It took me a few minutes to get my head around what you were saying but after carefully re-reading the Qt documentation it finally hit me. It does make sense that if the objects are copied like you show in the first thread (or using a mutex if from another thread) then things are safe. This also says that passing a static copy of an object to another thread using a signal is safe because the copy operation happens on the original thread. Signaling with a pointer to the original object is another matter, however, and should not be done.
I guess my real gripe was the fact that QDateTime was not listed as implicitly shared when it really was. You can copy some static objects like QDate or QTime in the way I was doing without crashing because they only contain static members and are not implicitly shared. One might not get the right result due to synchronization problems with the underlying data, but it won't cause a crash.
I will update my article soon with a link back to here.
-
I think now I start understaing in the relevant "wiki page":http://qt-project.org/wiki/Threads_Events_QObjects . Thanks great articles!
After reading it second time while I'm translating it into Korean, I found following statement is quite ambiguous.
bq.
A thread event loop delivers events for all QObjects that are living in that thread; this includes, by default, all objects that are created into that thread, or that were moved to that thread (more info about this later). We also say that the thread affinity of a QObject is a certain thread, meaning that the object is living in that thread. This applies to objects which are built in the constructor of a QThread object:Because, any object that are built in the constructor of QThread couldn't live the thread represented by that QThread object, I feel like that the last statement sounds misleading doesn't it?