A thread facility based on user/kernel cooperation in the XERO operating system | IEEE Conference Publication | IEEE Xplore