diff options
author | Michael Pratt <mpratt@google.com> | 2019-06-21 12:25:24 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2019-06-21 12:26:42 -0700 |
commit | c0317b28cb3f8346ee81564ee477aafdf6283f45 (patch) | |
tree | bb91240172a173aba9ed799deab7026d8e197ee1 /.bazelrc | |
parent | f94653b3dea629f365ce5742b99bbcaa7673ded2 (diff) |
Update pathNode documentation to reflect reality
Neither fidRefs or children are (directly) synchronized by mu. Remove
the preconditions that say so.
That said, the surrounding does enforce some synchronization guarantees
(e.g., fidRef.renameChildTo does not atomically replace the child in the
maps). I've tried to note the need for callers to do this
synchronization.
I've also renamed the maps to what are (IMO) clearer names. As is, it is
not obvious that pathNode.fidRefs is a map of *child* fidRefs rather
than self fidRefs.
PiperOrigin-RevId: 254446965
Diffstat (limited to '.bazelrc')
0 files changed, 0 insertions, 0 deletions