UserControlledScheduler.h File Reference

Contains the definition of the UserControlledScheduler. More...

#include <DeterministicConcurrency>
#include <cstddef>
#include <array>
#include <tuple>
#include <type_traits>
#include <chrono>
#include <thread>

Include dependency graph for UserControlledScheduler.h:

Go to the source code of this file.

Classes
class	DeterministicConcurrency::UserControlledScheduler< N >
	A scheduler which allow to manage the flow of its managed threads. More...

Functions
template<typename... Tuples>
auto	DeterministicConcurrency::make_UserControlledScheduler (Tuples &&... tuples)
	Helper function to create an UserControlledScheduler.

Detailed Description

Contains the definition of the UserControlledScheduler.

Author

F. Abrignani (feder.nosp@m.igno.nosp@m.li@ho.nosp@m.tmai.nosp@m.l.it)

P. Di Giglio

S. Martorana

Version

1.4.5

Date

2023-08-14

Copyright

Copyright (c) 2023

Function Documentation

make_UserControlledScheduler()

template<typename... Tuples>

auto DeterministicConcurrency::make_UserControlledScheduler

(

Tuples &&...

tuples

)

Helper function to create an UserControlledScheduler.

Parameters

tuples

: tuples containing the function the threads have to performs followed by their arguments.

Returns

UserControlledScheduler.

Example:

example of make_UserControlledScheduler():

void f(thread_context* c, int a){}
void h(thread_context* c, string a){} 
auto thread0 = tuple{&f, 3};
auto thread1 = tuple{&f, "aaa"};
auto sch = make_UserControlledScheduler(thread0, thread1);