[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <E1I6YXX-0001yE-00@dorka.pomaz.szeredi.hu>
Date: Thu, 05 Jul 2007 23:07:03 +0200
From: Miklos Szeredi <miklos@...redi.hu>
To: oliver@...kum.org
CC: miklos@...redi.hu, pavel@....cz, paulus@...ba.org,
stern@...land.harvard.edu, johannes@...solutions.net, rjw@...k.pl,
linux-pm@...ts.linux-foundation.org, linux-kernel@...r.kernel.org,
mjg59@...f.ucam.org, benh@...nel.crashing.org
Subject: Re: [linux-pm] Re: [PATCH] Remove process freezer from suspend to RAM pathway
> > > > Yes, fuse could handle being frozen there. However that would only
> > > > solve part of the problem: an operation waiting for a reply could be
> > > > holding a VFS mutex and some other task may be blocked on that mutex.
> > > >
> > > > How would you solve freezing those tasks?
> > >
> > > OK, you made me reach for literatur on theoretical computer science.
> > >
> > > IMHO the range of actions a fuse server is inherently limited.
> > > You must never ever block on a lock one of your clients is holding. In
> > > this case the limitation is not influenced by the freezer.
> >
> > Obviously. But I wasn't about the server trying to acquire a lock
> > held by a client. I was talking about a client trying to acquire a
> > lock held by _another_ client.
> >
> > If this coincides with the server (or some other task which the server
> > is depending on) being frozen before the clients, the freezer has a
> > problem.
>
> True, but that case can only happen if servers are frozen before clients.
> You don't need a full dependency graph. A simple set sequence of two
> classes of tasks will do.
Umm, let's take sshfs, it has a separate "reply processing thread",
that reads replies from the sftp server and then wakes up the relevant
request thread. The reply processing thread has no direct contact
with the fuse kernel module. How is freezer supposed to know that
that task in fact also belongs to the server and needs to be kept from
freezing?
Given, it's in the same thread group, but using that is a rather weak
heuristic, as it could easily be a separate process, and likely in
some filesystems it is.
I fear, that your efforts to "save" the freezer are in vain. It is
already moderately hackish with that PF_FREEZER_SKIP and the kernel
dotted randomly with try_to_freeze() calls, but adding bandaids to try
to order freezing userspace processes in the right order would just
make it a horrible mess.
Miklos
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists