FIX(Work Partitioner): we should prioritize completion of work on hand, so issue from pending zkapp command should be prioritized over issuing from tmp slot

glyh · glyh · commit 08b2b67d123b · 2025-05-06T11:49:27.000+08:00
diff --git a/src/lib/work_partitioner/work_partitioner.ml b/src/lib/work_partitioner/work_partitioner.ml
@@ -211,8 +211,8 @@ and issue_job_from_partitioner ~(partitioner : t) () :
   List.find_map
     ~f:(fun f -> f ())
     [ reissue_old_task ~partitioner
-    ; issue_from_tmp_slot ~partitioner
     ; issue_from_zkapp_command_work_pool ~partitioner
+    ; issue_from_tmp_slot ~partitioner
     ]
 
 (* WARN: this should only be called if partitioner.first_in_pair is None *)

Original file line number	Diff line number	Diff line change
`@@ -211,8 +211,8 @@ and issue_job_from_partitioner ~(partitioner : t) () :`
`211`	`211`	`List.find_map`
`212`	`212`	`~f:(fun f -> f ())`
`213`	`213`	`[ reissue_old_task ~partitioner`
`214`		`- ; issue_from_tmp_slot ~partitioner`
`215`	`214`	`; issue_from_zkapp_command_work_pool ~partitioner`
	`215`	`+ ; issue_from_tmp_slot ~partitioner`
`216`	`216`	`]`
`217`	`217`
`218`	`218`	`(* WARN: this should only be called if partitioner.first_in_pair is None *)`