Ci sono modelli stocastici di non determinismo del tasso di esecuzione del programma?

Question

Sappiamo che i tipici sistemi operativi e linguaggi di alto livello (in particolare quelli con garbage collection) non può essere utilizzato per sistemi operativi in tempo reale.Java & motori a reazione non si mescolano, e, di conseguenza, un sacco di studio è andato in ricerca e sviluppo di sistemi operativi in tempo reale.

C'è qualche ricerca esattamente perché un tradizionale sistema operativo e di alto livello, raccolta differenziata e lingua non può essere utilizzato?Sono interessato a qualsiasi stochastic modelling che potrebbe essere stato fatto, piuttosto che un sacco di parole.Così come semplice esempio, che c'è un modello matematico per il tasso di esecuzione di dire un semplice FOR /NEXT loop su qualcosa tipo *nix + Java?Idealmente questo dovrebbe fare riferimento al contemporaneo micro processori con tutti i loro associati esecuzione speculativa, gestione degli interrupt e di altri moderni ottimizzazioni come memoria di bonifica e di elaborazione parallela.

Vorrei anche estendere questo riferimento richiesta per tutti i modelli che potrebbero tentare di equiparare la misurazione del tasso di esecuzione di tale FOR /NEXT, con l'Effetto Osservatore come trovato in meccanica quantistica.