Changeset 199 for soft/giet_vm/sys/common.c

Timestamp:

Aug 9, 2012, 2:38:06 PM (12 years ago)

Author:

alain

Message:

Introducing the "idle" to improve the exit mechanism.

File:

• soft/giet_vm/sys/common.c (modified) (2 diffs)

soft/giet_vm/sys/common.c

@@ -324 +324 @@
     return _physical_read_access( &(psched->current) );
 }
+////////////////////////////////////////////////////////////////////////////
+//    _set_current_task_id()
+// This function returns the index of the currently running task.
+////////////////////////////////////////////////////////////////////////////
+void _set_current_task_id( unsigned int value )
+{
+    static_scheduler_t*         psched = (static_scheduler_t*)_get_sched();
+    _physical_write_access( &(psched->current), value );
+}
 ///////////////////////////////////////////////////////////////////////////////
-//    _get_current_context_slot()
-// This function returns the global TTY index for the currently running task.
+//    _get_context_slot()
+// This function returns a slot content for the task defined by task_id.
 ///////////////////////////////////////////////////////////////////////////////
-unsigned int _get_current_context_slot(unsigned int slot_id)
-{
-    static_scheduler_t*         psched = (static_scheduler_t*)_get_sched();
-    unsigned int                        current = _physical_read_access( &(psched->current) );
-    return _physical_read_access( &(psched->context[current][slot_id]) );
-}
-/////////////////////////////////////////////i//////////////////////////////////
+unsigned int _get_context_slot( unsigned int task_id,
+                                unsigned int slot_id )
+{
+    static_scheduler_t*         psched = (static_scheduler_t*)_get_sched();
+    return _physical_read_access( &(psched->context[task_id][slot_id]) );
+}
+///////////////////////////////////////////////////////////////////////////////
+//    _set_context_slot()
+// This function returns a slot content for the task defined by task_id.
+///////////////////////////////////////////////////////////////////////////////
+void _set_context_slot( unsigned int task_id,
+                        unsigned int slot_id,
+                        unsigned int value )
+{
+    static_scheduler_t*         psched = (static_scheduler_t*)_get_sched();
+    _physical_write_access( &(psched->context[task_id][slot_id]), value );
+}
+////////////////////////////////////////////////////////////////////////////////
 //    _get_interrupt_vector_entry()
 // This function returns the interrupt_vector entry defined by argument index.
@@ -342 +362 @@
     static_scheduler_t*         psched = (static_scheduler_t*)_get_sched();
     return _physical_read_access( &(psched->interrupt_vector[index]) );
-}
-////////////////////////////////////////////////////////////////////////////
-//    _set_current_task_id()
-// This function returns the index of the currently running task.
-////////////////////////////////////////////////////////////////////////////
-void _set_current_task_id( unsigned int value )
-{
-    static_scheduler_t*         psched = (static_scheduler_t*)_get_sched();
-    _physical_write_access( &(psched->current), value );
 }