diff options
Diffstat (limited to 'src/pmie/examples/filesys.20')
| -rw-r--r-- | src/pmie/examples/filesys.20 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/pmie/examples/filesys.20 b/src/pmie/examples/filesys.20 new file mode 100644 index 0000000..856d8ed --- /dev/null +++ b/src/pmie/examples/filesys.20 @@ -0,0 +1,14 @@ +// +// at least $threshold full and at the current rate of growth will fill +// the file system in less than $lead_time +// ie. used + $lead_time * growth-rate > capacity + +delta = 1 min; // check every minute +threshold = 40; // must be at least this full now (percentage) +lead_time = "15min"; // lead time before the filesystem will be full + +some_inst ( + 100 * filesys.used / filesys.capacity > $threshold && + filesys.used + $lead_time * ( rate filesys.used ) > + filesys.capacity +) -> print "filesystem will be full within $lead_time:" " %i"; |