SPTDC 2020 - ໂຮງຮຽນທີສາມກ່ຽວກັບການປະຕິບັດແລະທິດສະດີຂອງຄອມພິວເຕີ້ແຈກຢາຍ

ທິດສະດີແມ່ນເວລາທີ່ທ່ານຮູ້ທຸກສິ່ງທຸກຢ່າງແຕ່ບໍ່ມີຫຍັງເຮັດວຽກ.
ການປະຕິບັດແມ່ນໃນເວລາທີ່ທຸກສິ່ງທຸກຢ່າງເຮັດວຽກແຕ່ບໍ່ມີໃຜຮູ້ວ່າເປັນຫຍັງ.
ໃນ​ລະ​ບົບ​ການ​ແຈກ​ຢາຍ​, ທິດສະດີແລະການປະຕິບັດແມ່ນລວມກັນ:
ບໍ່ມີຫຍັງເຮັດວຽກແລະບໍ່ມີໃຜຮູ້ວ່າເປັນຫຍັງ.

ເພື່ອພິສູດວ່າເລື່ອງຕະຫລົກໃນ epigraph ແມ່ນຄວາມໂງ່ຈ້າຢ່າງແທ້ຈິງ, ພວກເຮົາຖື SPTDC (ໂຮງຮຽນການປະຕິບັດແລະທິດສະດີຂອງຄອມພິວເຕີ້ແຈກຢາຍ) ເປັນຄັ້ງທີສາມ. ພວກເຮົາໄດ້ປຶກສາຫາລືກ່ຽວກັບປະຫວັດສາດຂອງໂຮງຮຽນ, ຜູ້ຮ່ວມກໍ່ຕັ້ງ Pyotr Kuznetsov ແລະ Vitaly Aksyonov, ເຊັ່ນດຽວກັນກັບການມີສ່ວນຮ່ວມຂອງກຸ່ມ JUG Ru ໃນການຈັດຕັ້ງ SPTDC. ບອກ ສຸດ Habre. ດັ່ງນັ້ນ, ມື້ນີ້ພວກເຮົາເວົ້າກ່ຽວກັບໂຮງຮຽນໃນປີ 2020, ກ່ຽວກັບການບັນຍາຍແລະນັກບັນຍາຍ, ເຊັ່ນດຽວກັນກັບຄວາມແຕກຕ່າງລະຫວ່າງໂຮງຮຽນແລະກອງປະຊຸມ.

ໂຮງຮຽນ SPTDC ຈະຈັດຂຶ້ນໃນລະຫວ່າງວັນທີ 6 ຫາ 9 ກໍລະກົດ 2020 ທີ່ Moscow.

ການບັນຍາຍທັງໝົດຈະເປັນພາສາອັງກິດ. ຫົວຂໍ້ຕົ້ນຕໍຂອງການບັນຍາຍ: ຄອມພິວເຕີ້ພ້ອມກັນຢ່າງຕໍ່ເນື່ອງ, ເຄື່ອງມືການເຂົ້າລະຫັດລັບສໍາລັບລະບົບການແຈກຢາຍ, ວິທີການທີ່ເປັນທາງການເພື່ອກວດສອບການເປັນເອກະສັນກັນ, ຄວາມສອດຄ່ອງໃນລະບົບຂະຫນາດໃຫຍ່, ການຮຽນຮູ້ເຄື່ອງຈັກແບບແຈກຢາຍ.

ເຈົ້າເດົາທັນທີບໍວ່າຕົວລະຄອນໃນຮູບແມ່ນທະຫານອັນດັບໃດ? ຂ້ອຍ​ແພງ​ເຈົ້າ.

ບັນຍາຍ ແລະບັນຍາຍ

Nir Shavit (Nir Shavit) - ອາຈານຂອງ MIT ແລະມະຫາວິທະຍາໄລ Tel Aviv, ຜູ້ຮ່ວມຂຽນຫນັງສືທີ່ຍິ່ງໃຫຍ່ ສິລະປະຂອງການຂຽນໂປລແກລມ Multiprocessor, ເຈົ້າຂອງ ລາງວັນ Dijkstra ສໍາ​ລັບ​ການ​ພັດ​ທະ​ນາ​ແລະ​ການ​ປະ​ຕິ​ບັດ​ ຫນ່ວຍຄວາມຈໍາການເຮັດທຸລະກໍາຊອບແວ (STM) ແລະ ລາງວັນ Gödel ສໍາລັບການເຮັດວຽກຂອງລາວກ່ຽວກັບການນໍາໃຊ້ topology algebraic ກັບການສ້າງແບບຈໍາລອງຂອງຄອມພິວເຕີ້ຫນ່ວຍຄວາມຈໍາທີ່ໃຊ້ຮ່ວມກັນ, ຜູ້ຮ່ວມກໍ່ຕັ້ງຂອງບໍລິສັດ Neural Magic, ເຊິ່ງສ້າງ algorithms ການຮຽນຮູ້ເຄື່ອງຈັກໄວສໍາລັບ CPU ທໍາມະດາ, ແລະ, ແນ່ນອນ, ມີຂອງຕົນເອງ ໜ້າວິກິພີເດຍ ດ້ວຍການຖ່າຍຮູບທີ່ໜ້າລັງກຽດ. Nir ໄດ້ເຂົ້າຮ່ວມໃນໂຮງຮຽນຂອງພວກເຮົາແລ້ວໃນປີ 2017, ບ່ອນທີ່ທ່ານໄດ້ໃຫ້ພາບລວມຂອງເຕັກນິກການສະກັດກັ້ນ (ສ່ວນ 1, ສ່ວນ 2). ພວກເຮົາຍັງບໍ່ຮູ້ວ່າ Nir ຈະເວົ້າກ່ຽວກັບຫຍັງໃນປີນີ້, ແຕ່ພວກເຮົາຫວັງວ່າຈະມີຂ່າວຈາກວິທະຍາສາດຊັ້ນນໍາ.


Michael Scott (Michael Scott) - ນັກຄົ້ນຄວ້າທີ່ ມະຫາວິທະຍາໄລ Rochester, ຮູ້ຈັກກັບນັກພັດທະນາ Java ທັງຫມົດເປັນຜູ້ສ້າງ ສູດການຄິດໄລ່ທີ່ບໍ່ປິດກັ້ນ ແລະຄິວ synchronous ຈາກ Java Standard Library. ແນ່ນອນ, ດ້ວຍລາງວັນ Dijkstra ສໍາລັບການພັດທະນາ ສູດການຄິດໄລ່ synchronization ສໍາລັບຄອມພິວເຕີ້ຫນ່ວຍຄວາມຈໍາທີ່ໃຊ້ຮ່ວມກັນ ແລະເປັນເຈົ້າຂອງ ໜ້າວິກິພີເດຍ. ປີທີ່ຜ່ານມາ, Michael ໄດ້ໃຫ້ຄໍາບັນຍາຍຢູ່ໂຮງຮຽນຂອງພວກເຮົາກ່ຽວກັບໂຄງສ້າງຂໍ້ມູນທີ່ບໍ່ມີການຂັດຂວາງ (ສ່ວນ 1, ສ່ວນ 2). ປີນີ້ ລາວ ຈະບອກ ກ່ຽວ​ກັບ​ການ​ນໍາ​ໃຊ້​ໂຄງ​ການ​ ໜ່ວຍຄວາມຈຳທີ່ບໍ່ປ່ຽນແປງ (NVM), ເຊິ່ງຊ່ວຍຫຼຸດຜ່ອນຄວາມຊັບຊ້ອນຂອງໂປຣແກມ ແລະ ໜ່ວຍຄວາມຈຳເທິງຫົວເມື່ອປຽບທຽບກັບໜ່ວຍຄວາມຈຳການເຂົ້າເຖິງແບບສຸ່ມ “ປົກກະຕິ” (DRAM).


ໄປ Keidar (Idit Keidar) - ອາຈານຢູ່ Technion ແລະເຈົ້າຂອງ ດັດຊະນີ Hirsch ປະມານ 40 (ຊຶ່ງຫຼາຍ, ພິຈາລະນາຫຼາຍ) ສໍາລັບ ສອງຮ້ອຍບົດຄວາມວິທະຍາສາດ ໃນພາກສະຫນາມຂອງຄອມພິວເຕີ້ແຈກຢາຍ, multithreading ແລະຄວາມທົນທານຕໍ່ຄວາມຜິດ. Idit ເຂົ້າຮ່ວມໃນໂຮງຮຽນຂອງພວກເຮົາຄັ້ງທໍາອິດ, ບ່ອນທີ່ນາງ ຈະໃຫ້ການບັນຍາຍ ກ່ຽວ​ກັບ​ດ້ານ​ພື້ນ​ຖານ​ຂອງ​ການ​ດໍາ​ເນີນ​ງານ​ຂອງ​ການ​ເກັບ​ຮັກ​ສາ​ຂໍ້​ມູນ​ທີ່​ແຜ່​ກະ​ຈາຍ​: emulation ຄວາມ​ຊົງ​ຈໍາ​ທີ່​ແຈກ​ຢາຍ​, ການ​ພັດ​ທະ​ນາ​ຄວາມ​ເປັນ​ເອ​ກະ​ພາບ​ແລະ​ການ​ປ່ຽນ​ແປງ​ການ​ຕັ້ງ​ຄ່າ​.


ໂຣດຣິໂກ ໂຣດຣິໂກ (Rodrigo Rodrigues) - ອາຈານຂອງ Técnico, ສະມາຊິກຂອງຫ້ອງທົດລອງ. INESC-ID ແລະຜູ້ຂຽນ ວຽກຄົ້ນຄ້ວາ ໃນຂົງເຂດລະບົບການແຈກຢາຍ. ປີນີ້ຢູ່ໂຮງຮຽນຂອງພວກເຮົາ Rodrigo ຈະບອກ ກ່ຽວ​ກັບ​ຄວາມ​ສອດ​ຄ່ອງ​ແລະ​ການ​ໂດດ​ດ່ຽວ​ໃນ​ຮ້ານ​ຂໍ້​ມູນ​ທີ່​ແຈກ​ຢາຍ​, ແລະ​ຍັງ​ຈະ​ວິ​ເຄາະ​ການ​ນໍາ​ໃຊ້​ ທິດສະດີ CAP ຄວາມ​ເປັນ​ໄປ​ໄດ້​ໃນ​ການ​ປະ​ຕິ​ບັດ​ຂອງ​ຫຼາຍ​ແບບ​ຂອງ​ຄວາມ​ສອດ​ຄ່ອງ​ແລະ​ການ​ໂດດ​ດ່ຽວ​.


Chen Jing (Jing Chen) - ອາ​ຈານ​ຢູ່​ມະ​ຫາ​ວິ​ທະ​ຍາ​ໄລ​ແຫ່ງ​ລັດ​ນິວ​ຢອກ​ທີ່ Stony Brook​, ຜູ້​ຂຽນ​ ວຽກຄົ້ນຄ້ວາ ໃນຂົງເຂດຂອງ blockchain ແລະເປັນນັກວິທະຍາສາດຊັ້ນນໍາໃນ Algorand - ບໍລິສັດແລະແພລະຕະຟອມ blockchain ທີ່ໃຊ້ວິທີການເປັນເອກະສັນກັນໂດຍອີງໃສ່ທັງຫມົດ ຫຼັກຖານສະແດງຫຼັກຫມັ້ນ. ປີນີ້ຢູ່ໂຮງຮຽນຂອງພວກເຮົາ, Chen ຈະເວົ້າກ່ຽວກັບ Algorand blockchain ແລະວິທີການເພື່ອບັນລຸຄຸນສົມບັດທີ່ຫນ້າສົນໃຈຂອງມັນ: ຄວາມຕ້ອງການຕ່ໍາກ່ຽວກັບຊັບພະຍາກອນຄອມພິວເຕີ້ເຄືອຂ່າຍ, ຄວາມເປັນໄປໄດ້ຂອງການແບ່ງປັນປະຫວັດສາດການເຮັດທຸລະກໍາແລະການຮັບປະກັນການສໍາເລັດການເຮັດທຸລະກໍາຫຼັງຈາກທີ່ມັນຖືກເພີ່ມເຂົ້າໃນ blockchain.


ຄຣິສຕຽນ ຄາຊິນ (Christian Cachin) ເປັນສາດສະດາຈານຢູ່ມະຫາວິທະຍາໄລ Bern, ຫົວຫນ້າກຸ່ມຄົ້ນຄ້ວາໃນຂົງເຂດການປົກປ້ອງຂໍ້ມູນ, ຜູ້ຂຽນຮ່ວມກັນຂອງປື້ມ "ແນະນຳກ່ຽວກັບໂປຣແກຣມແຈກຢາຍທີ່ເຊື່ອຖືໄດ້ ແລະປອດໄພ", ນັກພັດທະນາເວທີ blockchain ຜ້າ Hyperledger (ມີ​ເຖິງ​ແມ່ນ​ວ່າ​ມີ​ການ​ສົນ​ທະ​ນາ​ກ່ຽວ​ກັບ​ນາງ​ ໂພດໃນ Habre) ແລະ​ຜູ້​ຂຽນ​ ວຽກຄົ້ນຄ້ວາ ໃນຂົງເຂດການເຂົ້າລະຫັດລັບແລະຄວາມປອດໄພໃນລະບົບແຈກຢາຍ. ປີນີ້ຢູ່ໂຮງຮຽນຂອງພວກເຮົາຄຣິສຕຽນ ຈະໃຫ້ການບັນຍາຍ ຊຸດສີ່ສ່ວນກ່ຽວກັບເຄື່ອງມືການເຂົ້າລະຫັດລັບສໍາລັບຄອມພິວເຕີ້ທີ່ແຈກຢາຍ: ການເຂົ້າລະຫັດລັບແບບສົມມາດແລະຄວາມບໍ່ສົມມາດ, ເຊັ່ນດຽວກັນກັບ ການເຂົ້າລະຫັດລັບທີ່ໃຊ້ຮ່ວມກັນ, ຕົວເລກ pseudorandom ແລະ ການຜະລິດຕົວເລກແບບສຸ່ມທີ່ຢັ້ງຢືນໄດ້.


Marko Vukolić (Marko Vukolic) - ນັກຄົ້ນຄວ້າທີ່ IBM Research, ຜູ້ຂຽນ ເຮັດວຽກ ໃນ blockchain ແລະຜູ້ພັດທະນາ Hyperledger Fabric. ພວກເຮົາຍັງບໍ່ຮູ້ວ່າ Marco ຈະເວົ້າກ່ຽວກັບຫຍັງຢູ່ໃນໂຮງຮຽນຂອງພວກເຮົາໃນປີນີ້, ແຕ່ພວກເຮົາຫວັງວ່າພວກເຮົາຈະຮຽນຮູ້ກ່ຽວກັບການພັດທະນາໃຫມ່ຫຼ້າສຸດຂອງລາວໃນພາກສະຫນາມຂອງ blockchain: ການຄົ້ນຄວ້າ ການເສື່ອມສະພາບປະສິດທິພາບ ແຈກຢາຍອະນຸສັນຍາທີ່ເປັນເອກະສັນກັນຢູ່ໃນກຸ່ມຂອງເຄື່ອງຈັກເຖິງ 100 ເຄື່ອງ, ອອກອາກາດ ອະນຸສັນຍາ Mir ກັບ​ຄໍາ​ສັ່ງ​ໃນ​ທົ່ວ​ໂລກ​ແລະ​ ຄວາມທົນທານຕໍ່ຄວາມຜິດຂອງ Byzantine ຫຼື blockchain ບໍ່ມີຕັນ StreamChain, ຫຼຸດຜ່ອນເວລາດໍາເນີນທຸລະກໍາ.


Prasad Jayanti (Prasad Jayanti) ເປັນສາດສະດາຈານຢູ່ວິທະຍາໄລ Dartmouth, ຫນຶ່ງໃນຊັ້ນສູງ ໄອວີລີກ, ແລະຜູ້ຂຽນ ວຽກຄົ້ນຄ້ວາ ໃນພາກສະຫນາມຂອງສູດການຄິດໄລ່ຫຼາຍກະທູ້. ປີນີ້ຢູ່ໂຮງຮຽນ Prasad ຂອງພວກເຮົາ ຈະໃຫ້ການບັນຍາຍ ກ່ຽວກັບການ synchronization thread ແລະ algorithms ສໍາລັບການປະຕິບັດທາງເລືອກຕ່າງໆ mutex: ມີຫນ້າທີ່ຂັດຂວາງຫຼືຟື້ນຟູໃນແບບຈໍາລອງຫນ່ວຍຄວາມຈໍາທີ່ບໍ່ມີການລະເຫີຍ, ເຊັ່ນດຽວກັນກັບການດໍາເນີນງານການອ່ານແລະຂຽນແຍກຕ່າງຫາກ.


Alexey Gotsman (Alexey Gotsman) - ອາຈານຢູ່ IMDEA ແລະຜູ້ຂຽນ ວຽກຄົ້ນຄ້ວາ ໃນພາກສະຫນາມຂອງການກວດສອບຊອບແວຂອງ algorithms. ພວກເຮົາຍັງບໍ່ຮູ້ວ່າ Alexey ຈະບັນຍາຍກ່ຽວກັບຫຍັງຢູ່ໃນໂຮງຮຽນຂອງພວກເຮົາໃນປີນີ້, ແຕ່ພວກເຮົາກໍາລັງນັບຢູ່ໃນຫົວຂໍ້ທີ່ຕັດກັນຂອງການກວດສອບຊອບແວແລະລະບົບແຈກຢາຍ.

ເປັນຫຍັງບ່ອນນີ້ຈຶ່ງເປັນໂຮງຮຽນ ແລະບໍ່ແມ່ນກອງປະຊຸມ?

ກ່ອນອື່ນ ໝົດ, ອາຈານເວົ້າໃນຮູບແບບທາງວິຊາການແລະການບັນຍາຍໃຫຍ່ແຕ່ລະຄັ້ງແມ່ນໃຫ້ສອງຄູ່: "ຫນຶ່ງຊົ່ວໂມງເຄິ່ງ - ພັກຜ່ອນ - ອີກຫນຶ່ງຊົ່ວໂມງເຄິ່ງ." ຫຼາຍປີຫຼັງຈາກມະຫາວິທະຍາໄລ, ດ້ວຍນິໄສຂອງການນໍາສະເຫນີກອງປະຊຸມຍາວຊົ່ວໂມງແລະວິດີໂອ YouTube 10 ນາທີ, ນີ້ອາດຈະເປັນເລື່ອງຍາກ. ນັກບັນຍາຍທີ່ດີຈະເຮັດໃຫ້ສາມຊົ່ວໂມງທັງຫມົດທີ່ຫນ້າສົນໃຈ, ແຕ່ທຸກຄົນມີຄວາມຮັບຜິດຊອບຕໍ່ຄວາມຫນາແຫນ້ນຂອງສະຫມອງຂອງຕົນເອງ.

ຄໍາ​ແນະ​ນໍາ​ທີ່​ເປັນ​ປະ​ໂຫຍດ​: ການ​ປະ​ຕິ​ບັດ​ກ່ຽວ​ກັບ​ການ​ບັນ​ທຶກ​ວິ​ດີ​ໂອ​ຂອງ​ການ​ບັນ​ຍາຍ​ໂຮງ​ຮຽນ​ໃນ​ 2017 ປີ ແລະໃນ 2019 ປີ. Goodbye work - ສະບາຍດີນາຍພົນ Byzantine.

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

ຄໍາແນະນໍາທີ່ເປັນປະໂຫຍດ: ຊອກຫາເອກະສານການຄົ້ນຄວ້າໂດຍອາຈານຂອງໂຮງຮຽນກ່ຽວກັບ ກູໂກສົນທະນາ и arXivorg. ຖ້າເຈົ້າມັກອ່ານເອກະສານວິທະຍາສາດ, ເຈົ້າຈະມັກໂຮງຮຽນຄືກັນ.

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

ຄໍາແນະນໍາທີ່ເປັນປະໂຫຍດ: ກວດເບິ່ງໂຄງການກອງປະຊຸມ Hydra ແລະພິຈາລະນາເຂົ້າຮ່ວມກອງປະຊຸມອື່ນຫຼັງຈາກໂຮງຮຽນ. ມັນຈະເປັນອາທິດທີ່ດີ.

ໄປໂຮງຮຽນໄດ້ແນວໃດ?

• ຂຽນວັນທີ 6 ຫາ 9 ກໍລະກົດ 2020 ໃນປະຕິທິນຂອງເຈົ້າ (ຫຼືດີກວ່າ, ວັນທີ 11 ກໍລະກົດ, ດັ່ງນັ້ນເຈົ້າສາມາດໄປປະຊຸມ Hydra ຫຼັງຈາກໂຮງຮຽນ).
• ເອົາໃຈ, ກຽມພ້ອມ.
• ເລືອກປີ້ ແລະໄປໂຮງຮຽນ.

ແຫຼ່ງຂໍ້ມູນ: www.habr.com