A program is DRF if all its SC executions are DRF. • A memory consistency model supports “SC for DRF programs” if all executions of all DRF programs are SC ...
確定! 回上一頁