From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7907 invoked by alias); 21 Nov 2006 16:51:52 -0000 Received: (qmail 7886 invoked by uid 22791); 21 Nov 2006 16:51:50 -0000 X-Spam-Check-By: sourceware.org Received: from mail.codesourcery.com (HELO mail.codesourcery.com) (65.74.133.4) by sourceware.org (qpsmtpd/0.31) with ESMTP; Tue, 21 Nov 2006 16:51:43 +0000 Received: (qmail 11150 invoked from network); 21 Nov 2006 16:51:40 -0000 Received: from unknown (HELO ?172.16.64.38?) (vladimir@127.0.0.2) by mail.codesourcery.com with ESMTPA; 21 Nov 2006 16:51:40 -0000 From: Vladimir Prus To: Eli Zaretskii Subject: Re: Check memory accesses Date: Tue, 21 Nov 2006 16:51:00 -0000 User-Agent: KMail/1.9.1 Cc: gdb-patches@sources.redhat.com References: <200611092336.22512.vladimir@codesourcery.com> In-Reply-To: MIME-Version: 1.0 Content-Type: Multipart/Mixed; boundary="Boundary-00=_S6yYFonXp/KMJnU" Message-Id: <200611211951.30082.vladimir@codesourcery.com> Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2006-11/txt/msg00227.txt.bz2 --Boundary-00=_S6yYFonXp/KMJnU Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Content-length: 556 On Wednesday 15 November 2006 21:20, Eli Zaretskii wrote: > > From: Vladimir Prus > > Date: Wed, 15 Nov 2006 15:24:07 +0300 > > > > > This patch introduces a new user command, but doesn't include a patch > > > for the user manual. Please provide one. > > > > Sorry. This version of the patch includes documentation. > > Thanks, but please state in the doco patch what is the default behavior. > > Otherwise, it's okay with me. Thanks. Adjusted and committed. Attached is the final version of the patch that went to CVS. - Volodya --Boundary-00=_S6yYFonXp/KMJnU Content-Type: text/x-diff; charset="iso-8859-15"; name="memcheck_committed.diff" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="memcheck_committed.diff" Content-length: 9152 Index: ChangeLog =================================================================== RCS file: /cvs/src/src/gdb/ChangeLog,v retrieving revision 1.7972 diff -u -p -r1.7972 ChangeLog --- ChangeLog 21 Nov 2006 05:12:44 -0000 1.7972 +++ ChangeLog 21 Nov 2006 16:48:21 -0000 @@ -1,3 +1,21 @@ +2006-11-21 Vladimir Prus + + * memattr.h (enum mem_access_mode): New value + MEM_NONE. + * memattr.c (unknown_mem_attrib): New. + (inaccessible_by_default): New. + (show_inaccessible_by_default): New. + (lookup_mem_region): Check inaccessible_by_default. + (dummy_cmd): New. + (mem_set_cmdlist, mem_show_cmdlist): New. + (_initialize_mem): Register new "set" and "show" + commands. + * target.c (memory_xfer_partial): If memory type + is MEM_NONE, return an error. + Clip to region size when calling to_xfer_partial. + If upper limit of memory range is 0, don't clip + anything. + 2006-11-20 Joel Brobecker * README: Remove obsolete information. Index: memattr.c =================================================================== RCS file: /cvs/src/src/gdb/memattr.c,v retrieving revision 1.25 diff -u -p -r1.25 memattr.c --- memattr.c 21 Sep 2006 14:00:53 -0000 1.25 +++ memattr.c 21 Nov 2006 16:48:21 -0000 @@ -40,6 +40,17 @@ const struct mem_attrib default_mem_attr -1 /* Flash blocksize not specified. */ }; +const struct mem_attrib unknown_mem_attrib = +{ + MEM_NONE, /* mode */ + MEM_WIDTH_UNSPECIFIED, + 0, /* hwbreak */ + 0, /* cache */ + 0, /* verify */ + -1 /* Flash blocksize not specified. */ +}; + + VEC(mem_region_s) *mem_region_list, *target_mem_region_list; static int mem_number = 0; @@ -53,6 +64,25 @@ static int mem_use_target = 1; empty, then the target can't supply memory regions. */ static int target_mem_regions_valid; +/* If this flag is set, gdb will assume that memory ranges not + specified by the memory map have type MEM_NONE, and will + emit errors on all accesses to that memory. */ +static int inaccessible_by_default = 0; + +static void +show_inaccessible_by_default (struct ui_file *file, int from_tty, + struct cmd_list_element *c, + const char *value) +{ + if (inaccessible_by_default) + fprintf_filtered (file, _("\ +Unknown memory addresses will be treated as inaccessible.\n")); + else + fprintf_filtered (file, _("\ +Unknown memory addresses will be treated as RAM.\n")); +} + + /* Predicate function which returns true if LHS should sort before RHS in a list of memory regions, useful for VEC_lower_bound. */ @@ -215,13 +245,17 @@ lookup_mem_region (CORE_ADDR addr) lo = 0; hi = 0; - /* If we ever want to support a huge list of memory regions, this + /* Either find memory range containing ADDRESS, or set LO and HI + to the nearest boundaries of an existing memory range. + + If we ever want to support a huge list of memory regions, this check should be replaced with a binary search (probably using VEC_lower_bound). */ for (ix = 0; VEC_iterate (mem_region_s, mem_region_list, ix, m); ix++) { if (m->enabled_p == 1) { + /* If the address is in the memory region, return that memory range. */ if (addr >= m->lo && (addr < m->hi || m->hi == 0)) return m; @@ -243,7 +277,15 @@ lookup_mem_region (CORE_ADDR addr) was learned above. */ region.lo = lo; region.hi = hi; - region.attrib = default_mem_attrib; + + /* When no memory map is defined at all, we always return + 'default_mem_attrib', so that we do not make all memory + inaccessible for targets that don't provide a memory map. */ + if (inaccessible_by_default && !VEC_empty (mem_region_s, mem_region_list)) + region.attrib = unknown_mem_attrib; + else + region.attrib = default_mem_attrib; + return ®ion; } @@ -674,9 +716,17 @@ mem_delete_command (char *args, int from dont_repeat (); } + +static void +dummy_cmd (char *args, int from_tty) +{ +} extern initialize_file_ftype _initialize_mem; /* -Wmissing-prototype */ +static struct cmd_list_element *mem_set_cmdlist; +static struct cmd_list_element *mem_show_cmdlist; + void _initialize_mem (void) { @@ -709,4 +759,25 @@ Do \"info mem\" to see current list of c add_info ("mem", mem_info_command, _("Memory region attributes")); + + add_prefix_cmd ("mem", class_vars, dummy_cmd, _("\ +Memory regions settings"), + &mem_set_cmdlist, "set mem ", + 0/* allow-unknown */, &setlist); + add_prefix_cmd ("mem", class_vars, dummy_cmd, _("\ +Memory regions settings"), + &mem_show_cmdlist, "show mem ", + 0/* allow-unknown */, &showlist); + + add_setshow_boolean_cmd ("inaccessible-by-default", no_class, + &inaccessible_by_default, _("\ +Set handling of unknown memory regions."), _("\ +Show handling of unknown memory regions."), _("\ +If on, and some memory map is defined, debugger will emit errors on\n\ +accesses to memory not defined in the memory map. If off, accesses to all\n\ +memory addresses will be allowed."), + NULL, + show_inaccessible_by_default, + &mem_set_cmdlist, + &mem_show_cmdlist); } Index: memattr.h =================================================================== RCS file: /cvs/src/src/gdb/memattr.h,v retrieving revision 1.7 diff -u -p -r1.7 memattr.h --- memattr.h 21 Sep 2006 13:54:02 -0000 1.7 +++ memattr.h 21 Nov 2006 16:48:21 -0000 @@ -26,6 +26,7 @@ enum mem_access_mode { + MEM_NONE, /* Memory that is not physically present. */ MEM_RW, /* read/write */ MEM_RO, /* read only */ MEM_WO, /* write only */ @@ -76,7 +77,10 @@ struct mem_attrib struct mem_region { + /* Lowest address in the region. */ CORE_ADDR lo; + /* Address past the highest address of the region. + If 0, upper bound is "infinity". */ CORE_ADDR hi; /* Item number of this memory region. */ Index: target.c =================================================================== RCS file: /cvs/src/src/gdb/target.c,v retrieving revision 1.128 diff -u -p -r1.128 target.c --- target.c 17 Oct 2006 21:55:23 -0000 1.128 +++ target.c 21 Nov 2006 16:48:22 -0000 @@ -1015,7 +1015,8 @@ memory_xfer_partial (struct target_ops * /* Try GDB's internal data cache. */ region = lookup_mem_region (memaddr); - if (memaddr + len < region->hi) + /* region->hi == 0 means there's no upper bound. */ + if (memaddr + len < region->hi || region->hi == 0) reg_len = len; else reg_len = region->hi - memaddr; @@ -1037,6 +1038,9 @@ memory_xfer_partial (struct target_ops * if (writebuf != NULL) error (_("Writing to flash memory forbidden in this context")); break; + + case MEM_NONE: + return -1; } if (region->attrib.cache) @@ -1072,7 +1076,7 @@ memory_xfer_partial (struct target_ops * do { res = ops->to_xfer_partial (ops, TARGET_OBJECT_MEMORY, NULL, - readbuf, writebuf, memaddr, len); + readbuf, writebuf, memaddr, reg_len); if (res > 0) return res; Index: doc/ChangeLog =================================================================== RCS file: /cvs/src/src/gdb/doc/ChangeLog,v retrieving revision 1.623 diff -u -p -r1.623 ChangeLog --- doc/ChangeLog 16 Nov 2006 15:08:22 -0000 1.623 +++ doc/ChangeLog 21 Nov 2006 16:48:24 -0000 @@ -1,3 +1,7 @@ +2006-11-21 Vladimir Prus + + * gdb.texinfo (Memory Access Checking): New. + 2006-11-16 Daniel Jacobowitz * gdb.texinfo (Remote configuration): Mention Index: doc/gdb.texinfo =================================================================== RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v retrieving revision 1.369 diff -u -p -r1.369 gdb.texinfo --- doc/gdb.texinfo 16 Nov 2006 15:08:23 -0000 1.369 +++ doc/gdb.texinfo 21 Nov 2006 16:48:35 -0000 @@ -6894,6 +6894,27 @@ Enable @value{GDBN} to cache target memo Disable @value{GDBN} from caching target memory. This is the default. @end table +@subsection Memory Access Checking +@value{GDBN} can be instructed to refuse accesses to memory that is +not explicitly described. This can be useful if accessing such +regions has undesired effects for a specific target, or to provide +better error checking. The following commands control this behaviour. + +@table @code +@kindex set mem inaccessible-by-default +@item set mem inaccessible-by-default [on|off] +If @code{on} is specified, make @value{GDBN} treat memory not +explicitly described by the memory ranges as non-existent and refuse accesses +to such memory. The checks are only performed if there's at least one +memory range defined. If @code{off} is specified, make @value{GDBN} +treat the memory not explicitly described by the memory ranges as RAM. +The default value is @code{off}. +@kindex show mem inaccessible-by-default +@item show mem inaccessible-by-default +Show the current handling of accesses to unknown memory. +@end table + + @c @subsubsection Memory Write Verification @c The memory write verification attributes set whether @value{GDBN} @c will re-reads data after each write to verify the write was successful. --Boundary-00=_S6yYFonXp/KMJnU--