Range of in-progress WUs
log in

Advanced search

Message boards : Wish list : Range of in-progress WUs

Author Message
MaynardVizzutti
Send message
Joined: 18 Apr 15
Posts: 5
Credit: 3,449,520
RAC: 478
Message 20489 - Posted: 1 Jun 2015, 13:12:50 UTC

Hi,

My wish would be a display of the range of numbers in progress at a given time.

By that, I mean the largest number covered by any work unit currently in progress (or even ready-to-send) and also the highest number examined that has no unexamined gaps below it (The contiguous range that is known to contain no counterexamples.)

The reason I ask is that the high-steps pages, while interesting, make it hard to easily see the overall project progress because of uneven delays in execution and validation.

Thanks for your consideration.

Profile Slicker
Volunteer moderator
Project administrator
Project developer
Project tester
Project scientist
Avatar
Send message
Joined: 11 Jun 09
Posts: 2525
Credit: 740,580,099
RAC: 2
Message 20492 - Posted: 1 Jun 2015, 16:59:45 UTC - in response to Message 20489.

Hi,

My wish would be a display of the range of numbers in progress at a given time.

By that, I mean the largest number covered by any work unit currently in progress (or even ready-to-send) and also the highest number examined that has no unexamined gaps below it (The contiguous range that is known to contain no counterexamples.)

The reason I ask is that the high-steps pages, while interesting, make it hard to easily see the overall project progress because of uneven delays in execution and validation.

Thanks for your consideration.


largest: 2,396,744,047,173,444,576,371
highest w/o gaps: 2,394,878,317,251,975,193,715

The following is for myself so when I add it to the daily steps page, I don't need to recreate the queries:

/* Gets max number in progress*/
select name from workunit where id=(select max(workunitid) from result where server_state=4);

/* Gets highest w/o gaps */
select name from workunit where id = (select max(workunitid) from result where server_state=5 and outcome=1 and client_state=5 and workunitid < (select min(workunitid) from result where server_state < 5));

MaynardVizzutti
Send message
Joined: 18 Apr 15
Posts: 5
Credit: 3,449,520
RAC: 478
Message 20496 - Posted: 2 Jun 2015, 2:58:15 UTC - in response to Message 20492.


largest: 2,396,744,047,173,444,576,371
highest w/o gaps: 2,394,878,317,251,975,193,715


That's great, thanks.

Having these updated automatically on, say, the server status page would be just perfect.

Thanks for running the project and entertaining suggestions.


Post to thread

Message boards : Wish list : Range of in-progress WUs


Main page · Your account · Message boards


Copyright © 2018 Jon Sonntag; All rights reserved.