Mae'n Leslie Lamport yw awdur gweithiau arloesol mewn cyfrifiadura dosranedig, a gallwch hefyd ei adnabod wrth y llythrennau La yn y gair LaTeX - "Lamport TeX". Ef a gyflwynodd y cysyniad gyntaf, yn ôl ym 1979 , a'i erthygl wedi derbyn Gwobr Dijkstra (yn fwy manwl gywir, yn 2000 galwyd y wobr yn ei hen ffordd: “PODC Influential Paper Award”). Mae amdano , lle gallwch chi gael rhai dolenni mwy diddorol. Os ydych chi'n gyffrous am ddatrys problemau ar ddigwydd-cyn neu (BFT), yna mae'n rhaid i chi ddeall bod Lamport y tu ôl i hyn i gyd.
Bydd hefyd yn fuan yn dod i'n cynhadledd newydd ar gyfrifiadura ddosbarthedig - Hydra, a gynhelir ar Orffennaf 11-12 yn St Petersburg. Gawn ni weld pa fath o anifail ydy hwn.
Hydra2019
Mae pynciau fel aml-edau ymhlith y rhai mwyaf poblogaidd yn ein cynadleddau, a fu erioed. Dim ond yn awr yr ystafell hon yn anghyfannedd, ond yna mae person yn ymddangos ar y llwyfan yn siarad am y model cof, yn digwydd-cyn neu gasglu garbage aml-edau a - ffyniant! — eisoes mae tua mil o bobl yn meddiannu'r holl le sydd ar gael i eistedd i lawr a gwrando'n ofalus. Beth yw hanfod y llwyddiant hwn? Efallai ei fod oherwydd bod gennym ni i gyd ryw fath o galedwedd wrth law a all drefnu cyfrifiadura dosranedig? Neu ai ein bod yn isymwybodol yn deall ein hanallu i'w lwytho fel y mae'n ei haeddu? Mae stori go iawn am un swm o St Petersburg (hynny yw, dadansoddwr a datblygwr meintiol ariannol), a gafodd ei hun â chlwstwr cyfrifiadurol yn ei feddiant, a dim ond ef yn unig y gallai ei bŵer llawn ei ddefnyddio. Beth fyddech chi'n ei wneud pe bai gennych y gallu i gyflawni'ch tasgau a oedd lawer gwaith yn fwy nag ydyw ar hyn o bryd?
Oherwydd y fath boblogrwydd, mae pwnc cynhyrchiant a chyfrifiadura effeithlon yn tueddu i ledaenu ar draws agenda’r gynhadledd. Faint o'r ddau ddiwrnod o adroddiadau y gellir eu gwneud am berfformiad - traean, dwy ran o dair? Mewn rhai mannau mae cyfyngiadau artiffisial sy'n cyfyngu ar y twf hwn: yn ogystal â pherfformiad, mae'n rhaid bod lle o hyd i fframweithiau gwe newydd, ar gyfer rhyw fath o ddevops neu astronautics pensaernïol. Na, perfformiad, fyddwch chi ddim yn ein bwyta ni i gyd yn gyfan!
Neu gallwch fynd i'r gwrthwyneb, rhoi'r gorau iddi a gwneud cynhadledd a fydd yn ymwneud yn gyfan gwbl â chyfrifiadura gwasgaredig a dim ond amdanyn nhw. A dyma hi, Hydra.
Gadewch i ni yn onest cyfaddef bod heddiw holl gyfrifiadau yn cael eu dosbarthu mewn un ffordd neu'r llall. P'un a yw'n beiriant aml-graidd, yn glwstwr cyfrifiadurol, neu'n wasanaeth dosbarthedig ar raddfa fawr, mae yna lawer o brosesau ym mhobman sy'n gwneud cyfrifiadau annibynnol yn gyfochrog, gan gydamseru â'i gilydd. Bydd Hydra yn canolbwyntio ar sut mae hyn yn gweithio mewn theori a sut mae'n gweithio'n ymarferol.
Rhaglen y gynhadledd
Mae'r rhaglen yn ei chyfnod ffurfio ar hyn o bryd. Dylai gynnwys adroddiadau gan sylfaenwyr damcaniaethau systemau gwasgaredig a pheirianwyr sy'n gweithio gyda nhw wrth gynhyrchu.
Er enghraifft, mae cyfranogiad Leslie Lamport o Microsoft Research a Maurice Herlihy o Brifysgol Brown eisoes yn hysbys.
Maurice Herlihy - Athro Cyfrifiadureg enwog ac uchel ei barch, mae yna wybodaeth amdano hefyd , lle gallwch bori trwy ddolenni a gweithiau. Yno gallwch sylwi ar ddwy wobr Dijkstra, y cyntaf am waith arno , a'r ail, yn fwy diweddar - . Gyda llaw, nid yw'r cysylltiadau hyd yn oed yn arwain at SciHub, ond i Brifysgol Brown a Phrifysgol Virginia Tech, gallwch chi agor a darllen.
Mae Maurice yn mynd i gynnal cyweirnod o’r enw “Blockchains o safbwynt cyfrifiadura gwasgaredig.” Os oes gennych ddiddordeb, gallwch edrych ar y recordiad o adroddiad Maurice o JUG St. Gwerthuswch pa mor glir a dealladwy y mae'n cyfleu'r testun.
Bydd yr ail gyweirnod o'r enw “Strwythurau Data Deuol” yn darllen Michael Scott o Brifysgol Rochester. A dyfalu beth - mae ganddo hefyd ei ben ei hun . Gartref yn Wisconsin, mae'n adnabyddus am ei waith fel deon ym Mhrifysgol Wisconsin-Madison, ac yn y byd ef yw'r dyn a ddatblygodd, ynghyd â Doug Lea, yr algorithmau di-rwystro a'r ciwiau cydamserol y mae llyfrgelloedd Java arnynt. gwaith. Derbyniodd ei Wobr Dijkstra dair blynedd ar ôl Herlihy, am ei waith “Algorithmau ar gyfer cydamseru graddadwy ar amlbroseswyr cof a rennir” (yn ôl y disgwyl, yn llyfrgell ar-lein Prifysgol Rochester).
Mae llawer o amser o hyd tan ganol mis Gorffennaf. Byddwn yn dweud wrthych am weddill y siaradwyr a'u pynciau wrth i ni fireinio'r rhaglen a dod yn nes at fis Gorffennaf.
Yn gyffredinol, mae'r cwestiwn yn codi - pam ydyn ni'n gwneud Hydra yn yr haf? Wedi'r cyfan, dyma'r tymor isel, gwyliau. Y broblem yw bod yna athrawon prifysgol ymhlith y siaradwyr, ac mae unrhyw adeg arall yn brysur iddyn nhw. Yn syml, ni allem ddewis dyddiadau eraill.
Parthau trafod
Mewn cynadleddau eraill, mae'n digwydd bod y siaradwr yn darllen yr hyn yr oedd angen iddo ac yn gadael ar unwaith. Nid oes gan y cyfranogwyr hyd yn oed amser i chwilio amdano - wedi'r cyfan, mae'r adroddiad nesaf yn dechrau bron heb egwyl. Mae hyn yn boenus iawn, yn enwedig os yw pobl bwysig fel Lamport, Herlihy a Scott yn bresennol, a'ch bod mewn gwirionedd yn mynd i'r gynhadledd dim ond i gwrdd â nhw a thrafod rhywbeth.
Rydym wedi datrys y broblem hon. Yn syth ar ôl ei adroddiad, mae'r siaradwr yn mynd i faes trafod arbennig, wedi'i gyfarparu ag o leiaf fwrdd gwyn gyda marciwr, ac mae gennych chi gryn dipyn o amser. Yn ffurfiol, mae'r siaradwr yn addo bod yno o leiaf yn ystod yr egwyl gyfan rhwng cyflwyniadau. Mewn gwirionedd, mae'r meysydd trafod hyn Gall ymestyn am oriau ar ddiwedd (yn dibynnu ar awydd a dygnwch y siaradwr).
O ran Lamport, os deallaf yn iawn, mae am argyhoeddi cymaint o bobl â phosibl hynny - mae hyn yn beth da. (). Efallai y bydd hwn yn gyfle da i beirianwyr ddysgu rhywbeth newydd a defnyddiol. Mae Leslie yn cynnig yr opsiwn hwn - gall y rhai sydd â diddordeb wylio ei ddarlithoedd yn y gorffennol a dod â chwestiynau. Hynny yw, yn lle cyweirnod, gallai fod sesiwn Holi ac Ateb arbenigol, ac yna hefyd ardal drafod. Fe wnes i ychydig o googling a dod o hyd i un gwych. (a alwyd yn swyddogol ) a darlith awr o hyd o Uwchgynhadledd Cyfadran Microsoft.
Os oeddech chi'n gweld yr holl bobl hyn fel enwau wedi'u castio mewn gwenithfaen o Wicipedia ac ar gloriau llyfrau, mae'n bryd cwrdd â nhw yn bersonol! Sgwrsiwch a gofynnwch gwestiynau na fydd tudalennau erthyglau gwyddonol yn eu hateb, ond bydd eu hawduron yn hapus i gysylltu â nhw.
Galwad am Bapurau
Nid yw'n gyfrinach nad yw llawer o'r rhai sydd bellach yn darllen yr erthygl yn amharod i ddweud rhywbeth eithaf diddorol wrthym. O safbwynt peirianneg, o safbwynt gwyddonol - o unrhyw safbwynt. Mae cyfrifiadura gwasgaredig yn bwnc eang a dwfn iawn lle mae lle i bawb.
Os ydych chi eisiau cystadlu ochr yn ochr â Lamport, mae'n gwbl bosibl. I ddod yn siaradwr mae angen , darllenwch bopeth yno yn ofalus a gwnewch yn unol â'r cyfarwyddiadau.
Byddwch yn dawel eich meddwl, cyn gynted ag y byddwch yn ymuno â'r broses, byddant yn eich helpu. Mae gan Bwyllgor y Rhaglen alluoedd digonol i helpu gyda'r adroddiad ei hun, ei hanfod a'i ddyluniad. Bydd y cydlynydd yn eich helpu i ddatrys materion trefniadol ac ati.
Rhowch sylw arbennig i'r llun gyda'r dyddiadau. Mae Gorffennaf yn ddyddiad eithaf pell i'r cyfranogwr, ond mae angen i'r siaradwr ddechrau gweithredu nawr.
ysgol SPTDC
Bydd y gynhadledd yn cael ei chynnal ar yr un safle ag ysgol SPTDC, felly i bawb sy'n prynu tocyn i'r ysgol, tocynnau i'r gynhadledd - gyda gostyngiad o 20%.
yn ysgol sy’n darparu ystod eang o gyrsiau ar agweddau ymarferol a damcaniaethol systemau gwasgaredig, a addysgir gan arbenigwyr cydnabyddedig yn y maes perthnasol.
Cynhelir yr ysgol yn Saesneg, felly dyma sut olwg sydd ar y rhestr o bynciau dan sylw:
- Strwythurau data cydamserol: cywirdeb ac effeithlonrwydd;
- Algorithmau ar gyfer cof anweddol;
- Cyfrifiadura wedi'i ddosbarthu;
- Dysgu peiriannau wedi'i ddosbarthu;
- Dyblygiad y wladwriaeth-peiriant a Paxos;
- Bysantaidd nam-goddefgarwch;
- Hanfodion algorithmig blockchains.
Bydd y siaradwyr canlynol yn siarad:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Prifysgol Brown);
- Michael Scott (Prifysgol Rochester);
- Dan Alistarh (IST Awstria);
- Trevor Brown (Prifysgol Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Prifysgol Ben Gurion);
- Achour Mostefaoui (Prifysgol Nantes).
Gallwch wylio adroddiadau’r ysgol flaenorol yn rhydd ar YouTube:
Camau nesaf
Mae rhaglen y gynhadledd yn dal i gael ei ffurfio. Dilynwch y newyddion ar Habré neu ar rwydweithiau cymdeithasol (, , ).
Os ydych chi wir yn credu yn y gynhadledd (neu eisiau manteisio ar y pris mynediad arbennig, a elwir yn “Early Bird”), gallwch fynd i'r wefan a .
Welwn ni chi yn Hydra!
Ffynhonnell: hab.com