dart-sdk/runtime/platform/atomic_linux.h
Daco Harkes 1a3bca5485 [vm] Use atomic release-acquire operations to update RawICData::ic_data_
Background compiler expects to see fully initialized array when it
reads RawICData::ic_data_ array - which previously was not
guaranteed on architectures with weak memory model.

Fixes https://github.com/dart-lang/sdk/issues/34999
Change-Id: Ie9544d7fc4683fb5cb145aa1a572e8939bd8dc13
Reviewed-on: https://dart-review.googlesource.com/c/82442
Commit-Queue: Daco Harkes <dacoharkes@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>
2018-11-01 18:29:05 +00:00

83 lines
2.7 KiB
C++

// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
#ifndef RUNTIME_PLATFORM_ATOMIC_LINUX_H_
#define RUNTIME_PLATFORM_ATOMIC_LINUX_H_
#if !defined RUNTIME_PLATFORM_ATOMIC_H_
#error Do not include atomic_linux.h directly. Use atomic.h instead.
#endif
#if !defined(HOST_OS_LINUX)
#error This file should only be included on Linux builds.
#endif
namespace dart {
inline uintptr_t AtomicOperations::FetchAndIncrement(uintptr_t* p) {
return __sync_fetch_and_add(p, 1);
}
inline intptr_t AtomicOperations::FetchAndIncrement(intptr_t* p) {
return __sync_fetch_and_add(p, 1);
}
inline void AtomicOperations::IncrementBy(intptr_t* p, intptr_t value) {
__sync_fetch_and_add(p, value);
}
inline void AtomicOperations::IncrementInt64By(int64_t* p, int64_t value) {
// Some ARM implementations require 8-byte alignment for atomic access but
// not non-atomic access.
ASSERT((reinterpret_cast<uword>(p) % 8) == 0);
__sync_fetch_and_add(p, value);
}
inline uintptr_t AtomicOperations::FetchAndDecrement(uintptr_t* p) {
return __sync_fetch_and_sub(p, 1);
}
inline intptr_t AtomicOperations::FetchAndDecrement(intptr_t* p) {
return __sync_fetch_and_sub(p, 1);
}
inline void AtomicOperations::DecrementBy(intptr_t* p, intptr_t value) {
__sync_fetch_and_sub(p, value);
}
inline uint32_t AtomicOperations::FetchOrRelaxedUint32(uint32_t* ptr,
uint32_t value) {
return __atomic_fetch_or(ptr, value, __ATOMIC_RELAXED);
}
inline uint32_t AtomicOperations::FetchAndRelaxedUint32(uint32_t* ptr,
uint32_t value) {
return __atomic_fetch_and(ptr, value, __ATOMIC_RELAXED);
}
inline uword AtomicOperations::CompareAndSwapWord(uword* ptr,
uword old_value,
uword new_value) {
return __sync_val_compare_and_swap(ptr, old_value, new_value);
}
inline uint32_t AtomicOperations::CompareAndSwapUint32(uint32_t* ptr,
uint32_t old_value,
uint32_t new_value) {
return __sync_val_compare_and_swap(ptr, old_value, new_value);
}
template <typename T>
inline T AtomicOperations::LoadAcquire(T* ptr) {
return __atomic_load_n(ptr, __ATOMIC_ACQUIRE);
}
template <typename T>
inline void AtomicOperations::StoreRelease(T* ptr, T value) {
__atomic_store_n(ptr, value, __ATOMIC_RELEASE);
}
} // namespace dart
#endif // RUNTIME_PLATFORM_ATOMIC_LINUX_H_