Définition
Une approximation du temps d'attente moyen en file (classiquement pour le modèle mono‑serveur G/G/1) qui exprime le retard d'attente en fonction de l'utilisation du serveur et de la variabilité des arrivées/temps de service ; forme courante : Wq ≈ (ρ/(1−ρ)) · ((ca^2 + cs^2)/2) · (1/μ), avec ρ = λ/μ, ca^2 et cs^2 les coefficients de variation au carré des interarrivées et des temps de service, et μ le taux de service.
Principe
Principe
Le temps d'attente moyen augmente fortement lorsque l'utilisation ρ tend vers 1 et croît aussi avec la variabilité combinée des arrivées et des services ; l'approximation de Kingman met en évidence ces dépendances et montre que utilisation et variabilité multiplient l'attente moyenne.
Démonstration
Démonstration
Scénario illustratif → Poste : μ = 12 jobs/heure, λ = 9 jobs/heure ⇒ ρ = 0,75. ca^2 = 1,2 (arrivées), cs^2 = 0,8 (service). Kingman : Wq ≈ (0,75/(1−0,75)) × ((1,2+0,8)/2) × (1/12) = 3 × 1,0 × 0,0833 ≈ 0,25 h (15 min) d'attente moyenne. Reconnaissance : augmenter ρ ou la variabilité accroît sensiblement Wq.
Mauvaise application
Mauvaise application
Prendre la formule de Kingman pour exacte, l'appliquer à files multiserveurs, disciplines à priorité, systèmes à population finie ou pour déduire une distribution de délais (c'est une approximation de l'espérance). L'erreur est d'employer l'approximation mono‑serveur hors de son domaine sans ajustement ou simulation.
Conséquence
Conséquence
Usage correct : fournit des estimations rapides et interprétables du temps d'attente moyen et montre qualitativement l'effet des réductions de variabilité ou de la gestion de l'utilisation ; soutient décisions sur effectifs, buffers et contrôle de variabilité. Usage incorrect : sous‑estimation des délais extrêmes ou des effets multiserveur, dimensionnement inadapté des buffers ou du personnel ; entrées erronées donnent Wq trompeuse et décisions opérationnelles inappropriées.
Inversion
Inversion
L'approximation devient peu fiable si arrivées ou services présentent queues lourdes (variance très grande ou infinie), s'il existe dépendances entre arrivées et services, ou en contexte multiserveur (G/G/c) où le mutualisation modifie la relation ; alors recourir à solutions exactes, approximations multiserveur ou simulation.
Limite
Limite
Dans le périmètre : file mono‑serveur où variabilités peuvent être résumées par ca^2 et cs^2 et l'utilisation est modérée (pas extrêmement proche de 1). Cas limite : serveur très utilisé avec présence modérée de heavy tails — l'approximation peut sous‑estimer queues extrêmes. Hors périmètre : systèmes multiserveurs, files à priorités non FCFS, réseaux de files ou modèles à population finie.
Tension sémantique
Tension sémantique
L'approximation de Kingman oppose simplicité et interprétabilité à exactitude et information sur les queues : la tension réside entre l'utilisation d'une règle compacte, fondée sur la variance, pour obtenir une intuition rapide, et la nécessité d'employer des modèles distributionnels ou la simulation lorsque la fiabilité aux quantiles extrêmes est critique.
Synthèse
Synthèse
La formule de Kingman est un outil d'ingénierie pratique qui met en lumière l'utilisation et la variabilité comme leviers principaux du temps d'attente moyen en contexte mono‑serveur ; elle est utile pour des dimensionnements de premier ordre et pour un aperçu qualitatif, mais doit être vérifiée par des modèles plus détaillés ou par simulation lorsque des systèmes multiserveurs, la présence de queues lourdes ou la nécessité de garanties sur les quantiles extrêmes sont en jeu.