-static void smx_ctx_thread_resume(smx_context_t new_context) {
- xbt_os_sem_release(((smx_ctx_thread_t) new_context)->begin);
- xbt_os_sem_acquire(((smx_ctx_thread_t) new_context)->end);
+static void smx_ctx_thread_runall_serial(xbt_dynar_t processes)
+{
+ smx_process_t process;
+ unsigned int cursor;
+
+ xbt_dynar_foreach(processes, cursor, process) {
+ xbt_os_sem_release(((smx_ctx_thread_t) process->context)->begin);
+ xbt_os_sem_acquire(((smx_ctx_thread_t) process->context)->end);
+ }
+ xbt_dynar_reset(processes);
+}
+
+static void smx_ctx_thread_runall_parallel(xbt_dynar_t processes)
+{
+ unsigned int index;
+ smx_process_t process;
+
+ xbt_dynar_foreach(processes, index, process)
+ xbt_os_sem_release(((smx_ctx_thread_t) process->context)->begin);
+
+ xbt_dynar_foreach(processes, index, process) {
+ xbt_os_sem_acquire(((smx_ctx_thread_t) process->context)->end);
+ }
+ xbt_dynar_reset(processes);
+}
+
+static smx_context_t smx_ctx_thread_self(void)
+{
+ return (smx_context_t) xbt_os_thread_get_extra_data();