Lazy language setting

When gdb starts up with a symbol file, it uses the program's "main" to
decide the "static context" and the initial language.  With background
DWARF reading, this means that gdb has to wait for a significant
amount of DWARF to be read synchronously.

This patch introduces lazy language setting.  The idea here is that in
many cases, the prompt can show up early, making gdb feel more
responsive.
This commit is contained in:
Tom Tromey 2023-03-29 10:55:13 -06:00
parent c83a280218
commit 0a008773c5
5 changed files with 73 additions and 18 deletions

View file

@ -36,6 +36,7 @@ struct symtab;
#include "displaced-stepping.h" #include "displaced-stepping.h"
#include "gdbsupport/intrusive_list.h" #include "gdbsupport/intrusive_list.h"
#include "thread-fsm.h" #include "thread-fsm.h"
#include "language.h"
struct inferior; struct inferior;
struct process_stratum_target; struct process_stratum_target;
@ -904,7 +905,7 @@ private:
/* Save/restore the language as well, because selecting a frame /* Save/restore the language as well, because selecting a frame
changes the current language to the frame's language if "set changes the current language to the frame's language if "set
language auto". */ language auto". */
enum language m_lang; scoped_restore_current_language m_lang;
}; };
/* Returns a pointer into the thread_info corresponding to /* Returns a pointer into the thread_info corresponding to

View file

@ -80,6 +80,7 @@ enum case_sensitivity case_sensitivity = case_sensitive_on;
/* The current language and language_mode (see language.h). */ /* The current language and language_mode (see language.h). */
static const struct language_defn *global_current_language; static const struct language_defn *global_current_language;
static lazily_set_language_ftype *lazy_language_setter;
enum language_mode language_mode = language_mode_auto; enum language_mode language_mode = language_mode_auto;
/* See language.h. */ /* See language.h. */
@ -87,9 +88,41 @@ enum language_mode language_mode = language_mode_auto;
const struct language_defn * const struct language_defn *
get_current_language () get_current_language ()
{ {
if (lazy_language_setter != nullptr)
{
/* Avoid recursive calls -- set_language refers to
current_language. */
lazily_set_language_ftype *call = lazy_language_setter;
lazy_language_setter = nullptr;
call ();
}
return global_current_language; return global_current_language;
} }
void
lazily_set_language (lazily_set_language_ftype *fun)
{
lazy_language_setter = fun;
}
scoped_restore_current_language::scoped_restore_current_language ()
: m_lang (global_current_language),
m_fun (lazy_language_setter)
{
}
scoped_restore_current_language::~scoped_restore_current_language ()
{
/* If both are NULL, then that means dont_restore was called. */
if (m_lang != nullptr || m_fun != nullptr)
{
global_current_language = m_lang;
lazy_language_setter = m_fun;
if (lazy_language_setter == nullptr)
set_range_case ();
}
}
/* The language that the user expects to be typing in (the language /* The language that the user expects to be typing in (the language
of main(), or the last language we notified them about, or C). */ of main(), or the last language we notified them about, or C). */
@ -185,6 +218,7 @@ set_language (const char *language)
/* Found it! Go into manual mode, and use this language. */ /* Found it! Go into manual mode, and use this language. */
language_mode = language_mode_manual; language_mode = language_mode_manual;
lazy_language_setter = nullptr;
global_current_language = lang; global_current_language = lang;
set_range_case (); set_range_case ();
expected_language = lang; expected_language = lang;
@ -372,6 +406,7 @@ set_range_case (void)
void void
set_language (enum language lang) set_language (enum language lang)
{ {
lazy_language_setter = nullptr;
global_current_language = language_def (lang); global_current_language = language_def (lang);
set_range_case (); set_range_case ();
} }

View file

@ -787,6 +787,10 @@ extern void language_info ();
extern void set_language (enum language lang); extern void set_language (enum language lang);
typedef void lazily_set_language_ftype ();
extern void lazily_set_language (lazily_set_language_ftype *fun);
/* Test a character to decide whether it can be printed in literal form /* Test a character to decide whether it can be printed in literal form
or needs to be printed in another representation. For example, or needs to be printed in another representation. For example,
in C the literal form of the character with octal value 141 is 'a' in C the literal form of the character with octal value 141 is 'a'
@ -837,14 +841,14 @@ class scoped_restore_current_language
{ {
public: public:
explicit scoped_restore_current_language () scoped_restore_current_language ();
: m_lang (current_language->la_language) ~scoped_restore_current_language ();
{
}
~scoped_restore_current_language () scoped_restore_current_language (scoped_restore_current_language &&other)
{ {
set_language (m_lang); m_lang = other.m_lang;
m_fun = other.m_fun;
other.dont_restore ();
} }
scoped_restore_current_language (const scoped_restore_current_language &) scoped_restore_current_language (const scoped_restore_current_language &)
@ -852,9 +856,18 @@ public:
scoped_restore_current_language &operator= scoped_restore_current_language &operator=
(const scoped_restore_current_language &) = delete; (const scoped_restore_current_language &) = delete;
/* Cancel restoring on scope exit. */
void dont_restore ()
{
/* This is implemented using a sentinel value. */
m_lang = nullptr;
m_fun = nullptr;
}
private: private:
enum language m_lang; const language_defn *m_lang;
lazily_set_language_ftype *m_fun;
}; };
/* If language_mode is language_mode_auto, /* If language_mode is language_mode_auto,

View file

@ -1684,13 +1684,11 @@ symbol_file_command (const char *args, int from_tty)
} }
} }
/* Set the initial language. */ /* Lazily set the initial language. */
void static void
set_initial_language (void) set_initial_language_callback ()
{ {
if (language_mode == language_mode_manual)
return;
enum language lang = main_language (); enum language lang = main_language ();
/* Make C the default language. */ /* Make C the default language. */
enum language default_lang = language_c; enum language default_lang = language_c;
@ -1715,6 +1713,16 @@ set_initial_language (void)
expected_language = current_language; /* Don't warn the user. */ expected_language = current_language; /* Don't warn the user. */
} }
/* Set the initial language. */
void
set_initial_language (void)
{
if (language_mode == language_mode_manual)
return;
lazily_set_language (set_initial_language_callback);
}
/* Open the file specified by NAME and hand it off to BFD for /* Open the file specified by NAME and hand it off to BFD for
preliminary analysis. Return a newly initialized bfd *, which preliminary analysis. Return a newly initialized bfd *, which
includes a newly malloc'd` copy of NAME (tilde-expanded and made includes a newly malloc'd` copy of NAME (tilde-expanded and made

View file

@ -1438,13 +1438,13 @@ scoped_restore_current_thread::restore ()
&& target_has_stack () && target_has_stack ()
&& target_has_memory ()) && target_has_memory ())
restore_selected_frame (m_selected_frame_id, m_selected_frame_level); restore_selected_frame (m_selected_frame_id, m_selected_frame_level);
set_language (m_lang);
} }
scoped_restore_current_thread::~scoped_restore_current_thread () scoped_restore_current_thread::~scoped_restore_current_thread ()
{ {
if (!m_dont_restore) if (m_dont_restore)
m_lang.dont_restore ();
else
restore (); restore ();
} }
@ -1452,8 +1452,6 @@ scoped_restore_current_thread::scoped_restore_current_thread ()
{ {
m_inf = inferior_ref::new_reference (current_inferior ()); m_inf = inferior_ref::new_reference (current_inferior ());
m_lang = current_language->la_language;
if (inferior_ptid != null_ptid) if (inferior_ptid != null_ptid)
{ {
m_thread = thread_info_ref::new_reference (inferior_thread ()); m_thread = thread_info_ref::new_reference (inferior_thread ());