A highly available job execution service in computational service market