Speed up GDB's TUI output

In the TUI mode, we call wrefresh after outputting every single
character.  This results in the I/O becoming very slow.  Fix this by
delaying refreshing the console window until an explicit flush of
gdb_stdout is requested, or a write to any other (unbuffered) file is
done.

2015-02-04  Doug Evans  <dje@google.com>
	    Pedro Alves  <palves@redhat.com>
	    Eli Zaretskii  <eliz@gnu.org>

	PR tui/17810
	* tui/tui-command.c (tui_refresh_cmd_win): New function.
	* tui/tui-command.c (tui_refresh_cmd_win): Declare.
	* tui/tui-file.c: #include tui/tui-command.h.
	(tui_file_fputs): Refresh command window if stream is not gdb_stdout.
	(tui_file_flush): Refresh command window if stream is gdb_stdout.
	* tui/tui-io.c (tui_puts): Remove calls to wrefresh, fflush.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 1116853641c787630ebb9a9e0baefd1e16db95f2..d5ec6d1617e1d31cb8d268f0efbd77d81d83606f 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,15 @@
+2015-02-04  Doug Evans  <dje@google.com>
+           Pedro Alves  <palves@redhat.com>
+           Eli Zaretskii  <eliz@gnu.org>
+
+       PR tui/17810
+       * tui/tui-command.c (tui_refresh_cmd_win): New function.
+       * tui/tui-command.c (tui_refresh_cmd_win): Declare.
+       * tui/tui-file.c: #include tui/tui-command.h.
+       (tui_file_fputs): Refresh command window if stream is not gdb_stdout.
+       (tui_file_flush): Refresh command window if stream is gdb_stdout.
+       * tui/tui-io.c (tui_puts): Remove calls to wrefresh, fflush.
+
 2015-02-04  Pedro Alves  <palves@redhat.com>
 
        Fix build breakage.

diff --git a/gdb/tui/tui-command.c b/gdb/tui/tui-command.c
index d1a5ddb67fd166c4e0d81d110f988f75303c013e..355106383b8d355d47db982e318011581fd5a7e4 100644 (file)
--- a/gdb/tui/tui-command.c
+++ b/gdb/tui/tui-command.c
@@ -129,3 +129,18 @@ tui_dispatch_ctrl_char (unsigned int ch)
       return c;
     }
 }
+
+/* See tui-command.h.  */
+
+void
+tui_refresh_cmd_win (void)
+{
+  WINDOW *w = TUI_CMD_WIN->generic.handle;
+
+  wrefresh (w);
+
+  /* FIXME: It's not clear why this is here.
+     It was present in the original tui_puts code and is kept in order to
+     not introduce some subtle breakage.  */
+  fflush (stdout);
+}

diff --git a/gdb/tui/tui-command.h b/gdb/tui/tui-command.h
index 8cc5be4f79d9f81d3c41379868dbc461390912e1..ede2ecc93434750260050e4064246f218759b4a1 100644 (file)
--- a/gdb/tui/tui-command.h
+++ b/gdb/tui/tui-command.h
@@ -24,4 +24,7 @@
 
 extern unsigned int tui_dispatch_ctrl_char (unsigned int);
 
+/* Refresh the command window.  */
+extern void tui_refresh_cmd_win (void);
+
 #endif

diff --git a/gdb/tui/tui-file.c b/gdb/tui/tui-file.c
index b32cfa604d193fe868c568d77b77bbb2b60ecb0d..4b4b92c43428d7f8772da69fb0094b53682b7cd3 100644 (file)
--- a/gdb/tui/tui-file.c
+++ b/gdb/tui/tui-file.c
@@ -20,7 +20,7 @@
 #include "ui-file.h"
 #include "tui/tui-file.h"
 #include "tui/tui-io.h"
-
+#include "tui/tui-command.h"
 #include "tui.h"
 
 /* A ``struct ui_file'' that is compatible with all the legacy
@@ -179,6 +179,10 @@ tui_file_fputs (const char *linebuffer, struct ui_file *file)
   else
     {
       tui_puts (linebuffer);
+      /* gdb_stdout is buffered, and the caller must gdb_flush it at
+        appropriate times.  Other streams are not so buffered.  */
+      if (file != gdb_stdout)
+       tui_refresh_cmd_win ();
     }
 }
 
@@ -239,6 +243,10 @@ tui_file_flush (struct ui_file *file)
     case astring:
       break;
     case afile:
+      /* gdb_stdout is buffered.  Other files are always flushed on
+        every write.  */
+      if (file == gdb_stdout)
+       tui_refresh_cmd_win ();
       fflush (stream->ts_filestream);
       break;
     }

diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c
index 2b5a166455254630635563489e8e59db86067895..21b2a001f5d35b90cf7533b9375b227f31a0ec24 100644 (file)
--- a/gdb/tui/tui-io.c
+++ b/gdb/tui/tui-io.c
@@ -159,7 +159,10 @@ tui_putc (char c)
   tui_puts (buf);
 }
 
-/* Print the string in the curses command window.  */
+/* Print the string in the curses command window.
+   The output is buffered.  It is up to the caller to refresh the screen
+   if necessary.  */
+
 void
 tui_puts (const char *string)
 {
@@ -201,10 +204,6 @@ tui_puts (const char *string)
          TUI_CMD_WIN->detail.command_info.curch);
   TUI_CMD_WIN->detail.command_info.start_line
     = TUI_CMD_WIN->detail.command_info.cur_line;
-
-  /* We could defer the following.  */
-  wrefresh (w);
-  fflush (stdout);
 }
 
 /* Readline callback.