Islam AbdelRahman b693ba68b5 Minor PinnedIteratorsManager Refactoring
Summary:
This diff include these simple change
- Rename ReleasePinnedIterators to ReleasePinnedData
- Rename PinIteratorIfNeeded to PinIterator
- Use std::vector directly in PinnedIteratorsManager instead of std::unique_ptr<std::vector>
- Generalize PinnedIteratorsManager by adding PinPtr which can pin any pointer

Test Plan: existing tests

Reviewers: sdong, yiwu, andrewkr

Reviewed By: andrewkr

Subscribers: andrewkr, dhruba

Differential Revision: https://reviews.facebook.net/D61305
2016-08-11 11:54:17 -07:00
..
2016-05-17 13:11:56 -07:00
2016-05-17 13:11:56 -07:00
2016-07-26 11:15:14 -07:00
2016-06-09 19:03:10 -07:00
2016-07-08 17:50:51 -07:00
2016-07-08 17:50:51 -07:00
2016-07-27 18:45:53 -07:00
2016-07-13 15:36:22 -07:00
2016-06-25 08:29:40 +01:00