[m-rev.] for review: Add thread.spawn_native/4 and thread.spawn/4.

Paul Bone paul at bone.id.au
Fri Jun 27 16:14:38 AEST 2014

On Fri, Jun 27, 2014 at 03:47:07PM +1000, Julien Fischer wrote:
>> Here is a followup patch.
>> On second thought, I don't know if thread handles themselves should be
>> comparable.  I think we should provide a function to get the thread_id
>> which can be compared.
>>    :- func thread_id(thread) = thread_id.
>> Peter
>> ---
>> Add thread ids to thread handles.
>> Thread handles should not be dummy types because all thread handles
>> would compare equal.  Add thread ids to thread handles.
> Is there any reason the thread handles and thread ids cannot be the
> same thing at the user level?  I don't see why we require a separate
> thread_id type.

I agree, at least until we have a need to sepearate them, for example if
Peter wants to store the result of a thread's execution inside the thread

Paul Bone

More information about the reviews mailing list