diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed bug in the thread_create/3 predicate where the thread indentifer was not within scope of the at_exit/1 option.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2196 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
pmoura 2008-04-03 00:10:04 +00:00
parent 1acbfc4f80
commit f827e047c1
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pl/threads.yap
View File

@ -87,7 +87,7 @@ thread_create(Goal) :-
recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal,Id)))],_) recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal,Id)))],_)
). ).
thread_create(Goal, OutId) :- thread_create(Goal, Id) :-
G0 = thread_create(Goal, Id), G0 = thread_create(Goal, Id),
'$check_callable'(Goal, G0), '$check_callable'(Goal, G0),
( nonvar(Id) -> '$do_error'(type_error(variable,Id),G0) ; true ), ( nonvar(Id) -> '$do_error'(type_error(variable,Id),G0) ; true ),
@ -102,10 +102,9 @@ thread_create(Goal, OutId) :-
true true
; ;
recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal,Id)))],_) recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal,Id)))],_)
), ).
OutId = Id.
thread_create(Goal, OutId, Options) :- thread_create(Goal, Id, Options) :-
G0 = thread_create(Goal, Id, Options), G0 = thread_create(Goal, Id, Options),
'$check_callable'(Goal,G0), '$check_callable'(Goal,G0),
( nonvar(Id) -> '$do_error'(type_error(variable,Id),G0) ; true ), ( nonvar(Id) -> '$do_error'(type_error(variable,Id),G0) ; true ),
@ -123,8 +122,7 @@ thread_create(Goal, OutId, Options) :-
true true
; ;
recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal,Id,Options)))],_) recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal,Id,Options)))],_)
), ).
OutId = Id.
'$erase_thread_info'(Id) :- '$erase_thread_info'(Id) :-
recorded('$thread_exit_status', [Id|_], R), recorded('$thread_exit_status', [Id|_], R),