namespace example {
-/** Execute the code in the kernel at some time
- *
- * @param date when we should execute the code
- * @param code code to execute
- * @return future with the result of the call
- */
-template<class F>
-auto kernel_defer(double date, F code) -> simgrid::kernel::Future<decltype(code())>
+/** Create a future which becomes ready when the date is reached */
+static
+simgrid::kernel::Future<void> kernel_wait_until(double date)
{
- typedef decltype(code()) T;
- auto promise = std::make_shared<simgrid::kernel::Promise<T>>();
+ auto promise = std::make_shared<simgrid::kernel::Promise<void>>();
auto future = promise->get_future();
- SIMIX_timer_set(date, [promise, code] {
- simgrid::xbt::fulfillPromise(*promise, std::move(code));
+ SIMIX_timer_set(date, [promise] {
+ promise->set_value();
});
return future;
}
{
// Test the simple immediate execution:
XBT_INFO("Start");
- simgrid::simix::kernel([] {
+ simgrid::simix::kernelImmediate([] {
XBT_INFO("kernel");
});
XBT_INFO("kernel, returned");
// Synchronize on a successful Future<void>:
- simgrid::simix::blocking_simcall([&] {
- return kernel_defer(10, [] {
- XBT_INFO("blocking_simcall with void");
+ simgrid::simix::kernelSync([&] {
+ return kernel_wait_until(10).then([](simgrid::kernel::Future<void> future) {
+ future.get();
+ XBT_INFO("kernelSync with void");
});
});
- XBT_INFO("blocking_simcall with void, returned");
+ XBT_INFO("kernelSync with void, returned");
// Synchronize on a failing Future<void>:
try {
- simgrid::simix::blocking_simcall([&] {
- return kernel_defer(20, [] {
+ simgrid::simix::kernelSync([&] {
+ return kernel_wait_until(20).then([](simgrid::kernel::Future<void> future) {
+ future.get();
throw std::runtime_error("Exception throwed from kernel_defer");
});
});
}
// Synchronize on a successul Future<int> and get the value:
- int res = simgrid::simix::blocking_simcall([&] {
- return kernel_defer(30, [] {
- XBT_INFO("blocking_simcall with value");
+ int res = simgrid::simix::kernelSync([&] {
+ return kernel_wait_until(30).then([](simgrid::kernel::Future<void> future) {
+ future.get();
+ XBT_INFO("kernelSync with value");
return 42;
});
});
- XBT_INFO("blocking_simcall with value returned with %i", res);
+ XBT_INFO("kernelSync with value returned with %i", res);
+
+ // Synchronize on a successul Future<int> and get the value:
+ simgrid::simix::Future<int> future = simgrid::simix::kernelAsync([&] {
+ return kernel_wait_until(50).then([](simgrid::kernel::Future<void> future) {
+ future.get();
+ XBT_INFO("kernelAsync with value");
+ return 43;
+ });
+ });
+ res = future.get();
+ XBT_INFO("kernelAsync with value returned with %i", res);
+
+ // Synchronize on a successul Future<int> and get the value:
+ future = simgrid::simix::kernelAsync([&] {
+ return kernel_wait_until(60).then([](simgrid::kernel::Future<void> future) {
+ future.get();
+ XBT_INFO("kernelAsync with value");
+ return 43;
+ });
+ });
+ XBT_INFO("The future is %s", future.is_ready() ? "ready" : "not ready");
+ future.wait();
+ XBT_INFO("The future is %s", future.is_ready() ? "ready" : "not ready");
+ res = future.get();
+ XBT_INFO("kernelAsync with value returned with %i", res);
return 0;
}