kris/boringssl
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add a basic TSan test for ref-counts.

Browse Source 
Confirmed that, if the locks are commented out, TSan catches the threading
error.

Change-Id: I3e4ef9a7ca85fdbacf8c8b13694a5a54c6d5f99b
Reviewed-on: https://boringssl-review.googlesource.com/29924
Reviewed-by: Adam Langley <agl@google.com>
This commit is contained in:
David Benjamin 2018-07-19 17:50:45 -04:00 committed by Adam Langley
parent 20b6a4e2a1
commit 5852cfccbc
2 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
CMakeLists.txt
View File

@ -268,6 +268,16 @@ if(CFI)
set(OPENSSL_NO_ASM "1")
endif()
if(TSAN)
if(NOT CLANG)
message(FATAL_ERROR "Cannot enable TSAN unless using Clang")
endif()
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fsanitize=thread")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=thread")
set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -fsanitize=thread")
endif()
if (GCOV)
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fprofile-arcs -ftest-coverage")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fprofile-arcs -ftest-coverage")

39
crypto/refcount_test.cc
View File

@ -16,6 +16,10 @@
#include <gtest/gtest.h>
#if !defined(OPENSSL_NO_THREADS)
#include <thread>
#endif
TEST(RefCountTest, Basic) {
CRYPTO_refcount_t count = 0;
@ -38,3 +42,38 @@ TEST(RefCountTest, Basic) {
EXPECT_FALSE(CRYPTO_refcount_dec_and_test_zero(&count));
EXPECT_EQ(1u, count);
}
#if !defined(OPENSSL_NO_THREADS)
// This test is primarily intended to run under ThreadSanitizer.
TEST(RefCountTest, Threads) {
CRYPTO_refcount_t count = 0;
// Race two increments.
{
std::thread thread([&] { CRYPTO_refcount_inc(&count); });
CRYPTO_refcount_inc(&count);
thread.join();
EXPECT_EQ(2u, count);
}
// Race an increment with a decrement.
{
std::thread thread([&] { CRYPTO_refcount_inc(&count); });
EXPECT_FALSE(CRYPTO_refcount_dec_and_test_zero(&count));
thread.join();
EXPECT_EQ(2u, count);
}
// Race two decrements.
{
bool thread_saw_zero;
std::thread thread(
[&] { thread_saw_zero = CRYPTO_refcount_dec_and_test_zero(&count); });
bool saw_zero = CRYPTO_refcount_dec_and_test_zero(&count);
thread.join();
EXPECT_EQ(0u, count);
// Exactly one thread should see zero.
EXPECT_NE(saw_zero, thread_saw_zero);
}
}
#endif