[m-rev.] for review: Add thread.spawn_native/4 and thread.spawn/4.
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.
>> 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
More information about the reviews