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

Paul Bone paul at bone.id.au
Fri Jun 27 17:41:03 AEST 2014

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

More information about the reviews mailing list