A curiosity...

[mockturtle <framefritti@gmail.com>]

Dear all,
this is not a question, nor an announcement, but
just something that I discovered few days ago and
I would like to share with you.  I know you can
appreciate it.

Few days ago a formerly student of mine came to
ask me something about (C) threads.  She showed
me a tutorial she found somewhere (unfortunately
I do not know where, so I cannot give you any
reference).

In case you never used the pthread library, let me say
that in order to start a thread you use the function

pthread_create (thread,attr,start,arg)

where
  thr     : opaque variable associated to the thread
  attr    :  thread attributes
  start  :  address of the function executed by the thread
  arg    :  parameter (void*) passed to the thread


In the tutorial they showed how to start several threads,
giving to each one its "ID" (an integer).  First they show
the wrong solution which was something

/*---- Begin Wrong --- */
void *thr_main(void *ID_pt)
{
    int my_ID = *(int *) ID_pt;
   /*--- other stuff... */
}

int main()
{
    int t;
    pthread_t th[10];

    for (t=0; t<10; t++)
     { pthread_create(th+t, NULL, thr_main, (void*) &t); }
}
/*---- End wrong ---*/

They say (correctly) that this is wrong since there is no
guarantee that the thread starts before t is incremented
again.  After the wrong solution they give the right one.

/*---- Begin Right --- */
void *thr_main(void *pt)
{
    int my_ID = (int) pt; /*!!!!!*/
   /*--- other stuff... */
}

int main()
{
    int t;
    pthread_t th[10];

    for (t=0; t<10; t++)
     { pthread_create(th+t, NULL, thr_main, (void*)  t); } /*!!!!!*/
}
/*---- End Right ---*/

In order to pass t "by value" they first convert it to
a pointer to void, then back to an integer...

Excuse me  while I turn the heat up... I suddenly
feel a chill down my spine.... ;-)