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

Updated the definition of the built-in predicate mutex_property/2 to match the latest ISO Threads DTR.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1967 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
pmoura 2007-10-22 12:58:27 +00:00
parent 5a19adf881
commit b6b281684d
1 changed files with 51 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
pl/threads.yap
View File

@ -485,11 +485,49 @@ mutex_property(Mutex, Prop) :-
'$mutex_property'(Id, alias(Alias)) :- '$mutex_property'(Id, alias(Alias)) :-
recorded('$mutex_alias', [Id|Alias], _), recorded('$mutex_alias', [Id|Alias], _),
Id \= Alias. Id \= Alias.
'$mutex_property'(Id, locked(Thread, Count)) :- '$mutex_property'(Id, status(Status)) :-
'$mutex_info'(Id, Count, HoldingThread), '$mutex_info'(Id, Count, HoldingThread),
Count > 0, ( Count =:= 0 ->
'$thread_id_alias'(HoldingThread, Alias), Status = unlocked
once((Thread = Alias; Thread = HoldingThread)). ; % Count > 0,
'$thread_id_alias'(HoldingThread, Alias),
once((Thread = Alias; Thread = HoldingThread)),
Status = locked(Thread, Count)
).
/*
message_queue_create(Id, Options) :-
nonvar(Id), !,
'$do_error'(type_error(variable, Id), message_queue_create(Id, Options)).
message_queue_create(Id, Options) :-
var(Options), !,
'$do_error'(instantiation_error, message_queue_create(Id, Options)).
message_queue_create(Cond).
message_queue_create(Id, [alias(Alias)]) :-
var(Alias), !,
'$do_error'(instantiation_error, message_queue_create(Id, Options)).
message_queue_create(Id, [alias(Alias)]) :-
atom(Alias),
( recorded('$thread_alias', [_,Alias], _),
; recorded('$queue', q(Alias,_,_,_), _)
), !,
'$do_error'(permission_error(create,queue,Alias), message_queue_create(Id, [alias(Alias)])).
message_queue_create(Id, [alias(Alias)]) :-
mutex_create(Mutex),
'$cond_create'(Id),
'$mq_iname'(Id, CName),
recorda('$queue',q(Alias,Mutex,Id,CName), _).
message_queue_create(Id) :-
( var(Id) ->
message_queue_create(Id, [])
; atom(Id) ->
message_queue_create(_, [alias(Id)])
).
*/
message_queue_create(_, [alias(Alias)]) :- % TEMPORARY FIX
message_queue_create(Alias).
message_queue_create(Cond) :- message_queue_create(Cond) :-
var(Cond), !, var(Cond), !,
@ -769,6 +807,14 @@ threads :-
'$check_mutex_property'(Term, _) :- '$check_mutex_property'(Term, _) :-
var(Term), !. var(Term), !.
'$check_mutex_property'(alias(_), _) :- !. '$check_mutex_property'(alias(_), _) :- !.
'$check_mutex_property'(locked(_, _), _) :- !. '$check_mutex_property'(status(Status), Goal) :- !,
( var(Status) ->
true
; Status = unlocked ->
true
; Status = locked(_, _) ->
true
; '$do_error'(domain_error(mutex_property, status(Status)), Goal)
).
'$check_mutex_property'(Term, Goal) :- '$check_mutex_property'(Term, Goal) :-
'$do_error'(domain_error(mutex_property, Term), Goal). '$do_error'(domain_error(mutex_property, Term), Goal).