diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-12-19 14:42:24 -0500 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-12-19 14:42:24 -0500 |
commit | d524da9bd072ad1be4ac0d633e3e783094ddc2d7 (patch) | |
tree | 66598b77459b45bcadd5a35adb6922ffd1c52ff4 | |
parent | 64e7516c91d9f2f7ca86928f8db00ca29f3eb544 (diff) |
Added waiting tasks function.
-rw-r--r-- | run/litmus_util.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/run/litmus_util.py b/run/litmus_util.py index fb2b341..340113d 100644 --- a/run/litmus_util.py +++ b/run/litmus_util.py | |||
@@ -67,6 +67,17 @@ def is_device(dev): | |||
67 | mode = os.stat(dev)[stat.ST_MODE] | 67 | mode = os.stat(dev)[stat.ST_MODE] |
68 | return not (not mode & stat.S_IFCHR) | 68 | return not (not mode & stat.S_IFCHR) |
69 | 69 | ||
70 | def waiting_tasks(): | ||
71 | reg = re.compile(r'^ready.*(?P<READY>\d+)$', re.M) | ||
72 | with open('/proc/litmus/stats', 'r') as f: | ||
73 | data = f.read() | ||
74 | |||
75 | # Ignore if no tasks are waiting for release | ||
76 | match = re.search(reg, data) | ||
77 | ready = match.group("READY") | ||
78 | |||
79 | return 0 if not ready else int(ready) | ||
80 | |||
70 | def release_tasks(): | 81 | def release_tasks(): |
71 | 82 | ||
72 | try: | 83 | try: |