This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Remove time waiting for user from walltime in stats


On Mon, May 21, 2012 at 1:43 PM, Aaron Gamble <agamble@google.com> wrote:
> Oops. Corrected ChangeLog entry:
>
> ? ? ?* utils.c (prompt_for_continue_wait_time): New static global.
> ? ? ? (make_command_stats_cleanup): Initialize it.
> ? ? ? (report_command_stats): Subtract time waiting for user.
> ? ? ? (prompt_for_continue): Track time waiting for user.
>
>
> -Aaron
>
> On Mon, May 21, 2012 at 1:21 PM, Aaron Gamble <agamble@google.com> wrote:
>> Hi,
>>
>> Here is a patch to remove the time a gdb is waiting for a user to
>> respond to paging from gdb's internal statistics. Currently if a user
>> is reading paged output and waits 10 seconds to read/respond, those 10
>> seconds are added to the walltime for the command issued.
>>
>> Time spent waiting for the user is stored in a global static variable
>> in utils.c and is subtracted from the wall time when the stats are
>> printed.
>>
>> 2012-05-21 ?Aaron Gamble ?<agamble@google.com>
>>
>> ? ? * gdb/utils.c: Added global static variable to track time spend
>> waiting for user in paging

The patch is ok with me.

Give it a few days to see if anyone wants to comment.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]