Feature #9089
closedInvestigate whether disabling safe marks matter
0%
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.
Updated by Evgeny Novikov over 6 years ago
- Related to Feature #9088: Enable safe marks by default added
Updated by Evgeny Novikov about 6 years ago
- Category set to Bridge
- Assignee set to Vladimir Gratinskiy
- Priority changed from High to Urgent
- Target version set to 2.0
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?
Updated by Vladimir Gratinskiy about 6 years 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.
Updated by Evgeny Novikov about 6 years 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.
Updated by Evgeny Novikov about 6 years ago
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in b8bda00ac.