Changeset 4456 for trunk/compiler

Timestamp:

08/30/08 07:05:02 (4 months ago)

Author:

pmoura

Message:

Corrected a bug in the implementation of the threaded_once/1-2 built-in multi-threading predicates (use of detached threads could make the methods fail despite the success of the thread goals).

Files:

• trunk/compiler/logtalk.pl (modified) (2 diffs)

trunk/compiler/logtalk.pl

@@ -13220 +13220 @@
 
 '$lgt_mt_dispatch_goal'(once, Queue, Goal, This, Self, Tag) :-
-    thread_create('$lgt_mt_det_goal'(Queue, Goal, This, Self, Tag), _, [detached(true)]),
+    thread_create('$lgt_mt_det_goal'(Queue, Goal, This, Self, Tag), _, [detached(false)]),
     % wait until the thread created for proving the goal is ready before proceeding:
     thread_get_message(Queue, '$lgt_det_ready'(Goal, This, Self, Tag)).
@@ -13265 +13265 @@
         thread_get_message(Queue, '$lgt_thread_id'(Type, Goal, This, Self, Tag, Id)),
         (   Type == once ->
-            '$lgt_mt_det_reply'(Queue, Goal, This, Self, Tag, Id)           % detached thread
+            '$lgt_mt_det_reply'(Queue, Goal, This, Self, Tag, Id),
+            thread_join(Id, _)
         ;   call_cleanup(
                 '$lgt_mt_non_det_reply'(Queue, Goal, This, Self, Tag, Id),