Basic block

Перейти к:навигация, поиск

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 $P=(p_1,p_2, \ldots, P_r)$, $r\geq 1$, in a control flow graph is called a basic block (or ray) if $\,p_{i-1}$ is a single predecessor of $\,p_i$ and $\,p_j$ is a single successor of $\,p_{j+1}$ for all $\,i>1$ and $\,j.

Литература

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