blob: 08d5c27ce15cef4ef86de1d09e9494a939baab89 [file] [log] [blame]
// Copyright 2023 The Pigweed Authors
//
// Licensed under the Apache License, Version 2.0 (the "License"); you may not
// use this file except in compliance with the License. You may obtain a copy of
// the License at
//
// https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
// WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
// License for the specific language governing permissions and limitations under
// the License.
#include "pw_async_basic/dispatcher.h"
#include <vector>
#include "pw_chrono/system_clock.h"
#include "pw_log/log.h"
#include "pw_sync/thread_notification.h"
#include "pw_thread/thread.h"
#include "pw_thread_stl/options.h"
#include "pw_unit_test/framework.h"
#define ASSERT_OK(status) ASSERT_EQ(OkStatus(), status)
#define ASSERT_CANCELLED(status) ASSERT_EQ(Status::Cancelled(), status)
using namespace std::chrono_literals;
namespace pw::async {
// Lambdas can only capture one ptr worth of memory without allocating, so we
// group the data we want to share between tasks and their containing tests
// inside one struct.
struct TestPrimitives {
int count = 0;
sync::ThreadNotification notification;
};
TEST(DispatcherBasic, PostTasks) {
BasicDispatcher dispatcher;
thread::Thread work_thread(thread::stl::Options(), dispatcher);
TestPrimitives tp;
auto inc_count = [&tp]([[maybe_unused]] Context& c, Status status) {
ASSERT_OK(status);
++tp.count;
};
Task task(inc_count);
dispatcher.Post(task);
Task task2(inc_count);
dispatcher.Post(task2);
Task task3([&tp]([[maybe_unused]] Context& c, Status status) {
ASSERT_OK(status);
++tp.count;
tp.notification.release();
});
dispatcher.Post(task3);
tp.notification.acquire();
dispatcher.RequestStop();
work_thread.join();
ASSERT_EQ(tp.count, 3);
}
TEST(DispatcherBasic, ChainedTasks) {
BasicDispatcher dispatcher;
thread::Thread work_thread(thread::stl::Options(), dispatcher);
sync::ThreadNotification notification;
Task task1([&notification]([[maybe_unused]] Context& c, Status status) {
ASSERT_OK(status);
notification.release();
});
Task task2([&task1](Context& c, Status status) {
ASSERT_OK(status);
c.dispatcher->Post(task1);
});
Task task3([&task2](Context& c, Status status) {
ASSERT_OK(status);
c.dispatcher->Post(task2);
});
dispatcher.Post(task3);
notification.acquire();
dispatcher.RequestStop();
work_thread.join();
}
TEST(DispatcherBasic, TaskOrdering) {
struct TestState {
std::vector<int> tasks;
sync::ThreadNotification notification;
};
BasicDispatcher dispatcher;
thread::Thread work_thread(thread::stl::Options(), dispatcher);
TestState state;
Task task1([&state](Context&, Status status) {
ASSERT_OK(status);
state.tasks.push_back(1);
});
Task task2([&state](Context&, Status status) {
ASSERT_OK(status);
state.tasks.push_back(2);
state.notification.release();
});
// Task posted at same time should be ordered FIFO.
auto due_time = chrono::SystemClock::now();
dispatcher.PostAt(task1, due_time);
dispatcher.PostAt(task2, due_time);
state.notification.acquire();
dispatcher.RequestStop();
work_thread.join();
ASSERT_EQ(state.tasks.size(), 2U);
EXPECT_EQ(state.tasks[0], 1);
EXPECT_EQ(state.tasks[1], 2);
}
// Test RequestStop() from inside task.
TEST(DispatcherBasic, RequestStopInsideTask) {
BasicDispatcher dispatcher;
thread::Thread work_thread(thread::stl::Options(), dispatcher);
int count = 0;
auto inc_count = [&count]([[maybe_unused]] Context& c, Status status) {
ASSERT_CANCELLED(status);
++count;
};
// These tasks are never executed and cleaned up in RequestStop().
Task task0(inc_count), task1(inc_count);
dispatcher.PostAfter(task0, 20ms);
dispatcher.PostAfter(task1, 21ms);
Task stop_task([&count]([[maybe_unused]] Context& c, Status status) {
ASSERT_OK(status);
++count;
static_cast<BasicDispatcher*>(c.dispatcher)->RequestStop();
});
dispatcher.Post(stop_task);
work_thread.join();
ASSERT_EQ(count, 3);
}
TEST(DispatcherBasic, TasksCancelledByRequestStopInDifferentThread) {
BasicDispatcher dispatcher;
thread::Thread work_thread(thread::stl::Options(), dispatcher);
int count = 0;
auto inc_count = [&count]([[maybe_unused]] Context& c, Status status) {
ASSERT_CANCELLED(status);
++count;
};
Task task0(inc_count), task1(inc_count), task2(inc_count);
dispatcher.PostAfter(task0, 10s);
dispatcher.PostAfter(task1, 10s);
dispatcher.PostAfter(task2, 10s);
dispatcher.RequestStop();
work_thread.join();
ASSERT_EQ(count, 3);
}
TEST(DispatcherBasic, TasksCancelledByDispatcherDestructor) {
int count = 0;
auto inc_count = [&count]([[maybe_unused]] Context& c, Status status) {
ASSERT_CANCELLED(status);
++count;
};
Task task0(inc_count), task1(inc_count), task2(inc_count);
{
BasicDispatcher dispatcher;
dispatcher.PostAfter(task0, 10s);
dispatcher.PostAfter(task1, 10s);
dispatcher.PostAfter(task2, 10s);
}
ASSERT_EQ(count, 3);
}
TEST(DispatcherBasic, TasksCancelledByRunUntilIdle) {
int count = 0;
auto inc_count = [&count]([[maybe_unused]] Context& c, Status status) {
ASSERT_CANCELLED(status);
++count;
};
Task task0(inc_count), task1(inc_count), task2(inc_count);
BasicDispatcher dispatcher;
dispatcher.PostAfter(task0, 10s);
dispatcher.PostAfter(task1, 10s);
dispatcher.PostAfter(task2, 10s);
dispatcher.RequestStop();
dispatcher.RunUntilIdle();
ASSERT_EQ(count, 3);
}
TEST(DispatcherBasic, TasksCancelledByRunFor) {
int count = 0;
auto inc_count = [&count]([[maybe_unused]] Context& c, Status status) {
ASSERT_CANCELLED(status);
++count;
};
Task task0(inc_count), task1(inc_count), task2(inc_count);
BasicDispatcher dispatcher;
dispatcher.PostAfter(task0, 10s);
dispatcher.PostAfter(task1, 10s);
dispatcher.PostAfter(task2, 10s);
dispatcher.RequestStop();
dispatcher.RunFor(5s);
ASSERT_EQ(count, 3);
}
} // namespace pw::async