Page MenuHomeSoftware Heritage

model: Replace attrs-strict with stricter validation
ClosedPublic

Authored by vlorentz on Sep 24 2021, 2:26 PM.

Details

Summary

This reimplements attrs_strict.type_validator(), using type equality
instead of isinstance.

This makes my checksum validation script (that mostly just instantiates
model objects, computes a checksum, then discard) run twice as fast.

I'm reusing the exception from attrs_strict for compatibility with
existing code that might rely on it. (Though I don't think there's any).

If you're fine with this diff in principle, I'll add tests for this
new type checker.

Diff Detail

Repository
rDMOD Data model
Branch
attrs-stricter
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 24036
Build 37503: Phabricator diff pipeline on jenkinsJenkins console · Jenkins
Build 37502: arc lint + arc unit

Event Timeline

Build is green

Patch application report for D6341 (id=23056)

Rebasing onto e30eb7d291...

Current branch diff-target is up to date.
Changes applied before test
commit 9318d3b15096e349c43bf0650e4641eae0a0e06e
Author: Valentin Lorentz <vlorentz@softwareheritage.org>
Date:   Fri Sep 24 14:24:36 2021 +0200

    model: Replace attrs-strict with stricter validation
    
    This reimplements attrs_strict.type_validator(), using type equality
    instead of isinstance.
    
    This makes my checksum validation script (that mostly just instantiates
    model objects, computes a checksum, then discard) run twice as fast.

See https://jenkins.softwareheritage.org/job/DMOD/job/tests-on-diff/393/ for more details.

olasd added inline comments.
swh/model/model.py
136

Looks fine to me, but it needs some extensive tests indeed.

swh/model/model.py
95

we kind of need it

Out of curiosity, why?

101

Why origin not in (Union,) instead of origin is not Union ?

121

Might be useful to ad a comment on why there is nothing related to standard dict, maybe.

swh/model/model.py
95

directory entry permissions.

I guess we could add a converter from DentryPerms to int though.

101

I expected I would need more when writing it, but it turns out I don't

vlorentz marked 4 inline comments as done.
  • add extensive testing
  • remove special-casing of IntEnum and add converter for Directory.perms
  • replace origin not in (Union,)
  • fix a typo (raise False)
  • add comment explaining why we don't check for dict and list

Build is green

Patch application report for D6341 (id=23119)

Rebasing onto e30eb7d291...

Current branch diff-target is up to date.
Changes applied before test
commit 734b0812c165892039b2a9bc74e51a29e21fb0f9
Author: Valentin Lorentz <vlorentz@softwareheritage.org>
Date:   Fri Sep 24 14:24:36 2021 +0200

    model: Replace attrs-strict with stricter validation
    
    This reimplements attrs_strict.type_validator(), using type equality
    instead of isinstance.
    
    This makes my checksum validation script (that mostly just instantiates
    model objects, computes a checksum, then discard) run twice as fast.

See https://jenkins.softwareheritage.org/job/DMOD/job/tests-on-diff/394/ for more details.

Test coverage looks fairly complete, thx

This revision is now accepted and ready to land.Sep 29 2021, 10:45 AM