새로운 할당 오버 플로우에서 코드 기반을 통해 다중 할당자를 사용하는 방법으로 할당 방법을 전환하는 방법을 연구했습니다. 그러나 여러 할당자를 효율적으로 사용하려면 어떻게해야합니까? 내 연구를 통해 고안 할 수있는 유일한 방법은 할당자를 전역으로 만드는 것이 었습니다. 이것은 많은 전역 변수를 사용하는 것이 일반적으로 "나쁜 생각"이기 때문에 문제가있는 것으로 보입니다.다중 할당자를 효율적으로 사용하기
여러 할당자를 효율적으로 사용하는 방법을 찾고 있습니다. 예를 들어, 특정 서브 시스템에만 하나의 할당자를 사용하고 다른 서브 시스템에 대해 다른 할당자를 사용할 수 있습니다. 이 작업을 수행 할 수있는 유일한 방법이 여러 개의 전역 할당자를 사용하는 것이 아닌지 잘 모르겠습니다. 따라서 더 나은 통찰력과 디자인을 기대합니다.
C++ 2003에서는 할당 기 모델이 손상되어 실제로 적절한 해결책이 없습니다. C++ 2011의 경우 할당 자 모델은 고정되어 있으며 포함 된 객체로 전파되는 인스턴스 할당 자당 가질 수 있습니다 (물론 대체하지 않는 경우 제외). 일반적으로 이것이 유용하기 위해서는 아마도 기본값 인 std::allocator<T>이 필요하지 않은 동적 인 다형성 할당 자 유형을 사용하고 싶을 것입니다 (그리고 더 나은 구현 선택 일지 모르지만 일반적으로 동적 인 다형성이 아닐 것으로 기대합니다). 그러나 메모리 할당을 수행하는 표준 C++ 라이브러리의 모든 클래스는 템플릿 인수로 할당 자 유형을 취하는 템플릿입니다 (예 : IOStream은 예외이지만 일반적으로 할당 자 지원 추가를 보증하기 위해 메모리 양은 할당하지 않습니다)).
귀하의 의견에 따라 할당자가 효과적으로 글로벌해야 할 것이라고 주장하고 있습니다. 그것은 정확하지 않습니다. 각 할당 자 인식 형은 주어진 할당 자의 복사본을 저장합니다 (적어도 인스턴스 수준의 데이터를 가지고있는 경우, 그렇지 않은 경우에는 operator new() 및 operator delete()을 사용하는 기본 할당자가있는 것처럼 저장하지 않습니다) . 이것은 객체를 사용하는 액티브 할당자가있는 한 객체에 주어진 할당 메카니즘을 고수해야 함을 의미한다. 이 은 일 수 있지만 전역 개체를 사용하여 수행 할 수 있습니다. 참조 카운팅 또는 할당자를 주어진 모든 객체를 포함하는 객체와 연관시키는 것. 예를 들어, XML, Excel, Pages, 어떤 구조 파일이라도 생각하는 각 "문서"가 할당자를 구성원에게 전달하면 할당자는 문서의 구성원으로 살며 문서가 파괴 된 후 문서가 파괴되면 파괴 될 수 있습니다 . 할당 자 모델의이 부분은 할당 자 인수를 취하는 한 pre-C++ 2011 클래스에서도 작동해야합니다. 그러나 사전 C++ 2011 클래스에서 할당자는 포함 된 객체로 전달되지 않습니다. 예를 들어, 할당자를 std::vector<std::string>으로 지정하면 C++ 2011 버전은 에 할당 된 할당자를 사용하여 std::string을 적절하게 처리하여 std::string을 생성합니다.이것은 C++ 2011 이전 할당 자에게는 발생하지 않습니다.
실제로 서브 시스템에서 할당자를 사용하려면 함수 및/또는 클래스에 대한 인수로 명시 적으로 전달하거나 컨텍스트로 사용되는 할당 자 인식 객체를 통해 암시 적으로 전달해야합니다. 예를 들어 표준 컨테이너 중 하나를 컨텍스트로 전달하는 경우 [get_allocator()] 메서드를 사용하여 사용 된 할당자를 얻을 수 있습니다.
매우 흥미 롭습니다. 나는 레퍼런스 카운팅을 생각하지 않았습니다. 내 자신의 할당자를 생성 할 것이므로 weak_reference와 같은 것을 상속 받아 참조 계산을 허용해야합니까? – chadb
개인적으로, 나는'std :: shared_ptr
new 배치를 사용할 수 있습니다. 이것은 메모리 영역을 지정하거나 유형의 static void* operator new(ARGS)을 오버로드하는 데 사용할 수 있습니다. 효율성이 중요하고 문제가 까다로운 경우에는 전역이 필요하지 않으며 실제로는 나쁜 아이디어입니다. 물론 하나 이상의 할당자를 붙잡을 필요가 있습니다.
가장 좋은 방법은 프로그램의 패턴과 실제 사용 패턴을 기반으로 할당자를위한 전략을 세우는 것입니다. 일반적인 용도 인 malloc은 기능이 뛰어나므로 항상이를 측정 할 하나의 기준으로 사용하십시오. 사용 패턴을 모르는 경우 할당자는 malloc보다 느립니다.
표준 컨테이너에 대해 전역 또는 스레드 로컬 및 사용자 지정 할당자를 사용하지 않는 한 많은 경우 이러한 용도가 표준 컨테이너와의 호환성을 잃게됩니다. 대안은 할당 자와 컨테이너를 직접 작성하는 것입니다.
할당자는 어떻게해야합니까? 당신은 그들이 글로벌이 아니어야한다고 언급했으나 그 당시에는 어디에 있어야할까요? (또한 나는 이미 내 자신의 표준 컨테이너와의 호환성에 관심이 없다.) – chadb
@chadb 문제에 따라 다릅니다. 멤버 참조 (예 : 참조 횟수 할당) 및 외부 참조 (예 : 노드가 모두 하나의 할당 자에 의해 관리되는 그래프의 할당 자)를 사용합니다. 스레드 로컬 데이터 할당 자 (스레드 또는 그 데이터에 의해 액세스 됨)는 다른 접근법이지만,이 경우 외부 참조를 선호합니다. – justin
특히 전체 시스템 (루트가 싱글 톤이 아님)에 사용되는 할당 자의 경우는 어떻습니까? 그 순간 제가 사용하는 주요 사용 사례 인 것처럼 보입니다. 제가 믿기로하는 기명 포스트에서 언급했듯이. 할당자를 어디에 저장할 것입니까? 전 세계적인 사건 외에는 어떤 사건도 생각할 수 없습니다. – chadb
다중 할당 자에 대한 일부 용도로는 CPU 사용 감소, 단편화 감소 및 캐시 미스 감소가 있습니다. 따라서 솔루션은 실제로 어떤 유형 및 할당 병목 현상이 있는지에 따라 다릅니다.
활성 스레드에 대한 잠금없는 힙을 사용하여 동기화를 제거함으로써 CPU 사용률이 향상됩니다. 이것은 스레드 로컬 저장소를 사용하는 메모리 할당 자에서 수행 할 수 있습니다.
서로 다른 힙에서 할당 된 수명이 다른 할당을 사용하면 조각화 효과가 향상됩니다. 사용자 활성 작업과 별도의 힙에 백그라운드 ioio를 할당하면 두 가지가 서로 혼동되지 않도록 할 수 있습니다. 이 기능은 힙에 대해 스택을 사용하고 다른 기능 범위에있을 때 밀어 넣기/팝하는 방식으로 수행됩니다.
캐시 누락은 시스템 내의 할당을 함께 유지함으로써 향상됩니다. Quadtree/Octree 할당을 자신의 힙에서 가져 오면보기 절두체 쿼리에서 지역성이 보장됩니다. 이것은 특정 클래스 (OctreeNode)에 대해 operator new 및 operator delete를 오버로드하여 수행하는 것이 가장 좋습니다.
아마, 오해의 여지가 있지만, 제 질문은 주로 여러 할당자를 사용하는 방법입니다. 이유는 아닙니다. – chadb
왜 할당자가 전역 적이어야합니까? 할당 된 각 유닛이 자신의 할당 자에 대한 참조를 가지고있어 올바르게 해제 될 수 있다면, 할당 자의 실제 위치는 중요합니까? –
할당자는 어디에서 할당 된 단위를 떠나겠습니까? 그것은 마치 세계화 되어야만하는 것처럼 보일 것입니다. – chadb