Changeset 4314

Timestamp:

06/15/08 04:41:56 (2 months ago)

Author:

pmoura

Message:

Changed the thread cancellation process to not automatically releasing any locks, leaving that task to a catcher associated to the thread goal.

Location:

trunk

Files:

• compiler/logtalk.pl (modified) (2 diffs)
• examples/threads/mtbatch/mtbatch.lgt (modified) (1 diff)
• RELEASE_NOTES.txt (modified) (1 diff)

trunk/compiler/logtalk.pl

@@ -13374 +13374 @@
     (   catch(thread_peek_message(Id, '$lgt_master'), _, fail) ->
         catch(thread_send_message(Id, '$lgt_status'(_, terminate)), _, true)
-    ;   catch(thread_signal(Id, '$lgt_mt_thread_abort'), _, true)
+    ;   catch(thread_signal(Id, throw('$lgt_terminated')), _, true)
     ),
     '$lgt_mt_threaded_call_abort'(Ids).
@@ -13393 +13393 @@
     catch(thread_join(Id, _), _, true),
     '$lgt_mt_threaded_call_join'(Ids, Results).
-
-
-'$lgt_mt_thread_abort' :-
-    mutex_unlock_all,
-    throw('$lgt_terminated').
 
 

trunk/examples/threads/mtbatch/mtbatch.lgt

@@ -3 +3 @@
 
     :- info([
-        version is 1.0,
+        version is 1.1,
         author is 'Paulo Moura',
-        date is 2008/03/04,
+        date is 2008/06/14,
         comment is 'Multi-threading benchmarks.',
         parameters is ['Prolog'- 'Prolog backend compiler. Supported compilers are SWI-Prolog (swi), YAP (yap), and XSB (xsb).']]).

trunk/RELEASE_NOTES.txt

@@ -26 +26 @@
     threaded/1 when canceling individual threads. The first bug resulted from 
     out-of-order thread status messages. The second bug resulted from a leak 
-    of thread results between calls to the threaded/1 predicate.
+    of thread results between calls to the threaded/1 predicate. Changed the 
+    thread cancellation process to not automatically releasing any locks, 
+    leaving that task to a catcher associated to the thread goal.
 
     Added a new default compiler option, multifile_directive, to all config