Project

General

Profile

Feature #9089

Investigate whether disabling safe marks matter

Added by Evgeny Novikov 11 months ago. Updated 9 months ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
07/11/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Everybody already forgets the time when associating safe marks were very-very slow even when there were not safe marks at all. Moreover, due to absence of proofs to be analyzed somehow, safe marks are still exotic, that can be useful in quite artificial cases, namely for testing and validation verification jobs that are obviously are out of the normal user workflow. In those days we had to disable safe marks either globally (enabled by default) or per individual verification jobs (also enabled by default). The first option is harmful, so, we will get rid of it soon (#9088). The second one needs some investigation. If highly loaded production servers will not suffer much from enabling safe marks for all verification jobs, we will be able to get rid of it completely.


Related issues

Related to Klever - Feature #9088: Enable safe marks by defaultClosed07/11/2018

Actions

History

#1

Updated by Evgeny Novikov 11 months ago

#2

Updated by Evgeny Novikov 11 months ago

  • Description updated (diff)
#3

Updated by Evgeny Novikov 9 months ago

  • Target version set to 2.0
  • Priority changed from High to Urgent
  • Assignee set to Vladimir Gratinskiy
  • Category set to Bridge

As I see, you removed disabling safe marks at all during #9088. Vladimir, did you investigate how enabling/disabling safe marks influence various operations, like jobs uploading/downloading, when there are many large jobs and various marks?

#4

Updated by Vladimir Gratinskiy 9 months ago

Evgeny Novikov wrote:

As I see, you removed disabling safe marks at all during #9088. Vladimir, did you investigate how enabling/disabling safe marks influence various operations, like jobs uploading/downloading, when there are many large jobs and various marks?

Nope, I can't investigate it without some large jobs for testing.

#5

Updated by Evgeny Novikov 9 months ago

  • Status changed from New to Resolved

Vladimir Gratinskiy wrote:

Evgeny Novikov wrote:

As I see, you removed disabling safe marks at all during #9088. Vladimir, did you investigate how enabling/disabling safe marks influence various operations, like jobs uploading/downloading, when there are many large jobs and various marks?

Nope, I can't investigate it without some large jobs for testing.

Okay, let's hope that everything will operate quite fast, but if this will not be the case, we will need to quickly re-enable disabling safe marks.

#6

Updated by Evgeny Novikov 9 months ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in b8bda00ac.

Also available in: Atom PDF