Modernize rt_launch; remove internal API cruft

Switch rt_launch to use a more modern way to launch real-time tasks.
This makes rt_launch more flexible, makes it more similar to rtspin,
and also allows to let us get rid of a chunk of old, inflexible code
in liblitmus that wasn't really serving any useful purpose anymore.

2 files changed, 0 insertions, 34 deletions

diff --git a/include/internal.h b/include/internal.h
index 035440b..354f7dc 100644
--- a/include/internal.h
+++ b/include/internal.h
@@ -3,11 +3,6 @@
 
 /* low level operations, not intended for API use */
 
-/* prepare a real-time task */
-typedef int (*rt_setup_fn_t)(int pid, void* arg);
-int __launch_rt_task(rt_fn_t rt_prog, void *rt_arg,
-                     rt_setup_fn_t setup, void* setup_arg);
-
 #define check(str)       \
         if (ret == -1) { \
                 perror(str); \
diff --git a/include/litmus.h b/include/litmus.h
index 8c54fdc..f99ccec 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -251,35 +251,6 @@ int  init_rt_thread(void);
  */
 void exit_litmus(void);
 
-/* A real-time program. */
-typedef int (*rt_fn_t)(void*);
-
-/**
- * Create a real-time task that enforces exectution budgets
- * @param rt_prog Function pointer to real-time task body
- * @param arg Pointer to arguments to pass to the pointer in rt_prog
- * @param cluster Cluster to schedule this task on. For partitioned scheduling,
- * set to the desired partition. For global scheduling, set to 0
- * @param wcet Worst-Case execution time for this task
- * @param period Period at which this task should be launched
- * @param prio Priority for this task
- */
-int create_rt_task(rt_fn_t rt_prog, void *arg, int cluster,
-                   lt_t wcet, lt_t period, unsigned int prio);
-/**
- * Create a real-time task
- * @param rt_prog Function pointer to real-time task body
- * @param arg Pointer to arguments to pass to the pointer in rt_prog
- * @param cluster Cluster to schedule this task on. For partitioned scheduling,
- * set to the desired partition. For global scheduling, set to 0
- * @param wcet Worst-Case execution time for this task
- * @param period Period at which this task should be launched
- * @param prio Priority for this task
- * @param cls Task class (unused)
- */
-int __create_rt_task(rt_fn_t rt_prog, void *arg, int cluster,
-                     lt_t wcet, lt_t period, unsigned int prio, task_class_t cls);
-
 /*      per-task modes */
 enum rt_task_mode_t {
         BACKGROUND_TASK = 0,