From 73cf93727b1d984a3de6207c94f3a78b24e8470e Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Tue, 16 Aug 2016 14:18:58 +0900
Subject: [PATCH] clone(): use CAS for TID allocation

---
 kernel/syscall.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/kernel/syscall.c b/kernel/syscall.c
index 2d067c67..fa99d581 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -1941,9 +1941,13 @@ unsigned long do_fork(int clone_flags, unsigned long newsp,
 		}
 
 		/* Find an unused TID */
+retry_tid:
 		for (i = 0; i < newproc->nr_tids; ++i) {
 			if (!newproc->tids[i].thread) {
-				newproc->tids[i].thread = new;
+				if (!__sync_bool_compare_and_swap(
+					&newproc->tids[i].thread, NULL, new)) {
+					goto retry_tid;
+				}
 				new->tid = newproc->tids[i].tid;
 				dkprintf("%s: tid %d assigned to %p\n", __FUNCTION__, new->tid, new);
 				break;