Basic block

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

Basic blockлинейный участок, луч.

1. A basic block is a sequence of consecutive statements (of a program) such that control flow enters the sequence at the beginning and leaves the sequence at the end without halt or possibility of branching except for the end.

2. A simple path [math]\displaystyle{ P=(p_1,p_2, \ldots, P_r) }[/math], [math]\displaystyle{ r\geq 1 }[/math], in a control flow graph is called a basic block (or ray) if [math]\displaystyle{ \,p_{i-1} }[/math] is a single predecessor of [math]\displaystyle{ \,p_i }[/math] and [math]\displaystyle{ \,p_j }[/math] is a single successor of [math]\displaystyle{ \,p_{j+1} }[/math] for all [math]\displaystyle{ \,i\gt 1 }[/math] and [math]\displaystyle{ \,j\lt r }[/math].

Литература

  • Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009.