ເຟສບຸກເຜີຍແຜ່ Hermit, ເຄື່ອງມືສໍາລັບການປະຕິບັດໂຄງການຊ້ໍາຊ້ອນ

ເຟສບຸກ (ຖືກຫ້າມໃນສະຫະພັນລັດເຊຍ) ເຜີຍແຜ່ລະຫັດສໍາລັບຊຸດເຄື່ອງມື Hermit, ເຊິ່ງສ້າງສະພາບແວດລ້ອມສໍາລັບການປະຕິບັດໂຄງການທີ່ກໍານົດ, ອະນຸຍາດໃຫ້ແລ່ນທີ່ແຕກຕ່າງກັນເພື່ອໃຫ້ໄດ້ຜົນດຽວກັນແລະເຮັດຊ້ໍາການປະຕິບັດໂດຍໃຊ້ຂໍ້ມູນການປ້ອນຂໍ້ມູນດຽວກັນ. ລະຫັດໂຄງການແມ່ນຂຽນໃນ Rust ແລະຖືກແຈກຢາຍພາຍໃຕ້ໃບອະນຸຍາດ BSD.

ໃນລະຫວ່າງການປະຕິບັດແບບປົກກະຕິ, ຜົນໄດ້ຮັບແມ່ນໄດ້ຮັບອິດທິພົນຈາກປັດໃຈທີ່ຫຼາກຫຼາຍ, ເຊັ່ນ: ເວລາປະຈຸບັນ, ການກໍານົດເວລາຂອງກະທູ້, ທີ່ຢູ່ຫນ່ວຍຄວາມຈໍາ virtual, ຂໍ້ມູນຈາກເຄື່ອງກໍາເນີດເລກ pseudorandom, ແລະຕົວກໍານົດທີ່ເປັນເອກະລັກຕ່າງໆ. Hermit ຊ່ວຍໃຫ້ທ່ານສາມາດດໍາເນີນໂຄງການໃນຖັງທີ່ປັດໃຈເຫຼົ່ານີ້ຄົງທີ່ຕະຫຼອດການແລ່ນຕໍ່ໄປ. ການປະຕິບັດແບບຊ້ໍາຊ້ອນ, ເຊິ່ງເຮັດຊ້ໍາຕົວກໍານົດການທີ່ບໍ່ຄົງທີ່ຂອງສະພາບແວດລ້ອມ, ສາມາດນໍາໃຊ້ສໍາລັບການວິນິດໄສຄວາມຜິດພາດ, ການແກ້ບັນຫາຫຼາຍຂັ້ນຕອນດ້ວຍການແລ່ນຊ້ໍາກັນ, ການສ້າງສະພາບແວດລ້ອມຄົງທີ່ສໍາລັບການທົດສອບການຖົດຖອຍ, ການທົດສອບຄວາມກົດດັນ, ການກໍານົດບັນຫາທີ່ມີ multithreading ແລະໃນລະບົບການກໍ່ສ້າງຊ້ໍາກັນ. .

ສະພາບແວດລ້ອມທີ່ສາມາດສືບພັນໄດ້ຖືກສ້າງຂຶ້ນໂດຍການຂັດຂວາງການໂທລະບົບ, ບາງສ່ວນຂອງຖືກແທນທີ່ດ້ວຍຕົວຈັດການຂອງຕົນເອງທີ່ສ້າງຜົນໄດ້ຮັບແບບຖາວອນ, ແລະບາງອັນຖືກໂອນໄປຫາແກ່ນ, ຫຼັງຈາກນັ້ນຜົນໄດ້ຮັບຈະຖືກລຶບລ້າງຂໍ້ມູນທີ່ບໍ່ຄົງທີ່. ເພື່ອຂັດຂວາງການໂທລະບົບ, ກອບ reverie ຖືກນໍາໃຊ້, ລະຫັດທີ່ຖືກເຜີຍແຜ່ໂດຍ Facebook. ເພື່ອປ້ອງກັນການປ່ຽນແປງຂອງລະບົບໄຟລ໌ແລະການຮ້ອງຂໍເຄືອຂ່າຍຈາກຜົນກະທົບຕໍ່ຄວາມຄືບຫນ້າຂອງການປະຕິບັດ, ການປະຕິບັດແມ່ນດໍາເນີນການໂດຍໃຊ້ຮູບພາບ FS ຄົງທີ່ແລະການເຂົ້າເຖິງເຄືອຂ່າຍພາຍນອກຖືກປິດໃຊ້ງານ. ເມື່ອເຂົ້າເຖິງເຄື່ອງສ້າງຕົວເລກ pseudo-random, Hermit ຜະລິດລໍາດັບທີ່ກໍານົດໄວ້ລ່ວງຫນ້າເຊິ່ງຊ້ໍາກັນທຸກຄັ້ງທີ່ມັນຖືກເປີດຕົວ.

ຫນຶ່ງໃນອິດທິພົນຂອງຕົວແປທີ່ສັບສົນທີ່ສຸດຕໍ່ຄວາມຄືບຫນ້າຂອງການປະຕິບັດແມ່ນຕົວກໍານົດການກະທູ້, ພຶດຕິກໍາຂອງມັນຂຶ້ນກັບປັດໃຈພາຍນອກຈໍານວນຫຼາຍ, ເຊັ່ນຈໍານວນຂອງ CPU cores ແລະການປະກົດຕົວຂອງກະທູ້ປະຕິບັດອື່ນໆ. ເພື່ອຮັບປະກັນພຶດຕິກໍາທີ່ຊ້ໍາກັນຂອງຕົວກໍານົດເວລາ, ກະທູ້ທັງຫມົດຖືກປະຕິບັດຢ່າງຕໍ່ເນື່ອງໂດຍການເຊື່ອມຕໍ່ພຽງແຕ່ຫນຶ່ງ CPU core ແລະຮັກສາຄໍາສັ່ງທີ່ການຄວບຄຸມໄດ້ຖືກໂອນໄປຫາກະທູ້. ແຕ່ລະກະທູ້ໄດ້ຖືກອະນຸຍາດໃຫ້ປະຕິບັດຈໍານວນຄໍາແນະນໍາຄົງທີ່, ຫຼັງຈາກນັ້ນການປະຕິບັດຢຸດເຊົາແລະຖືກໂອນໄປຫາກະທູ້ອື່ນ (ເພື່ອຈໍາກັດ CPU PMU (ຫນ່ວຍຕິດຕາມກວດກາການປະຕິບັດ), ເຊິ່ງຢຸດເຊົາການປະຕິບັດຫຼັງຈາກຈໍານວນສາຂາທີ່ມີເງື່ອນໄຂ).

ເພື່ອວິນິດໄສບັນຫາກ່ຽວກັບກະທູ້ເນື່ອງຈາກສະພາບເຊື້ອຊາດ, Hermit ມີໂຫມດສໍາລັບການກໍານົດການດໍາເນີນງານທີ່ຄໍາສັ່ງປະຕິບັດແມ່ນບໍ່ມີຄໍາສັ່ງແລະນໍາໄປສູ່ການປິດຜິດປົກກະຕິ. ເພື່ອກໍານົດບັນຫາດັ່ງກ່າວ, ການປຽບທຽບແມ່ນປະກອບດ້ວຍລັດທີ່ການປະຕິບັດທີ່ຖືກຕ້ອງແລະການຢຸດເຊົາການປະຕິບັດທີ່ຜິດປົກກະຕິໄດ້ຖືກບັນທຶກໄວ້.

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