Patch ທີ່ພິຈາລະນາບໍ່ດີເຮັດໃຫ້ການແກ້ໄຂບໍ່ຄົບຖ້ວນສໍາລັບຊ່ອງໂຫວ່ Spectre ໃນ Linux kernel

ຜູ້ພັດທະນາໂຄງການ Grsecurity ແບ່ງປັນ ນິທານທີ່ລະມັດລະວັງສະແດງໃຫ້ເຫັນວ່າການກໍາຈັດຄໍາເຕືອນ compiler ທີ່ບໍ່ມີຄວາມຄິດສາມາດນໍາໄປສູ່ຄວາມອ່ອນແອໃນລະຫັດ. ໃນທ້າຍເດືອນພຶດສະພາ, ການແກ້ໄຂໄດ້ຖືກສະເຫນີສໍາລັບ Linux kernel ສໍາລັບ vector ໃຫມ່ຂອງການຂຸດຄົ້ນຊ່ອງໂຫວ່ Spectre ໂດຍຜ່ານການໂທຫາລະບົບ ptrace.

ໃນຂະນະທີ່ການທົດສອບ patch, ນັກພັດທະນາໄດ້ສັງເກດເຫັນວ່າໃນເວລາທີ່ການກໍ່ສ້າງ, compiler ສະແດງຄໍາເຕືອນກ່ຽວກັບການປະສົມລະຫັດແລະຄໍານິຍາມ (ໂຄງສ້າງໄດ້ຖືກກໍານົດຫຼັງຈາກລະຫັດ, ກໍານົດຄ່າໃຫ້ກັບຕົວແປທີ່ມີຢູ່ແລ້ວ):

int index = n;
ຖ້າ (n < HBP_NUM) { index = array_index_nospec(index, HBP_NUM); struct perf_event *bp = thread->ptrace_bps[index];

Linus ຍອມຮັບ ການແກ້ໄຂ ເຖິງ​ສາ​ຂາ​ຂອງ​ທ່ານ​, ໄດ້​ຮັບ​ການ​ກໍາ​ຈັດ​ຂອງ​ ຈາກການເຕືອນໂດຍການຍ້າຍຄໍານິຍາມຕົວແປໄປເປັນ if block:

ຖ້າ (n < HBP_NUM) { int index = array_index_nospec(n, HBP_NUM); struct perf_event *bp = thread->ptrace_bps[index];

ໃນເດືອນກໍລະກົດ, ການແກ້ໄຂຍັງຖືກສົ່ງໄປຫາສາຂາແກ່ນແກ່ນທີ່ຫມັ້ນຄົງ 4.4, 4.9, 4.14, 4.19 ແລະ 5.2. ຜູ້ຮັກສາສາຂາທີ່ຫມັ້ນຄົງຍັງພົບກັບຄໍາເຕືອນແລະ, ແທນທີ່ຈະກວດເບິ່ງວ່າມັນໄດ້ຖືກແກ້ໄຂແລ້ວໃນສາຂາຕົ້ນສະບັບຂອງ Linus, ພວກເຂົາໄດ້ແກ້ໄຂດ້ວຍຕົນເອງ. ບັນຫາແມ່ນວ່າໂດຍບໍ່ມີການກໍ່ຄິດກ່ຽວກັບມັນ, ພວກເຂົາພຽງແຕ່ ໂອນ ການກໍານົດໂຄງສ້າງຂຶ້ນ, ດັ່ງນັ້ນການໂທຫາ array_index_nospec, ເຊິ່ງສະຫນອງການປົກປ້ອງໂດຍກົງກັບຄວາມອ່ອນແອ, ບໍ່ໄດ້ຖືກນໍາໃຊ້ອີກຕໍ່ໄປເມື່ອກໍານົດໂຄງສ້າງ, ແລະແທນທີ່ຈະເປັນຕົວແປ "index" ຕົວແປ "n" ແມ່ນໃຊ້ສະເຫມີ:

int index = n;
ຖ້າ (n < HBP_NUM ){ struct perf_event *bp = thread->ptrace_bps[index];
index = array_index_nospec(index, HBP_NUM);

ແຫຼ່ງຂໍ້ມູນ: opennet.ru