Project

General

Profile

Bug #10585

Do not fail when there is not appropriate Java for CPAchecker

Added by Evgeny Novikov 3 months ago. Updated 3 months ago.

Status:
Rejected
Priority:
High
Assignee:
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

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

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

Actions

History

#1

Updated by Evgeny Novikov 3 months ago

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

Updated by Evgeny Novikov 3 months 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

#3

Updated by Ilja Zakharov 3 months ago

  • Status changed from New to Closed

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

#4

Updated by Evgeny Novikov 3 months ago

#5

Updated by Evgeny Novikov 3 months ago

  • Status changed from Closed to Rejected

Let's hope that #9703 will help.

#6

Updated by Evgeny Novikov 3 months 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.')

Also available in: Atom PDF