diff options
author | neal <neal> | 2008-06-28 11:53:15 +0000 |
---|---|---|
committer | neal <neal> | 2008-06-28 11:53:15 +0000 |
commit | 980c6e992dff9e94bcf69ed430847860740c71a1 (patch) | |
tree | 647e005fa2af8e8d3911a1a022940d8204b6b470 /benchmarks | |
parent | 863d49e765e667d2b8d43fe8dd3b45bc569bd28b (diff) |
2008-06-28 Neal H. Walfield <neal@gnu.org>
* patches/05-viengoos-scheduler.patch: Include profile.h in patch.
Diffstat (limited to 'benchmarks')
-rw-r--r-- | benchmarks/boehm-gc/ChangeLog | 4 | ||||
-rw-r--r-- | benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch | 41 |
2 files changed, 45 insertions, 0 deletions
diff --git a/benchmarks/boehm-gc/ChangeLog b/benchmarks/boehm-gc/ChangeLog index ae9ad6d..c08a7bb 100644 --- a/benchmarks/boehm-gc/ChangeLog +++ b/benchmarks/boehm-gc/ChangeLog @@ -1,3 +1,7 @@ +2008-06-28 Neal H. Walfield <neal@gnu.org> + + * patches/05-viengoos-scheduler.patch: Include profile.h in patch. + 2008-06-27 Neal H. Walfield <neal@gnu.org> * patches/05-viengoos-scheduler.patch: Update to use activity_info diff --git a/benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch b/benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch index 824eba9..b84be2a 100644 --- a/benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch +++ b/benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch @@ -903,3 +903,44 @@ diff -upr -x Makefile.in -x configure -x config.guess -x config.sub -x aclocal.m check_heap_stats(); # ifndef MSWINCE Only in gc: unpack.stamp +diff -c /dev/null /home/huenig/src/hurd-l4/benchmarks/boehm-gc/gc/profile.h +*** /dev/null 2008-05-21 08:25:35.000000000 +0200 +--- /home/huenig/src/hurd-l4/benchmarks/boehm-gc/gc/profile.h 2008-06-28 13:48:10.000000000 +0200 +*************** +*** 0 **** +--- 1,34 ---- ++ /* profile.h - Profiling support interface. ++ Copyright (C) 2008 Free Software Foundation, Inc. ++ Written by Neal H. Walfield <neal@gnu.org>. ++ ++ This file is part of the GNU Hurd. ++ ++ The GNU Hurd 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. ++ ++ The GNU Hurd 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/>. */ ++ ++ #include <stdint.h> ++ ++ #define GC_TIMER 0, "gc" ++ #define MAP_TIMER 1, "map" ++ ++ /* Start a timer for the profile site ID (this must be unique per ++ site, can be the function's address). NAME is the symbolic ++ name. */ ++ extern void profile_start (uintptr_t id, const char *name); ++ ++ /* End the timer for the profile site ID. */ ++ extern void profile_end (uintptr_t id, const char *name); ++ ++ extern void profile_stats_dump (void); + |