xref: /rk3399_ARM-atf/lib/locks/bakery/bakery_lock_normal.c (revision 82cb2c1ad9897473743f08437d0a3995bed561b9)
18c5fe0b5SSoby Mathew /*
261531a27SSoby Mathew  * Copyright (c) 2015-2017, ARM Limited and Contributors. All rights reserved.
38c5fe0b5SSoby Mathew  *
4*82cb2c1aSdp-arm  * SPDX-License-Identifier: BSD-3-Clause
58c5fe0b5SSoby Mathew  */
68c5fe0b5SSoby Mathew 
78c5fe0b5SSoby Mathew #include <arch_helpers.h>
88c5fe0b5SSoby Mathew #include <assert.h>
98c5fe0b5SSoby Mathew #include <bakery_lock.h>
108c5fe0b5SSoby Mathew #include <cpu_data.h>
118c5fe0b5SSoby Mathew #include <platform.h>
128c5fe0b5SSoby Mathew #include <string.h>
138c5fe0b5SSoby Mathew 
148c5fe0b5SSoby Mathew /*
158c5fe0b5SSoby Mathew  * Functions in this file implement Bakery Algorithm for mutual exclusion with the
168c5fe0b5SSoby Mathew  * bakery lock data structures in cacheable and Normal memory.
178c5fe0b5SSoby Mathew  *
188c5fe0b5SSoby Mathew  * ARM architecture offers a family of exclusive access instructions to
198c5fe0b5SSoby Mathew  * efficiently implement mutual exclusion with hardware support. However, as
208c5fe0b5SSoby Mathew  * well as depending on external hardware, these instructions have defined
218c5fe0b5SSoby Mathew  * behavior only on certain memory types (cacheable and Normal memory in
228c5fe0b5SSoby Mathew  * particular; see ARMv8 Architecture Reference Manual section B2.10). Use cases
238c5fe0b5SSoby Mathew  * in trusted firmware are such that mutual exclusion implementation cannot
248c5fe0b5SSoby Mathew  * expect that accesses to the lock have the specific type required by the
258c5fe0b5SSoby Mathew  * architecture for these primitives to function (for example, not all
268c5fe0b5SSoby Mathew  * contenders may have address translation enabled).
278c5fe0b5SSoby Mathew  *
288c5fe0b5SSoby Mathew  * This implementation does not use mutual exclusion primitives. It expects
298c5fe0b5SSoby Mathew  * memory regions where the locks reside to be cacheable and Normal.
308c5fe0b5SSoby Mathew  *
318c5fe0b5SSoby Mathew  * Note that the ARM architecture guarantees single-copy atomicity for aligned
328c5fe0b5SSoby Mathew  * accesses regardless of status of address translation.
338c5fe0b5SSoby Mathew  */
348c5fe0b5SSoby Mathew 
35ee7b35c4SAndrew Thoelke #ifdef PLAT_PERCPU_BAKERY_LOCK_SIZE
36ee7b35c4SAndrew Thoelke /*
37ee7b35c4SAndrew Thoelke  * Verify that the platform defined value for the per-cpu space for bakery locks is
38ee7b35c4SAndrew Thoelke  * a multiple of the cache line size, to prevent multiple CPUs writing to the same
39ee7b35c4SAndrew Thoelke  * bakery lock cache line
40ee7b35c4SAndrew Thoelke  *
41ee7b35c4SAndrew Thoelke  * Using this value, if provided, rather than the linker generated value results in
42ee7b35c4SAndrew Thoelke  * more efficient code
43ee7b35c4SAndrew Thoelke  */
44ee7b35c4SAndrew Thoelke CASSERT((PLAT_PERCPU_BAKERY_LOCK_SIZE & (CACHE_WRITEBACK_GRANULE - 1)) == 0, \
45ee7b35c4SAndrew Thoelke 	PLAT_PERCPU_BAKERY_LOCK_SIZE_not_cacheline_multiple);
46ee7b35c4SAndrew Thoelke #define PERCPU_BAKERY_LOCK_SIZE (PLAT_PERCPU_BAKERY_LOCK_SIZE)
47ee7b35c4SAndrew Thoelke #else
48ee7b35c4SAndrew Thoelke /*
49ee7b35c4SAndrew Thoelke  * Use the linker defined symbol which has evaluated the size reqiurement.
50ee7b35c4SAndrew Thoelke  * This is not as efficient as using a platform defined constant
51ee7b35c4SAndrew Thoelke  */
52ee7b35c4SAndrew Thoelke extern void *__PERCPU_BAKERY_LOCK_SIZE__;
53ee7b35c4SAndrew Thoelke #define PERCPU_BAKERY_LOCK_SIZE ((uintptr_t)&__PERCPU_BAKERY_LOCK_SIZE__)
54ee7b35c4SAndrew Thoelke #endif
558c5fe0b5SSoby Mathew 
56ee7b35c4SAndrew Thoelke #define get_bakery_info(cpu_ix, lock)	\
57ee7b35c4SAndrew Thoelke 	(bakery_info_t *)((uintptr_t)lock + cpu_ix * PERCPU_BAKERY_LOCK_SIZE)
588c5fe0b5SSoby Mathew 
598c5fe0b5SSoby Mathew #define write_cache_op(addr, cached)	\
608c5fe0b5SSoby Mathew 				do {	\
614c0d0390SSoby Mathew 					(cached ? dccvac((uintptr_t)addr) :\
624c0d0390SSoby Mathew 						dcivac((uintptr_t)addr));\
638c5fe0b5SSoby Mathew 						dsbish();\
648c5fe0b5SSoby Mathew 				} while (0)
658c5fe0b5SSoby Mathew 
668c5fe0b5SSoby Mathew #define read_cache_op(addr, cached)	if (cached) \
674c0d0390SSoby Mathew 					    dccivac((uintptr_t)addr)
688c5fe0b5SSoby Mathew 
6995c12559SSoby Mathew /* Helper function to check if the lock is acquired */
7095c12559SSoby Mathew static inline int is_lock_acquired(const bakery_info_t *my_bakery_info,
7195c12559SSoby Mathew 							int is_cached)
7295c12559SSoby Mathew {
7395c12559SSoby Mathew 	/*
7495c12559SSoby Mathew 	 * Even though lock data is updated only by the owning cpu and
7595c12559SSoby Mathew 	 * appropriate cache maintenance operations are performed,
7695c12559SSoby Mathew 	 * if the previous update was done when the cpu was not participating
7795c12559SSoby Mathew 	 * in coherency, then there is a chance that cache maintenance
7895c12559SSoby Mathew 	 * operations were not propagated to all the caches in the system.
7995c12559SSoby Mathew 	 * Hence do a `read_cache_op()` prior to read.
8095c12559SSoby Mathew 	 */
8195c12559SSoby Mathew 	read_cache_op(my_bakery_info, is_cached);
8295c12559SSoby Mathew 	return !!(bakery_ticket_number(my_bakery_info->lock_data));
8395c12559SSoby Mathew }
8495c12559SSoby Mathew 
85ee7b35c4SAndrew Thoelke static unsigned int bakery_get_ticket(bakery_lock_t *lock,
868c5fe0b5SSoby Mathew 						unsigned int me, int is_cached)
878c5fe0b5SSoby Mathew {
888c5fe0b5SSoby Mathew 	unsigned int my_ticket, their_ticket;
898c5fe0b5SSoby Mathew 	unsigned int they;
908c5fe0b5SSoby Mathew 	bakery_info_t *my_bakery_info, *their_bakery_info;
918c5fe0b5SSoby Mathew 
928c5fe0b5SSoby Mathew 	/*
938c5fe0b5SSoby Mathew 	 * Obtain a reference to the bakery information for this cpu and ensure
948c5fe0b5SSoby Mathew 	 * it is not NULL.
958c5fe0b5SSoby Mathew 	 */
96ee7b35c4SAndrew Thoelke 	my_bakery_info = get_bakery_info(me, lock);
978c5fe0b5SSoby Mathew 	assert(my_bakery_info);
988c5fe0b5SSoby Mathew 
9995c12559SSoby Mathew 	/* Prevent recursive acquisition.*/
10095c12559SSoby Mathew 	assert(!is_lock_acquired(my_bakery_info, is_cached));
101548579f5SSoby Mathew 
102548579f5SSoby Mathew 	/*
1038c5fe0b5SSoby Mathew 	 * Tell other contenders that we are through the bakery doorway i.e.
1048c5fe0b5SSoby Mathew 	 * going to allocate a ticket for this cpu.
1058c5fe0b5SSoby Mathew 	 */
1068c5fe0b5SSoby Mathew 	my_ticket = 0;
1078c5fe0b5SSoby Mathew 	my_bakery_info->lock_data = make_bakery_data(CHOOSING_TICKET, my_ticket);
1088c5fe0b5SSoby Mathew 
1098c5fe0b5SSoby Mathew 	write_cache_op(my_bakery_info, is_cached);
1108c5fe0b5SSoby Mathew 
1118c5fe0b5SSoby Mathew 	/*
1128c5fe0b5SSoby Mathew 	 * Iterate through the bakery information of each contender to allocate
1138c5fe0b5SSoby Mathew 	 * the highest ticket number for this cpu.
1148c5fe0b5SSoby Mathew 	 */
1158c5fe0b5SSoby Mathew 	for (they = 0; they < BAKERY_LOCK_MAX_CPUS; they++) {
1168c5fe0b5SSoby Mathew 		if (me == they)
1178c5fe0b5SSoby Mathew 			continue;
1188c5fe0b5SSoby Mathew 
1198c5fe0b5SSoby Mathew 		/*
1208c5fe0b5SSoby Mathew 		 * Get a reference to the other contender's bakery info and
1218c5fe0b5SSoby Mathew 		 * ensure that a stale copy is not read.
1228c5fe0b5SSoby Mathew 		 */
123ee7b35c4SAndrew Thoelke 		their_bakery_info = get_bakery_info(they, lock);
1248c5fe0b5SSoby Mathew 		assert(their_bakery_info);
1258c5fe0b5SSoby Mathew 
1268c5fe0b5SSoby Mathew 		read_cache_op(their_bakery_info, is_cached);
1278c5fe0b5SSoby Mathew 
1288c5fe0b5SSoby Mathew 		/*
1298c5fe0b5SSoby Mathew 		 * Update this cpu's ticket number if a higher ticket number is
1308c5fe0b5SSoby Mathew 		 * seen
1318c5fe0b5SSoby Mathew 		 */
1328c5fe0b5SSoby Mathew 		their_ticket = bakery_ticket_number(their_bakery_info->lock_data);
1338c5fe0b5SSoby Mathew 		if (their_ticket > my_ticket)
1348c5fe0b5SSoby Mathew 			my_ticket = their_ticket;
1358c5fe0b5SSoby Mathew 	}
1368c5fe0b5SSoby Mathew 
1378c5fe0b5SSoby Mathew 	/*
1388c5fe0b5SSoby Mathew 	 * Compute ticket; then signal to other contenders waiting for us to
1398c5fe0b5SSoby Mathew 	 * finish calculating our ticket value that we're done
1408c5fe0b5SSoby Mathew 	 */
1418c5fe0b5SSoby Mathew 	++my_ticket;
1421c9573a1SSoby Mathew 	my_bakery_info->lock_data = make_bakery_data(CHOSEN_TICKET, my_ticket);
1438c5fe0b5SSoby Mathew 
1448c5fe0b5SSoby Mathew 	write_cache_op(my_bakery_info, is_cached);
1458c5fe0b5SSoby Mathew 
1468c5fe0b5SSoby Mathew 	return my_ticket;
1478c5fe0b5SSoby Mathew }
1488c5fe0b5SSoby Mathew 
149ee7b35c4SAndrew Thoelke void bakery_lock_get(bakery_lock_t *lock)
1508c5fe0b5SSoby Mathew {
1518c5fe0b5SSoby Mathew 	unsigned int they, me, is_cached;
1528c5fe0b5SSoby Mathew 	unsigned int my_ticket, my_prio, their_ticket;
1538c5fe0b5SSoby Mathew 	bakery_info_t *their_bakery_info;
1541c9573a1SSoby Mathew 	unsigned int their_bakery_data;
1558c5fe0b5SSoby Mathew 
15685a181ceSSoby Mathew 	me = plat_my_core_pos();
15761531a27SSoby Mathew #ifdef AARCH32
15861531a27SSoby Mathew 	is_cached = read_sctlr() & SCTLR_C_BIT;
15961531a27SSoby Mathew #else
1608c5fe0b5SSoby Mathew 	is_cached = read_sctlr_el3() & SCTLR_C_BIT;
16161531a27SSoby Mathew #endif
1628c5fe0b5SSoby Mathew 
1638c5fe0b5SSoby Mathew 	/* Get a ticket */
164ee7b35c4SAndrew Thoelke 	my_ticket = bakery_get_ticket(lock, me, is_cached);
1658c5fe0b5SSoby Mathew 
1668c5fe0b5SSoby Mathew 	/*
1678c5fe0b5SSoby Mathew 	 * Now that we got our ticket, compute our priority value, then compare
1688c5fe0b5SSoby Mathew 	 * with that of others, and proceed to acquire the lock
1698c5fe0b5SSoby Mathew 	 */
1708c5fe0b5SSoby Mathew 	my_prio = PRIORITY(my_ticket, me);
1718c5fe0b5SSoby Mathew 	for (they = 0; they < BAKERY_LOCK_MAX_CPUS; they++) {
1728c5fe0b5SSoby Mathew 		if (me == they)
1738c5fe0b5SSoby Mathew 			continue;
1748c5fe0b5SSoby Mathew 
1758c5fe0b5SSoby Mathew 		/*
1768c5fe0b5SSoby Mathew 		 * Get a reference to the other contender's bakery info and
1778c5fe0b5SSoby Mathew 		 * ensure that a stale copy is not read.
1788c5fe0b5SSoby Mathew 		 */
179ee7b35c4SAndrew Thoelke 		their_bakery_info = get_bakery_info(they, lock);
1808c5fe0b5SSoby Mathew 		assert(their_bakery_info);
1818c5fe0b5SSoby Mathew 
1828c5fe0b5SSoby Mathew 		/* Wait for the contender to get their ticket */
1831c9573a1SSoby Mathew 		do {
1848c5fe0b5SSoby Mathew 			read_cache_op(their_bakery_info, is_cached);
1858c5fe0b5SSoby Mathew 			their_bakery_data = their_bakery_info->lock_data;
1861c9573a1SSoby Mathew 		} while (bakery_is_choosing(their_bakery_data));
1878c5fe0b5SSoby Mathew 
1888c5fe0b5SSoby Mathew 		/*
1898c5fe0b5SSoby Mathew 		 * If the other party is a contender, they'll have non-zero
1908c5fe0b5SSoby Mathew 		 * (valid) ticket value. If they do, compare priorities
1918c5fe0b5SSoby Mathew 		 */
1928c5fe0b5SSoby Mathew 		their_ticket = bakery_ticket_number(their_bakery_data);
1938c5fe0b5SSoby Mathew 		if (their_ticket && (PRIORITY(their_ticket, they) < my_prio)) {
1948c5fe0b5SSoby Mathew 			/*
1958c5fe0b5SSoby Mathew 			 * They have higher priority (lower value). Wait for
1968c5fe0b5SSoby Mathew 			 * their ticket value to change (either release the lock
1978c5fe0b5SSoby Mathew 			 * to have it dropped to 0; or drop and probably content
1988c5fe0b5SSoby Mathew 			 * again for the same lock to have an even higher value)
1998c5fe0b5SSoby Mathew 			 */
2008c5fe0b5SSoby Mathew 			do {
2018c5fe0b5SSoby Mathew 				wfe();
2028c5fe0b5SSoby Mathew 				read_cache_op(their_bakery_info, is_cached);
2038c5fe0b5SSoby Mathew 			} while (their_ticket
2048c5fe0b5SSoby Mathew 				== bakery_ticket_number(their_bakery_info->lock_data));
2058c5fe0b5SSoby Mathew 		}
2068c5fe0b5SSoby Mathew 	}
207548579f5SSoby Mathew 	/* Lock acquired */
2088c5fe0b5SSoby Mathew }
2098c5fe0b5SSoby Mathew 
210ee7b35c4SAndrew Thoelke void bakery_lock_release(bakery_lock_t *lock)
2118c5fe0b5SSoby Mathew {
2128c5fe0b5SSoby Mathew 	bakery_info_t *my_bakery_info;
21361531a27SSoby Mathew #ifdef AARCH32
21461531a27SSoby Mathew 	unsigned int is_cached = read_sctlr() & SCTLR_C_BIT;
21561531a27SSoby Mathew #else
2168c5fe0b5SSoby Mathew 	unsigned int is_cached = read_sctlr_el3() & SCTLR_C_BIT;
21761531a27SSoby Mathew #endif
2188c5fe0b5SSoby Mathew 
219ee7b35c4SAndrew Thoelke 	my_bakery_info = get_bakery_info(plat_my_core_pos(), lock);
22095c12559SSoby Mathew 
22195c12559SSoby Mathew 	assert(is_lock_acquired(my_bakery_info, is_cached));
222548579f5SSoby Mathew 
2238c5fe0b5SSoby Mathew 	my_bakery_info->lock_data = 0;
2248c5fe0b5SSoby Mathew 	write_cache_op(my_bakery_info, is_cached);
2258c5fe0b5SSoby Mathew 	sev();
2268c5fe0b5SSoby Mathew }
227