«memory-model» 태그된 질문

C ++ 11은 표준화 된 메모리 모델을 도입했지만 정확히 무엇을 의미합니까? 그리고 C ++ 프로그래밍에 어떤 영향을 미치나요? Herb Sutter 를 인용 한 Gavin Clarke 의이 기사 는 다음과 같이 말합니다. 메모리 모델은 C ++ 코드에 컴파일러를 만든 사람과 실행중인 플랫폼에 관계없이 호출 할 표준화 된 라이브러리가 있음을 의미합니다. 다른 …

1894 c++  multithreading  c++11  language-lawyer  memory-model 

나는 최근에 일의 정의되지 않은 동작에 질문에 대답 한 p < q경우 C에서 p와 q다른 개체 / 배열에 대한 포인터이다. C ++ <은이 경우 와 동일한 (정의되지 않은) 동작을 하지만 포인터를 비교할 수있을 때 std::less와 동일한 것을 반환하고 <할 수없는 경우 일관된 순서 를 반환하는 표준 라이브러리 템플릿 을 제공합니다 …

26 c  pointers  undefined-behavior  memory-model  memory-segmentation 

방법을 이해하려고 노력하는 동안 SubmissionPublisher( 자바 SE (10), 오픈 JDK 소스 코드 | 문서 ), 버전 9에서 자바 SE에 추가 된 새로운 클래스가 구현 된, 나는에 몇 가지 API 호출을 우연히 발견 VarHandle나는 이전에 인식되지 않았습니다 : fullFence, acquireFence, releaseFence, loadLoadFence와 storeStoreFence. 특히 기억 장벽 / 울타리의 개념에 관한 연구를 …

18 java  concurrency  memory-barriers  memory-model  java-memory-model 

C11 표준의 5.1.2.4 섹션, 특히 Release / Acquire의 의미론으로 어려움을 겪고 있습니다. 나는주의 https://preshing.com/20120913/acquire-and-release-semantics/ (다른 사람의 사이가) 그 상태 : ... 릴리스 시맨틱은 프로그램 순서에서 선행하는 읽기 또는 쓰기 조작으로 쓰기 릴리스의 메모리 순서가 변경되지 않도록합니다. 따라서 다음을 위해 typedef struct test_struct { _Atomic(bool) ready ; int v1 ; int …

10 c  x86-64  memory-barriers  memory-model  stdatomic 

C ++ 초안 표준에서는 "강하게 발생합니다"라는 문구가 여러 번 사용되었습니다. 예 : 종료 [basic.start.term] / 5 std :: atexit ([support.start.term] 참조)를 호출하기 전에 정적 저장 기간이있는 객체의 초기화 완료가 강력하게 발생하면 함수 호출이 std :: atexit에 전달되었습니다. 객체의 소멸자를 호출하기 전에 시퀀스됩니다. 정적 저장 시간으로 객체의 초기화가 완료되기 전에 std …

9 c++  multithreading  language-lawyer  memory-model  happens-before