Microkernel prioritario de control P32
Un microkernel de alta prioridad puede actualizar la época mientras corre un kernel P32 largo.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Un microkernel de alta prioridad puede actualizar la época mientras corre un kernel P32 largo.
Por qué la prueba es relevante
La prioridad ordena trabajo en cola, pero no implica preempción de un grid residente que ocupa el dispositivo.
respuesta=t_época_vista−t_lanzamiento_controlpuerta: cambio durante cómputoobjetivo≤15 msCómo se probó
Lanzar P32 exacto, encolar microkernel mínimo en stream prioritario y medir ocho intentos preservando exactitud y rendimiento.
Qué ocurrió
El control quedó bloqueado hasta terminar el cómputo. 0/8 señales durante el trabajo; respuestas 156,66–157,30 ms. Retención 0,999055, IC95 0,998749–0,999361.
Controles de exactitud y estadísticos
Pasaron B32, 2^32, cero discrepancias y spills. La puerta de control falló 0/8.
Qué significa
Prioridad de stream no es preempción en esta carga. Se rechaza sin campaña operacional.
Limitaciones
- Aplica a esta ocupación y configuración.
- Kernels cooperativos son otra hipótesis.
- La exactitud no rescata la latencia.
Trazabilidad
Usar kernels sellados y distinguir en cada prueba lanzamiento de control y observación de época.
Variantes canónicas
CANONICAL-EXP-170PREREGISTERED-CAMPAIGNSEALED-AUDITFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.