-/* Copyright (c) 2019. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2019-2022. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
inline void acquire()
{
- std::unique_lock<std::mutex> lock(mutex_);
+ std::unique_lock lock(mutex_);
condition_.wait(lock, [this]() { return capa_ > 0; });
--capa_;
}
inline void release()
{
- std::unique_lock<std::mutex> lock(mutex_);
+ std::unique_lock lock(mutex_);
++capa_;
condition_.notify_one();
}