equal
deleted
inserted
replaced
87 |
87 |
88 char* _last_page_scanned; |
88 char* _last_page_scanned; |
89 char* last_page_scanned() { return _last_page_scanned; } |
89 char* last_page_scanned() { return _last_page_scanned; } |
90 void set_last_page_scanned(char* p) { _last_page_scanned = p; } |
90 void set_last_page_scanned(char* p) { _last_page_scanned = p; } |
91 public: |
91 public: |
92 LGRPSpace(int l, size_t alignment) : _lgrp_id(l), _last_page_scanned(NULL), _allocation_failed(false) { |
92 LGRPSpace(int l, size_t alignment) : _lgrp_id(l), _allocation_failed(false), _last_page_scanned(NULL) { |
93 _space = new MutableSpace(alignment); |
93 _space = new MutableSpace(alignment); |
94 _alloc_rate = new AdaptiveWeightedAverage(NUMAChunkResizeWeight); |
94 _alloc_rate = new AdaptiveWeightedAverage(NUMAChunkResizeWeight); |
95 } |
95 } |
96 ~LGRPSpace() { |
96 ~LGRPSpace() { |
97 delete _space; |
97 delete _space; |