A loop that has no exit and whose execution can be interrupted only by intervention from outside the computer program or procedure in which the loop is located.