Project

General

Profile

Feature #8489

Show computational resources consumed by verifier in tables with safes/unsafes/verification unknowns

Added by Evgeny Novikov over 1 year ago. Updated over 1 year ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
10/10/2017
Due date:
10/27/2017
% Done:

100%

Estimated time:
Published in build:

Description

#7793 requested to show just CPU time, but for some tasks, e.g. for evaluation of (speculative) scheduling algorithms, it is necessary to view wall time and RAM in addition. Moreover, at the moment for verification unknowns even CPU time isn't shown.


Related issues

Related to Klever - Bug #8532: Do not filter out rows in tables that have not attribute values when ordering by those attributesClosed2017-10-302017-12-19

Related to Klever - Bug #8534: Strange exception during uploading verification unknown reportClosed2017-10-31

Blocks Klever - Feature #6614: Intellectual schedulingClosed2016-01-29

History

#1 Updated by Vladimir Gratinskiy over 1 year ago

  • Due date set to 10/27/2017
  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Implemented in feature_8489.

#2 Updated by Evgeny Novikov over 1 year ago

  • Status changed from Resolved to Open
First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than useful-progress. Also I have minor notes:
  • When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.
  • If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:
    |    Verifiers    |
    +-----------+-----+
    |  CPU time | RAM |
    
  • Rename "cpu" to "CPU" and "memory" to "RAM".

#3 Updated by Vladimir Gratinskiy over 1 year ago

Evgeny Novikov wrote:

First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than useful-progress. Also I have minor notes:
  • When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.

The same is for already existing order by attribute - reports without attribute are not shown. I'm not going to fix it in this branch now.

  • If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:
    [...]
  • Rename "cpu" to "CPU" and "memory" to "RAM".

Ok.

#4 Updated by Evgeny Novikov over 1 year ago

Vladimir Gratinskiy wrote:

Evgeny Novikov wrote:

First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than useful-progress. Also I have minor notes:
  • When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.

The same is for already existing order by attribute - reports without attribute are not shown. I'm not going to fix it in this branch now.

I opened a separate issue, #8532.

  • If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:
    [...]
  • Rename "cpu" to "CPU" and "memory" to "RAM".

Ok.

Let's also show all verifier resources by default in all report tables. I am not sure that it is very necessary to allow to hide just some of them, say, to show just verifiers CPU time and RAM. But if this won't be hard, this will be welcome.

#5 Updated by Vladimir Gratinskiy over 1 year ago

  • Status changed from Open to Resolved

Titles fixed.

#6 Updated by Evgeny Novikov over 1 year ago

  • Status changed from Resolved to Closed

Looks great. I merged the branch to master in 35aeb4ef.

Also available in: Atom PDF