Changeset 4571 for trunk/compiler
- Timestamp:
- 11/05/08 15:04:03 (2 months ago)
- Files:
-
- 1 modified
-
trunk/compiler/logtalk.pl (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/compiler/logtalk.pl
r4570 r4571 13463 13463 13464 13464 '$lgt_init_object_message_queue'(ObjPrefix) :- 13465 ( '$lgt_predicate_property'(message_queue_create(_, _), built_in) -> 13466 catch(message_queue_create(_, [alias(ObjPrefix)]), _, true) 13467 ; catch(message_queue_create(ObjPrefix), _, true) 13468 ). 13465 catch(message_queue_create(_, [alias(ObjPrefix)]), _, true). 13469 13466 13470 13467 … … 13823 13820 13824 13821 13822 13823 % '$lgt_mt_threaded_call_abort'(+list) 13824 % 13825 % signal all individual threads to abort; we must use catch/3 as some threads may no longer exist 13826 13825 13827 '$lgt_mt_threaded_call_abort'([]). 13826 13828 … … 13832 13834 '$lgt_mt_abort_thread'(Id) :- 13833 13835 ( thread_peek_message('$lgt_master') -> 13836 % master thread; send it a message to terminate its slave threads: 13834 13837 thread_send_message(Id, '$lgt_result'(_, terminate)) 13835 ; throw('$lgt_terminated') 13838 ; % slave(-only) thread: 13839 throw('$lgt_terminated') 13836 13840 ). 13837 13841 … … 13864 13868 13865 13869 13866 % '$lgt_create_mutexes'( list(mutex_identifier))13870 % '$lgt_create_mutexes'(+list(mutex_identifier)) 13867 13871 % 13868 13872 % create entity mutexes (called when loading an entity);
