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

[Paul Bone]

On Fri, Jun 27, 2014 at 04:49:57PM +1000, Julien Fischer wrote:
>
> Even then, why do you need to make a separate thread_id type visible to
> the user?   Thread handles could be defined as follows:
>
>     :- type thread
> 	--->	thread_handle(
> 		    thread_id    :: <<target specific thread id>>,
>                     thread_state :: <<ref to some heap cell>>
>                     etc etc.
>                  ).

Wouldn't this typically be a foreign type?  It makes no difference to the
user since it's opaque and it would be the natural way to implement it for
any given backend.


-- 
Paul Bone