Page MenuHomePhabricator

Consolidate readers of "differential.revisionID" property
ClosedPublic

Authored by epriestley on Apr 23 2019, 5:28 PM.
Tags
None
Referenced Files
F14079038: D20468.diff
Fri, Nov 22, 6:28 AM
Unknown Object (File)
Mon, Nov 18, 2:57 AM
Unknown Object (File)
Fri, Nov 8, 9:59 PM
Unknown Object (File)
Fri, Nov 8, 9:17 PM
Unknown Object (File)
Fri, Oct 25, 8:40 AM
Unknown Object (File)
Thu, Oct 24, 9:24 AM
Unknown Object (File)
Oct 18 2024, 8:40 AM
Unknown Object (File)
Oct 13 2024, 11:59 PM
Subscribers
None

Details

Summary

Depends on D20467. Ref T13277. Currently, the "MessageParserWorker" writes this property on commits, then Herald and Audit both read it.

Make them share code so this property has one writer and one reader. This property isn't great, but at least now the badness is hidden.

Currently, we can't just use edges because they may not have been written yet. I am likely to just do this, soon:

  • Just write the edges (in "MessageParserWorker").
  • Hide the edges from mail.

However, we'll sort-of lose the "revisionMatchData" explanation thing if I do that. Maybe this is fine? But when commits match because hashes match, it legitimately isn't obvious.

For now, just reduce the amount of harm/badness here.

Test Plan
  • Ran bin/repository reparse --publish ....
  • Ran a Herald "Audit" rule using the "Accepted Differential revision" field.

Diff Detail

Repository
rP Phabricator
Branch
audit11
Lint
Lint Passed
Unit
Tests Passed
Build Status
Buildable 22747
Build 31189: Run Core Tests
Build 31188: arc lint + arc unit

Event Timeline

The "how do we store this data" question kind of relates back to T13056. This is a case where we have edge-like data (Commit Has Related Revision) but we also have metadata (why the two are associated). This currently isn't stored as edge data, but a possibly cleaner approach would be:

  • The "MessageParserWorker" writes these edges, with explanations in edge data.
  • Audit/Herald can then read these edges without worrying about parse sequence issues.
  • The UI can show "commit X is linked to revision Y because reason Z".

One reason not to do this is that I'd like to get rid of edge data (T13056). There are almost no remaining readers or writers of edge data, and essentially all historical use cases eventually outgrew edge data into a separate table.

Maybe "object relationships" should not be edges. Arguments for moving them to something else:

  • We could store this metadata on a "Relationship" object. Particularly, the useful metadata here is "Commit X has related revision Y because commit X has hash Q, and related revision Y also has a diff with hash Q". This is not obvious from context.
  • The "Relationship" object could enforce T3577, where we want to let revision X have exactly one type of relationship to task Y, i.e. it can't have both a "fixes" and a "reopens" relationship.
  • We could do drive "Fixes" in the commit pipeline using an "uncommitted relationship" edge or similar which would respect web UI edits, rather than parsing magic strings from commit messages.

Arguments against:

  • These relationships sure are a whole lot like edges.

I guess I lean slightly toward maybe moving these to some other datastore, but hopefully not in the scope of this set of changes.

One note here is that HeraldPreCommitContentAdapter has some similar logic, although it's more low-level.

amckinley added inline comments.
src/applications/diffusion/herald/HeraldCommitAdapter.php
206–207

Move this comment to loadRevisionForCommit?

This revision is now accepted and ready to land.May 1 2019, 1:58 PM

The comment is pretty specific to Herald (where $viewer is omnipotent) and loadRevisionForCommit() has other callers where $viewer is legitimate, so I think moving the comment would reduce clarity on the balance. But let me update it a little bit, since it's less clear now than it was before.

Specifically, the attack this comment is describing is this:

  • You do not have permission to see D123.
  • You want to learn about D123.
  • You write an "if any condition matches" Herald rule using every "Related revision..." field, matching against an impossible value, with "Do Nothing" as an action.
  • You push a commit containing Differential Revision: https://.../D123.
  • You review the transcript for the commit.

This discloses some information about the revision, even though you can not see it. Today, it discloses:

  • The existence of the revision.
  • The accepted state of the revision.
  • The build state of the revision.
  • Packages affected by the revision.
  • Reviewers on the revision.
  • Subscribers on the revision.

This is a nontrivial amount of leaked information, and this is not information which we let you learn in other ways.

For now, we accept that this is reasonable: none of this information is that interesting, and you have to jump through a lot of hoops and leave a lot of evidence to get it.

I think the only "fix" for this issue would be to have a rule like "a commit may only be associated with objects that the user who pushed it can see", but this can't realistically be a default rule since it won't work with observed repositories.

  • Clarify the comment.
  • Adjust the cache behavior slightly.