diff options
| -rw-r--r-- | sos/plugins/kernel.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/sos/plugins/kernel.py b/sos/plugins/kernel.py index 97ef7862..6c2f509c 100644 --- a/sos/plugins/kernel.py +++ b/sos/plugins/kernel.py @@ -27,6 +27,10 @@ class Kernel(Plugin, RedHatPlugin, DebianPlugin, UbuntuPlugin): sys_module = '/sys/module' + option_list = [ + ("with-timer", "gather /proc/timer* statistics", "slow", False) + ] + def setup(self): # compat self.add_cmd_output("uname -a", root_symlink="uname") @@ -83,7 +87,6 @@ class Kernel(Plugin, RedHatPlugin, DebianPlugin, UbuntuPlugin): "/proc/driver", "/proc/sys/kernel/tainted", "/proc/softirqs", - "/proc/timer*", "/proc/lock*", "/proc/misc", "/var/log/dmesg", @@ -92,4 +95,9 @@ class Kernel(Plugin, RedHatPlugin, DebianPlugin, UbuntuPlugin): clocksource_path + "current_clocksource" ]) + if self.get_option("with-timer"): + # This can be very slow, depending on the number of timers, + # and may also cause softlockups + self.add_copy_spec("/proc/timer*") + # vim: set et ts=4 sw=4 : |