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