work on acquire/release init/halt