Y a-t-il des modèles stochastiques de non-déterminisme dans le taux d'exécution du programme?

Question

Nous savons que les systèmes d'exploitation typiques et les langages de haut niveau (en particulier ceux qui ont une collecte de déchets) ne peuvent pas être utilisés pour les systèmes d'exploitation en temps réel. Les moteurs Java et JET ne se mélangent pas, et par conséquent beaucoup d'études ont fait des recherches et du développement de systèmes d'exploitation en temps réel.

Existe-t-il des recherches sur la raison pour laquelle un système d'exploitation traditionnel et un langage de collecte de déchets de haut niveau ne peut pas être utilisé? Je suis intéressé par toute modélisation stochastique qui aurait pu être faite, plutôt que beaucoup de mots. Donc, comme exemple simple, existe-t-il un modèle mathématique pour le taux d'exécution de Say a Simple for / Next Loop sur quelque chose comme * Nix + Java? Idéalement, cela devrait se référer aux micro-processeurs contemporains avec toutes leurs exécutions spéculatives associées, la manipulation des interruptions et d'autres optimisations modernes comme la remise en état de la mémoire et le traitement parallèle.

J'étendrais également cette demande de référence à tous les modèles qui pourraient essayer d'assimiler la mensuration du taux d'exécution d'une telle boucle pour / suivante, avec l'effet d'observateur tel que trouvé dans la mécanique quantique.