| 110 | } |
| 111 | |
| 112 | void thread(unsigned int tid) |
| 113 | { |
| 114 | RelacyThreadExitNotifier::notify_relacy_thread_start(); |
| 115 | |
| 116 | ProducerToken t(q); |
| 117 | for (int i = 0; i != 5; ++i) { |
| 118 | q.enqueue(t, tid * 10 + i); |
| 119 | } |
| 120 | |
| 121 | RelacyThreadExitNotifier::notify_relacy_thread_exit(); |
| 122 | } |
| 123 | |
| 124 | void after() |
| 125 | { |