+template<class R, class F>
+void fulfill_promise(std::promise<R>& promise, F&& code)
+{
+ try {
+ promise.set_value(std::forward<F>(code)());
+ }
+ catch(...) {
+ promise.set_exception(std::current_exception());
+ }
+}
+
+// special version for R=void because the previous code does not compile
+// in this case:
+template<class F>
+void fulfill_promise(std::promise<void>& promise, F&& code)
+{
+ try {
+ std::forward<F>(code)();
+ promise.set_value();
+ }
+ catch(...) {
+ promise.set_exception(std::current_exception());
+ }
+}
+
+template<class F>
+typename std::result_of<F()>::type kernel(F&& code)
+{
+ typedef typename std::result_of<F()>::type R;
+ std::promise<R> promise;
+ simcall_run_kernel([&]{
+ xbt_assert(SIMIX_is_maestro(), "Not in maestro");
+ fulfill_promise(promise, std::forward<F>(code));
+ });
+ return promise.get_future().get();
+}
+