Changeset 4451 for trunk/compiler

Timestamp:

08/29/08 09:47:12 (4 months ago)

Author:

pmoura

Message:

Small performance improvement to the built-in multi-threading predicates threaded_exit/1-2.

Files:

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

trunk/compiler/logtalk.pl

@@ -13291 +13291 @@
         % answering thread exists; go ahead and retrieve the solution(s):
         thread_get_message(Queue, '$lgt_thread_id'(Type, Goal, This, Self, Tag, Id)),
-        call_cleanup(
-            '$lgt_mt_get_reply_aux'(Type, Queue, Goal, This, Self, Tag, Id),
-            (   Type == non_deterministic ->
-                (   thread_property(Id, status(running)) ->                 % if the thread is still running, it's suspended waiting
+        (   Type == deterministic ->
+            '$lgt_mt_det_reply'(Queue, Goal, This, Self, Tag, Id)           % detached thread
+        ;   call_cleanup(
+                '$lgt_mt_non_det_reply'(Queue, Goal, This, Self, Tag, Id),
+                ((  thread_property(Id, status(running)) ->                 % if the thread is still running, it's suspended waiting
                     catch(thread_send_message(Id, '$lgt_exit'), _, true)    % for a request to an alternative proof; tell it to exit
-                ;   true
-                ),
-                thread_join(Id, _)
-            ;   true
+                 ;  true
+                 ),
+                 thread_join(Id, _))
             )
         )
@@ -13305 +13305 @@
         throw(error(existence_error(goal_thread, Goal), Sender))
     ).
-
-
-'$lgt_mt_get_reply_aux'(deterministic, Queue, Goal, This, Self, Tag, Id) :-
-    '$lgt_mt_det_reply'(Queue, Goal, This, Self, Tag, Id).
-
-'$lgt_mt_get_reply_aux'(non_deterministic, Queue, Goal, This, Self, Tag, Id) :-
-    '$lgt_mt_non_det_reply'(Queue, Goal, This, Self, Tag, Id).