정적 할당과 일정한 작업량

객체 풀은 use-after-free라는 논리 오류를 막지 못하지만, 같은 타입끼리 메모리를 재사용하면 물리적 타입 혼동과 임의 코드 실행 가능성을 대부분 줄일 수 있음 타입 정보를 받는 할당자는 U가 쓰던 메모리를 T에 재사용하지 않는 타입별 풀을 운용해, 일부 메모리 효율을 희생하는 대신 타입 혼동을 완화하고 지역성을 높일 수 있음 정적 할당은 시작할 때 최대 객체 수만큼 메모리를 확보하고 초과 요청을 거부해, 과부하 중 추가 할당이 OOM killer 같은 치명적 장애로 이어지는 상황을 피함 일정한 작업량(Constant Work) 은 빈 슬롯을 중립 상태로 유지하고 항상 전체 집합을 처리해 상태 전이를 명시하며, 최대 부하에서도 성능과 P100 지연시간을 일정하게 유지함 전체 배열 순회는 활성 객체 인덱스 순회보다 벡터화와 CPU 캐시 프리페치에 유리할 수 있지만, 정적 할당과 일정한 작업량이 모든 프로그래밍 문제의 보편적 해법은 아님 객체 풀과 메모리 안전성 malloc과 free로 주문 객체를 관리하면 논리적인 use-after-free가 물리적인 타입 혼동으로 이어질 수 있음 서로 다른 타입의 객체가 같은 메모리 위치를 공유하면 한 객체의 사용자 제어 정수가 다른 객체의 함수 포인터로 해석될 수 있음 이는 임의 코드 실행에 악용할 수 있는 goto 원시 기능이 될 수 있음 T 타입의 죽은 객체를 보관하는 객체 풀에서도 논리적인 use-after-free와 메모리 별칭은 남아 있음 재할당된 슬롯을 오래된 링크가 계속 참조할 수 있음 같은 타입 안에서 메모리를 재사용하므로 일반적으로 타입 혼동은 발생하지 않음 결과가 잘못됐더라도 동작 자체는 정의돼 있고 결정적일 수 있음 객체가 인라인 enum을 포함하면 다른 variant의 바이트를 잘못 읽는 까다로운 문제가 다시 발생할 수 있음 타입별 할당 풀 할당 함수가 타입 소거된 크기와 정렬 대신 T 컴파일 타임 매개변수나 런타임 타입 증표를 받으면, 내부적으로 타입별 풀을 사용할 수 있음 U 타입에서 해제된 메모리를 T 타입에 재사용하지 않음 드문 타입은 전체 메모리 사용량에 큰 영향을 주지 않고, 자주 쓰이는 타입은 같은 타입 안에서 재사용이 많아 메모리 오버헤드가 작을 가능성이 있음 메모리 지역성이 개선될 수 있으며 대부분의 타입 혼동도 막을 수 있음 인라인 enum은 이 방법도 무너뜨리지만, enum variant를 항상 힙에 할당하면 다시 적용 가능함...