[7/8] Use reinsert_breakpoint for vCont;s

Message ID 1463757161-25850-8-git-send-email-yao.qi@linaro.org
State New, archived
Headers

Commit Message

Yao Qi May 20, 2016, 3:12 p.m. UTC
  This patch is to teach GDBserver using software single step to handle
vCont;s.  Simply speaking, if the thread's resume request is resume_step,
install reinsert breakpoint at the next pcs when GDBserver is about to
resume threads.  These reinsert breakpoints of a thread are removed,
when GDBserver gets an event from that thread.  Note that GDBserver may
or may not report this event back to GDB.

gdb/gdbserver:

2016-05-20  Yao Qi  <yao.qi@linaro.org>

	* linux-low.c (resume_stopped_resumed_lwps): If resume request
	is resume_step, either set step to 1 or assert that reinsert
	breakpoints are installed.
	(linux_wait_1): Stop all threads, remove reinsert breakpoints,
	and unstop them.
	(linux_resume_one_thread): If resume request is resume_step,
	either set step to 1 or assert that reinsert breakpoints are
	installed.
	(linux_resume): Install reinsert breakpoints if the thread is
	requested to resume_step.
	(proceed_one_lwp): If resume request is resume_step,
        either set step to 1 or assert that reinsert breakpoints are
        installed.
	(proceed_all_lwps): Install reinsert breakpoints if the thread is
        requested to resume_step.
---
 gdb/gdbserver/linux-low.c | 125 ++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 121 insertions(+), 4 deletions(-)
  

Comments

Pedro Alves May 24, 2016, 5:38 p.m. UTC | #1
On 05/20/2016 04:12 PM, Yao Qi wrote:
> This patch is to teach GDBserver using software single step to handle
> vCont;s.  Simply speaking, if the thread's resume request is resume_step,
> install reinsert breakpoint at the next pcs when GDBserver is about to
> resume threads.  These reinsert breakpoints of a thread are removed,
> when GDBserver gets an event from that thread.  Note that GDBserver may
> or may not report this event back to GDB.
> 
> gdb/gdbserver:
> 
> 2016-05-20  Yao Qi  <yao.qi@linaro.org>
> 
> 	* linux-low.c (resume_stopped_resumed_lwps): If resume request
> 	is resume_step, either set step to 1 or assert that reinsert
> 	breakpoints are installed.
> 	(linux_wait_1): Stop all threads, remove reinsert breakpoints,
> 	and unstop them.
> 	(linux_resume_one_thread): If resume request is resume_step,
> 	either set step to 1 or assert that reinsert breakpoints are
> 	installed.
> 	(linux_resume): Install reinsert breakpoints if the thread is
> 	requested to resume_step.
> 	(proceed_one_lwp): If resume request is resume_step,
>         either set step to 1 or assert that reinsert breakpoints are
>         installed.
> 	(proceed_all_lwps): Install reinsert breakpoints if the thread is
>         requested to resume_step.

Spaces vs tabs, I think.

> ---
>  gdb/gdbserver/linux-low.c | 125 ++++++++++++++++++++++++++++++++++++++++++++--
>  1 file changed, 121 insertions(+), 4 deletions(-)
> 
> diff --git a/gdb/gdbserver/linux-low.c b/gdb/gdbserver/linux-low.c
> index d5f7097..22cf51a 100644
> --- a/gdb/gdbserver/linux-low.c
> +++ b/gdb/gdbserver/linux-low.c
> @@ -2526,7 +2526,18 @@ resume_stopped_resumed_lwps (struct inferior_list_entry *entry)
>        && !lp->status_pending_p
>        && thread->last_status.kind == TARGET_WAITKIND_IGNORE)
>      {
> -      int step = thread->last_resume_kind == resume_step;
> +      int step = 0;
> +
> +      if (thread->last_resume_kind == resume_step)
> +	{

...

> +	  if (can_hardware_single_step ())
> +	    step = 1;
> +	  else
> +	    {
> +	      /* GDBserver must insert reinsert breakpoint for vCont;s.  */
> +	      gdb_assert (has_reinsert_breakpoints (thread));
> +	    }

This pattern seems to appear in many places in the series.
Maybe we could add a function to wrap it?  Something like:

static int
maybe_hw_step (struct thread_info *thread)
{
  if (can_hardware_single_step ())
    return 1;
  else
    {
      gdb_assert (has_reinsert_breakpoints (thread));
      return 0;
    }
}

?

> +	}
>  
>        if (debug_threads)
>  	debug_printf ("RSRL: resuming stopped-resumed LWP %s at %s: step=%d\n",
> @@ -3477,6 +3488,18 @@ linux_wait_1 (ptid_t ptid,
>        return ignore_event (ourstatus);
>      }
>  
> +  /* Remove reinsert breakpoints for resume_step.  */
> +  if (can_software_single_step ()
> +      && current_thread->last_resume_kind == resume_step

What if a vCont;t came in after the step had started and
before it finished?  Won't we have lost the resume_step 
linux_set_resume_request then?


> +      && has_reinsert_breakpoints (current_thread))
> +    {
> +      stop_all_lwps (1, event_child);
> +
> +      delete_reinsert_breakpoints (current_ptid);
> +
> +      unstop_all_lwps (1, event_child);
> +    }
> +
>    /* Note that all addresses are always "out of the step range" when
>       there's no range to begin with.  */
>    in_step_range = lwp_in_step_range (event_child);
> @@ -4796,7 +4819,6 @@ linux_resume_one_thread (struct inferior_list_entry *entry, void *arg)
>  {
>    struct thread_info *thread = (struct thread_info *) entry;
>    struct lwp_info *lwp = get_thread_lwp (thread);
> -  int step;
>    int leave_all_stopped = * (int *) arg;
>    int leave_pending;
>  
> @@ -4865,10 +4887,22 @@ linux_resume_one_thread (struct inferior_list_entry *entry, void *arg)
>  
>    if (!leave_pending)
>      {
> +      int step = 0;
> +
>        if (debug_threads)
>  	debug_printf ("resuming LWP %ld\n", lwpid_of (thread));
>  
> -      step = (lwp->resume->kind == resume_step);
> +      if (lwp->resume->kind == resume_step)
> +	{
> +	  if (can_hardware_single_step ())
> +	    step = 1;
> +	  else
> +	    {
> +	      /* GDBserver must insert reinsert breakpoint for vCont;s.  */
> +	      gdb_assert (has_reinsert_breakpoints (thread));
> +	    }
> +	}
> +
>        linux_resume_one_lwp (lwp, step, lwp->resume->sig, NULL);
>      }
>    else
> @@ -4909,6 +4943,7 @@ linux_resume (struct thread_resume *resume_info, size_t n)
>    struct thread_info *need_step_over = NULL;
>    int any_pending;
>    int leave_all_stopped;
> +  int resume_step_is_handled = 0;
>  
>    if (debug_threads)
>      {
> @@ -4952,12 +4987,57 @@ linux_resume (struct thread_resume *resume_info, size_t n)
>  	debug_printf ("Resuming, no pending status or step over needed\n");
>      }
>  
> +  /* Before we resume the threads, if resume_step is requested by GDB,
> +     stop all threads and install reinsert breakpoints.  */
> +  if (!leave_all_stopped && can_software_single_step ())
> +    {
> +      struct inferior_list_entry *inf, *tmp;
> +
> +      if (debug_threads)
> +	debug_printf ("Handle resume_step.\n");
> +
> +      ALL_INFERIORS (&all_threads, inf, tmp)
> +	{
> +	  struct thread_info *thread = (struct thread_info *) inf;
> +	  struct lwp_info *lwp = get_thread_lwp (thread);
> +
> +	  if (lwp->resume != NULL && lwp->resume->kind == resume_step)
> +	    {
> +	      struct thread_info *saved_thread;
> +
> +	      if (!resume_step_is_handled)
> +		{
> +		  stop_all_lwps (0, NULL);
> +
> +		  if (debug_threads)
> +		    debug_printf ("Done stopping all threads.\n");
> +
> +		  resume_step_is_handled = 1;
> +		}
> +
> +	      saved_thread = current_thread;
> +	      current_thread = thread;
> +	      install_software_single_step_breakpoints (lwp);
> +	      current_thread = saved_thread;
> +

This current thread save/restore should move to
install_software_single_step_breakpoints, as per the other patch.


> +	      if (debug_threads)
> +		debug_printf ("Insert breakpoint for resume_step LWP %ld\n",
> +			      lwpid_of (thread));
> +	    }
> +	}
> +
> +      if (debug_threads)
> +	debug_printf ("Handle resume_step.  Done\n");
> +    }
> +
>    /* Even if we're leaving threads stopped, queue all signals we'd
>       otherwise deliver.  */
>    find_inferior (&all_threads, linux_resume_one_thread, &leave_all_stopped);
>  
>    if (need_step_over)
>      start_step_over (get_thread_lwp (need_step_over));
> +  else if (resume_step_is_handled)
> +    unstop_all_lwps (0, NULL);
>  
>    if (debug_threads)
>      {
> @@ -5054,7 +5134,14 @@ proceed_one_lwp (struct inferior_list_entry *entry, void *except)
>        if (debug_threads)
>  	debug_printf ("   stepping LWP %ld, client wants it stepping\n",
>  		      lwpid_of (thread));
> -      step = 1;
> +
> +      if (can_hardware_single_step ())
> +	step = 1;
> +      else
> +	{
> +	  /* GDBserver must insert reinsert breakpoint for vCont;s.  */
> +	  gdb_assert (has_reinsert_breakpoints (thread));
> +	}
>      }
>    else if (lwp->bp_reinsert != 0)
>      {
> @@ -5124,6 +5211,36 @@ proceed_all_lwps (void)
>    if (debug_threads)
>      debug_printf ("Proceeding, no step-over needed\n");
>  
> +  /* Re-install the reinsert breakpoints on software single step target
> +     if the client wants it step.  */
> +  if (can_software_single_step ())
> +    {
> +      struct inferior_list_entry *inf, *tmp;
> +
> +      ALL_INFERIORS (&all_threads, inf, tmp)
> +	{
> +	  struct thread_info *thread = (struct thread_info *) inf;
> +
> +	  if (thread->last_resume_kind == resume_step)
> +	    {
> +	      struct lwp_info *lwp = get_thread_lwp (thread);
> +	      struct thread_info *saved_thread;
> +
> +	      saved_thread = current_thread;
> +	      current_thread = thread;
> +
> +	      if (!has_reinsert_breakpoints (thread))
> +		install_software_single_step_breakpoints (lwp);
> +
> +	      current_thread = saved_thread;

Ditto.

> +
> +	      if (debug_threads)
> +		debug_printf ("Insert breakpoint for resume_step LWP %ld\n",
> +			      lwpid_of (thread));
> +	    }
> +	}
> +    }
> +
>    find_inferior (&all_threads, proceed_one_lwp, NULL);
>  }
>  
> 

Thanks,
Pedro Alves
  
Yao Qi May 26, 2016, 4:52 p.m. UTC | #2
Pedro Alves <palves@redhat.com> writes:

>> +  /* Remove reinsert breakpoints for resume_step.  */
>> +  if (can_software_single_step ()
>> +      && current_thread->last_resume_kind == resume_step
>
> What if a vCont;t came in after the step had started and
> before it finished?  Won't we have lost the resume_step 
> linux_set_resume_request then?

Do you mean a case like this?  GDB sends vCont;s, and then GDBserver
started step-over, in the middle of step-over, GDB sends vCont;t, so
thread->last_resume_kind is set from resume_step to resume_stop, and the
check here fails, so reinsert breakpoints are not deleted.
  
Pedro Alves May 26, 2016, 5 p.m. UTC | #3
On 05/26/2016 05:52 PM, Yao Qi wrote:
> Pedro Alves <palves@redhat.com> writes:
> 
>>> +  /* Remove reinsert breakpoints for resume_step.  */
>>> +  if (can_software_single_step ()
>>> +      && current_thread->last_resume_kind == resume_step
>>
>> What if a vCont;t came in after the step had started and
>> before it finished?  Won't we have lost the resume_step 
>> linux_set_resume_request then?
> 
> Do you mean a case like this?  GDB sends vCont;s, and then GDBserver
> started step-over, in the middle of step-over, GDB sends vCont;t, so
> thread->last_resume_kind is set from resume_step to resume_stop, and the
> check here fails, so reinsert breakpoints are not deleted.

Exactly.

Thanks,
Pedro Alves
  

Patch

diff --git a/gdb/gdbserver/linux-low.c b/gdb/gdbserver/linux-low.c
index d5f7097..22cf51a 100644
--- a/gdb/gdbserver/linux-low.c
+++ b/gdb/gdbserver/linux-low.c
@@ -2526,7 +2526,18 @@  resume_stopped_resumed_lwps (struct inferior_list_entry *entry)
       && !lp->status_pending_p
       && thread->last_status.kind == TARGET_WAITKIND_IGNORE)
     {
-      int step = thread->last_resume_kind == resume_step;
+      int step = 0;
+
+      if (thread->last_resume_kind == resume_step)
+	{
+	  if (can_hardware_single_step ())
+	    step = 1;
+	  else
+	    {
+	      /* GDBserver must insert reinsert breakpoint for vCont;s.  */
+	      gdb_assert (has_reinsert_breakpoints (thread));
+	    }
+	}
 
       if (debug_threads)
 	debug_printf ("RSRL: resuming stopped-resumed LWP %s at %s: step=%d\n",
@@ -3477,6 +3488,18 @@  linux_wait_1 (ptid_t ptid,
       return ignore_event (ourstatus);
     }
 
+  /* Remove reinsert breakpoints for resume_step.  */
+  if (can_software_single_step ()
+      && current_thread->last_resume_kind == resume_step
+      && has_reinsert_breakpoints (current_thread))
+    {
+      stop_all_lwps (1, event_child);
+
+      delete_reinsert_breakpoints (current_ptid);
+
+      unstop_all_lwps (1, event_child);
+    }
+
   /* Note that all addresses are always "out of the step range" when
      there's no range to begin with.  */
   in_step_range = lwp_in_step_range (event_child);
@@ -4796,7 +4819,6 @@  linux_resume_one_thread (struct inferior_list_entry *entry, void *arg)
 {
   struct thread_info *thread = (struct thread_info *) entry;
   struct lwp_info *lwp = get_thread_lwp (thread);
-  int step;
   int leave_all_stopped = * (int *) arg;
   int leave_pending;
 
@@ -4865,10 +4887,22 @@  linux_resume_one_thread (struct inferior_list_entry *entry, void *arg)
 
   if (!leave_pending)
     {
+      int step = 0;
+
       if (debug_threads)
 	debug_printf ("resuming LWP %ld\n", lwpid_of (thread));
 
-      step = (lwp->resume->kind == resume_step);
+      if (lwp->resume->kind == resume_step)
+	{
+	  if (can_hardware_single_step ())
+	    step = 1;
+	  else
+	    {
+	      /* GDBserver must insert reinsert breakpoint for vCont;s.  */
+	      gdb_assert (has_reinsert_breakpoints (thread));
+	    }
+	}
+
       linux_resume_one_lwp (lwp, step, lwp->resume->sig, NULL);
     }
   else
@@ -4909,6 +4943,7 @@  linux_resume (struct thread_resume *resume_info, size_t n)
   struct thread_info *need_step_over = NULL;
   int any_pending;
   int leave_all_stopped;
+  int resume_step_is_handled = 0;
 
   if (debug_threads)
     {
@@ -4952,12 +4987,57 @@  linux_resume (struct thread_resume *resume_info, size_t n)
 	debug_printf ("Resuming, no pending status or step over needed\n");
     }
 
+  /* Before we resume the threads, if resume_step is requested by GDB,
+     stop all threads and install reinsert breakpoints.  */
+  if (!leave_all_stopped && can_software_single_step ())
+    {
+      struct inferior_list_entry *inf, *tmp;
+
+      if (debug_threads)
+	debug_printf ("Handle resume_step.\n");
+
+      ALL_INFERIORS (&all_threads, inf, tmp)
+	{
+	  struct thread_info *thread = (struct thread_info *) inf;
+	  struct lwp_info *lwp = get_thread_lwp (thread);
+
+	  if (lwp->resume != NULL && lwp->resume->kind == resume_step)
+	    {
+	      struct thread_info *saved_thread;
+
+	      if (!resume_step_is_handled)
+		{
+		  stop_all_lwps (0, NULL);
+
+		  if (debug_threads)
+		    debug_printf ("Done stopping all threads.\n");
+
+		  resume_step_is_handled = 1;
+		}
+
+	      saved_thread = current_thread;
+	      current_thread = thread;
+	      install_software_single_step_breakpoints (lwp);
+	      current_thread = saved_thread;
+
+	      if (debug_threads)
+		debug_printf ("Insert breakpoint for resume_step LWP %ld\n",
+			      lwpid_of (thread));
+	    }
+	}
+
+      if (debug_threads)
+	debug_printf ("Handle resume_step.  Done\n");
+    }
+
   /* Even if we're leaving threads stopped, queue all signals we'd
      otherwise deliver.  */
   find_inferior (&all_threads, linux_resume_one_thread, &leave_all_stopped);
 
   if (need_step_over)
     start_step_over (get_thread_lwp (need_step_over));
+  else if (resume_step_is_handled)
+    unstop_all_lwps (0, NULL);
 
   if (debug_threads)
     {
@@ -5054,7 +5134,14 @@  proceed_one_lwp (struct inferior_list_entry *entry, void *except)
       if (debug_threads)
 	debug_printf ("   stepping LWP %ld, client wants it stepping\n",
 		      lwpid_of (thread));
-      step = 1;
+
+      if (can_hardware_single_step ())
+	step = 1;
+      else
+	{
+	  /* GDBserver must insert reinsert breakpoint for vCont;s.  */
+	  gdb_assert (has_reinsert_breakpoints (thread));
+	}
     }
   else if (lwp->bp_reinsert != 0)
     {
@@ -5124,6 +5211,36 @@  proceed_all_lwps (void)
   if (debug_threads)
     debug_printf ("Proceeding, no step-over needed\n");
 
+  /* Re-install the reinsert breakpoints on software single step target
+     if the client wants it step.  */
+  if (can_software_single_step ())
+    {
+      struct inferior_list_entry *inf, *tmp;
+
+      ALL_INFERIORS (&all_threads, inf, tmp)
+	{
+	  struct thread_info *thread = (struct thread_info *) inf;
+
+	  if (thread->last_resume_kind == resume_step)
+	    {
+	      struct lwp_info *lwp = get_thread_lwp (thread);
+	      struct thread_info *saved_thread;
+
+	      saved_thread = current_thread;
+	      current_thread = thread;
+
+	      if (!has_reinsert_breakpoints (thread))
+		install_software_single_step_breakpoints (lwp);
+
+	      current_thread = saved_thread;
+
+	      if (debug_threads)
+		debug_printf ("Insert breakpoint for resume_step LWP %ld\n",
+			      lwpid_of (thread));
+	    }
+	}
+    }
+
   find_inferior (&all_threads, proceed_one_lwp, NULL);
 }