Re: [PATCH] x86/show_trace_log_lvl: ensure stack pointer is aligned, again

From: Oleg Nesterov
Date: Sun Apr 30 2023 - 15:03:06 EST


On 04/30, David Laight wrote:
>
> From: Josh Poimboeuf
> > Sent: 29 April 2023 00:58
> >
> > On Fri, Apr 28, 2023 at 08:55:13AM +0200, Oleg Nesterov wrote:
> > > On 04/27, Josh Poimboeuf wrote:
> > > >
> > > > On Thu, Apr 27, 2023 at 04:00:54PM +0200, Oleg Nesterov wrote:
> > > > > + stack = PTR_ALIGN(stack, sizeof(long));
> > > > > for ( ; stack; stack = PTR_ALIGN(stack_info.next_sp, sizeof(long))) {
> > > > > const char *stack_name;
> > > >
> > > > Seems reasonable, though 'stack' is already initialized a few lines
> > > > above this, so it would be cleaner to do the PTR_ALIGN then. Or even
> > > > better, just move it all to the for loop:
> > > >
> > > > for (stack = PTR_ALIGN(stack ? : get_stack_pointer(task, regs));
> > > > stack;
> > > > stack = PTR_ALIGN(stack_info.next_sp, sizeof(long))) {
> > >
> > > We decided to make the simplest one-liner fix, but I was thinking about
> > >
> > > for ( stack = stack ? : get_stack_pointer(task, regs);
> > > (stack = PTR_ALIGN(stack, sizeof(long)));
> > > stack = stack_info.next_sp)
> > > {
> > > ...
> > >
> > > to factout out the annoying PTR_ALIGN(). Will it work for you?
> >
> > I'd rather not, that's a little *too* clever, IMO.
>
> I'd leave the initialisation outside the loop and move
> the PTR_ALIGN() into the loop so that the 'for' fits on one line:
> if (!stack)
> stack = get_stack_pointer(task, regs);
> for (; stack; stack = stack_info.next_sp) {
> const char ...
> stack = PTR_ALIGN(stack, sizeof(long));

Well to me this looks better than V2 I've sent. Although to be honest I'd
prefer the initial one-liner fix, but this doesn't mater.

I am fine either way, I guess Vernon too. So I leave this to you and Josh,
please tell us if we should send V3 or not.

Oleg.