|
|
|
// Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
|
|
|
|
// This source code is licensed under both the GPLv2 (found in the
|
|
|
|
// COPYING file in the root directory) and Apache 2.0 License
|
|
|
|
// (found in the LICENSE.Apache file in the root directory).
|
|
|
|
//
|
|
|
|
#include "rocksdb/status.h"
|
|
|
|
#include "rocksdb/env.h"
|
|
|
|
|
|
|
|
#include <fcntl.h>
|
|
|
|
#ifdef __FreeBSD__
|
|
|
|
#include <sys/types.h>
|
|
|
|
#include <sys/wait.h>
|
|
|
|
#endif
|
|
|
|
#include <vector>
|
|
|
|
#include "test_util/testharness.h"
|
|
|
|
#include "util/coding.h"
|
|
|
|
#include "util/string_util.h"
|
|
|
|
|
|
|
|
namespace ROCKSDB_NAMESPACE {
|
|
|
|
|
|
|
|
class LockTest : public testing::Test {
|
|
|
|
public:
|
|
|
|
static LockTest* current_;
|
|
|
|
std::string file_;
|
|
|
|
ROCKSDB_NAMESPACE::Env* env_;
|
|
|
|
|
|
|
|
LockTest()
|
|
|
|
: file_(test::PerThreadDBPath("db_testlock_file")),
|
|
|
|
env_(ROCKSDB_NAMESPACE::Env::Default()) {
|
|
|
|
current_ = this;
|
|
|
|
}
|
|
|
|
|
|
|
|
~LockTest() override {}
|
|
|
|
|
|
|
|
Status LockFile(FileLock** db_lock) {
|
|
|
|
return env_->LockFile(file_, db_lock);
|
|
|
|
}
|
|
|
|
|
|
|
|
Status UnlockFile(FileLock* db_lock) {
|
|
|
|
return env_->UnlockFile(db_lock);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool AssertFileIsLocked(){
|
|
|
|
return CheckFileLock( /* lock_expected = */ true);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool AssertFileIsNotLocked(){
|
|
|
|
return CheckFileLock( /* lock_expected = */ false);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool CheckFileLock(bool lock_expected){
|
|
|
|
// We need to fork to check the fcntl lock as we need
|
|
|
|
// to open and close the file from a different process
|
|
|
|
// to avoid either releasing the lock on close, or not
|
|
|
|
// contending for it when requesting a lock.
|
|
|
|
|
|
|
|
#ifdef OS_WIN
|
|
|
|
|
|
|
|
// WaitForSingleObject and GetExitCodeProcess can do what waitpid does.
|
|
|
|
// TODO - implement on Windows
|
|
|
|
return true;
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
pid_t pid = fork();
|
|
|
|
if ( 0 == pid ) {
|
|
|
|
// child process
|
|
|
|
int exit_val = EXIT_FAILURE;
|
|
|
|
int fd = open(file_.c_str(), O_RDWR | O_CREAT, 0644);
|
|
|
|
if (fd < 0) {
|
|
|
|
// could not open file, could not check if it was locked
|
|
|
|
fprintf( stderr, "Open on on file %s failed.\n",file_.c_str());
|
|
|
|
exit(exit_val);
|
|
|
|
}
|
|
|
|
|
|
|
|
struct flock f;
|
|
|
|
memset(&f, 0, sizeof(f));
|
|
|
|
f.l_type = (F_WRLCK);
|
|
|
|
f.l_whence = SEEK_SET;
|
|
|
|
f.l_start = 0;
|
|
|
|
f.l_len = 0; // Lock/unlock entire file
|
|
|
|
int value = fcntl(fd, F_SETLK, &f);
|
|
|
|
if( value == -1 ){
|
|
|
|
if( lock_expected ){
|
|
|
|
exit_val = EXIT_SUCCESS;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if( ! lock_expected ){
|
|
|
|
exit_val = EXIT_SUCCESS;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
close(fd); // lock is released for child process
|
|
|
|
exit(exit_val);
|
|
|
|
} else if (pid > 0) {
|
|
|
|
// parent process
|
|
|
|
int status;
|
|
|
|
while (-1 == waitpid(pid, &status, 0));
|
|
|
|
if (!WIFEXITED(status) || WEXITSTATUS(status) != 0) {
|
|
|
|
// child process exited with non success status
|
|
|
|
return false;
|
|
|
|
} else {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
fprintf( stderr, "Fork failed\n" );
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
};
|
|
|
|
LockTest* LockTest::current_;
|
|
|
|
|
|
|
|
TEST_F(LockTest, LockBySameThread) {
|
|
|
|
FileLock* lock1;
|
|
|
|
FileLock* lock2;
|
|
|
|
|
|
|
|
// acquire a lock on a file
|
|
|
|
ASSERT_OK(LockFile(&lock1));
|
|
|
|
|
|
|
|
// check the file is locked
|
|
|
|
ASSERT_TRUE( AssertFileIsLocked() );
|
|
|
|
|
|
|
|
// re-acquire the lock on the same file. This should fail.
|
|
|
|
Status s = LockFile(&lock2);
|
|
|
|
ASSERT_TRUE(s.IsIOError());
|
Fix MSVC-related build issues (#7439)
Summary:
This PR addresses some build and functional issues on MSVC targets, as a step towards an eventual goal of having RocksDB build successfully for Windows on ARM64.
Addressed issues include:
- BitsSetToOne and CountTrailingZeroBits do not compile on non-x64 MSVC targets. A fallback implementation of BitsSetToOne when Intel intrinsics are not available is added, based on the C++20 `<bit>` popcount implementation in Microsoft's STL.
- The implementation of FloorLog2 for MSVC targets (including x64) gives incorrect results. The unit test easily detects this, but CircleCI is currently configured to only run a specific set of tests for Windows CMake builds, so this seems to have been unnoticed.
- AsmVolatilePause does not use YieldProcessor on Windows ARM64 targets, even though it is available.
- When CondVar::TimedWait calls Microsoft STL's condition_variable::wait_for, it can potentially trigger a bug (just recently fixed in the upcoming VS 16.8's STL) that deadlocks various tests that wait for a timer to execute, since `Timer::Run` doesn't get a chance to execute before being blocked by the test function acquiring the mutex.
- In c_test, `GetTempDir` assumes a POSIX-style temp path.
- `NormalizePath` did not eliminate consecutive POSIX-style path separators on Windows, resulting in test failures in e.g., wal_manager_test.
- Various other test failures.
In a followup PR I hope to modify CircleCI's config.yml to invoke all RocksDB unit tests in Windows CMake builds with CTest, instead of the current use of `run_ci_db_test.ps1` which requires individual tests to be specified and is missing many of the existing tests.
Notes from peterd: FloorLog2 is not yet used in production code (it's for something in progress). I also added a few more inexpensive platform-dependent tests to Windows CircleCI runs. And included facebook/folly#1461 as requested
Pull Request resolved: https://github.com/facebook/rocksdb/pull/7439
Reviewed By: jay-zhuang
Differential Revision: D24021563
Pulled By: pdillinger
fbshipit-source-id: 0ec2027c0d6a494d8a0fe38d9667fc2f7e29f7e7
4 years ago
|
|
|
#ifndef OS_WIN
|
|
|
|
// Validate that error message contains current thread ID.
|
|
|
|
ASSERT_TRUE(s.ToString().find(std::to_string(
|
|
|
|
Env::Default()->GetThreadID())) != std::string::npos);
|
Fix MSVC-related build issues (#7439)
Summary:
This PR addresses some build and functional issues on MSVC targets, as a step towards an eventual goal of having RocksDB build successfully for Windows on ARM64.
Addressed issues include:
- BitsSetToOne and CountTrailingZeroBits do not compile on non-x64 MSVC targets. A fallback implementation of BitsSetToOne when Intel intrinsics are not available is added, based on the C++20 `<bit>` popcount implementation in Microsoft's STL.
- The implementation of FloorLog2 for MSVC targets (including x64) gives incorrect results. The unit test easily detects this, but CircleCI is currently configured to only run a specific set of tests for Windows CMake builds, so this seems to have been unnoticed.
- AsmVolatilePause does not use YieldProcessor on Windows ARM64 targets, even though it is available.
- When CondVar::TimedWait calls Microsoft STL's condition_variable::wait_for, it can potentially trigger a bug (just recently fixed in the upcoming VS 16.8's STL) that deadlocks various tests that wait for a timer to execute, since `Timer::Run` doesn't get a chance to execute before being blocked by the test function acquiring the mutex.
- In c_test, `GetTempDir` assumes a POSIX-style temp path.
- `NormalizePath` did not eliminate consecutive POSIX-style path separators on Windows, resulting in test failures in e.g., wal_manager_test.
- Various other test failures.
In a followup PR I hope to modify CircleCI's config.yml to invoke all RocksDB unit tests in Windows CMake builds with CTest, instead of the current use of `run_ci_db_test.ps1` which requires individual tests to be specified and is missing many of the existing tests.
Notes from peterd: FloorLog2 is not yet used in production code (it's for something in progress). I also added a few more inexpensive platform-dependent tests to Windows CircleCI runs. And included facebook/folly#1461 as requested
Pull Request resolved: https://github.com/facebook/rocksdb/pull/7439
Reviewed By: jay-zhuang
Differential Revision: D24021563
Pulled By: pdillinger
fbshipit-source-id: 0ec2027c0d6a494d8a0fe38d9667fc2f7e29f7e7
4 years ago
|
|
|
#endif
|
|
|
|
|
|
|
|
// check the file is locked
|
|
|
|
ASSERT_TRUE( AssertFileIsLocked() );
|
|
|
|
|
|
|
|
// release the lock
|
|
|
|
ASSERT_OK(UnlockFile(lock1));
|
|
|
|
|
|
|
|
// check the file is not locked
|
|
|
|
ASSERT_TRUE( AssertFileIsNotLocked() );
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace ROCKSDB_NAMESPACE
|
|
|
|
|
|
|
|
int main(int argc, char** argv) {
|
|
|
|
ROCKSDB_NAMESPACE::port::InstallStackTraceHandler();
|
|
|
|
::testing::InitGoogleTest(&argc, argv);
|
|
|
|
return RUN_ALL_TESTS();
|
|
|
|
}
|