Object oriented implementations for user space futex under jfpu namespace