pid maps: add limited support for updatable maps
- int->pid maps can be fully written, even from scratch, as MutableMapping
- pid->int maps can only be updated for already existing keys, due to the joint effect of binary search and fixed sized-ness
Description
Description
Details
Details
- Provenance
zack Authored on Sep 7 2019, 9:09 AM zack Pushed on Sep 12 2019, 10:04 AM - Differential Revision
- D1970: pid maps: add limited support for updatable maps
- Parents
- rDGRPHaefc4e6a71ac: Graph.java: implement a flyweight copy() method
- Branches
- Unknown
- Tags
- Build Status
Buildable 7772 Build 11178: test-and-build Jenkins