Boost C++ Libraries: Ticket #9618: try_join_for problem: program is not terminate.

owner, status changed

viboes — Thu, 30 Jan 2014 22:12:32 GMT

owner changed from Anthony Williams to viboes
status new → assigned

viboes — Thu, 30 Jan 2014 22:26:04 GMT

try_join_for(boost::chrono::milliseconds(0))

will return always false, as the duration time is already elapsed.

Why do you think that it could return true?

tkuman@… — Thu, 30 Jan 2014 23:27:28 GMT

I think that the thread of execution has completed even if the duration time is 0, so the function must return true.

viboes — Fri, 31 Jan 2014 20:15:21 GMT

HI, next follows an extract of the description I found in http://pubs.opengroup.org/onlinepubs/009695399/functions/pthread_cond_wait.html.

"The pthread_cond_timedwait() function shall be equivalent to pthread_cond_wait(), except that an error is returned if the absolute time specified by abstime passes (that is, system time equals or exceeds abstime) before the condition cond is signaled or broadcasted, or if the absolute time specified by abstime has already been passed at the time of the call."

I don't know how to implement what you are requesting.

Why do you want to wait for 0 milliseconds?

tkuman@… — Sat, 01 Feb 2014 07:50:42 GMT

Replying to viboes:

2 reasons.

Computer dependent value

Currently, a millisecond is enough time for "try_join_for" at my computer. But in the future, a millisecond may not be enough time for more faster computer. Therefore, current specification causes instability. The duration time must be computer independent value and it will be specified 0.

Unnecessary redundant work

Every "try_join_for" call consumes time. It is a possibility that some case may not tolerant the redundant time.

viboes — Sat, 01 Feb 2014 12:08:56 GMT

What you are looking for id try_join() and this doesn't exists and don't know how to implement it.

You can also use nanoseconds(1) or attoseconds=duration<intmax_t, atto>.

Sat, 01 Feb 2014 14:46:14 GMT

Replying to viboes:

I'm sorry. I'm wrong.

Could you make "try_join()" function by using (something like) "try_join_for(chrono::nanoseconds(1))"?

I think that it is only (something like) syntax sugar.

But I become very happy if I get the function.

(And if could, could you teach me some url or something why "chrono::milliseconds(0)" is wrong and impossible? I'm sorry for my ignorance.. )

Thank you for reading.

Sun, 02 Feb 2014 12:04:14 GMT

A kind person teach me about #8323.

My understandings are as follows.

Before boost 1.54, "try_join_for(chorno::milliseconds(0))" is NG in some multicore machine because timer sometimes is not monotonic. (My machine was luckily OK..)

To avoid this problem, the duration time 0 must be avoid.

(3. Therefore my program behaviour became strange after installing boost 1.55).

I hope that something like "argument rel_time cannot be 0" will be written in document explicity for the person who is not good at English like me.

I'm sorry for taking your time.

Thank you very much.

Mon, 03 Feb 2014 12:25:21 GMT

I found that my program sometimes hang up even if "try_join_for(chrono::milliseconds(1))" uses in my environment...

I found that rel_time sometimes become -1.... in my windows 8.1 64 bits environment.

I modified the program.

boost/thread/detail/thread.hpp

        bool try_join_until(const chrono::time_point<chrono::system_clock, chrono::nanoseconds>& tp)
        {
          chrono::milliseconds rel_time= chrono::ceil<chrono::milliseconds>(tp-chrono::system_clock::now());
          return do_try_join_until(rel_time.count());
        }

replace with

        bool try_join_until(const chrono::time_point<chrono::system_clock, chrono::nanoseconds>& tp)
        {
          chrono::milliseconds rel_time= chrono::ceil<chrono::milliseconds>(tp-chrono::system_clock::now());
		  if ( rel_time < chrono::milliseconds::zero()) // rel_time must not be minus.
			  rel_time= chrono::milliseconds::zero();
          return do_try_join_until(rel_time.count());
        }

I am not confident that this is OK because I don't have exact (academic) knowledge about thread.

Is this modification OK?

viboes — Sun, 09 Feb 2014 03:21:24 GMT

I have not a windows machine at hand. Please could you try this patch

git diff include/boost/thread/detail/thread.hpp
diff --git a/include/boost/thread/detail/thread.hpp b/include/boost/thread/detail/thread.hpp
index 5053b8d..64804f9 100644
--- a/include/boost/thread/detail/thread.hpp
+++ b/include/boost/thread/detail/thread.hpp
@@ -464,11 +464,20 @@ namespace boost
         inline void join();
 #ifdef BOOST_THREAD_USES_CHRONO
+#if defined(BOOST_THREAD_PLATFORM_WIN32)
+        template <class Rep, class Period>
+        bool try_join_for(const chrono::duration<Rep, Period>& rel_time)
+        {
+          chrono::milliseconds rel_time2= chrono::ceil<chrono::milliseconds>(rel_time);
+          return do_try_join_until(rel_time2.count());
+        }
+#else
         template <class Rep, class Period>
         bool try_join_for(const chrono::duration<Rep, Period>& rel_time)
         {
           return try_join_until(chrono::steady_clock::now() + rel_time);
         }
+#endif
         template <class Clock, class Duration>
         bool try_join_until(const chrono::time_point<Clock, Duration>& t)
         {

tkuman@… — Tue, 11 Feb 2014 07:27:54 GMT

I applied the patch. My program works fine!.

Thank you very much.

milestone changed

viboes — Sun, 16 Feb 2014 09:26:29 GMT

milestone To Be Determined → Boost 1.56.0

viboes — Sun, 16 Feb 2014 09:54:06 GMT

status changed; resolution set

viboes — Wed, 12 Mar 2014 22:48:26 GMT

status assigned → closed
resolution → fixed