schedule.h

Go to the documentation of this file.

/* -*- mode: c; c-basic-offset: 4; -*- */
/* Created by Hershal Bhave and Eric Crosson 2015-03-07 */
/* Revision history: Look in Git FGT */
#ifndef __SCHEDULE__
#define __SCHEDULE__

/* We are using the priority scheduler */

/* Recognized priority schedulers */
#include "priority_schedule_structures.h"
#include "libnotify/notify.h"
#include "libhw/hardware.h"
/* #include "libut/uthash.h" */

#define SCHEDULER_DEFAULT_MAX_THREADS    5
#define SYSTICKS_PER_HZ                  80000000
#define MAX_SYSTICKS_PER_HZ              16777216
#define SYSCTLCLOCK                      16000000

/* #if !(defined(SCHEDULER_MAX_THREADS)) */
#define SCHEDULER_MAX_THREADS   SCHEDULER_DEFAULT_MAX_THREADS
/* #endif */

typedef void (*pisr_t)(notification note);      /* a task capable of being run */

static sched_task_pool SCHEDULER_TASK_QUEUES[SCHEDULER_MAX_THREADS];

volatile static sched_task_pool* SCHEDULER_UNUSED_QUEUES = NULL;

/* for now it's a utlist though, don't get confused */
volatile static sched_task_pool* SCHEDULER_QUEUES = NULL;

static sched_task SCHEDULER_TASKS[SCHEDULER_MAX_THREADS];

static sched_task* SCHEDULER_UNUSED_TASKS = NULL;


void schedule_init();

void schedule(task_t, frequency_t, DEADLINE_TYPE);

void schedule_aperiodic(pisr_t, HW_TYPE, hw_metadata, microseconds_t, DEADLINE_TYPE);

sched_task_pool* schedule_hash_find_int(sched_task_pool* queues, frequency_t target_frequency);

void schedule_hash_add_int(sched_task_pool* queues, sched_task_pool* add);

sched_task* edf_get_edf_queue();
void _os_choose_next_thread();

#endif  /* __SCHEDULE__ */

/* End Doxygen group
 * @}
 */