diff options
author | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | 2018-08-08 14:10:55 +0100 |
---|---|---|
committer | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | 2018-09-05 14:39:14 +0100 |
commit | 24dc97091532751ea810e99bd5a9be33514decf6 (patch) | |
tree | f6fb168ca1b12b70fa378e4a4a9f002513ea9683 /lib/locks | |
parent | e43422b734269d23f336e5ca3c05dedd8fd52901 (diff) |
Add missing barriers to Bakery Locks
With the current implementation, it's possible for a contender to
observe accesses in the Critical Section before acquiring or releasing
the lock. Insert fencing in the locking and release codes to prevent any
reorder.
Fixes ARM-software/tf-issues#609
Change-Id: I773b82aa41dd544a2d3dbacb9a4b42c9eb767bbb
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
Diffstat (limited to 'lib/locks')
-rw-r--r-- | lib/locks/bakery/bakery_lock_coherent.c | 15 | ||||
-rw-r--r-- | lib/locks/bakery/bakery_lock_normal.c | 13 |
2 files changed, 23 insertions, 5 deletions
diff --git a/lib/locks/bakery/bakery_lock_coherent.c b/lib/locks/bakery/bakery_lock_coherent.c index 788ba981..03277c32 100644 --- a/lib/locks/bakery/bakery_lock_coherent.c +++ b/lib/locks/bakery/bakery_lock_coherent.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2013-2015, ARM Limited and Contributors. All rights reserved. + * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ @@ -133,7 +133,12 @@ void bakery_lock_get(bakery_lock_t *bakery) bakery_ticket_number(bakery->lock_data[they])); } } - /* Lock acquired */ + + /* + * Lock acquired. Ensure that any reads from a shared resource in the + * critical section read values after the lock is acquired. + */ + dmbld(); } @@ -146,9 +151,11 @@ void bakery_lock_release(bakery_lock_t *bakery) assert(bakery_ticket_number(bakery->lock_data[me])); /* - * Release lock by resetting ticket. Then signal other - * waiting contenders + * Ensure that other observers see any stores in the critical section + * before releasing the lock. Release the lock by resetting ticket. + * Then signal other waiting contenders. */ + dmbst(); bakery->lock_data[me] = 0; dsb(); sev(); diff --git a/lib/locks/bakery/bakery_lock_normal.c b/lib/locks/bakery/bakery_lock_normal.c index 630226ae..b947da9c 100644 --- a/lib/locks/bakery/bakery_lock_normal.c +++ b/lib/locks/bakery/bakery_lock_normal.c @@ -204,7 +204,12 @@ void bakery_lock_get(bakery_lock_t *lock) == bakery_ticket_number(their_bakery_info->lock_data)); } } - /* Lock acquired */ + + /* + * Lock acquired. Ensure that any reads from a shared resource in the + * critical section read values after the lock is acquired. + */ + dmbld(); } void bakery_lock_release(bakery_lock_t *lock) @@ -220,6 +225,12 @@ void bakery_lock_release(bakery_lock_t *lock) assert(is_lock_acquired(my_bakery_info, is_cached)); + /* + * Ensure that other observers see any stores in the critical section + * before releasing the lock. Release the lock by resetting ticket. + * Then signal other waiting contenders. + */ + dmbst(); my_bakery_info->lock_data = 0; write_cache_op(my_bakery_info, is_cached); sev(); |