Lines Matching refs:Monitor
39 static void VerifyMonitor(Monitor* mon, Thread* self) {
40 // Check whether the monitor id is correct.
42 // Check whether the monitor id agrees with the compuation.
44 // Check whether we can use the monitor ID to get the monitor.
49 std::vector<Monitor*> monitors;
55 // Note: for correct testing, make sure this is corresponding to monitor-pool's initial size.
74 Monitor* mon = MonitorPool::CreateMonitor(self, self, nullptr, static_cast<int32_t>(i));
79 // Release a random monitor.
81 Monitor* mon = monitors[index];
84 // Recheck the monitor.
97 Monitor* mon = MonitorPool::CreateMonitor(self, self, nullptr,
105 for (Monitor* mon : monitors) {
111 // Release a random monitor.
113 Monitor* mon = monitors[index];
121 for (Monitor* mon : monitors) {
