Changeset 4443 for trunk/compiler

Timestamp:

08/22/08 04:57:20 (5 months ago)

Author:

pmoura

Message:

Small optimization to thread cancellation in threaded/1 calls.

Files:

• trunk/compiler/logtalk.pl (modified) (1 diff)

trunk/compiler/logtalk.pl

@@ -13544 +13544 @@
 
 '$lgt_mt_threaded_call_abort'([Id| Ids]) :-
-    (   catch(thread_peek_message(Id, '$lgt_master'), _, fail) ->
-        catch(thread_send_message(Id, '$lgt_result'(_, terminate)), _, true)
-    ;   catch(thread_signal(Id, throw('$lgt_terminated')), _, true)
-    ),
-    '$lgt_mt_threaded_call_abort'(Ids).
+    catch('$lgt_mt_abort_thread'(Id), _, true),
+    '$lgt_mt_threaded_call_abort'(Ids).
+
+
+'$lgt_mt_abort_thread'(Id) :-
+    (   thread_peek_message(Id, '$lgt_master') ->
+        thread_send_message(Id, '$lgt_result'(_, terminate))
+    ;   thread_signal(Id, throw('$lgt_terminated'))
+    ).