«as-if» 태그된 질문

제목에서 알 수 있듯이 "as-if"규칙은 정확히 무엇입니까? 일반적인 대답은 다음과 같습니다. 프로그램의 관찰 가능한 동작을 변경하지 않는 모든 코드 변환을 허용하는 규칙 때때로 우리는이 규칙에 기인하는 특정 구현에서 동작을 계속 얻습니다. 여러 번 잘못되었습니다. 이 규칙은 정확히 무엇입니까? 표준은이 규칙을 섹션이나 단락으로 명확하게 언급하지 않습니다. 그렇다면 정확히이 규칙의 범위에 속하는 …

89 c++  c  optimization  c++-faq  as-if 

cppreference.com 의 설명서std::memory_order 에는 완화 된 주문의 예가 ​​있습니다. 편안한 주문 태그 memory_order_relaxed가 지정된 원자 작업 은 동기화 작업이 아닙니다. 동시 메모리 액세스간에 순서를 부과하지 않습니다. 원 자성 및 수정 순서 일관성 만 보장합니다. 예를 들어 x와 y가 처음에 0 인 경우 // Thread 1: r1 = y.load(std::memory_order_relaxed); // A …

13 c++  multithreading  c++11  language-lawyer  as-if