+
+void smx_ctx_sysv_runall(xbt_swag_t processes)
+{
+ smx_context_t old_context;
+ smx_process_t process;
+
+ while ((process = xbt_swag_extract(processes))) {
+ old_context = smx_current_context;
+ smx_current_context = process->context;
+ smx_ctx_sysv_resume(smx_current_context);
+ smx_current_context = old_context;
+ }
+}
+
+void smx_ctx_sysv_runall_parallel(xbt_swag_t processes)
+{
+ smx_process_t process;
+ while((process = xbt_swag_extract(processes))){
+ xbt_tpool_queue_job(tpool, (void_f_pvoid_t)smx_ctx_sysv_resume, process->context);
+ }
+}
\ No newline at end of file