Spaces:
Sleeping
Sleeping
File size: 6,228 Bytes
4b94493 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 | //! Retained-job orchestration for lesson timetable solves.
//!
//! SolverForge owns search and scoring. This service owns app-level concerns:
//! registering SSE broadcasters, translating public string ids to runtime job
//! ids, and exposing pause/resume/cancel/delete to the API layer.
use parking_lot::RwLock;
use std::collections::HashMap;
use std::sync::Arc;
use tokio::sync::{broadcast, mpsc};
use solverforge::{
HardMediumSoftScore, SolverEvent, SolverManager, SolverManagerError, SolverSnapshot,
SolverSnapshotAnalysis, SolverStatus,
};
use super::event_payload::{
bootstrap_event_type, bootstrap_snapshot_event_type, event_payload,
snapshot_status_event_payload, status_event_payload,
};
use crate::domain::Plan;
// The retained runtime needs a manager with `'static` lifetime because jobs can
// continue after the HTTP handler that started them has returned.
static MANAGER: SolverManager<Plan> = SolverManager::new();
struct JobState {
sse_tx: broadcast::Sender<String>,
}
/// Manages retained solving jobs and broadcasts lifecycle-complete SSE payloads.
pub struct SolverService {
jobs: Arc<RwLock<HashMap<usize, JobState>>>,
}
impl SolverService {
/// Creates an empty job registry. The underlying runtime itself is global.
pub fn new() -> Self {
Self {
jobs: Arc::new(RwLock::new(HashMap::new())),
}
}
/// Starts a retained solve and registers the SSE broadcaster for that job.
pub fn start_job(&self, plan: Plan) -> Result<String, SolverManagerError> {
let (job_id, receiver) = MANAGER.solve(plan)?;
let (sse_tx, _) = broadcast::channel(64);
self.jobs.write().insert(
job_id,
JobState {
sse_tx: sse_tx.clone(),
},
);
let jobs = Arc::clone(&self.jobs);
tokio::spawn(async move {
drain_receiver(jobs, job_id, sse_tx, receiver).await;
});
Ok(job_id.to_string())
}
/// Subscribes a browser client to future live events for a retained job.
pub fn subscribe(&self, id: &str) -> Option<broadcast::Receiver<String>> {
let job_id = parse_job_id(id).ok()?;
self.jobs
.read()
.get(&job_id)
.map(|state| state.sse_tx.subscribe())
}
/// Builds the first SSE payload a client should receive after connecting.
pub fn bootstrap_event(&self, id: &str) -> Result<String, SolverManagerError> {
let job_id = parse_job_id(id)?;
let status = MANAGER.get_status(job_id)?;
if let Some(revision) = status.latest_snapshot_revision {
let snapshot = MANAGER.get_snapshot(job_id, Some(revision))?;
return Ok(snapshot_status_event_payload(
job_id,
bootstrap_snapshot_event_type(status.lifecycle_state),
&status,
&snapshot,
));
}
Ok(status_event_payload(
job_id,
bootstrap_event_type(status.lifecycle_state),
&status,
))
}
pub fn get_status(
&self,
id: &str,
) -> Result<SolverStatus<HardMediumSoftScore>, SolverManagerError> {
let job_id = parse_job_id(id)?;
MANAGER.get_status(job_id)
}
pub fn pause(&self, id: &str) -> Result<(), SolverManagerError> {
MANAGER.pause(parse_job_id(id)?)
}
pub fn resume(&self, id: &str) -> Result<(), SolverManagerError> {
MANAGER.resume(parse_job_id(id)?)
}
pub fn cancel(&self, id: &str) -> Result<(), SolverManagerError> {
MANAGER.cancel(parse_job_id(id)?)
}
pub fn delete(&self, id: &str) -> Result<(), SolverManagerError> {
let job_id = parse_job_id(id)?;
MANAGER.delete(job_id)?;
self.jobs.write().remove(&job_id);
Ok(())
}
pub fn get_snapshot(
&self,
id: &str,
snapshot_revision: Option<u64>,
) -> Result<SolverSnapshot<Plan>, SolverManagerError> {
MANAGER.get_snapshot(parse_job_id(id)?, snapshot_revision)
}
pub fn analyze_snapshot(
&self,
id: &str,
snapshot_revision: Option<u64>,
) -> Result<SolverSnapshotAnalysis<HardMediumSoftScore>, SolverManagerError> {
MANAGER.analyze_snapshot(parse_job_id(id)?, snapshot_revision)
}
}
async fn drain_receiver(
jobs: Arc<RwLock<HashMap<usize, JobState>>>,
job_id: usize,
sse_tx: broadcast::Sender<String>,
mut receiver: mpsc::UnboundedReceiver<SolverEvent<Plan>>,
) {
while let Some(event) = receiver.recv().await {
let payload = match &event {
SolverEvent::Progress { metadata } => {
event_payload(job_id, "progress", metadata, None, None)
}
SolverEvent::BestSolution { metadata, solution } => {
event_payload(job_id, "best_solution", metadata, Some(solution), None)
}
SolverEvent::PauseRequested { metadata } => {
event_payload(job_id, "pause_requested", metadata, None, None)
}
SolverEvent::Paused { metadata } => {
event_payload(job_id, "paused", metadata, None, None)
}
SolverEvent::Resumed { metadata } => {
event_payload(job_id, "resumed", metadata, None, None)
}
SolverEvent::Completed { metadata, solution } => {
event_payload(job_id, "completed", metadata, Some(solution), None)
}
SolverEvent::Cancelled { metadata } => {
event_payload(job_id, "cancelled", metadata, None, None)
}
SolverEvent::Failed { metadata, error } => {
event_payload(job_id, "failed", metadata, None, Some(error.as_str()))
}
};
if !jobs.read().contains_key(&job_id) {
return;
}
let _ = sse_tx.send(payload);
}
}
fn parse_job_id(id: &str) -> Result<usize, SolverManagerError> {
id.parse::<usize>()
.map_err(|_| SolverManagerError::JobNotFound { job_id: usize::MAX })
}
impl Default for SolverService {
fn default() -> Self {
Self::new()
}
}
|