1) this adds the check for critical-instants and fast-release of tasks during tau_k's busy waiting