ループ処理の開始前に条件を判定し、条件が偽であれば一度も実行されない形式を何というか。

利用者が使いたいときにいつでもシステムが利用可能であることを何というか。