use std::collections::HashMap;
use std::path::Path;
use onnx_runtime_ir::{DataType, Node, Shape, TensorLayout};
use crate::error::Result;
use crate::kernel::{Kernel, KernelMatch};
use crate::provider::{EpConfig, EpId, ExecutionProvider};
#[derive(Clone, PartialEq, Eq, Hash, Debug)]
pub struct OpKey {
pub op_type: String,
pub domain: String,
pub since_version: u64,
}
impl OpKey {
pub fn new(op_type: impl Into<String>, domain: impl Into<String>, since_version: u64) -> Self {
Self {
op_type: op_type.into(),
domain: domain.into(),
since_version,
}
}
}
fn norm_domain(domain: &str) -> &str {
if domain == "ai.onnx" { "" } else { domain }
}
pub trait KernelFactory: Send + Sync {
fn create(&self, node: &Node, input_shapes: &[Vec<usize>]) -> Result<Box<dyn Kernel>>;
}
#[derive(Default)]
pub struct OpRegistry {
entries: HashMap<OpKey, Box<dyn KernelFactory>>,
by_op: HashMap<String, HashMap<String, Vec<u64>>>,
}
impl OpRegistry {
pub fn new() -> Self {
Self::default()
}
pub fn register(&mut self, mut key: OpKey, factory: Box<dyn KernelFactory>) {
key.domain = norm_domain(&key.domain).to_owned();
let versions = self
.by_op
.entry(key.domain.clone())
.or_default()
.entry(key.op_type.clone())
.or_default();
if let Err(index) = versions.binary_search(&key.since_version) {
versions.insert(index, key.since_version);
}
self.entries.insert(key, factory);
}
pub fn lookup(&self, op_type: &str, domain: &str, opset: u64) -> Option<&dyn KernelFactory> {
let domain = norm_domain(domain);
let versions = self.by_op.get(domain)?.get(op_type)?;
let index = versions.partition_point(|&version| version <= opset);
let since_version = *versions.get(index.checked_sub(1)?)?;
self.entries
.get(&OpKey::new(op_type, domain, since_version))
.map(Box::as_ref)
}
pub fn supports(&self, op_type: &str, domain: &str, opset: u64) -> bool {
let domain = norm_domain(domain);
self.by_op
.get(domain)
.and_then(|ops| ops.get(op_type))
.and_then(|versions| versions.first())
.is_some_and(|&since_version| since_version <= opset)
}
pub fn earliest_since_version(&self, op_type: &str, domain: &str) -> Option<u64> {
let domain = norm_domain(domain);
self.by_op.get(domain)?.get(op_type)?.first().copied()
}
pub fn len(&self) -> usize {
self.entries.len()
}
pub fn is_empty(&self) -> bool {
self.entries.is_empty()
}
}
#[cfg(test)]
mod tests {
use super::*;
struct DummyFactory(u64);
impl KernelFactory for DummyFactory {
fn create(&self, _node: &Node, _input_shapes: &[Vec<usize>]) -> Result<Box<dyn Kernel>> {
let _ = self.0;
unreachable!("registry tests do not create kernels")
}
}
#[test]
fn indexed_queries_match_linear_reference() {
let mut registry = OpRegistry::new();
let mut state = 0x9e37_79b9_u64;
let ops = ["Add", "Mul", "Gemm", "Attention"];
let domains = ["", "ai.onnx", "com.microsoft", "pkg.nxrt"];
for factory_id in 0..256 {
state = state
.wrapping_mul(6_364_136_223_846_793_005)
.wrapping_add(1);
let op_type = ops[(state as usize) % ops.len()];
state = state
.wrapping_mul(6_364_136_223_846_793_005)
.wrapping_add(1);
let domain = domains[(state as usize) % domains.len()];
state = state
.wrapping_mul(6_364_136_223_846_793_005)
.wrapping_add(1);
let since_version = state % 25;
registry.register(
OpKey::new(op_type, domain, since_version),
Box::new(DummyFactory(factory_id)),
);
}
for _ in 0..512 {
state = state
.wrapping_mul(6_364_136_223_846_793_005)
.wrapping_add(1);
let op_type = ops[(state as usize) % ops.len()];
state = state
.wrapping_mul(6_364_136_223_846_793_005)
.wrapping_add(1);
let domain = domains[(state as usize) % domains.len()];
state = state
.wrapping_mul(6_364_136_223_846_793_005)
.wrapping_add(1);
let opset = state % 30;
let domain = norm_domain(domain);
let linear_lookup = registry
.entries
.iter()
.filter(|(key, _)| {
key.op_type == op_type && key.domain == domain && key.since_version <= opset
})
.max_by_key(|(key, _)| key.since_version)
.map(|(_, factory)| factory.as_ref());
match (registry.lookup(op_type, domain, opset), linear_lookup) {
(Some(indexed), Some(linear)) => assert!(std::ptr::eq(indexed, linear)),
(None, None) => {}
_ => panic!("indexed lookup differed from linear reference"),
}
let linear_supports = registry.entries.keys().any(|key| {
key.op_type == op_type && key.domain == domain && key.since_version <= opset
});
assert_eq!(registry.supports(op_type, domain, opset), linear_supports);
let linear_earliest = registry
.entries
.keys()
.filter(|key| key.op_type == op_type && key.domain == domain)
.map(|key| key.since_version)
.min();
assert_eq!(
registry.earliest_since_version(op_type, domain),
linear_earliest
);
}
}
}
#[derive(Default)]
pub struct EpRegistry {
eps: Vec<Box<dyn ExecutionProvider>>,
priority: Vec<EpId>,
}
impl EpRegistry {
pub fn new() -> Self {
Self::default()
}
pub fn register(&mut self, ep: Box<dyn ExecutionProvider>) -> EpId {
let id = EpId(self.eps.len() as u32);
self.eps.push(ep);
self.priority.push(id);
id
}
pub fn load_legacy(&mut self, path: &Path, config: &EpConfig) -> Result<EpId> {
let _ = (path, config);
todo!("ort2-ep-api Phase 2: dlopen legacy ORT plugin EP and adapt its vtable")
}
pub fn set_priority(&mut self, order: Vec<EpId>) {
self.priority = order;
}
pub fn get(&self, id: EpId) -> Option<&dyn ExecutionProvider> {
self.eps.get(id.0 as usize).map(|b| b.as_ref())
}
pub fn priority(&self) -> &[EpId] {
&self.priority
}
pub fn candidates_for_op(
&self,
op: &Node,
opset: u64,
shapes: &[Shape],
input_dtypes: &[DataType],
layouts: &[TensorLayout],
) -> Vec<(EpId, KernelMatch)> {
let mut out = Vec::new();
for &id in &self.priority {
if let Some(ep) = self.get(id) {
let m = ep.supports_op(op, opset, shapes, input_dtypes, layouts);
if m.is_supported() {
out.push((id, m));
}
}
}
out
}
}