Prophet Synchronization Thread Model and Compiler Support | IEEE Conference Publication | IEEE Xplore