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: |
