AMPI datatypes: CkDDT_Struct ignores member trueLB; negative extents from Type_create_resized can terminate the program

Đang mở
  • Có gì không ổn?
#4,100 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
45/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
cpp
Lĩnh vực
backend, hpc

Hướng nghiên cứu

Start in src/libs/ck-libs/ampi/ddt.C and read the CkDDT_Struct true lower bound calculation and the scan code changed in #4085. Reproduce the nested vector case with a negative displacement, then check MPI_Type_get_true_extent and scan buffer bounds; also try a resized datatype with a negative extent and count of at least two. Done when true lower bounds include member types and the negative-extent case no longer terminates the program.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

Split out of #4072 (from Aditya's re-review of #4085; pre-existing on recharm, not fixed). Both in src/libs/ck-libs/ampi/ddt.C.

  1. CkDDT_Struct takes trueLB from the block displacements only and ignores each member type's own trueLB: struct{(0, 1, vector(2,1,-1,MPI_INT))} reports trueLB 0 but the vector writes at offset -4. MPI_Type_get_true_extent reports the same wrong value, and the scan (which since #4085 sizes its buffers from trueLB) writes just before its buffer for such types.
  2. Negative extents from MPI_Type_create_resized can terminate the program: with count >= 2 the scan's span count * max(extent, trueExtent) can be negative, std::vector throws, and the throw happens inside a noexcept function.

Related: #4085 (scan family).

Ngôn ngữ chính
C++
Star
241
Fork
62
Merge trung bình
1 ngày 1 giờ
Pull request đã merge (30 ngày)
121

Chuẩn bị môi trường

Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của charmplusplus/charm

Tất cả issue của charmplusplus/charm

Issue tương tự

Thêm issue về C++

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.