| # Copyright 2012-2020 Free Software Foundation, Inc. | |
| # This program is free software; you can redistribute it and/or modify | |
| # it under the terms of the GNU General Public License as published by | |
| # the Free Software Foundation; either version 3 of the License, or | |
| # (at your option) any later version. | |
| # | |
| # This program is distributed in the hope that it will be useful, | |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| # GNU General Public License for more details. | |
| # | |
| # You should have received a copy of the GNU General Public License | |
| # along with this program. If not, see <http://www.gnu.org/licenses/>. | |
| # The in-memory cache. | |
| array set gdb_data_cache {} | |
| # A helper for gdb_caching_proc that handles the caching. | |
| proc gdb_do_cache {name} { | |
| global gdb_data_cache objdir | |
| global GDB_PARALLEL | |
| # See if some other process wrote the cache file. Cache value per | |
| # "board" to handle runs with multiple options | |
| # (e.g. unix/{-m32,-64}) correctly. We use "file join" here | |
| # because we later use this in a real filename. | |
| set cache_name [file join [target_info name] $name] | |
| if {[info exists gdb_data_cache($cache_name)]} { | |
| verbose "$name: returning '$gdb_data_cache($cache_name)' from cache" 2 | |
| return $gdb_data_cache($cache_name) | |
| } | |
| if {[info exists GDB_PARALLEL]} { | |
| set cache_filename [make_gdb_parallel_path cache $cache_name] | |
| if {[file exists $cache_filename]} { | |
| set fd [open $cache_filename] | |
| set gdb_data_cache($cache_name) [read -nonewline $fd] | |
| close $fd | |
| verbose "$name: returning '$gdb_data_cache($cache_name)' from file cache" 2 | |
| return $gdb_data_cache($cache_name) | |
| } | |
| } | |
| set real_name gdb_real__$name | |
| set gdb_data_cache($cache_name) [uplevel 1 $real_name] | |
| if {[info exists GDB_PARALLEL]} { | |
| verbose "$name: returning '$gdb_data_cache($cache_name)' and writing file" 2 | |
| file mkdir [file dirname $cache_filename] | |
| # Make sure to write the results file atomically. | |
| set fd [open $cache_filename.[pid] w] | |
| puts $fd $gdb_data_cache($cache_name) | |
| close $fd | |
| file rename -force -- $cache_filename.[pid] $cache_filename | |
| } | |
| return $gdb_data_cache($cache_name) | |
| } | |
| # Define a new proc named NAME that takes no arguments. BODY is the | |
| # body of the proc. The proc will evaluate BODY and cache the | |
| # results, both in memory and, if GDB_PARALLEL is defined, in the | |
| # filesystem for use across invocations of dejagnu. | |
| proc gdb_caching_proc {name body} { | |
| # Define the underlying proc that we'll call. | |
| set real_name gdb_real__$name | |
| proc $real_name {} $body | |
| # Define the advertised proc. | |
| proc $name {} [list gdb_do_cache $name] | |
| } |