On Mon, Jun 03, 2013 at 11:15:32AM +0100, Jon Medhurst (Tixy) wrote:
> On Fri, 2013-05-24 at 13:53 +0100, Lorenzo Pieralisi wrote:
> > In case some transactions to the Serial Power Controller (SPC) are lost
> > owing
> > to multiple operations handled at once by the M3 controller the OS needs to
> > rely on a configuration API that can time out so that failures do not result
> > in an unusable system.
> >
> > This patch adds a timeout API to the vexpress config programming interface,
> > and refactors the existing read/write functions so that they can be reused
> > seamlessly on top of the newly defined API.
>
> Isn't one of the main purposes of the config interface to serialise
> transactions to the config bus, so why would the SPC be handling
> multiple transactions at once? And if we can in fact loose transactions
> doesn't this mean we get random failures in the system? E.g. if this
> happened at boot in vexpress_spc_populate_opps then cpufreq will fail.
It has more to do with firmware carrying out background operations like
powering up a cluster when a DVFS is requested. You are absolutely right
though:
a) the timeout interface is broken, as you mentioned (I noticed after
posting it)
b) we should not add a timeout interface to paper over FW issues
I can prepare a v2 with timeout interface dropped and extensively test that
one, I do not think we should add the required complexity that you describe
below for something that should never happen.
> Also, I think the code implementing timeouts is broken, see below.
I will have a look asap and repost a v2 accordingly.
> > Cc: Samuel Ortiz <sa...@linux.intel.com>
> > Cc: Achin Gupta <achin.gu...@arm.com>
> > Cc: Sudeep KarkadaNagesha <sudeep.karkadanage...@arm.com>
> > Cc: Pawel Moll <pawel.m...@arm.com>
> > Cc: Nicolas Pitre <nicolas.pi...@linaro.org>
> > Cc: Amit Kucheria <amit.kuche...@linaro.org>
> > Cc: Jon Medhurst <t...@linaro.org>
> > Signed-off-by: Lorenzo Pieralisi <lorenzo.pieral...@arm.com>
> > ---
> > drivers/mfd/vexpress-config.c | 26 +++++++---
> > include/linux/vexpress.h | 23 ++++++--
> > 2 files changed, 37 insertions(+), 12 deletions(-)
> >
> > diff --git a/drivers/mfd/vexpress-config.c b/drivers/mfd/vexpress-config.c
> > index 1af2b0e..6f4aa5a 100644
> > --- a/drivers/mfd/vexpress-config.c
> > +++ b/drivers/mfd/vexpress-config.c
> > @@ -266,8 +266,18 @@ int vexpress_config_wait(struct vexpress_config_trans
> > *trans)
> > }
> > EXPORT_SYMBOL(vexpress_config_wait);
> >
> > -int vexpress_config_read(struct vexpress_config_func *func, int offset,
> > - u32 *data)
> > +int vexpress_config_wait_timeout(struct vexpress_config_trans *trans,
> > + long jiffies)
> > +{
> > + int ret;
> > + ret = wait_for_completion_timeout(&trans->completion, jiffies);
>
> If the request times out, don't we need to call vexpress_config_complete
> to dequeue the timed out request and trigger the next one? Though we
> will still have a problem where the timeout happens but the request
> then does in fact complete normally, in that case we would signal
> completion of the second request before it has in fact completed.
>
> So, if transactions really can get silently dropped by thing on the end
> of the config bus, then we must have a mechanism for associating a
> particular transaction with a completion signal, otherwise we won't know
> what transaction actually got completed OK and which ones were dropped
> and should receive -ETIMEDOUT.
>
> Finally, I don't think these issues are purely theoretical, I'm pretty
> certain that the kernel panics and spinlock bad magic errors I see with
> his patch series are due to requests completing after they have been
> timed out and then the stack based transaction object is being accessed
> after it has gone out of scope.
You are absolutely right, apologies for wasting your time in testing it.
Thanks a lot for the review,
Lorenzo
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
