Encapsulated synchronization and load-balance in heterogeneous programming