-/* Copyright (c) 2012-2018. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2012-2019. 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. */
bool locked = false;
smx_actor_t owner = nullptr;
// List of sleeping processes:
- simgrid::simix::SynchroList sleeping;
+ simgrid::kernel::actor::SynchroList sleeping;
// boost::intrusive_ptr<Mutex> support:
friend void intrusive_ptr_add_ref(MutexImpl* mutex)
delete mutex;
}
- simgrid::s4u::Mutex& mutex() { return mutex_; }
+ simgrid::s4u::Mutex& mutex() { return piface_; }
private:
std::atomic_int_fast32_t refcount_{1};
- simgrid::s4u::Mutex mutex_;
+ simgrid::s4u::Mutex piface_;
};
}
}