Lưu ý
Mục đích của file này là để độc giả tiếng Việt có thể đọc và hiểu tài liệu nhân kernel dễ dàng hơn, không phải để tạo ra một nhánh tài liệu riêng. Nếu bạn có bất kỳ nhận xét hoặc cập nhật nào cho file này, vui lòng thử cập nhật file tiếng Anh gốc trước. Nếu bạn thấy có sự khác biệt giữa bản dịch và bản gốc, hoặc có vấn đề về bản dịch, vui lòng gửi góp ý hoặc patch cho người dịch của file này, hoặc nhờ người bảo trì và người review tài liệu tiếng Việt giúp đỡ.
- Bản gốc:
- Người dịch:
Google Translate (machine translation)
- Phiên bản gốc:
8541d8f725c6
Cảnh báo
Tài liệu này được dịch tự động bằng máy và chưa được review bởi người dịch. Nội dung có thể không chính xác hoặc khó hiểu ở một số chỗ. Khi có sự khác biệt với bản gốc, bản gốc luôn là chuẩn. Bản dịch chất lượng cao (được review) được đặt trong thư mục vi_VN/.
24. Giảm thiểu lấy mẫu dữ liệu vi kiến trúc (MDS)¶
24.1. Tổng quan¶
Lấy mẫu dữ liệu vi kiến trúc (MDS) là một nhóm các cuộc tấn công kênh bên trên bộ đệm bên trong trong CPU Intel. Các biến thể là:
Lấy mẫu dữ liệu bộ đệm cửa hàng vi kiến trúc (MSBDS) (CVE-2018-12126)
Lấy mẫu dữ liệu bộ đệm điền vi kiến trúc (MFBDS) (CVE-2018-12130)
Lấy mẫu dữ liệu cổng tải vi kiến trúc (MLPDS) (CVE-2018-12127)
Lấy mẫu dữ liệu vi kiến trúc Bộ nhớ không thể lưu vào bộ nhớ đệm (MDSUM) (CVE-2019-11091)
MSBDS rò rỉ các mục nhập bộ đệm lưu trữ có thể được chuyển tiếp theo suy đoán tới một tải phụ thuộc (chuyển tiếp từ cửa hàng sang tải) dưới dạng tối ưu hóa. Tiền đạo cũng có thể xảy ra do lỗi hoặc hỗ trợ hoạt động tải cho một thiết bị khác địa chỉ bộ nhớ, có thể bị khai thác trong những điều kiện nhất định. cửa hàng bộ đệm được phân vùng giữa các Siêu luồng để việc chuyển tiếp luồng chéo được thực hiện không thể được. Nhưng nếu một luồng đi vào hoặc thoát khỏi trạng thái ngủ thì cửa hàng bộ đệm được phân vùng lại có thể hiển thị dữ liệu từ luồng này sang luồng khác.
MFBDS rò rỉ các mục điền vào bộ đệm. Bộ đệm điền được sử dụng nội bộ để quản lý L1 bỏ lỡ các tình huống và giữ dữ liệu được trả về hoặc gửi để phản hồi vào bộ nhớ hoặc thao tác I/O. Bộ đệm điền có thể chuyển tiếp dữ liệu tới một tải hoạt động và cũng ghi dữ liệu vào bộ nhớ đệm. Khi bộ đệm điền được bị hủy phân bổ, nó có thể giữ lại dữ liệu cũ của các hoạt động trước đó sau đó có thể được chuyển tiếp đến hoạt động tải bị lỗi hoặc hỗ trợ, có thể được khai thác trong những điều kiện nhất định. Bộ đệm điền được chia sẻ giữa Siêu luồng nên có thể xảy ra rò rỉ luồng chéo.
MLPDS rò rỉ dữ liệu cổng tải. Cổng tải được sử dụng để thực hiện các hoạt động tải từ bộ nhớ hoặc I/O. Dữ liệu nhận được sau đó được chuyển tiếp đến thanh ghi tập tin hoặc một hoạt động tiếp theo. Trong một số triển khai, Cổng tải có thể chứa dữ liệu cũ từ hoạt động trước đó có thể được chuyển tiếp tới sự cố hoặc hỗ trợ tải trong các điều kiện nhất định, một lần nữa có thể cuối cùng bị lợi dụng. Các cổng tải được chia sẻ giữa các Siêu luồng nên có thể xảy ra rò rỉ ren.
MDSUM là trường hợp đặc biệt của MSBDS, MFBDS và MLPDS. Tải không thể lưu vào bộ nhớ đệm từ bộ nhớ gặp lỗi hoặc hỗ trợ có thể để lại dữ liệu ở dạng vi kiến trúc cấu trúc mà sau này có thể được quan sát bằng cách sử dụng một trong những phương pháp tương tự được sử dụng bởi MSBDS, MFBDS hoặc MLPDS.
24.2. Giả định phơi nhiễm¶
Giả định rằng mã tấn công nằm trong không gian người dùng hoặc trong khách có một ngoại lệ. Cơ sở lý luận đằng sau giả định này là cấu trúc mã cần thiết để khai thác MDS yêu cầu:
để kiểm soát tải để kích hoạt lỗi hoặc hỗ trợ
- để có một tiện ích tiết lộ giúp hiển thị thông tin được truy cập theo suy đoán
dữ liệu để tiêu thụ thông qua một kênh bên.
- để điều khiển con trỏ qua đó tiện ích tiết lộ hiển thị thông tin
dữ liệu
Sự tồn tại của cấu trúc như vậy trong kernel không thể bị loại trừ bằng Chắc chắn 100%, nhưng sự phức tạp liên quan khiến điều đó cực kỳ khó xảy ra.
Có một ngoại lệ, đó là BPF không đáng tin cậy. Chức năng của BPF không đáng tin cậy có hạn chế nhưng cần được điều tra kỹ lưỡng liệu nó có thể được sử dụng để tạo ra một cấu trúc như vậy hay không.
24.3. Chiến lược giảm thiểu¶
Tất cả các biến thể đều có cùng một chiến lược giảm thiểu ít nhất là cho một chiếc CPU trường hợp luồng (tắt SMT): Buộc CPU xóa bộ đệm bị ảnh hưởng.
Điều này đạt được bằng cách sử dụng VERW chưa được sử dụng và lỗi thời hướng dẫn kết hợp với cập nhật vi mã. Vi mã xóa bộ đệm CPU bị ảnh hưởng khi lệnh VERW được thực thi.
Để ảo hóa, có hai cách để đạt được bộ đệm CPU thanh toán bù trừ. Lệnh VERW đã sửa đổi hoặc thông qua L1D Flush lệnh. Cái sau được phát hành khi kích hoạt giảm thiểu L1TF để bổ sung VERW có thể tránh được. Nếu CPU không bị ảnh hưởng bởi L1TF thì VERW cần phải được ban hành.
Nếu lệnh VERW với đối số bộ chọn phân đoạn được cung cấp là được thực thi trên CPU mà không cập nhật vi mã, không có tác dụng phụ ngoại trừ một số lượng nhỏ các chu trình CPU bị lãng phí một cách vô nghĩa.
Điều này không bảo vệ chống lại các cuộc tấn công Hyper-Thread chéo ngoại trừ MSBDS chỉ có thể khai thác được qua Siêu luồng khi một trong các Siêu luồng đi vào trạng thái C.
Hạt nhân cung cấp một chức năng để gọi việc xóa bộ đệm:
x86_clear_cpu_buffers()
Ngoài ra, macro CLEAR_CPU_BUFFERS có thể được sử dụng trong ASM muộn trong đường dẫn thoát tới người dùng. Ngoài CFLAGS.ZF, macro này không ghi đè bất kỳ thanh ghi nào.
Việc giảm nhẹ được thực hiện trên kernel/userspace, hypervisor/guest và C-state (nhàn rỗi) chuyển tiếp.
Là một cách giải quyết đặc biệt để giải quyết các tình huống ảo hóa trong đó máy chủ có vi mã đã được cập nhật, nhưng trình ảo hóa không (chưa) hiển thị MD_CLEAR CPUID bit cho khách, kernel đưa ra lệnh VERW trong hy vọng rằng nó thực sự có thể xóa bộ đệm. Trạng thái được phản ánh tương ứng.
Theo kiến thức hiện tại, các biện pháp giảm thiểu bổ sung bên trong kernel bản thân nó không bắt buộc vì các tiện ích cần thiết để lộ thông tin bị rò rỉ dữ liệu không thể được kiểm soát theo cách cho phép khai thác từ các phần mềm độc hại không gian người dùng hoặc khách VM.