Re: [PATCH 09/16] freezer: make freezing indicate freeze condition in effect

[Oleg Nesterov <oleg@redhat.com>]

On 08/28, Oleg Nesterov wrote:
>
> > @@ -44,7 +48,7 @@ bool __refrigerator(bool check_kthr_stop)
> >
> >  	for (;;) {
> >  		set_current_state(TASK_UNINTERRUPTIBLE);
> > -		if (!frozen(current) ||
> > +		if (!freezing(current) ||
> >  		    (check_kthr_stop && kthread_should_stop()))
> >  			break;
> >  		was_frozen = true;
> > @@ -54,6 +58,11 @@ bool __refrigerator(bool check_kthr_stop)
> >  	/* Remove the accounting blocker */
> >  	current->flags &= ~PF_FREEZING;
> >
> > +	/* leave FROZEN */
> > +	spin_lock_irq(&freezer_lock);
> > +	current->flags &= ~PF_FROZEN;
> > +	spin_unlock_irq(&freezer_lock);
>
> What if freezing() is true again when we are going to clear
> PF_FROZEN?

And another problem, afaics....

So. With this change frozen(p) == T even after __thaw_task().
PF_FROZEN will be cleared eventually, but we can't know when.

IOW, we can't trust frozen() unless freezing() == T.

This means update_if_frozen() can hit BUG_ON(nfrozen > 0) if
the caller is freezer_write().

Oleg.