| http://www.w3.org/ns/prov#value | - This is not thread safe in general - you need a memory barrier in there somewhere to ensure that writes by the GUI thread before flag=true are visible to the non-GUI thread immediately after while(!flag); - of course, it might work, if you are lucky, sometimes, on some platforms, perhaps such as python.
|
