Changeset 4462 for trunk/compiler
- Timestamp:
- 08/31/08 10:12:04 (4 months ago)
- Files:
-
- 1 modified
-
trunk/compiler/logtalk.pl (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/compiler/logtalk.pl
r4461 r4462 13171 13171 '$lgt_mt_dispatch_goal'(call, Queue, Goal, This, Self, Tag) :- 13172 13172 thread_create('$lgt_mt_non_det_goal'(Queue, Goal, This, Self, Tag), Id, []), 13173 % wait until the thread created for proving the goal is ready before proceeding: 13174 thread_get_message(Queue, '$lgt_non_det_ready'(Id)). 13173 thread_send_message(Queue, '$lgt_thread_id'(call, Goal, This, Self, Tag, Id)). 13175 13174 13176 13175 '$lgt_mt_dispatch_goal'(once, Queue, Goal, This, Self, Tag) :- 13177 13176 thread_create('$lgt_mt_det_goal'(Queue, Goal, This, Self, Tag), Id, []), 13178 % wait until the thread created for proving the goal is ready before proceeding: 13179 thread_get_message(Queue, '$lgt_det_ready'(Id)). 13177 thread_send_message(Queue, '$lgt_thread_id'(once, Goal, This, Self, Tag, Id)). 13180 13178 13181 13179 … … 13187 13185 '$lgt_mt_det_goal'(Queue, Goal, This, Self, Tag) :- 13188 13186 thread_self(Id), 13189 thread_send_message(Queue, '$lgt_thread_id'(once, Goal, This, Self, Tag, Id)),13190 % signal that the thread running the goal is ready:13191 thread_send_message(Queue, '$lgt_det_ready'(Id)),13192 13187 ( catch(Goal, Error, thread_send_message(Queue, '$lgt_reply'(Goal, This, Self, Tag, Error, Id))) -> 13193 13188 ( var(Error) -> … … 13207 13202 '$lgt_mt_non_det_goal'(Queue, Goal, This, Self, Tag) :- 13208 13203 thread_self(Id), 13209 thread_send_message(Queue, '$lgt_thread_id'(call, Goal, This, Self, Tag, Id)),13210 % signal that the thread running the goal is ready:13211 thread_send_message(Queue, '$lgt_non_det_ready'(Id)),13212 13204 ( catch(Goal, Error, thread_send_message(Queue, '$lgt_reply'(Goal, This, Self, Tag, Error, Id))), 13213 13205 ( var(Error) ->
