xref: /freebsd/sys/contrib/ck/src/ck_barrier_tournament.c (revision 4f9d94bf6491250b649f5bc931b6d93e68373005)
1*1fb62fb0SOlivier Houchard /*
2*1fb62fb0SOlivier Houchard  * Copyright 2011-2015 Samy Al Bahra.
3*1fb62fb0SOlivier Houchard  * Copyright 2011 David Joseph.
4*1fb62fb0SOlivier Houchard  * All rights reserved.
5*1fb62fb0SOlivier Houchard  *
6*1fb62fb0SOlivier Houchard  * Redistribution and use in source and binary forms, with or without
7*1fb62fb0SOlivier Houchard  * modification, are permitted provided that the following conditions
8*1fb62fb0SOlivier Houchard  * are met:
9*1fb62fb0SOlivier Houchard  * 1. Redistributions of source code must retain the above copyright
10*1fb62fb0SOlivier Houchard  *    notice, this list of conditions and the following disclaimer.
11*1fb62fb0SOlivier Houchard  * 2. Redistributions in binary form must reproduce the above copyright
12*1fb62fb0SOlivier Houchard  *    notice, this list of conditions and the following disclaimer in the
13*1fb62fb0SOlivier Houchard  *    documentation and/or other materials provided with the distribution.
14*1fb62fb0SOlivier Houchard  *
15*1fb62fb0SOlivier Houchard  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16*1fb62fb0SOlivier Houchard  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17*1fb62fb0SOlivier Houchard  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18*1fb62fb0SOlivier Houchard  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19*1fb62fb0SOlivier Houchard  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20*1fb62fb0SOlivier Houchard  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21*1fb62fb0SOlivier Houchard  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22*1fb62fb0SOlivier Houchard  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23*1fb62fb0SOlivier Houchard  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24*1fb62fb0SOlivier Houchard  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25*1fb62fb0SOlivier Houchard  * SUCH DAMAGE.
26*1fb62fb0SOlivier Houchard  */
27*1fb62fb0SOlivier Houchard 
28*1fb62fb0SOlivier Houchard #include <ck_barrier.h>
29*1fb62fb0SOlivier Houchard #include <ck_pr.h>
30*1fb62fb0SOlivier Houchard 
31*1fb62fb0SOlivier Houchard #include "ck_internal.h"
32*1fb62fb0SOlivier Houchard 
33*1fb62fb0SOlivier Houchard /*
34*1fb62fb0SOlivier Houchard  * This is a tournament barrier implementation. Threads are statically
35*1fb62fb0SOlivier Houchard  * assigned roles to perform for each round of the barrier. Winners
36*1fb62fb0SOlivier Houchard  * move on to the next round, while losers spin in their current rounds
37*1fb62fb0SOlivier Houchard  * on their own flags. During the last round, the champion of the tournament
38*1fb62fb0SOlivier Houchard  * sets the last flag that begins the wakeup process.
39*1fb62fb0SOlivier Houchard  */
40*1fb62fb0SOlivier Houchard 
41*1fb62fb0SOlivier Houchard enum {
42*1fb62fb0SOlivier Houchard 	CK_BARRIER_TOURNAMENT_BYE,
43*1fb62fb0SOlivier Houchard 	CK_BARRIER_TOURNAMENT_CHAMPION,
44*1fb62fb0SOlivier Houchard 	CK_BARRIER_TOURNAMENT_DROPOUT,
45*1fb62fb0SOlivier Houchard 	CK_BARRIER_TOURNAMENT_LOSER,
46*1fb62fb0SOlivier Houchard 	CK_BARRIER_TOURNAMENT_WINNER
47*1fb62fb0SOlivier Houchard };
48*1fb62fb0SOlivier Houchard 
49*1fb62fb0SOlivier Houchard void
ck_barrier_tournament_subscribe(struct ck_barrier_tournament * barrier,struct ck_barrier_tournament_state * state)50*1fb62fb0SOlivier Houchard ck_barrier_tournament_subscribe(struct ck_barrier_tournament *barrier,
51*1fb62fb0SOlivier Houchard     struct ck_barrier_tournament_state *state)
52*1fb62fb0SOlivier Houchard {
53*1fb62fb0SOlivier Houchard 
54*1fb62fb0SOlivier Houchard 	state->sense = ~0;
55*1fb62fb0SOlivier Houchard 	state->vpid = ck_pr_faa_uint(&barrier->tid, 1);
56*1fb62fb0SOlivier Houchard 	return;
57*1fb62fb0SOlivier Houchard }
58*1fb62fb0SOlivier Houchard 
59*1fb62fb0SOlivier Houchard void
ck_barrier_tournament_init(struct ck_barrier_tournament * barrier,struct ck_barrier_tournament_round ** rounds,unsigned int nthr)60*1fb62fb0SOlivier Houchard ck_barrier_tournament_init(struct ck_barrier_tournament *barrier,
61*1fb62fb0SOlivier Houchard     struct ck_barrier_tournament_round **rounds,
62*1fb62fb0SOlivier Houchard     unsigned int nthr)
63*1fb62fb0SOlivier Houchard {
64*1fb62fb0SOlivier Houchard 	unsigned int i, k, size, twok, twokm1, imod2k;
65*1fb62fb0SOlivier Houchard 
66*1fb62fb0SOlivier Houchard 	ck_pr_store_uint(&barrier->tid, 0);
67*1fb62fb0SOlivier Houchard 	barrier->size = size = ck_barrier_tournament_size(nthr);
68*1fb62fb0SOlivier Houchard 
69*1fb62fb0SOlivier Houchard 	for (i = 0; i < nthr; ++i) {
70*1fb62fb0SOlivier Houchard 		/* The first role is always CK_BARRIER_TOURNAMENT_DROPOUT. */
71*1fb62fb0SOlivier Houchard 		rounds[i][0].flag = 0;
72*1fb62fb0SOlivier Houchard 		rounds[i][0].role = CK_BARRIER_TOURNAMENT_DROPOUT;
73*1fb62fb0SOlivier Houchard 		for (k = 1, twok = 2, twokm1 = 1; k < size; ++k, twokm1 = twok, twok <<= 1) {
74*1fb62fb0SOlivier Houchard 			rounds[i][k].flag = 0;
75*1fb62fb0SOlivier Houchard 
76*1fb62fb0SOlivier Houchard 			imod2k = i & (twok - 1);
77*1fb62fb0SOlivier Houchard 			if (imod2k == 0) {
78*1fb62fb0SOlivier Houchard 				if ((i + twokm1 < nthr) && (twok < nthr))
79*1fb62fb0SOlivier Houchard 					rounds[i][k].role = CK_BARRIER_TOURNAMENT_WINNER;
80*1fb62fb0SOlivier Houchard 				else if (i + twokm1 >= nthr)
81*1fb62fb0SOlivier Houchard 					rounds[i][k].role = CK_BARRIER_TOURNAMENT_BYE;
82*1fb62fb0SOlivier Houchard 			}
83*1fb62fb0SOlivier Houchard 
84*1fb62fb0SOlivier Houchard 			if (imod2k == twokm1)
85*1fb62fb0SOlivier Houchard 				rounds[i][k].role = CK_BARRIER_TOURNAMENT_LOSER;
86*1fb62fb0SOlivier Houchard 			else if ((i == 0) && (twok >= nthr))
87*1fb62fb0SOlivier Houchard 				rounds[i][k].role = CK_BARRIER_TOURNAMENT_CHAMPION;
88*1fb62fb0SOlivier Houchard 
89*1fb62fb0SOlivier Houchard 			if (rounds[i][k].role == CK_BARRIER_TOURNAMENT_LOSER)
90*1fb62fb0SOlivier Houchard 				rounds[i][k].opponent = &rounds[i - twokm1][k].flag;
91*1fb62fb0SOlivier Houchard 			else if (rounds[i][k].role == CK_BARRIER_TOURNAMENT_WINNER ||
92*1fb62fb0SOlivier Houchard 				 rounds[i][k].role == CK_BARRIER_TOURNAMENT_CHAMPION)
93*1fb62fb0SOlivier Houchard 				rounds[i][k].opponent = &rounds[i + twokm1][k].flag;
94*1fb62fb0SOlivier Houchard 		}
95*1fb62fb0SOlivier Houchard 	}
96*1fb62fb0SOlivier Houchard 
97*1fb62fb0SOlivier Houchard 	ck_pr_store_ptr(&barrier->rounds, rounds);
98*1fb62fb0SOlivier Houchard 	return;
99*1fb62fb0SOlivier Houchard }
100*1fb62fb0SOlivier Houchard 
101*1fb62fb0SOlivier Houchard unsigned int
ck_barrier_tournament_size(unsigned int nthr)102*1fb62fb0SOlivier Houchard ck_barrier_tournament_size(unsigned int nthr)
103*1fb62fb0SOlivier Houchard {
104*1fb62fb0SOlivier Houchard 
105*1fb62fb0SOlivier Houchard 	return (ck_internal_log(ck_internal_power_2(nthr)) + 1);
106*1fb62fb0SOlivier Houchard }
107*1fb62fb0SOlivier Houchard 
108*1fb62fb0SOlivier Houchard void
ck_barrier_tournament(struct ck_barrier_tournament * barrier,struct ck_barrier_tournament_state * state)109*1fb62fb0SOlivier Houchard ck_barrier_tournament(struct ck_barrier_tournament *barrier,
110*1fb62fb0SOlivier Houchard     struct ck_barrier_tournament_state *state)
111*1fb62fb0SOlivier Houchard {
112*1fb62fb0SOlivier Houchard 	struct ck_barrier_tournament_round **rounds = ck_pr_load_ptr(&barrier->rounds);
113*1fb62fb0SOlivier Houchard 	int round = 1;
114*1fb62fb0SOlivier Houchard 
115*1fb62fb0SOlivier Houchard 	if (barrier->size == 1)
116*1fb62fb0SOlivier Houchard 		return;
117*1fb62fb0SOlivier Houchard 
118*1fb62fb0SOlivier Houchard 	for (;; ++round) {
119*1fb62fb0SOlivier Houchard 		switch (rounds[state->vpid][round].role) {
120*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_BYE:
121*1fb62fb0SOlivier Houchard 			break;
122*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_CHAMPION:
123*1fb62fb0SOlivier Houchard 			/*
124*1fb62fb0SOlivier Houchard 			 * The CK_BARRIER_TOURNAMENT_CHAMPION waits until it wins the tournament; it then
125*1fb62fb0SOlivier Houchard 			 * sets the final flag before the wakeup phase of the barrier.
126*1fb62fb0SOlivier Houchard 			 */
127*1fb62fb0SOlivier Houchard 			while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense)
128*1fb62fb0SOlivier Houchard 				ck_pr_stall();
129*1fb62fb0SOlivier Houchard 
130*1fb62fb0SOlivier Houchard 			ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense);
131*1fb62fb0SOlivier Houchard 			goto wakeup;
132*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_DROPOUT:
133*1fb62fb0SOlivier Houchard 			/* NOTREACHED */
134*1fb62fb0SOlivier Houchard 			break;
135*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_LOSER:
136*1fb62fb0SOlivier Houchard 			/*
137*1fb62fb0SOlivier Houchard 			 * CK_BARRIER_TOURNAMENT_LOSERs set the flags of their opponents and wait until
138*1fb62fb0SOlivier Houchard 			 * their opponents release them after the tournament is over.
139*1fb62fb0SOlivier Houchard 			 */
140*1fb62fb0SOlivier Houchard 			ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense);
141*1fb62fb0SOlivier Houchard 			while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense)
142*1fb62fb0SOlivier Houchard 				ck_pr_stall();
143*1fb62fb0SOlivier Houchard 
144*1fb62fb0SOlivier Houchard 			goto wakeup;
145*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_WINNER:
146*1fb62fb0SOlivier Houchard 			/*
147*1fb62fb0SOlivier Houchard 			 * CK_BARRIER_TOURNAMENT_WINNERs wait until their current opponent sets their flag; they then
148*1fb62fb0SOlivier Houchard 			 * continue to the next round of the tournament.
149*1fb62fb0SOlivier Houchard 			 */
150*1fb62fb0SOlivier Houchard 			while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense)
151*1fb62fb0SOlivier Houchard 				ck_pr_stall();
152*1fb62fb0SOlivier Houchard 			break;
153*1fb62fb0SOlivier Houchard 		}
154*1fb62fb0SOlivier Houchard 	}
155*1fb62fb0SOlivier Houchard 
156*1fb62fb0SOlivier Houchard wakeup:
157*1fb62fb0SOlivier Houchard 	for (round -= 1 ;; --round) {
158*1fb62fb0SOlivier Houchard 		switch (rounds[state->vpid][round].role) {
159*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_BYE:
160*1fb62fb0SOlivier Houchard 			break;
161*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_CHAMPION:
162*1fb62fb0SOlivier Houchard 			/* NOTREACHED */
163*1fb62fb0SOlivier Houchard 			break;
164*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_DROPOUT:
165*1fb62fb0SOlivier Houchard 			goto leave;
166*1fb62fb0SOlivier Houchard 			break;
167*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_LOSER:
168*1fb62fb0SOlivier Houchard 			/* NOTREACHED */
169*1fb62fb0SOlivier Houchard 			break;
170*1fb62fb0SOlivier Houchard 		case CK_BARRIER_TOURNAMENT_WINNER:
171*1fb62fb0SOlivier Houchard 			/*
172*1fb62fb0SOlivier Houchard 			 * Winners inform their old opponents the tournament is over
173*1fb62fb0SOlivier Houchard 			 * by setting their flags.
174*1fb62fb0SOlivier Houchard 			 */
175*1fb62fb0SOlivier Houchard 			ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense);
176*1fb62fb0SOlivier Houchard 			break;
177*1fb62fb0SOlivier Houchard 		}
178*1fb62fb0SOlivier Houchard 	}
179*1fb62fb0SOlivier Houchard 
180*1fb62fb0SOlivier Houchard leave:
181*1fb62fb0SOlivier Houchard 	ck_pr_fence_memory();
182*1fb62fb0SOlivier Houchard 	state->sense = ~state->sense;
183*1fb62fb0SOlivier Houchard 	return;
184*1fb62fb0SOlivier Houchard }
185