The following implementation of thread_join() and thread_exi…
The following implementation of thread_join() and thread_exit() is a little bit different from what you saw in lecture. Specifically, lines c2 and c3 have been swapped. Do they still work correctly? void thread_join() { void thread_exit() { mutex_lock(&m); // p1 mutex_lock(&m); // c1 while (done == 0) // p2 cond_signal(&c); // c2 cond_wait(&c, &m); // p3 done = 1; // c3 mutex_unlock(&m); // p4 mutex_unlock(&m); // c4 } }