1// Copyright 2014 the V8 project authors. All rights reserved. 2// Redistribution and use in source and binary forms, with or without 3// modification, are permitted provided that the following conditions are 4// met: 5// 6// * Redistributions of source code must retain the above copyright 7// notice, this list of conditions and the following disclaimer. 8// * Redistributions in binary form must reproduce the above 9// copyright notice, this list of conditions and the following 10// disclaimer in the documentation and/or other materials provided 11// with the distribution. 12// * Neither the name of Google Inc. nor the names of its 13// contributors may be used to endorse or promote products derived 14// from this software without specific prior written permission. 15// 16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 28#include "src/v8.h" 29 30#include "src/base/atomicops.h" 31#include "test/cctest/cctest.h" 32 33using namespace v8::base; 34using namespace v8::internal; 35 36 37#define CHECK_EQU(v1, v2) \ 38 CHECK_EQ(static_cast<int64_t>(v1), static_cast<int64_t>(v2)) 39 40#define NUM_BITS(T) (sizeof(T) * 8) 41 42 43template <class AtomicType> 44static void TestAtomicIncrement() { 45 // For now, we just test the single-threaded execution. 46 47 // Use a guard value to make sure that NoBarrier_AtomicIncrement doesn't 48 // go outside the expected address bounds. This is to test that the 49 // 32-bit NoBarrier_AtomicIncrement doesn't do the wrong thing on 64-bit 50 // machines. 51 struct { 52 AtomicType prev_word; 53 AtomicType count; 54 AtomicType next_word; 55 } s; 56 57 AtomicType prev_word_value, next_word_value; 58 memset(&prev_word_value, 0xFF, sizeof(AtomicType)); 59 memset(&next_word_value, 0xEE, sizeof(AtomicType)); 60 61 s.prev_word = prev_word_value; 62 s.count = 0; 63 s.next_word = next_word_value; 64 65 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, 1), 1); 66 CHECK_EQU(s.count, 1); 67 CHECK_EQU(s.prev_word, prev_word_value); 68 CHECK_EQU(s.next_word, next_word_value); 69 70 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, 2), 3); 71 CHECK_EQU(s.count, 3); 72 CHECK_EQU(s.prev_word, prev_word_value); 73 CHECK_EQU(s.next_word, next_word_value); 74 75 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, 3), 6); 76 CHECK_EQU(s.count, 6); 77 CHECK_EQU(s.prev_word, prev_word_value); 78 CHECK_EQU(s.next_word, next_word_value); 79 80 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, -3), 3); 81 CHECK_EQU(s.count, 3); 82 CHECK_EQU(s.prev_word, prev_word_value); 83 CHECK_EQU(s.next_word, next_word_value); 84 85 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, -2), 1); 86 CHECK_EQU(s.count, 1); 87 CHECK_EQU(s.prev_word, prev_word_value); 88 CHECK_EQU(s.next_word, next_word_value); 89 90 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, -1), 0); 91 CHECK_EQU(s.count, 0); 92 CHECK_EQU(s.prev_word, prev_word_value); 93 CHECK_EQU(s.next_word, next_word_value); 94 95 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, -1), -1); 96 CHECK_EQU(s.count, -1); 97 CHECK_EQU(s.prev_word, prev_word_value); 98 CHECK_EQU(s.next_word, next_word_value); 99 100 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, -4), -5); 101 CHECK_EQU(s.count, -5); 102 CHECK_EQU(s.prev_word, prev_word_value); 103 CHECK_EQU(s.next_word, next_word_value); 104 105 CHECK_EQU(NoBarrier_AtomicIncrement(&s.count, 5), 0); 106 CHECK_EQU(s.count, 0); 107 CHECK_EQU(s.prev_word, prev_word_value); 108 CHECK_EQU(s.next_word, next_word_value); 109} 110 111 112template <class AtomicType> 113static void TestCompareAndSwap() { 114 AtomicType value = 0; 115 AtomicType prev = NoBarrier_CompareAndSwap(&value, 0, 1); 116 CHECK_EQU(1, value); 117 CHECK_EQU(0, prev); 118 119 // Use a test value that has non-zero bits in both halves, for testing 120 // the 64-bit implementation on 32-bit platforms. 121 const AtomicType k_test_val = 122 (static_cast<AtomicType>(1) << (NUM_BITS(AtomicType) - 2)) + 11; 123 value = k_test_val; 124 prev = NoBarrier_CompareAndSwap(&value, 0, 5); 125 CHECK_EQU(k_test_val, value); 126 CHECK_EQU(k_test_val, prev); 127 128 value = k_test_val; 129 prev = NoBarrier_CompareAndSwap(&value, k_test_val, 5); 130 CHECK_EQU(5, value); 131 CHECK_EQU(k_test_val, prev); 132} 133 134 135template <class AtomicType> 136static void TestAtomicExchange() { 137 AtomicType value = 0; 138 AtomicType new_value = NoBarrier_AtomicExchange(&value, 1); 139 CHECK_EQU(1, value); 140 CHECK_EQU(0, new_value); 141 142 // Use a test value that has non-zero bits in both halves, for testing 143 // the 64-bit implementation on 32-bit platforms. 144 const AtomicType k_test_val = 145 (static_cast<AtomicType>(1) << (NUM_BITS(AtomicType) - 2)) + 11; 146 value = k_test_val; 147 new_value = NoBarrier_AtomicExchange(&value, k_test_val); 148 CHECK_EQU(k_test_val, value); 149 CHECK_EQU(k_test_val, new_value); 150 151 value = k_test_val; 152 new_value = NoBarrier_AtomicExchange(&value, 5); 153 CHECK_EQU(5, value); 154 CHECK_EQU(k_test_val, new_value); 155} 156 157 158template <class AtomicType> 159static void TestAtomicIncrementBounds() { 160 // Test at rollover boundary between int_max and int_min. 161 AtomicType test_val = 162 static_cast<AtomicType>(1) << (NUM_BITS(AtomicType) - 1); 163 AtomicType value = -1 ^ test_val; 164 AtomicType new_value = NoBarrier_AtomicIncrement(&value, 1); 165 CHECK_EQU(test_val, value); 166 CHECK_EQU(value, new_value); 167 168 NoBarrier_AtomicIncrement(&value, -1); 169 CHECK_EQU(-1 ^ test_val, value); 170 171 // Test at 32-bit boundary for 64-bit atomic type. 172 test_val = static_cast<AtomicType>(1) << (NUM_BITS(AtomicType) / 2); 173 value = test_val - 1; 174 new_value = NoBarrier_AtomicIncrement(&value, 1); 175 CHECK_EQU(test_val, value); 176 CHECK_EQU(value, new_value); 177 178 NoBarrier_AtomicIncrement(&value, -1); 179 CHECK_EQU(test_val - 1, value); 180} 181 182 183// Return an AtomicType with the value 0xa5a5a5.. 184template <class AtomicType> 185static AtomicType TestFillValue() { 186 AtomicType val = 0; 187 memset(&val, 0xa5, sizeof(AtomicType)); 188 return val; 189} 190 191 192// This is a simple sanity check to ensure that values are correct. 193// Not testing atomicity. 194template <class AtomicType> 195static void TestStore() { 196 const AtomicType kVal1 = TestFillValue<AtomicType>(); 197 const AtomicType kVal2 = static_cast<AtomicType>(-1); 198 199 AtomicType value; 200 201 NoBarrier_Store(&value, kVal1); 202 CHECK_EQU(kVal1, value); 203 NoBarrier_Store(&value, kVal2); 204 CHECK_EQU(kVal2, value); 205 206 Acquire_Store(&value, kVal1); 207 CHECK_EQU(kVal1, value); 208 Acquire_Store(&value, kVal2); 209 CHECK_EQU(kVal2, value); 210 211 Release_Store(&value, kVal1); 212 CHECK_EQU(kVal1, value); 213 Release_Store(&value, kVal2); 214 CHECK_EQU(kVal2, value); 215} 216 217 218// Merge this test with TestStore as soon as we have Atomic8 acquire 219// and release stores. 220static void TestStoreAtomic8() { 221 const Atomic8 kVal1 = TestFillValue<Atomic8>(); 222 const Atomic8 kVal2 = static_cast<Atomic8>(-1); 223 224 Atomic8 value; 225 226 NoBarrier_Store(&value, kVal1); 227 CHECK_EQU(kVal1, value); 228 NoBarrier_Store(&value, kVal2); 229 CHECK_EQU(kVal2, value); 230} 231 232 233// This is a simple sanity check to ensure that values are correct. 234// Not testing atomicity. 235template <class AtomicType> 236static void TestLoad() { 237 const AtomicType kVal1 = TestFillValue<AtomicType>(); 238 const AtomicType kVal2 = static_cast<AtomicType>(-1); 239 240 AtomicType value; 241 242 value = kVal1; 243 CHECK_EQU(kVal1, NoBarrier_Load(&value)); 244 value = kVal2; 245 CHECK_EQU(kVal2, NoBarrier_Load(&value)); 246 247 value = kVal1; 248 CHECK_EQU(kVal1, Acquire_Load(&value)); 249 value = kVal2; 250 CHECK_EQU(kVal2, Acquire_Load(&value)); 251 252 value = kVal1; 253 CHECK_EQU(kVal1, Release_Load(&value)); 254 value = kVal2; 255 CHECK_EQU(kVal2, Release_Load(&value)); 256} 257 258 259// Merge this test with TestLoad as soon as we have Atomic8 acquire 260// and release loads. 261static void TestLoadAtomic8() { 262 const Atomic8 kVal1 = TestFillValue<Atomic8>(); 263 const Atomic8 kVal2 = static_cast<Atomic8>(-1); 264 265 Atomic8 value; 266 267 value = kVal1; 268 CHECK_EQU(kVal1, NoBarrier_Load(&value)); 269 value = kVal2; 270 CHECK_EQU(kVal2, NoBarrier_Load(&value)); 271} 272 273 274TEST(AtomicIncrement) { 275 TestAtomicIncrement<Atomic32>(); 276 TestAtomicIncrement<AtomicWord>(); 277} 278 279 280TEST(CompareAndSwap) { 281 TestCompareAndSwap<Atomic32>(); 282 TestCompareAndSwap<AtomicWord>(); 283} 284 285 286TEST(AtomicExchange) { 287 TestAtomicExchange<Atomic32>(); 288 TestAtomicExchange<AtomicWord>(); 289} 290 291 292TEST(AtomicIncrementBounds) { 293 TestAtomicIncrementBounds<Atomic32>(); 294 TestAtomicIncrementBounds<AtomicWord>(); 295} 296 297 298TEST(Store) { 299 TestStoreAtomic8(); 300 TestStore<Atomic32>(); 301 TestStore<AtomicWord>(); 302} 303 304 305TEST(Load) { 306 TestLoadAtomic8(); 307 TestLoad<Atomic32>(); 308 TestLoad<AtomicWord>(); 309} 310