Google ໄດ້ເລີ່ມເປີດການຈັດຕັ້ງປະຕິບັດຮູບແບບການໄຫຼ M:N

ກູໂກ ແນະນໍາ ສໍາລັບການລວມຢູ່ໃນ Linux kernel ຊຸດທໍາອິດຂອງ patches ທີ່ມີການປະຕິບັດອົງປະກອບທີ່ຈໍາເປັນເພື່ອຮັບປະກັນການເຮັດວຽກຂອງ M: N threading model. ຂໍ້ລິເລີ່ມຂອງ Google ແມ່ນກ່ຽວຂ້ອງກັບການເປີດ API ທີ່ພັດທະນາຢູ່ຫລັງປະຕູປິດ ສະຫຼັບໄປ ສໍາລັບ Linux kernel, ເຊິ່ງສະຫນອງລະບົບຍ່ອຍຫຼາຍກະທູ້ທີ່ປະຕິບັດໃນພື້ນທີ່ຜູ້ໃຊ້ທີ່ໃຊ້ຮູບແບບ M: N threading. ລະບົບຍ່ອຍຖືກໃຊ້ໂດຍ Google ເພື່ອໃຫ້ບໍລິການທີ່ຕ້ອງການຄວາມລ່າຊ້າໜ້ອຍທີ່ສຸດ. ການກໍານົດເວລາແລະການຄຸ້ມຄອງການແຈກຢາຍກະທູ້ແມ່ນປະຕິບັດທັງຫມົດໃນພື້ນທີ່ຂອງຜູ້ໃຊ້, ເຊິ່ງສາມາດຫຼຸດລົງຢ່າງຫຼວງຫຼາຍຂອງສະຫຼັບສະພາບການໂດຍການຫຼຸດຜ່ອນການປະຕິບັດການໂທລະບົບ.

ເພື່ອຮັບປະກັນການເຮັດວຽກຂອງລະບົບຍ່ອຍນີ້, SwitchTo API ໄດ້ຖືກປະຕິບັດຢູ່ໃນລະດັບ Linux kernel, ສະເຫນີສາມການດໍາເນີນງານພື້ນຖານ - ລໍຖ້າ, ສືບຕໍ່ແລະ swap (ສະຫຼັບ). ສໍາລັບການລວມຢູ່ໃນ kernel, ລະຫັດສໍາລັບການດໍາເນີນການ FUTEX_SWAP ໃຫມ່ແມ່ນສະເຫນີ, ເສີມ. FUTEX_WAIT ແລະ FUTEX_WAKE, ແລະສະຫນອງກອບສໍາລັບການກໍ່ສ້າງຫ້ອງສະຫມຸດພື້ນທີ່ຜູ້ໃຊ້ຫຼາຍກະທູ້. FUTEX_SWAP ຍັງສາມາດຖືກນໍາໃຊ້ເພື່ອສົ່ງຂໍ້ຄວາມລະຫວ່າງຫນ້າວຽກ, ຄ້າຍຄືກັບ RPC. ຕົວຢ່າງເຊັ່ນ, ໃນປະຈຸບັນ, ເພື່ອໂອນຂໍ້ຄວາມລະຫວ່າງວຽກງານ, ຕ້ອງມີຢ່າງຫນ້ອຍສີ່ການໂທໄປຫາ FUTEX_WAIT ແລະ FUTEX_WAKE, ໃນຂະນະທີ່ການນໍາໃຊ້ FUTEX_SWAP ຈະຊ່ວຍໃຫ້ການດໍາເນີນການຫນຶ່ງສໍາເລັດໄວຂຶ້ນ 5-10 ເທົ່າ.

ໃນປັດຈຸບັນ, ຮູບແບບການໄຫຼ 1: 1 ແລະ N: 1 ສ່ວນໃຫຍ່ແມ່ນຖືກນໍາໃຊ້ໃນການປະຕິບັດ. ຮູບແບບ 1: 1 ຖືກນໍາໃຊ້ໃນ NPTL (ກະທູ້ POSIX) ແລະ LinuxThreads, ແລະຫມາຍເຖິງການສ້າງແຜນທີ່ໂດຍກົງຂອງກະທູ້ພື້ນທີ່ຜູ້ໃຊ້ກັບຫົວຂໍ້ (ຫນ່ວຍງານຂອງການກໍານົດເວລາການປະຕິບັດ) ໃນລະດັບ kernel. ຮູບແບບ N:1 ຖືກຈັດຕັ້ງປະຕິບັດໃນ GNU Pth, ເອົາການກໍານົດເວລາ thread ກັບ user-space ແລະອະນຸຍາດໃຫ້ N user-space threads ຜູກມັດກັບ thread ດຽວໃນ kernel, ໂດຍທີ່ kernel ຮູ້ກ່ຽວກັບ user-threads.

ຂໍ້ເສຍຫຼັກຂອງແບບຈໍາລອງ 1:1 ແມ່ນການປ່ຽນບໍລິບົດອັນໃຫຍ່ຫຼວງລະຫວ່າງ kernel ແລະພື້ນທີ່ຜູ້ໃຊ້. ຮູບແບບ N:1 ແກ້ໄຂບັນຫານີ້, ແຕ່ສ້າງໃຫມ່ - ເນື່ອງຈາກ thread ໃນ kernel ເປັນຫນ່ວຍງານການກໍານົດເວລາການປະຕິບັດທີ່ບໍ່ສາມາດແຍກໄດ້, threads ຂອງຜູ້ໃຊ້ທີ່ຖືກຜູກມັດກັບ thread ດຽວໃນ kernel ລະບົບປະຕິບັດການບໍ່ສາມາດຂະຫນາດຂ້າມ CPU cores ແລະຖືກຜູກມັດກັບ. ຫຼັກ CPU ດຽວ.

ຮູບແບບ M:N ເປັນແບບປະສົມ ແລະແກ້ໄຂຂໍ້ເສຍທັງໝົດຂ້າງເທິງໂດຍການສ້າງແຜນທີ່ N userspace threads ກັບ M kernel threads, ທັງການຫຼຸດຜ່ອນການສະຫຼັບສະພາບການ overhead ແລະ scaling ທົ່ວ CPU cores. ລາຄາຂອງທາງເລືອກນີ້ແມ່ນຄວາມສັບສົນອັນໃຫຍ່ຫຼວງຂອງການປະຕິບັດຕົວກໍານົດເວລາກະທູ້ໃນພື້ນທີ່ຂອງຜູ້ໃຊ້ແລະຄວາມຕ້ອງການຂອງກົນໄກການປະສານງານການປະຕິບັດກັບຕົວກໍານົດເວລາແກ່ນ.

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