John Park | 398c74a | 2018-10-20 21:17:39 -0700 | [diff] [blame] | 1 | #include "aos/ipc_lib/queue.h" |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 2 | |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 3 | #include <unistd.h> |
| 4 | #include <sys/mman.h> |
| 5 | #include <inttypes.h> |
| 6 | |
Austin Schuh | f2a50ba | 2016-12-24 16:16:26 -0800 | [diff] [blame] | 7 | #include <chrono> |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 8 | #include <ostream> |
| 9 | #include <memory> |
| 10 | #include <map> |
| 11 | |
| 12 | #include "gtest/gtest.h" |
| 13 | |
John Park | 398c74a | 2018-10-20 21:17:39 -0700 | [diff] [blame] | 14 | #include "aos/ipc_lib/core_lib.h" |
John Park | 33858a3 | 2018-09-28 23:05:48 -0700 | [diff] [blame] | 15 | #include "aos/type_traits/type_traits.h" |
Brian Silverman | f5f8d8e | 2015-12-06 18:39:12 -0500 | [diff] [blame] | 16 | #include "aos/testing/test_shm.h" |
John Park | 33858a3 | 2018-09-28 23:05:48 -0700 | [diff] [blame] | 17 | #include "aos/time/time.h" |
| 18 | #include "aos/logging/logging.h" |
| 19 | #include "aos/die.h" |
| 20 | #include "aos/util/thread.h" |
| 21 | #include "aos/util/options.h" |
| 22 | #include "aos/util/death_test_log_implementation.h" |
Brian Silverman | f5f8d8e | 2015-12-06 18:39:12 -0500 | [diff] [blame] | 23 | #include "aos/testing/prevent_exit.h" |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 24 | |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 25 | using ::testing::AssertionResult; |
| 26 | using ::testing::AssertionSuccess; |
| 27 | using ::testing::AssertionFailure; |
| 28 | |
| 29 | namespace aos { |
| 30 | namespace testing { |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 31 | |
Austin Schuh | f2a50ba | 2016-12-24 16:16:26 -0800 | [diff] [blame] | 32 | namespace chrono = ::std::chrono; |
| 33 | namespace this_thread = ::std::this_thread; |
| 34 | |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 35 | // The same constant from queue.cc. This will have to be updated if that one is. |
| 36 | const int kExtraMessages = 20; |
| 37 | |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 38 | class RawQueueTest : public ::testing::Test { |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 39 | protected: |
| 40 | static const size_t kFailureSize = 400; |
| 41 | static char *fatal_failure; |
| 42 | private: |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 43 | enum class ResultType : uint8_t { |
| 44 | NotCalled, |
| 45 | Called, |
| 46 | Returned, |
| 47 | }; |
| 48 | const std::string ResultTypeString(volatile const ResultType &result) { |
| 49 | switch (result) { |
| 50 | case ResultType::Returned: |
| 51 | return "Returned"; |
| 52 | case ResultType::Called: |
| 53 | return "Called"; |
| 54 | case ResultType::NotCalled: |
| 55 | return "NotCalled"; |
| 56 | default: |
Brian Silverman | f798614 | 2014-04-21 17:42:35 -0700 | [diff] [blame] | 57 | return std::string("unknown(") + |
| 58 | ::std::to_string(static_cast<uint8_t>(result)) + ")"; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 59 | } |
| 60 | } |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 61 | static_assert(aos::shm_ok<ResultType>::value, |
| 62 | "this will get put in shared memory"); |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 63 | template<typename T> |
| 64 | struct FunctionToCall { |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 65 | FunctionToCall() : result(ResultType::NotCalled), started() { |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 66 | } |
| 67 | |
| 68 | volatile ResultType result; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 69 | bool expected; |
| 70 | void (*function)(T*, char*); |
| 71 | T *arg; |
| 72 | volatile char failure[kFailureSize]; |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 73 | aos_futex started; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 74 | }; |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 75 | template<typename T> |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 76 | static void Hangs_(FunctionToCall<T> *const to_call) { |
Austin Schuh | f2a50ba | 2016-12-24 16:16:26 -0800 | [diff] [blame] | 77 | this_thread::sleep_for(chrono::milliseconds(10)); |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 78 | ASSERT_EQ(1, futex_set(&to_call->started)); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 79 | to_call->result = ResultType::Called; |
| 80 | to_call->function(to_call->arg, const_cast<char *>(to_call->failure)); |
| 81 | to_call->result = ResultType::Returned; |
| 82 | } |
| 83 | |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 84 | // How long until a function is considered to have hung. |
Austin Schuh | f2a50ba | 2016-12-24 16:16:26 -0800 | [diff] [blame] | 85 | static constexpr chrono::nanoseconds kHangTime = chrono::milliseconds(90); |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 86 | // How long to sleep after forking (for debugging). |
Austin Schuh | f2a50ba | 2016-12-24 16:16:26 -0800 | [diff] [blame] | 87 | static constexpr chrono::nanoseconds kForkSleep = chrono::milliseconds(0); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 88 | |
| 89 | // Represents a process that has been forked off. The destructor kills the |
| 90 | // process and wait(2)s for it. |
| 91 | class ForkedProcess { |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 92 | public: |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 93 | ForkedProcess(pid_t pid, aos_futex *done) |
| 94 | : pid_(pid), done_(done), exiting_(false) {}; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 95 | ~ForkedProcess() { |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 96 | if (!exiting_) { |
| 97 | if (kill(pid_, SIGTERM) == -1) { |
| 98 | if (errno == ESRCH) { |
| 99 | printf("process %jd was already dead\n", |
| 100 | static_cast<intmax_t>(pid_)); |
| 101 | } else { |
| 102 | PLOG(FATAL, "kill(SIGKILL, %jd) failed", |
| 103 | static_cast<intmax_t>(pid_)); |
| 104 | } |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 105 | } |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 106 | } |
| 107 | const pid_t ret = wait(NULL); |
| 108 | if (ret == -1) { |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 109 | LOG(WARNING, "wait(NULL) failed." |
| 110 | " child %jd might still be alive\n", |
| 111 | static_cast<intmax_t>(pid_)); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 112 | } else if (ret == 0) { |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 113 | LOG(WARNING, "child %jd wasn't waitable. it might still be alive\n", |
| 114 | static_cast<intmax_t>(pid_)); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 115 | } else if (ret != pid_) { |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 116 | LOG(WARNING, "child %d is now confirmed dead" |
| 117 | ", but child %jd might still be alive\n", |
| 118 | ret, static_cast<intmax_t>(pid_)); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 119 | } |
| 120 | } |
| 121 | |
| 122 | enum class JoinResult { |
| 123 | Finished, Hung, Error |
| 124 | }; |
Austin Schuh | f2a50ba | 2016-12-24 16:16:26 -0800 | [diff] [blame] | 125 | JoinResult Join(chrono::nanoseconds timeout = kHangTime) { |
| 126 | struct timespec done_timeout; |
| 127 | { |
| 128 | auto full_timeout = kForkSleep + timeout; |
| 129 | ::std::chrono::seconds sec = |
| 130 | ::std::chrono::duration_cast<::std::chrono::seconds>(full_timeout); |
| 131 | ::std::chrono::nanoseconds nsec = |
| 132 | ::std::chrono::duration_cast<::std::chrono::nanoseconds>( |
| 133 | full_timeout - sec); |
| 134 | done_timeout.tv_sec = sec.count(); |
| 135 | done_timeout.tv_nsec = nsec.count(); |
| 136 | } |
| 137 | |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 138 | switch (futex_wait_timeout(done_, &done_timeout)) { |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 139 | case 2: |
| 140 | return JoinResult::Hung; |
| 141 | case 0: |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 142 | exiting_ = true; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 143 | return JoinResult::Finished; |
| 144 | default: |
| 145 | return JoinResult::Error; |
| 146 | } |
| 147 | } |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 148 | |
| 149 | private: |
| 150 | const pid_t pid_; |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 151 | aos_futex *const done_; |
| 152 | // True iff we know that the process is already exiting. |
| 153 | bool exiting_; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 154 | } __attribute__((unused)); |
| 155 | |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 156 | // State for HangsFork and HangsCheck. |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 157 | typedef uint8_t ChildID; |
| 158 | static void ReapExitHandler() { |
| 159 | for (auto it = children_.begin(); it != children_.end(); ++it) { |
| 160 | delete it->second; |
| 161 | } |
| 162 | } |
| 163 | static std::map<ChildID, ForkedProcess *> children_; |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 164 | std::map<ChildID, FunctionToCall<void> *> to_calls_; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 165 | |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 166 | void SetUp() override { |
| 167 | ::testing::Test::SetUp(); |
Brian Silverman | 5f8c492 | 2014-02-11 21:22:38 -0800 | [diff] [blame] | 168 | |
| 169 | SetDieTestMode(true); |
| 170 | |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 171 | fatal_failure = static_cast<char *>(shm_malloc(sizeof(fatal_failure))); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 172 | static bool registered = false; |
| 173 | if (!registered) { |
| 174 | atexit(ReapExitHandler); |
| 175 | registered = true; |
| 176 | } |
| 177 | } |
| 178 | |
| 179 | protected: |
Brian Silverman | 797e71e | 2013-09-06 17:29:39 -0700 | [diff] [blame] | 180 | // function gets called with arg in a forked process. |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 181 | // Leaks shared memory. |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 182 | template<typename T> __attribute__((warn_unused_result)) |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 183 | std::unique_ptr<ForkedProcess> ForkExecute(void (*function)(T*), T *arg) { |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 184 | aos_futex *done = static_cast<aos_futex *>(shm_malloc_aligned( |
| 185 | sizeof(*done), alignof(aos_futex))); |
| 186 | *done = 0; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 187 | const pid_t pid = fork(); |
| 188 | switch (pid) { |
Brian Silverman | 797e71e | 2013-09-06 17:29:39 -0700 | [diff] [blame] | 189 | case 0: // child |
Austin Schuh | f2a50ba | 2016-12-24 16:16:26 -0800 | [diff] [blame] | 190 | if (kForkSleep != chrono::milliseconds(0)) { |
| 191 | LOG(INFO, "pid %jd sleeping for %" PRId64 "ns\n", |
| 192 | static_cast<intmax_t>(getpid()), kForkSleep.count()); |
| 193 | this_thread::sleep_for(kForkSleep); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 194 | } |
Brian Silverman | f5f8d8e | 2015-12-06 18:39:12 -0500 | [diff] [blame] | 195 | ::aos::testing::PreventExit(); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 196 | function(arg); |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 197 | CHECK_NE(-1, futex_set(done)); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 198 | exit(EXIT_SUCCESS); |
Brian Silverman | 797e71e | 2013-09-06 17:29:39 -0700 | [diff] [blame] | 199 | case -1: // parent failure |
Brian Silverman | 01be000 | 2014-05-10 15:44:38 -0700 | [diff] [blame] | 200 | PLOG(ERROR, "fork() failed"); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 201 | return std::unique_ptr<ForkedProcess>(); |
Brian Silverman | 797e71e | 2013-09-06 17:29:39 -0700 | [diff] [blame] | 202 | default: // parent |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 203 | return std::unique_ptr<ForkedProcess>(new ForkedProcess(pid, done)); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 204 | } |
| 205 | } |
| 206 | |
| 207 | // Checks whether or not the given function hangs. |
| 208 | // expected is whether to return success or failure if the function hangs |
| 209 | // NOTE: There are other reasons for it to return a failure than the function |
| 210 | // doing the wrong thing. |
| 211 | // Leaks shared memory. |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 212 | template<typename T> |
| 213 | AssertionResult Hangs(void (*function)(T*, char*), T *arg, bool expected) { |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 214 | AssertionResult fork_result(HangsFork<T>(function, arg, expected, 0)); |
| 215 | if (!fork_result) { |
| 216 | return fork_result; |
| 217 | } |
| 218 | return HangsCheck(0); |
| 219 | } |
| 220 | // Starts the first part of Hangs. |
| 221 | // Use HangsCheck to get the result. |
| 222 | // Returns whether the fork succeeded or not, NOT whether or not the hang |
| 223 | // check succeeded. |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 224 | template<typename T> |
| 225 | AssertionResult HangsFork(void (*function)(T*, char *), T *arg, |
| 226 | bool expected, ChildID id) { |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 227 | static_assert(aos::shm_ok<FunctionToCall<T>>::value, |
| 228 | "this is going into shared memory"); |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 229 | FunctionToCall<T> *const to_call = |
| 230 | static_cast<FunctionToCall<T> *>( |
| 231 | shm_malloc_aligned(sizeof(*to_call), alignof(FunctionToCall<T>))); |
| 232 | new (to_call) FunctionToCall<T>(); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 233 | to_call->function = function; |
| 234 | to_call->arg = arg; |
| 235 | to_call->expected = expected; |
| 236 | to_call->failure[0] = '\0'; |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 237 | static_cast<char *>(fatal_failure)[0] = '\0'; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 238 | children_[id] = ForkExecute(Hangs_, to_call).release(); |
| 239 | if (!children_[id]) return AssertionFailure() << "ForkExecute failed"; |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 240 | CHECK_EQ(0, futex_wait(&to_call->started)); |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 241 | to_calls_[id] = reinterpret_cast<FunctionToCall<void> *>(to_call); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 242 | return AssertionSuccess(); |
| 243 | } |
| 244 | // Checks whether or not a function hung like it was supposed to. |
| 245 | // Use HangsFork first. |
| 246 | // NOTE: calls to HangsFork and HangsCheck with the same id argument will |
| 247 | // correspond, but they do not nest. Also, id 0 is used by Hangs. |
| 248 | // Return value is the same as Hangs. |
| 249 | AssertionResult HangsCheck(ChildID id) { |
| 250 | std::unique_ptr<ForkedProcess> child(children_[id]); |
| 251 | children_.erase(id); |
| 252 | const ForkedProcess::JoinResult result = child->Join(); |
| 253 | if (to_calls_[id]->failure[0] != '\0') { |
| 254 | return AssertionFailure() << "function says: " |
| 255 | << const_cast<char *>(to_calls_[id]->failure); |
| 256 | } |
| 257 | if (result == ForkedProcess::JoinResult::Finished) { |
| 258 | return !to_calls_[id]->expected ? AssertionSuccess() : (AssertionFailure() |
| 259 | << "something happened and the the test only got to " |
| 260 | << ResultTypeString(to_calls_[id]->result)); |
| 261 | } else { |
| 262 | if (to_calls_[id]->result == ResultType::Called) { |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 263 | return to_calls_[id]->expected ? AssertionSuccess() : |
| 264 | AssertionFailure(); |
| 265 | } else if (result == ForkedProcess::JoinResult::Error) { |
| 266 | return AssertionFailure() << "error joining child"; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 267 | } else { |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 268 | if (to_calls_[id]->result == ResultType::NotCalled) { |
| 269 | return AssertionFailure() << "stuff took too long getting started"; |
| 270 | } |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 271 | return AssertionFailure() << "something weird happened"; |
| 272 | } |
| 273 | } |
| 274 | } |
| 275 | #define EXPECT_HANGS(function, arg) \ |
| 276 | EXPECT_HANGS_COND(function, arg, true, EXPECT_TRUE) |
| 277 | #define EXPECT_RETURNS(function, arg) \ |
| 278 | EXPECT_HANGS_COND(function, arg, false, EXPECT_TRUE) |
| 279 | #define EXPECT_RETURNS_FAILS(function, arg) \ |
| 280 | EXPECT_HANGS_COND(function, arg, false, EXPECT_FALSE) |
| 281 | #define EXPECT_HANGS_COND(function, arg, hangs, cond) do { \ |
| 282 | cond(Hangs(function, arg, hangs)); \ |
| 283 | if (fatal_failure[0] != '\0') { \ |
| 284 | FAIL() << fatal_failure; \ |
| 285 | } \ |
| 286 | } while (false) |
| 287 | |
| 288 | struct TestMessage { |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 289 | // Some contents because we don't really want to test empty messages. |
| 290 | int16_t data; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 291 | }; |
| 292 | struct MessageArgs { |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 293 | RawQueue *const queue; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 294 | Options<RawQueue> flags; |
Brian Silverman | 797e71e | 2013-09-06 17:29:39 -0700 | [diff] [blame] | 295 | int16_t data; // -1 means NULL expected |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 296 | }; |
| 297 | static void WriteTestMessage(MessageArgs *args, char *failure) { |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 298 | TestMessage *msg = static_cast<TestMessage *>(args->queue->GetMessage()); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 299 | if (msg == NULL) { |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 300 | snprintf(fatal_failure, kFailureSize, |
| 301 | "couldn't get_msg from %p", args->queue); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 302 | return; |
| 303 | } |
| 304 | msg->data = args->data; |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 305 | if (!args->queue->WriteMessage(msg, args->flags)) { |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 306 | snprintf(failure, kFailureSize, "%p->WriteMessage(%p, %x) failed", |
| 307 | args->queue, msg, args->flags.printable()); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 308 | } |
| 309 | } |
| 310 | static void ReadTestMessage(MessageArgs *args, char *failure) { |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 311 | const TestMessage *msg = static_cast<const TestMessage *>( |
| 312 | args->queue->ReadMessage(args->flags)); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 313 | if (msg == NULL) { |
| 314 | if (args->data != -1) { |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 315 | snprintf(failure, kFailureSize, |
| 316 | "expected data of %" PRId16 " but got NULL message", |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 317 | args->data); |
| 318 | } |
| 319 | } else { |
| 320 | if (args->data != msg->data) { |
| 321 | snprintf(failure, kFailureSize, |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 322 | "expected data of %" PRId16 " but got %" PRId16 " instead", |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 323 | args->data, msg->data); |
| 324 | } |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 325 | args->queue->FreeMessage(msg); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 326 | } |
| 327 | } |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 328 | |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 329 | void PushMessage(RawQueue *queue, uint16_t data) { |
| 330 | TestMessage *message = static_cast<TestMessage *>(queue->GetMessage()); |
| 331 | message->data = data; |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 332 | ASSERT_TRUE(queue->WriteMessage(message, RawQueue::kOverride)); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 333 | } |
| 334 | |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 335 | private: |
Brian Silverman | f5f8d8e | 2015-12-06 18:39:12 -0500 | [diff] [blame] | 336 | ::aos::testing::TestSharedMemory my_shm_; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 337 | }; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 338 | |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 339 | char *RawQueueTest::fatal_failure; |
| 340 | std::map<RawQueueTest::ChildID, RawQueueTest::ForkedProcess *> |
| 341 | RawQueueTest::children_; |
Austin Schuh | f2a50ba | 2016-12-24 16:16:26 -0800 | [diff] [blame] | 342 | constexpr chrono::nanoseconds RawQueueTest::kHangTime; |
| 343 | constexpr chrono::nanoseconds RawQueueTest::kForkSleep; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 344 | |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 345 | typedef RawQueueTest RawQueueDeathTest; |
| 346 | |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 347 | TEST_F(RawQueueTest, Reading) { |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 348 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 1); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 349 | MessageArgs args{queue, RawQueue::kBlock, -1}; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 350 | |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 351 | args.flags = RawQueue::kNonBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 352 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 353 | args.flags = RawQueue::kNonBlock | RawQueue::kPeek; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 354 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 355 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 356 | EXPECT_HANGS(ReadTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 357 | args.flags = RawQueue::kPeek | RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 358 | EXPECT_HANGS(ReadTestMessage, &args); |
| 359 | args.data = 254; |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 360 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 361 | EXPECT_RETURNS(WriteTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 362 | args.flags = RawQueue::kPeek | RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 363 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 364 | args.flags = RawQueue::kPeek | RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 365 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 366 | args.flags = RawQueue::kPeek | RawQueue::kNonBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 367 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 368 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 369 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 370 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 371 | args.data = -1; |
| 372 | EXPECT_HANGS(ReadTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 373 | args.flags = RawQueue::kNonBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 374 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 375 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 376 | args.data = 971; |
| 377 | EXPECT_RETURNS_FAILS(ReadTestMessage, &args); |
| 378 | } |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 379 | TEST_F(RawQueueTest, Writing) { |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 380 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 1); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 381 | MessageArgs args{queue, RawQueue::kBlock, 973}; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 382 | |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 383 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 384 | EXPECT_RETURNS(WriteTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 385 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 386 | EXPECT_HANGS(WriteTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 387 | args.flags = RawQueue::kNonBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 388 | EXPECT_RETURNS_FAILS(WriteTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 389 | args.flags = RawQueue::kNonBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 390 | EXPECT_RETURNS_FAILS(WriteTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 391 | args.flags = RawQueue::kPeek | RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 392 | EXPECT_RETURNS(ReadTestMessage, &args); |
| 393 | args.data = 971; |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 394 | args.flags = RawQueue::kOverride; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 395 | EXPECT_RETURNS(WriteTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 396 | args.flags = RawQueue::kOverride; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 397 | EXPECT_RETURNS(WriteTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 398 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 399 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 400 | args.flags = RawQueue::kNonBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 401 | EXPECT_RETURNS(WriteTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 402 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 403 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 404 | args.flags = RawQueue::kOverride; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 405 | EXPECT_RETURNS(WriteTestMessage, &args); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 406 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 407 | EXPECT_RETURNS(ReadTestMessage, &args); |
| 408 | } |
| 409 | |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 410 | TEST_F(RawQueueTest, MultiRead) { |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 411 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 1); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 412 | MessageArgs args{queue, RawQueue::kBlock, 1323}; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 413 | |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 414 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 415 | EXPECT_RETURNS(WriteTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 416 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 417 | ASSERT_TRUE(HangsFork(ReadTestMessage, &args, true, 1)); |
| 418 | ASSERT_TRUE(HangsFork(ReadTestMessage, &args, true, 2)); |
Brian Silverman | dc1eb27 | 2014-08-19 14:25:59 -0400 | [diff] [blame] | 419 | AssertionResult one = HangsCheck(1); |
| 420 | AssertionResult two = HangsCheck(2); |
| 421 | EXPECT_TRUE(one != two) << "'" << |
| 422 | one.failure_message() << "' vs '" << two.failure_message() << "'"; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 423 | // TODO(brians) finish this |
| 424 | } |
| 425 | |
Brian Silverman | c39e2bd | 2014-02-21 09:17:35 -0800 | [diff] [blame] | 426 | // There used to be a bug where reading first without an index and then with an |
| 427 | // index would crash. This test makes sure that's fixed. |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 428 | TEST_F(RawQueueTest, ReadIndexAndNot) { |
Brian Silverman | c39e2bd | 2014-02-21 09:17:35 -0800 | [diff] [blame] | 429 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
| 430 | |
| 431 | // Write a message, read it (with ReadMessage), and then write another |
| 432 | // message (before freeing the read one so the queue allocates a distinct |
| 433 | // message to use for it). |
| 434 | TestMessage *msg = static_cast<TestMessage *>(queue->GetMessage()); |
| 435 | ASSERT_NE(nullptr, msg); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 436 | ASSERT_TRUE(queue->WriteMessage(msg, RawQueue::kBlock)); |
| 437 | const void *read_msg = queue->ReadMessage(RawQueue::kBlock); |
Brian Silverman | c39e2bd | 2014-02-21 09:17:35 -0800 | [diff] [blame] | 438 | EXPECT_NE(nullptr, read_msg); |
| 439 | msg = static_cast<TestMessage *>(queue->GetMessage()); |
| 440 | queue->FreeMessage(read_msg); |
| 441 | ASSERT_NE(nullptr, msg); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 442 | ASSERT_TRUE(queue->WriteMessage(msg, RawQueue::kBlock)); |
Brian Silverman | c39e2bd | 2014-02-21 09:17:35 -0800 | [diff] [blame] | 443 | |
| 444 | int index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 445 | const void *second_read_msg = |
| 446 | queue->ReadMessageIndex(RawQueue::kBlock, &index); |
Brian Silverman | c39e2bd | 2014-02-21 09:17:35 -0800 | [diff] [blame] | 447 | EXPECT_NE(nullptr, second_read_msg); |
| 448 | EXPECT_NE(read_msg, second_read_msg) |
| 449 | << "We already took that message out of the queue."; |
| 450 | } |
| 451 | |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 452 | TEST_F(RawQueueTest, Recycle) { |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 453 | // TODO(brians) basic test of recycle queue |
| 454 | // include all of the ways a message can get into the recycle queue |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 455 | RawQueue *recycle_queue = reinterpret_cast<RawQueue *>(23); |
Brian Silverman | eeb62ca | 2013-09-11 15:08:03 -0700 | [diff] [blame] | 456 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), |
| 457 | 1, 2, 2, 2, &recycle_queue); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 458 | ASSERT_NE(reinterpret_cast<RawQueue *>(23), recycle_queue); |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 459 | MessageArgs args{queue, RawQueue::kBlock, 973}, |
| 460 | recycle{recycle_queue, RawQueue::kBlock, 973}; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 461 | |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 462 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 463 | EXPECT_RETURNS(WriteTestMessage, &args); |
| 464 | EXPECT_HANGS(ReadTestMessage, &recycle); |
| 465 | args.data = 254; |
| 466 | EXPECT_RETURNS(WriteTestMessage, &args); |
| 467 | EXPECT_HANGS(ReadTestMessage, &recycle); |
| 468 | args.data = 971; |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 469 | args.flags = RawQueue::kOverride; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 470 | EXPECT_RETURNS(WriteTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 471 | recycle.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 472 | EXPECT_RETURNS(ReadTestMessage, &recycle); |
| 473 | |
| 474 | EXPECT_HANGS(ReadTestMessage, &recycle); |
| 475 | |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 476 | TestMessage *msg = static_cast<TestMessage *>(queue->GetMessage()); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 477 | ASSERT_TRUE(msg != NULL); |
| 478 | msg->data = 341; |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 479 | queue->FreeMessage(msg); |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 480 | recycle.data = 341; |
| 481 | EXPECT_RETURNS(ReadTestMessage, &recycle); |
| 482 | |
| 483 | EXPECT_HANGS(ReadTestMessage, &recycle); |
| 484 | |
| 485 | args.data = 254; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 486 | args.flags = RawQueue::kPeek | RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 487 | EXPECT_RETURNS(ReadTestMessage, &args); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 488 | recycle.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 489 | EXPECT_HANGS(ReadTestMessage, &recycle); |
Brian Silverman | 08661c7 | 2013-09-01 17:24:38 -0700 | [diff] [blame] | 490 | args.flags = RawQueue::kBlock; |
brians | 343bc11 | 2013-02-10 01:53:46 +0000 | [diff] [blame] | 491 | EXPECT_RETURNS(ReadTestMessage, &args); |
| 492 | recycle.data = 254; |
| 493 | EXPECT_RETURNS(ReadTestMessage, &recycle); |
| 494 | } |
| 495 | |
Brian Silverman | 358c49f | 2014-03-05 16:56:34 -0800 | [diff] [blame] | 496 | // Makes sure that when a message doesn't get written with kNonBlock it does get |
| 497 | // freed. |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 498 | TEST_F(RawQueueTest, NonBlockFailFree) { |
Brian Silverman | 358c49f | 2014-03-05 16:56:34 -0800 | [diff] [blame] | 499 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 1); |
| 500 | |
| 501 | void *message1 = queue->GetMessage(); |
| 502 | void *message2 = queue->GetMessage(); |
| 503 | ASSERT_TRUE(queue->WriteMessage(message1, RawQueue::kNonBlock)); |
| 504 | ASSERT_FALSE(queue->WriteMessage(message2, RawQueue::kNonBlock)); |
| 505 | EXPECT_EQ(message2, queue->GetMessage()); |
| 506 | } |
| 507 | |
Brian Silverman | 35a14fd | 2014-03-24 16:57:44 -0700 | [diff] [blame] | 508 | // All of the tests from here down are designed to test every branch to |
| 509 | // make sure it does what it's supposed to. They are generally pretty repetitive |
| 510 | // and boring, and some of them may duplicate other tests above, but these ones |
| 511 | // make it a lot easier to figure out what's wrong with bugs not related to race |
| 512 | // conditions. |
| 513 | |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 514 | TEST_F(RawQueueTest, ReadIndexNotFull) { |
| 515 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 516 | const TestMessage *message, *peek_message; |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 517 | |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 518 | EXPECT_EQ(0, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 519 | PushMessage(queue, 971); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 520 | EXPECT_EQ(1, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 521 | |
| 522 | int index = 0; |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 523 | peek_message = static_cast<const TestMessage *>( |
| 524 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 525 | message = static_cast<const TestMessage *>( |
| 526 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 527 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 528 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 529 | EXPECT_EQ(971, message->data); |
| 530 | EXPECT_EQ(1, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 531 | queue->FreeMessage(message); |
| 532 | queue->FreeMessage(peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 533 | |
| 534 | PushMessage(queue, 1768); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 535 | EXPECT_EQ(2, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 536 | peek_message = static_cast<const TestMessage *>( |
| 537 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 538 | message = static_cast<const TestMessage *>( |
| 539 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 540 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 541 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 542 | EXPECT_EQ(1768, message->data); |
| 543 | EXPECT_EQ(2, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 544 | queue->FreeMessage(message); |
| 545 | queue->FreeMessage(peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 546 | |
| 547 | PushMessage(queue, 254); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 548 | peek_message = static_cast<const TestMessage *>( |
| 549 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 550 | message = static_cast<const TestMessage *>( |
| 551 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 552 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 553 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 554 | EXPECT_EQ(254, message->data); |
| 555 | EXPECT_EQ(3, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 556 | queue->FreeMessage(message); |
| 557 | queue->FreeMessage(peek_message); |
| 558 | |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 559 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 560 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 561 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 562 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 563 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 564 | ASSERT_NE(nullptr, message); |
| 565 | EXPECT_EQ(message, peek_message); |
| 566 | EXPECT_EQ(254, message->data); |
| 567 | EXPECT_EQ(3, index); |
| 568 | queue->FreeMessage(message); |
| 569 | queue->FreeMessage(peek_message); |
| 570 | |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 571 | EXPECT_EQ(2, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 572 | } |
| 573 | |
| 574 | TEST_F(RawQueueTest, ReadIndexNotBehind) { |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 575 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 576 | const TestMessage *message, *peek_message; |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 577 | |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 578 | EXPECT_EQ(0, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 579 | PushMessage(queue, 971); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 580 | EXPECT_EQ(1, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 581 | PushMessage(queue, 1768); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 582 | EXPECT_EQ(2, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 583 | |
| 584 | int index = 0; |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 585 | peek_message = static_cast<const TestMessage *>( |
| 586 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 587 | message = static_cast<const TestMessage *>( |
| 588 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 589 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 590 | EXPECT_EQ(message, peek_message); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 591 | EXPECT_EQ(971, message->data); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 592 | EXPECT_EQ(1, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 593 | queue->FreeMessage(message); |
| 594 | queue->FreeMessage(peek_message); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 595 | |
| 596 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 597 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 598 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 599 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 600 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 601 | ASSERT_NE(nullptr, message); |
| 602 | EXPECT_EQ(message, peek_message); |
| 603 | EXPECT_EQ(1768, message->data); |
| 604 | EXPECT_EQ(2, index); |
| 605 | queue->FreeMessage(message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 606 | } |
| 607 | |
| 608 | TEST_F(RawQueueTest, ReadIndexLittleBehindNotFull) { |
| 609 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 610 | const TestMessage *message, *peek_message; |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 611 | |
| 612 | PushMessage(queue, 971); |
| 613 | PushMessage(queue, 1768); |
| 614 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 615 | |
| 616 | int index = 0; |
| 617 | |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 618 | peek_message = static_cast<const TestMessage *>( |
| 619 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 620 | message = static_cast<const TestMessage *>( |
| 621 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 622 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 623 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 624 | EXPECT_EQ(1768, message->data); |
| 625 | EXPECT_EQ(2, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 626 | queue->FreeMessage(message); |
| 627 | queue->FreeMessage(peek_message); |
| 628 | |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 629 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 630 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 631 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 632 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 633 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 634 | ASSERT_NE(nullptr, message); |
| 635 | EXPECT_EQ(message, peek_message); |
| 636 | EXPECT_EQ(1768, message->data); |
| 637 | EXPECT_EQ(2, index); |
| 638 | queue->FreeMessage(message); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 639 | } |
| 640 | |
| 641 | TEST_F(RawQueueTest, ReadIndexMoreBehind) { |
| 642 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 643 | const TestMessage *message, *peek_message; |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 644 | |
| 645 | PushMessage(queue, 971); |
| 646 | PushMessage(queue, 1768); |
| 647 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 648 | PushMessage(queue, 254); |
| 649 | |
| 650 | int index = 0; |
| 651 | |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 652 | peek_message = static_cast<const TestMessage *>( |
| 653 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 654 | message = static_cast<const TestMessage *>( |
| 655 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 656 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 657 | EXPECT_EQ(message, peek_message); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 658 | EXPECT_EQ(1768, message->data); |
| 659 | EXPECT_EQ(2, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 660 | queue->FreeMessage(message); |
| 661 | queue->FreeMessage(peek_message); |
| 662 | |
| 663 | peek_message = static_cast<const TestMessage *>( |
| 664 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 665 | message = static_cast<const TestMessage *>( |
| 666 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 667 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 668 | EXPECT_EQ(message, peek_message); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 669 | EXPECT_EQ(254, message->data); |
| 670 | EXPECT_EQ(3, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 671 | queue->FreeMessage(message); |
| 672 | queue->FreeMessage(peek_message); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 673 | |
| 674 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 675 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 676 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 677 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 678 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 679 | ASSERT_NE(nullptr, message); |
| 680 | EXPECT_EQ(message, peek_message); |
| 681 | EXPECT_EQ(254, message->data); |
| 682 | EXPECT_EQ(3, index); |
| 683 | queue->FreeMessage(message); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 684 | } |
| 685 | |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 686 | TEST_F(RawQueueTest, ReadIndexMoreBehindNotFull) { |
| 687 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 688 | const TestMessage *message, *peek_message; |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 689 | |
| 690 | PushMessage(queue, 971); |
| 691 | PushMessage(queue, 1768); |
| 692 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 693 | PushMessage(queue, 254); |
| 694 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 695 | |
| 696 | int index = 0; |
| 697 | |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 698 | peek_message = static_cast<const TestMessage *>( |
| 699 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 700 | message = static_cast<const TestMessage *>( |
| 701 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 702 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 703 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 704 | EXPECT_EQ(254, message->data); |
| 705 | EXPECT_EQ(3, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 706 | queue->FreeMessage(message); |
| 707 | queue->FreeMessage(peek_message); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 708 | |
| 709 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 710 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 711 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 712 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 713 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 714 | ASSERT_NE(nullptr, message); |
| 715 | EXPECT_EQ(message, peek_message); |
| 716 | EXPECT_EQ(254, message->data); |
| 717 | EXPECT_EQ(3, index); |
| 718 | queue->FreeMessage(message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 719 | } |
| 720 | |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 721 | TEST_F(RawQueueTest, ReadIndexLotBehind) { |
| 722 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 723 | const TestMessage *message, *peek_message; |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 724 | |
| 725 | PushMessage(queue, 971); |
| 726 | PushMessage(queue, 1768); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 727 | { |
| 728 | const void *message1, *message2; |
| 729 | message1 = queue->ReadMessage(RawQueue::kNonBlock); |
| 730 | ASSERT_NE(nullptr, message1); |
| 731 | PushMessage(queue, 254); |
| 732 | message2 = queue->ReadMessage(RawQueue::kNonBlock); |
| 733 | ASSERT_NE(nullptr, message2); |
| 734 | PushMessage(queue, 973); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 735 | EXPECT_EQ(4, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 736 | queue->FreeMessage(message1); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 737 | EXPECT_EQ(3, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 738 | queue->FreeMessage(message2); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 739 | EXPECT_EQ(2, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 740 | } |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 741 | |
| 742 | int index = 0; |
| 743 | |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 744 | peek_message = static_cast<const TestMessage *>( |
| 745 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 746 | message = static_cast<const TestMessage *>( |
| 747 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 748 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 749 | EXPECT_EQ(message, peek_message); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 750 | EXPECT_EQ(254, message->data); |
| 751 | EXPECT_EQ(3, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 752 | queue->FreeMessage(message); |
| 753 | queue->FreeMessage(peek_message); |
| 754 | |
| 755 | peek_message = static_cast<const TestMessage *>( |
| 756 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 757 | message = static_cast<const TestMessage *>( |
| 758 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 759 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 760 | EXPECT_EQ(message, peek_message); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 761 | EXPECT_EQ(973, message->data); |
| 762 | EXPECT_EQ(4, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 763 | queue->FreeMessage(message); |
| 764 | queue->FreeMessage(peek_message); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 765 | |
| 766 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 767 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 768 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 769 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 770 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 771 | ASSERT_NE(nullptr, message); |
| 772 | EXPECT_EQ(message, peek_message); |
| 773 | EXPECT_EQ(973, message->data); |
| 774 | EXPECT_EQ(4, index); |
| 775 | queue->FreeMessage(message); |
Brian Silverman | ac3aedc | 2014-03-13 22:53:38 -0700 | [diff] [blame] | 776 | } |
| 777 | |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 778 | TEST_F(RawQueueTest, ReadIndexLotBehindNotFull) { |
| 779 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 780 | const TestMessage *message, *peek_message; |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 781 | |
| 782 | PushMessage(queue, 971); |
| 783 | PushMessage(queue, 1768); |
| 784 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 785 | PushMessage(queue, 254); |
| 786 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 787 | PushMessage(queue, 973); |
| 788 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 789 | |
| 790 | int index = 0; |
| 791 | |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 792 | peek_message = static_cast<const TestMessage *>( |
| 793 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 794 | message = static_cast<const TestMessage *>( |
| 795 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 796 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 797 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 798 | EXPECT_EQ(973, message->data); |
| 799 | EXPECT_EQ(4, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 800 | queue->FreeMessage(message); |
| 801 | queue->FreeMessage(peek_message); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 802 | |
| 803 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 804 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 805 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 806 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 807 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 808 | ASSERT_NE(nullptr, message); |
| 809 | EXPECT_EQ(message, peek_message); |
| 810 | EXPECT_EQ(973, message->data); |
| 811 | EXPECT_EQ(4, index); |
| 812 | queue->FreeMessage(message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 813 | } |
| 814 | |
| 815 | TEST_F(RawQueueTest, ReadIndexEvenMoreBehind) { |
| 816 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 817 | const TestMessage *message, *peek_message; |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 818 | |
| 819 | PushMessage(queue, 971); |
| 820 | PushMessage(queue, 1768); |
| 821 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 822 | PushMessage(queue, 254); |
| 823 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 824 | PushMessage(queue, 973); |
| 825 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 826 | PushMessage(queue, 1114); |
| 827 | |
| 828 | int index = 0; |
| 829 | |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 830 | peek_message = static_cast<const TestMessage *>( |
| 831 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 832 | message = static_cast<const TestMessage *>( |
| 833 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 834 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 835 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 836 | EXPECT_EQ(973, message->data); |
| 837 | EXPECT_EQ(4, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 838 | queue->FreeMessage(message); |
| 839 | queue->FreeMessage(peek_message); |
| 840 | |
| 841 | peek_message = static_cast<const TestMessage *>( |
| 842 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 843 | message = static_cast<const TestMessage *>( |
| 844 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 845 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 846 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 847 | EXPECT_EQ(1114, message->data); |
| 848 | EXPECT_EQ(5, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 849 | queue->FreeMessage(message); |
| 850 | queue->FreeMessage(peek_message); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 851 | |
| 852 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 853 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 854 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 855 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 856 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 857 | ASSERT_NE(nullptr, message); |
| 858 | EXPECT_EQ(message, peek_message); |
| 859 | EXPECT_EQ(1114, message->data); |
| 860 | EXPECT_EQ(5, index); |
| 861 | queue->FreeMessage(message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 862 | } |
| 863 | |
| 864 | TEST_F(RawQueueTest, ReadIndexEvenMoreBehindNotFull) { |
| 865 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 866 | const TestMessage *message, *peek_message; |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 867 | |
| 868 | PushMessage(queue, 971); |
| 869 | PushMessage(queue, 1768); |
| 870 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 871 | PushMessage(queue, 254); |
| 872 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 873 | PushMessage(queue, 973); |
| 874 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 875 | PushMessage(queue, 1114); |
| 876 | ASSERT_NE(nullptr, queue->ReadMessage(RawQueue::kNonBlock)); |
| 877 | |
| 878 | int index = 0; |
| 879 | |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 880 | peek_message = static_cast<const TestMessage *>( |
| 881 | queue->ReadMessageIndex(RawQueue::kNonBlock | RawQueue::kPeek, &index)); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 882 | message = static_cast<const TestMessage *>( |
| 883 | queue->ReadMessageIndex(RawQueue::kNonBlock, &index)); |
| 884 | ASSERT_NE(nullptr, message); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 885 | EXPECT_EQ(message, peek_message); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 886 | EXPECT_EQ(1114, message->data); |
| 887 | EXPECT_EQ(5, index); |
Brian Silverman | eb51cbb | 2014-03-14 22:57:08 -0700 | [diff] [blame] | 888 | queue->FreeMessage(message); |
| 889 | queue->FreeMessage(peek_message); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 890 | |
| 891 | index = 0; |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 892 | peek_message = static_cast<const TestMessage *>(queue->ReadMessage( |
| 893 | RawQueue::kNonBlock | RawQueue::kPeek | RawQueue::kFromEnd)); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 894 | message = static_cast<const TestMessage *>(queue->ReadMessageIndex( |
| 895 | RawQueue::kNonBlock | RawQueue::kFromEnd, &index)); |
| 896 | ASSERT_NE(nullptr, message); |
| 897 | EXPECT_EQ(message, peek_message); |
| 898 | EXPECT_EQ(1114, message->data); |
| 899 | EXPECT_EQ(5, index); |
| 900 | queue->FreeMessage(message); |
| 901 | } |
| 902 | |
| 903 | TEST_F(RawQueueTest, MessageReferenceCounts) { |
| 904 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
| 905 | const void *message1, *message2; |
| 906 | |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 907 | EXPECT_EQ(0, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 908 | message1 = queue->GetMessage(); |
| 909 | EXPECT_NE(nullptr, message1); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 910 | EXPECT_EQ(1, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 911 | message2 = queue->GetMessage(); |
| 912 | EXPECT_NE(nullptr, message2); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 913 | EXPECT_EQ(2, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 914 | queue->FreeMessage(message1); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 915 | EXPECT_EQ(1, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | ad290d8 | 2014-03-19 17:22:05 -0700 | [diff] [blame] | 916 | queue->FreeMessage(message2); |
Brian Silverman | c2e0422 | 2014-03-22 12:43:44 -0700 | [diff] [blame] | 917 | EXPECT_EQ(0, kExtraMessages + 2 - queue->FreeMessages()); |
Brian Silverman | cd2d84c | 2014-03-13 23:30:58 -0700 | [diff] [blame] | 918 | } |
| 919 | |
Brian Silverman | 35a14fd | 2014-03-24 16:57:44 -0700 | [diff] [blame] | 920 | // Tests that writing with kNonBlock fails and frees the message. |
| 921 | TEST_F(RawQueueTest, WriteDontBlock) { |
| 922 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 1); |
| 923 | void *message; |
| 924 | |
| 925 | PushMessage(queue, 971); |
| 926 | int free_before = queue->FreeMessages(); |
| 927 | message = queue->GetMessage(); |
| 928 | ASSERT_NE(nullptr, message); |
| 929 | EXPECT_NE(free_before, queue->FreeMessages()); |
| 930 | EXPECT_FALSE(queue->WriteMessage(message, RawQueue::kNonBlock)); |
| 931 | EXPECT_EQ(free_before, queue->FreeMessages()); |
| 932 | } |
| 933 | |
| 934 | // Tests that writing with kOverride pushes the last message out of the queue. |
| 935 | TEST_F(RawQueueTest, WriteOverride) { |
| 936 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 2); |
| 937 | TestMessage *message1; |
| 938 | |
| 939 | PushMessage(queue, 971); |
| 940 | PushMessage(queue, 1768); |
| 941 | int free_before = queue->FreeMessages(); |
| 942 | message1 = static_cast<TestMessage *>(queue->GetMessage()); |
| 943 | ASSERT_NE(nullptr, message1); |
| 944 | EXPECT_NE(free_before, queue->FreeMessages()); |
| 945 | message1->data = 254; |
| 946 | EXPECT_TRUE(queue->WriteMessage(message1, RawQueue::kOverride)); |
| 947 | EXPECT_EQ(free_before, queue->FreeMessages()); |
| 948 | |
| 949 | const TestMessage *message2; |
| 950 | message2 = |
| 951 | static_cast<const TestMessage *>(queue->ReadMessage(RawQueue::kNonBlock)); |
| 952 | EXPECT_EQ(1768, message2->data); |
| 953 | queue->FreeMessage(message2); |
| 954 | EXPECT_EQ(free_before + 1, queue->FreeMessages()); |
| 955 | message2 = |
| 956 | static_cast<const TestMessage *>(queue->ReadMessage(RawQueue::kNonBlock)); |
| 957 | EXPECT_EQ(254, message2->data); |
| 958 | queue->FreeMessage(message2); |
| 959 | EXPECT_EQ(free_before + 2, queue->FreeMessages()); |
| 960 | } |
| 961 | |
Brian Silverman | 653491d | 2014-05-13 16:53:29 -0700 | [diff] [blame] | 962 | // Makes sure that ThreadSanitizer doesn't catch any issues freeing from |
| 963 | // multiple threads at once. |
| 964 | TEST_F(RawQueueTest, MultiThreadedFree) { |
| 965 | RawQueue *const queue = RawQueue::Fetch("Queue", sizeof(TestMessage), 1, 1); |
| 966 | PushMessage(queue, 971); |
| 967 | int free_before = queue->FreeMessages(); |
| 968 | |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 969 | const void *const message1 = |
| 970 | queue->ReadMessage(RawQueue::kPeek | RawQueue::kNonBlock); |
| 971 | const void *const message2 = |
| 972 | queue->ReadMessage(RawQueue::kPeek | RawQueue::kNonBlock); |
| 973 | ASSERT_NE(nullptr, message1); |
| 974 | ASSERT_NE(nullptr, message2); |
Brian Silverman | 653491d | 2014-05-13 16:53:29 -0700 | [diff] [blame] | 975 | EXPECT_EQ(free_before, queue->FreeMessages()); |
| 976 | util::FunctionThread t1([message1, queue](util::Thread *) { |
| 977 | queue->FreeMessage(message1); |
| 978 | }); |
| 979 | util::FunctionThread t2([message2, queue](util::Thread *) { |
| 980 | queue->FreeMessage(message2); |
| 981 | }); |
| 982 | t1.Start(); |
| 983 | t2.Start(); |
| 984 | t1.WaitUntilDone(); |
| 985 | t2.WaitUntilDone(); |
| 986 | EXPECT_EQ(free_before, queue->FreeMessages()); |
| 987 | } |
| 988 | |
Brian Silverman | 7faaec7 | 2014-05-26 16:25:38 -0700 | [diff] [blame] | 989 | TEST_F(RawQueueDeathTest, OptionsValidation) { |
| 990 | RawQueue *const queue = RawQueue::Fetch("Queue", 1, 1, 1); |
| 991 | |
| 992 | EXPECT_DEATH( |
| 993 | { |
| 994 | logging::AddImplementation(new util::DeathTestLogImplementation()); |
| 995 | queue->WriteMessage(nullptr, RawQueue::kPeek); |
| 996 | }, |
| 997 | ".*illegal write option.*"); |
| 998 | EXPECT_DEATH( |
| 999 | { |
| 1000 | logging::AddImplementation(new util::DeathTestLogImplementation()); |
| 1001 | queue->WriteMessage(nullptr, RawQueue::kFromEnd); |
| 1002 | }, |
| 1003 | ".*illegal write option.*"); |
| 1004 | EXPECT_DEATH( |
| 1005 | { |
| 1006 | logging::AddImplementation(new util::DeathTestLogImplementation()); |
| 1007 | queue->WriteMessage(nullptr, RawQueue::kPeek | RawQueue::kFromEnd); |
| 1008 | }, |
| 1009 | ".*illegal write option.*"); |
| 1010 | EXPECT_DEATH( |
| 1011 | { |
| 1012 | logging::AddImplementation(new util::DeathTestLogImplementation()); |
| 1013 | queue->WriteMessage(nullptr, RawQueue::kNonBlock | RawQueue::kBlock); |
| 1014 | }, |
| 1015 | ".*invalid write option.*"); |
| 1016 | |
| 1017 | EXPECT_DEATH( |
| 1018 | { |
| 1019 | logging::AddImplementation(new util::DeathTestLogImplementation()); |
| 1020 | queue->ReadMessageIndex( |
| 1021 | RawQueue::kBlock | RawQueue::kFromEnd | RawQueue::kPeek, nullptr); |
| 1022 | }, |
| 1023 | ".*ReadMessageIndex.*is not allowed.*"); |
| 1024 | EXPECT_DEATH( |
| 1025 | { |
| 1026 | logging::AddImplementation(new util::DeathTestLogImplementation()); |
| 1027 | queue->ReadMessageIndex(RawQueue::kOverride, nullptr); |
| 1028 | }, |
| 1029 | ".*illegal read option.*"); |
| 1030 | EXPECT_DEATH( |
| 1031 | { |
| 1032 | logging::AddImplementation(new util::DeathTestLogImplementation()); |
| 1033 | queue->ReadMessageIndex(RawQueue::kOverride | RawQueue::kBlock, |
| 1034 | nullptr); |
| 1035 | }, |
| 1036 | ".*illegal read option.*"); |
| 1037 | EXPECT_DEATH( |
| 1038 | { |
| 1039 | logging::AddImplementation(new util::DeathTestLogImplementation()); |
| 1040 | queue->ReadMessage(RawQueue::kNonBlock | RawQueue::kBlock); |
| 1041 | }, |
| 1042 | ".*invalid read option.*"); |
| 1043 | } |
| 1044 | |
Brian Silverman | a6d1b56 | 2013-09-01 14:39:39 -0700 | [diff] [blame] | 1045 | } // namespace testing |
| 1046 | } // namespace aos |