Project

General

Profile

Actions
Copy link

Bug #10585

closed

Do not fail when there is not appropriate Java for CPAchecker

Added by Evgeny Novikov about 4 years ago. Updated about 4 years ago.

Status:
Rejected
Priority:
High
Assignee:
Ilja Zakharov
Category:
Scheduling
Target version:
-
Start date:
11/19/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

When there is not appropriate Java for CPAchecker there is the following warning within scheduler log: 

 WARNING - Cannot determine /home/ldvuser/andrianov/klever-deploy/klever-addons/verification-backends/CPALockator/scripts/cpa.sh version, error output: Your Java version is too old, please install Java 11 or newer.

After that Native Scheduler crashes:

Traceback (most recent call last):
  File "/home/ldvuser/andrianov/klever/venv/lib/python3.7/site-packages/klever/scheduler/schedulers/__init__.py", line 382, in launch
    self._check_jobs_status()
  File "/home/ldvuser/andrianov/klever/venv/lib/python3.7/site-packages/klever/scheduler/schedulers/__init__.py", line 574, in _check_jobs_status
    result = self.server.get_all_jobs()
  File "/home/ldvuser/andrianov/klever/venv/lib/python3.7/site-packages/klever/scheduler/server/__init__.py", line 181, in get_all_jobs
    return ((item['identifier'], item['status']) for item in ret)
TypeError: 'NoneType' object is not iterable

Related issues 2 (0 open — 2 closed)

Related to Klever - Bug #10587: Check result properly in all Scheduler requestsClosedIlja Zakharov11/20/2020

Actions
Related to Klever - Feature #9703: Update BenchExecClosedIlja Zakharov06/06/2019

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 4 years ago

  • Related to Bug #10587: Check result properly in all Scheduler requests added
Actions
Copy link
 #2

Updated by Evgeny Novikov about 4 years ago

BTW, there is almost the same exception but it is related with tasks rather than with jobs when I kill Bridge and then kill NativeScheduler:

Traceback (most recent call last):
  File "/home/novikov/work/klever/venv/bin/klever-native-scheduler", line 11, in <module>
    load_entry_point('klever', 'console_scripts', 'klever-native-scheduler')()
  File "/home/novikov/work/klever/klever/scheduler/main.py", line 57, in native_scheduler
    scheduler_impl.launch()
  File "/home/novikov/work/klever/klever/scheduler/schedulers/__init__.py", line 387, in launch
    self.terminate()
  File "/home/novikov/work/klever/klever/scheduler/schedulers/__init__.py", line 448, in terminate
    self.cancel_all_tasks()
  File "/home/novikov/work/klever/klever/scheduler/schedulers/__init__.py", line 558, in cancel_all_tasks
    tasks = self.server.get_all_tasks()
  File "/home/novikov/work/klever/klever/scheduler/server/__init__.py", line 191, in get_all_tasks
    return ((item['id'], item['status']) for item in ret)
TypeError: 'NoneType' object is not iterable

Actions
Copy link
 #3

Updated by Ilja Zakharov about 4 years ago

  • Status changed from New to Closed

Actually BenchExec fails without Java, the scheduler keeps working normally.

Actions
Copy link
 #4

Updated by Evgeny Novikov about 4 years ago

Actions
Copy link
 #5

Updated by Evgeny Novikov about 4 years ago

  • Status changed from Closed to Rejected

Let's hope that #9703 will help.

Actions
Copy link
 #6

Updated by Evgeny Novikov about 4 years ago

Evgeny Novikov wrote:

Let's hope that #9703 will help.

It does help. After some tuning of NativeScheduler there is the following exception in Core:

RuntimeError: Failed to decide verification task: Task failed 74: SchedulerException('Execution of task 74 terminated with an exception: 2020-11-25 18:41:06,619 - WARNING - Cannot determine /home/novikov/work/klever/addons/CPAchecker-36103/scripts/cpa.sh version, error output: Your Java version is too old, please install Java 11 or newer.')

Actions
Copy link

Also available in: Atom PDF