- xbt_os_sem_release(((smx_ctx_thread_t) new_context)->begin);
- xbt_os_sem_acquire(((smx_ctx_thread_t) new_context)->end);
-}
\ No newline at end of file
+ smx_process_t process;
+ while ((process = xbt_swag_extract(processes))) {
+ xbt_os_sem_release(((smx_ctx_thread_t) process->context)->begin);
+ xbt_os_sem_acquire(((smx_ctx_thread_t) process->context)->end);
+ }
+}
+
+static void smx_ctx_thread_runall_parallel(xbt_swag_t processes)
+{
+ smx_process_t process, p_next;
+ xbt_swag_foreach_safe(process, p_next, processes)
+ xbt_os_sem_release(((smx_ctx_thread_t) process->context)->begin);
+
+ while ((process = xbt_swag_extract(processes)))
+ xbt_os_sem_acquire(((smx_ctx_thread_t) process->context)->end);
+}
+
+static smx_context_t smx_ctx_thread_self(void)
+{
+ return (smx_context_t) xbt_os_thread_get_extra_data();
+}