25 int main(
int argc,
char *argv[])
29 std::string defaultConfigName =
"configuration/configuration.conf";
30 std::string configName;
31 configName = (argc == 2 ? argv[1]: defaultConfigName);
34 std::shared_ptr<Scheduler::SchedulerConfiguration> conf = std::make_shared<Scheduler::SchedulerConfiguration>(configName);
35 assert(conf !=
nullptr);
std::shared_ptr< Process > createRealTimeTask(double startTime, double period, double wcet, double deadline=0.0, int priority=0, double bcet=0.0, double powerCoeff=1.0)
creates a new real-time task event and add it to the event scheduling queue
void startScheduler()
call this function to launch the simulation
static System * getInstance()
void seedRandomGenerator(time_t seed)
seeds the random generator
void printProcessesReport()
void turnOnProcessor(double start)
turns on the processor
void endSimulation(double time)
set the end of the simulation