Changeset 4450 for trunk/compiler/logtalk.pl

Timestamp:

08/26/08 12:51:33 (5 months ago)

Author:

pmoura

Message:

Small performance improvement to the threaded/1 built-in multi-threading predicate.

Files:

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

trunk/compiler/logtalk.pl

@@ -13351 +13351 @@
 '$lgt_mt_threaded_call'(Goal, Queue) :-
     thread_self(Id),
-    call(Goal),
-    thread_send_message(Queue, '$lgt_result'(Id, true(Goal))).
+    (   Goal ->
+        thread_send_message(Queue, '$lgt_result'(Id, true(Goal)))
+    ;   thread_send_message(Queue, '$lgt_result'(Id, false))
+    ).
 
 
@@ -13364 +13366 @@
 
 '$lgt_mt_threaded_exit_handler'(Id, Queue) :-
-    thread_property(Id, status(Status)),
-    (   Status == true ->
-        true
-    ;   catch(thread_send_message(Queue, '$lgt_result'(Id, Status)), _, thread_detach(Id))
-    ).
-
-
-
-% '$lgt_mt_threaded_and_exit'(+callable, +list(thread_identifier), +list)
+    thread_property(Id, status(exception(Error))),
+    catch(thread_send_message(Queue, '$lgt_result'(Id, exception(Error))), _, thread_detach(Id)).
+
+
+
+% '$lgt_mt_threaded_and_exit'(+list(thread_identifier), +list)
 %
 % retrieves the result of proving a conjunction of goals using a threaded/1 predicate call
@@ -13442 +13441 @@
 
 
-% '$lgt_mt_threaded_or_exit'(+callable, +list(thread_identifier), +list)
+% '$lgt_mt_threaded_or_exit'(+list(thread_identifier), +list)
 %
 % retrieves the result of proving a disjunction of goals using a threaded/1 predicate
@@ -13548 +13547 @@
 
 '$lgt_mt_threaded_call_abort'([Id| Ids]) :-
-    catch('$lgt_mt_abort_thread'(Id), _, true),
+    catch(thread_signal(Id, '$lgt_mt_abort_thread'(Id)), _, true),
     '$lgt_mt_threaded_call_abort'(Ids).
 
 
 '$lgt_mt_abort_thread'(Id) :-
-    (   thread_peek_message(Id, '$lgt_master') ->
+    (   thread_peek_message('$lgt_master') ->
         thread_send_message(Id, '$lgt_result'(_, terminate))
-    ;   thread_signal(Id, throw('$lgt_terminated'))
+    ;   throw('$lgt_terminated')
     ).