study of mutex under xen