Re: [PATCH] Speed up "gdb -tui" output

Eli Zaretskii
2015-01-31T08:59:58Z

> Date: Mon, 19 Jan 2015 10:32:48 -0800
> From: Doug Evans <xdje42@gmail.com>
> Cc: "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
>
> On Mon, Jan 19, 2015 at 9:55 AM, Eli Zaretskii <eliz@gnu.org> wrote:
> >> From: Doug Evans <dje@google.com>
> >> Date: Wed, 7 Jan 2015 13:59:06 -0800
> >>
> >> Doug Evans writes:
> >> > Seems like the main source of the problem would be gdb_stdout,
> >> > so let's try to fix that first and go from there.
> >>
> >> Here's a prototype.
> >
> > Sorry for a long delay. I tried this (and Pedro's) patch today. They
> > both do the job, so one of them should IMO be committed, master and
> > branch.
> >
> >> @@ -239,6 +243,12 @@ tui_file_flush (struct ui_file *file)
> >> case astring:
> >> break;
> >> case afile:
> >> + /* There is also gdb_stdlog, gdb_stdtarg, gdb_stdtargerr, but
> >> + tui_setup_io maps those to gdb_stderr. OTOH, do we need to make
> >> + this conditional? */
> >> + if (file == gdb_stdout
> >> + || file == gdb_stderr)
> >> + tui_refresh_cmd_win ();
> >
> > I indeed think that the condition should be removed. I see no need
> > for it: there's no reason to make any stream displayed on TUI more
> > than line-buffered.
>
> I don't have a preference on which, with one condition.
> If we're going to remove the fflush's let's do it as a separate patch.

Ping! Can one of these patches be committed, please, master and the
7.9 branch?