In der Programmierung wird eine Routine bzw. Methode als eintrittsinvariant oder auch wiedereintrittsfähig bezeichnet, wenn sie so implementiert ist, dass sie unterbrochen und von der Unterbrechungsroutine erneut aufgerufen werden kann, und bei der Fortsetzung nach der Unterbrechung das erwartete Ergebnis zurückliefert. Dies schließt nicht nur den Rückgabewert ein, sondern alle durch die Methode beeinflussbaren Programmparameter. Eine reentrante Methode verhält sich daher so, als wäre sie implizit in eine Transaktion gekapselt. Auch ganze Computerprogramme oder Skripte werden unter diesem Gesichtspunkt bewertet.