Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Yn fwyaf diweddar, rhwng Gorffennaf 8 a 12, cynhaliwyd dau ddigwyddiad arwyddocaol ar yr un pryd - y gynhadledd Hydra ac ysgol SPTDC. Yn y swydd hon hoffwn dynnu sylw at nifer o nodweddion y gwnaethom sylwi arnynt yn ystod y gynhadledd.

Balchder mwyaf Hydra a'r Ysgol yw'r siaradwyr.

  • Tri llawryf Gwobrau Dijkstra: Leslie Lamport, Maurice Herlihy a Michael Scott. Ar ben hynny, derbyniodd Maurice ddwywaith. Derbyniodd Leslie Lamport hefyd Gwobr Turing — y wobr ACM mwyaf mawreddog mewn cyfrifiadureg;
  • Crëwr y casglwr Java JIT yw Cliff Click;
  • Datblygwyr Corutin - Roman Elizarov (elizarov) a Nikita Koval (ndkoval) ar gyfer Kotlin, a Dmitry Vyukov ar gyfer Go;
  • Cyfranwyr i Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Cronfa Ddata Yandex (Semyon Checherinda a Vladislav Kuznetsov);
  • A llawer o bobl enwog eraill: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model cof C ++), Pedro Ramalhete (strwythurau data di-aros), Alexey Zinoviev (ML), Dmitry Bugaichenko (dadansoddiad graff).

Ac mae hon yn Ysgol yn barod:

  • Prifysgol Brown (Maurice Herlihy),
  • Prifysgol Rochester (Michael Scott),
  • Prifysgol Waterloo (Trevor Brown),
  • Prifysgol Nantes (Achour Mostefaoui),
  • David Ben-Gurion Prifysgol y Negev (Danny Hendler),
  • Prifysgol California yn Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • Ymchwil VMware (Ittai Abraham).

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Theori ac ymarfer, gwyddoniaeth a chynhyrchu

Gadewch imi eich atgoffa mai digwyddiad bach ar gyfer cant a hanner o bobl yw Ysgol SPTDC; mae enwogion o safon fyd-eang yn ymgynnull yno ac yn siarad am faterion modern ym maes cyfrifiadura gwasgaredig. Mae Hydra yn gynhadledd gyfrifiadura ddosbarthedig ddeuddydd a gynhelir ochr yn ochr. Mae gan Hydra ffocws mwy peirianneg, tra bod gan yr Ysgol ffocws mwy gwyddonol.

Un o nodau cynhadledd Hydra yw cyfuno egwyddorion gwyddonol a pheirianneg. Ar y naill law, cyflawnir hyn trwy ddethol adroddiadau yn y rhaglen: ynghyd â Lamport, Herlihy a Scott, mae adroddiadau llawer mwy cymhwysol gan Alex Petrov, sy'n cyfrannu at Cassandra, neu Roman Elizarov o JetBrains. Mae yna Martin Kleppman, a arferai adeiladu a gwerthu busnesau newydd ac sydd bellach yn astudio CRDT ym Mhrifysgol Caergrawnt. Ond y peth cŵl yw bod Hydra a SPTDC yn cael eu cynnal ochr yn ochr - mae ganddyn nhw adroddiadau gwahanol, ond lle cyffredin ar gyfer cyfathrebu.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Trochi

Mae pum niwrnod o’r Ysgol yn olynol yn ddigwyddiad mawr iawn ac yn dipyn o lwyth gwaith, i’r cyfranogwyr a’r trefnwyr. Nid yw pawb wedi cyrraedd y dyddiau diwethaf. Yr oedd y rhai hyny yn myned i Hydra a'r Ysgol yr un pryd, ac iddynt hwy y dyddiau diweddaf a drodd allan yn fwyaf dygwyddiadol. Mae'r holl ffwdan hwn yn cael ei wrthbwyso gan drochiad anhygoel o ddwfn. Mae hyn oherwydd nid yn unig y cyfaint, ond hefyd ansawdd y deunydd. Nid oedd yr holl adroddiadau a darlithoedd yn y ddau ddigwyddiad wedi'u cynllunio i fod yn gyflwyniadol, felly ble bynnag yr ewch, rydych chi'n plymio'n bell ac yn ddwfn ar unwaith, ac nid ydych chi'n cael eich gollwng tan y diwedd.

Wrth gwrs, mae llawer yn dibynnu ar baratoad cychwynnol y cyfranogwr. Roedd yna foment ddoniol pan oedd dau grŵp o bobl yn y coridor yn trafod adroddiad Heidi Howard yn annibynnol: i rai roedd yn ymddangos yn hollol gyffredin, tra bod eraill, i'r gwrthwyneb, yn meddwl yn ddwys am fywyd. Mae’n ddiddorol, yn ôl cyfranogwyr y pwyllgorau rhaglen (a oedd yn dymuno aros yn ddienw), y gallai adroddiadau Hydra a darlithoedd yr Ysgol yn eu digwyddiadau fod yn rhy gymwys. Er enghraifft, pe bai plentyn iau PHP yn dod i gynhadledd PHP i ddysgu bywyd, byddai'n frech bach tybio bod ganddo wybodaeth ddofn am fewnolion Zend Engine. Yma, nid oedd y siaradwyr yn bwydo'r plant iau â llwy, ond yn syth yn awgrymu lefel benodol o wybodaeth a dealltwriaeth. Wel, yn wir, mae lefel y cyfranogwyr sy'n gweithredu systemau gwasgaredig ac yn ysgrifennu cnewyllyn amser rhedeg yn uchel iawn, mae hyn yn rhesymegol. A barnu yn ôl ymateb y cyfranogwyr, roedd yn eithaf hawdd dewis adroddiad yn seiliedig ar y lefel a'r pwnc.

Os byddwn yn siarad am adroddiadau penodol, roedden nhw i gyd yn dda yn eu ffordd eu hunain. A barnu yn ôl yr hyn y mae pobl yn ei ddweud a'r hyn y gellir ei weld o'r ffurflen adborth, roedd un o'r adroddiadau cŵl yn yr Ysgol "Ddim yn rhwystro strwythurau data" Michael Scott, fe rwygodd bawb yn ddarnau, mae ganddo sgôr annormal o tua 4.9.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Metagynhadledd

Ymhell cyn cychwyn Hydra a'r Ysgol, Ruslan ARG89 cymryd yn ganiataol y byddai rhyw fath o “feta-gynhadledd” - cynhadledd o gynadleddau, lle byddai holl gyfranogwyr pennaf digwyddiadau eraill yn cael eu sugno i mewn iddi yn awtomatig, fel pe bai i mewn i dwll du. Ac felly y digwyddodd! Er enghraifft, ymhlith myfyrwyr yr Ysgol sylwyd arno Ruslan Cheremin gan DeutscheBank, arbenigwr adnabyddus mewn aml-edau.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Ac o'r aelodau Hydra sylwyd Vadim Tsesko (incubi) A Andrey Pangin (apangin) gan y cwmni Odnoklassniki. (Ar yr un pryd, helpodd Vadim ni hefyd i wneud dau gyfweliad rhagorol gyda Martin Kleppman - un i Habr, a'r llall ar gyfer gwylwyr y darllediad ar-lein). Yr oedd aelodau Pwyllgor Rhaglen DotNext, siaradwyr enwog Anatoly Kulakov ac Igor Labutin. O'r Javist yr oedd Dmitry Alexandrov и Vladimir Ivanov. Fel arfer, rydych chi'n gweld y bobl hyn mewn lleoedd hollol wahanol - dotnetists ar DotNext, javaists ar Joker, ac ati. Ac felly maent yn eistedd ochr yn ochr yn adroddiadau Hydra a gyda'i gilydd yn trafod problemau ar y buffs. Pan fydd y rhaniad braidd yn artiffisial hwn i ieithoedd a thechnolegau rhaglennu yn diflannu, mae nodweddion y maes pwnc yn dod i'r amlwg: mae arbenigwyr amser rhedeg deinamig yn cyfathrebu ag amserwyr rhedeg eraill, mae ymchwilwyr theori cyfrifiadura dosbarthedig yn dadlau'n wresog ag ymchwilwyr eraill, mae peirianwyr peiriannau cronfa ddata yn tyrru'r bwrdd gwyn, ac ati. .

Yn yr adroddiad yn ôl y model cof C++ roedd y datblygwyr OpenJDK yn eistedd yn y rhes flaen (o leiaf dwi'n eu nabod wrth olwg, ond nid y Pythonists, efallai bod y Pythonists yno hefyd). Yn wir, mae yna rywbeth felly Shipilevsky yn yr adroddiad hwn... Nid yw Ori yn dweud yn union yr un peth, ond gall edrych yn ofalus ganfod tebygrwydd. Hyd yn oed ar ôl popeth a ddigwyddodd yn y safonau C++ diweddaraf, nid oedd problemau fel gwerthoedd awyr tenau yn sefydlog o hyd, ac felly fe allech chi fynd i adroddiad o'r fath a gwrando ar sut mae pobl “ar ochr arall y barricade” yn ceisio trwsio'r problemau hyn, Wrth iddynt resymu, gallai'r ymagweddau at yr ateb a ddarganfuwyd wneud argraff ar rywun (mae gan Ori un o'r opsiynau trwsio).

Roedd llawer o gyfranogwyr mewn pwyllgorau rhaglen a pheiriannau cymunedol. Datrysodd pawb eu problemau rhyng-ffydd, adeiladu pontydd, a chaffael cysylltiadau. Defnyddiais hwn lle bynnag y gallwn, ac, er enghraifft, cytunasom ag Alexander Borgardt o Grŵp Defnyddwyr C++ Moscow gyda'ch gilydd ysgrifennwch erthygl ar raddfa lawn am actorion ac asynchrony yn C++.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Yn y llun: Leonid Talalaev (ltalal, chwith) ac Oleg Anastasyev (m0nstermind, dde), datblygwyr blaenllaw yn Odnoklassniki

Parthau trafod tân a buffs

Mewn cynadleddau mae yna gyfranogwyr bob amser sy'n adnabod y pwnc yn ogystal â'r siaradwyr (ac weithiau hyd yn oed yn well na'r siaradwyr - er enghraifft, pan fydd datblygwr craidd rhywfaint o dechnoleg ymhlith y cyfranogwyr). Roedd llawer o gyfranogwyr mor hynod arbenigol ar Hydra. Er enghraifft, ar ryw adeg o gwmpas Alex Petrov dweud am Cassandra, ffurfiodd cynifer o bobl fel nas gallai ateb pawb. Ar ryw adeg, cafodd Alex ei wthio'n esmwyth i'r ochr a dechreuodd gael ei rwygo â chwestiynau, ond codwyd y faner cwympo gan ddatblygwr adnabyddus Rust yn y cylchoedd Tyler Neely a chydbwyso'r llwyth yn berffaith. Pan ofynnais i Tyler am help gyda’r cyfweliad ar-lein, y cyfan a ofynnodd oedd, “Pryd ydyn ni’n dechrau?”

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Ar brydiau, roedd ysbryd y drafodaeth hyd yn oed yn torri trwodd i'r adroddiadau: trefnodd Nikita Koval sesiwn Holi ac Ateb sydyn, gan rannu'r adroddiad yn sawl adran.

Ac i'r gwrthwyneb, ar BOF am aml-edau a gofient am gof anweddol, cawsant eu tynnu at y bof hwn Pedro Ramalhete fel y prif arbenigwr, ac eglurodd bopeth i bawb (yn fyr, nid yw cof anweddol yn fygythiad i ni yn y dyfodol agos). Un o westeion y bof hwn, gyda llaw, oedd Vladimir Sitnikov, sy'n gwasanaethu ar bwyllgorau rhaglen rhai nifer wallgof o gynadleddau... mae'n ymddangos fel pump ar y tro ar hyn o bryd. Yn y bwff nesaf am “CS Modern yn y byd go iawn” buont hefyd yn trafod NVM a daethant at hyn yn gyfan gwbl ar eu pen eu hunain.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Gallaf rannu mewnwelediad gwych na fyddai hyd yn oed y rhai a oedd yn ymwneud yn uniongyrchol â'r stori efallai wedi sylwi. Perfformiodd Eli Gafni gyda'r nos ar ddiwrnod cyntaf yr Ysgol, a thrannoeth arhosodd a dechrau trolio Lamport, ac o'r tu allan roedd yn ymddangos mai gêm oedd hon ac Eli yn annigonol. Bod hwn yn rhyw fath o drolio a aeth ati i dynnu ymennydd Leslie. Mewn gwirionedd, y ffaith yw eu bod bron yn ffrindiau gorau, maent wedi bod yn ffrindiau ers blynyddoedd lawer, a dim ond tynnu coes cyfeillgar yw hyn. Hynny yw, fe weithiodd y jôc - syrthiodd yr holl bobl o gwmpas amdani, cymerodd ef yn ôl ei olwg.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Ar wahân, hoffwn nodi faint o gariad ac ymdrech y siaradwyr i mewn i hyn. Safodd rhywun yn y maes trafod tan y funud olaf, bron am oriau. Daeth yr egwyl i ben amser maith yn ôl, dechreuodd yr adroddiad, daeth i ben, dechreuodd yr egwyl nesaf - a Dmitry Vyukov parhau i ateb cwestiynau. Digwyddodd stori ddiddorol i mi hefyd - ar ôl cymryd Cliff Click gan syndod, cefais nid yn unig esboniad clir a rhesymol o'r drafodaeth bryfoclyd honno am y diffyg profion am rai pethau yn H2O, ond hefyd wedi cael adolygiad llawn ohono iaith newydd AA. Wnes i erioed ofyn am hyn: gofynnais beth allwch chi ei ddarllen am AA (daeth allan y gallwch chi wrando podlediad), ac yn lle hynny treuliodd Cliff hanner awr yn siarad am yr iaith a gwirio bod yr hyn yr oedd yn ei ddweud yn cael ei ddeall yn gywir. Rhyfeddol. Mae angen i ni ysgrifennu habrabost am AA. Profiad anarferol arall oedd gwylio'r broses adolygu ceisiadau tynnu yn Kotlin. Mae'n wir deimlad hudolus pan fyddwch chi'n cerdded i mewn i wahanol grwpiau trafod, gwahanol siaradwyr, ac yn cael eich plymio i fyd cwbl newydd. Mae hyn yn rhywbeth ar y lefel " Yno, Yno" gan Radiohead.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Saesneg

Hydra 2019 yw ein cynhadledd gyntaf lle Saesneg yw’r brif iaith. Daw hyn â'i fanteision a'i heriau. Mantais amlwg yw bod pobl nid yn unig yn dod i'r gynhadledd o Rwsia, felly ymhlith y cyfranogwyr gallwch chi gwrdd â pheirianwyr o Ewrop a gwyddonwyr o Loegr. Mae siaradwyr yn dod â'u myfyrwyr. Yn gyffredinol, mae gan siaradwyr pwysig lawer mwy o gymhelliant i fynd i gynhadledd o'r fath. Dychmygwch eich bod yn siaradwr mewn cynhadledd gwbl Rwsieg: yr ydych wedi rhoi eich adroddiad, wedi amddiffyn y maes trafod, ac yna beth? Teithio o gwmpas y ddinas a gweld mannau twristiaid? Mewn gwirionedd, mae siaradwyr poblogaidd iawn eisoes wedi gweld digon o bopeth yn y byd, nid ydyn nhw eisiau mynd i weld llewod a phontydd codi, maen nhw wedi diflasu. Os yw'r holl adroddiadau yn Saesneg, gallant gymryd rhan yn y gynhadledd yn gyffredinol, cael hwyl, ymuno â meysydd trafod, ac ati. Mae'r awyrgylch yn eithaf cyfeillgar tuag at y siaradwyr.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Yr anfantais amlwg yw nad yw pawb yn gyfforddus yn cyfathrebu yn Saesneg. Mae llawer yn deall yn dda, ond yn siarad yn wael. Yn gyffredinol, pethau cyffredin a gafodd eu datrys mewn gwahanol ffyrdd. Er enghraifft, dechreuodd rhai meysydd trafod yn Rwsieg, ond yn syth newid i'r Saesneg pan ymddangosodd y cyfranogwr Saesneg cyntaf.

Roedd yn rhaid i mi fy hun wneud cynhwysiadau agoriadol a chau y darllediad ar-lein yn Saesneg yn unig a chymryd rhan mewn cwpl o gyfweliadau ar record gydag arbenigwyr. Ac roedd hon yn her wirioneddol i mi na chaiff ei hanghofio yn fuan. Ar ryw adeg Oleg Anastasia (m0nstermind) dweud wrthyf am aros yn eistedd gyda nhw yn ystod y cyfweliad, ac roeddwn yn rhy araf i ddeall beth oedd ystyr hynny.

Ar y llaw arall, braf iawn oedd gweld pobl yn holi cwestiynau yn yr adroddiadau gyda chlec. Nid dim ond siaradwyr brodorol, ond pawb yn gyffredinol, fe weithiodd yn dda. Mewn cynadleddau eraill, gwelir yn aml fod pobl yn teimlo embaras i ofyn cwestiynau gan y gynulleidfa mewn Saesneg toredig, a dim ond gwasgu rhywbeth allan yn y maes trafod y gallant ei wneud. Roedd hyn yn hollol wahanol yma. Yn gymharol siarad, gorffennodd rhai Cliff Click ei adroddiadau ychydig yn gynharach, ac ar ôl hynny dilynodd y cwestiynau mewn dilyniant parhaus, symudodd y sgwrs i'r parth trafod - heb seibiau neu ymyrraeth lletchwith. Mae’r un peth yn wir am sesiwn Holi ac Ateb Leslie Lamport; yn ymarferol nid oedd yn rhaid i’r cyflwynydd ofyn ei gwestiynau, meddyliodd y cyfranogwyr am bopeth.

Roedd yna bob math o bethau bach nad oes llawer o bobl yn sylwi arnyn nhw, ond maen nhw'n bodoli. Oherwydd bod y gynhadledd yn Saesneg, mae dyluniad pethau fel taflenni a mapiau yn ysgafnach ac yn fwy cryno. Nid oes angen dyblygu ieithoedd ac annibendod y dyluniad.

Noddwyr ac arddangosfa

Helpodd ein noddwyr ni lawer i greu'r gynhadledd. Diolch iddyn nhw, roedd bob amser rhywbeth i'w wneud yn ystod egwyliau.

Wrth y stand Deutsche Bank TechCenter gallech chi sgwrsio â pheirianwyr systemau aml-edau, datrys eu problemau allan o'ch pen, ennill gwobrau cofiadwy a chael amser da.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Wrth y stand Cyfuchlin gallem siarad am eu systemau eu hunain, yn ffynhonnell agored ac agored: cronfa ddata cof ddosbarthedig, log deuaidd dosbarthedig, system offeryniaeth microwasanaeth, cludiant cyffredinol ar gyfer telemetreg, ac ati. Ac wrth gwrs, posau a chystadlaethau, sticeri gyda chath ddeuaidd a Dioddefaint yr Oesoedd Canol, anrhegion fel llyfr Martin Kleppmann a ffigurau LEGO.

Sylwch fod y dadansoddiad o broblemau Kontur eisoes cyhoeddwyd ar Habré. Dadansoddiad da, gwerth edrych arno.

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Gallai'r rhai a ddymunai brynu pob math o lyfrau a'u trafod gyda chydweithwyr. Daeth tyrfa gyfan ynghyd ar gyfer y sesiwn llofnodi!

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Canlyniadau

Mae Cynhadledd Hydra ac Ysgol SPTDC yn ddigwyddiadau pwysig iawn i ni fel y cwmni trefnu ac i'r gymuned gyfan. Dyma gyfle i edrych i mewn i’n dyfodol, datblygu fframwaith cysyniadol unedig ar gyfer trafod problemau modern, ac edrych yn agosach ar gyfeiriadau diddorol. Mae Multithreading wedi bod o gwmpas ers amser maith, ond cymerodd ddegawd cyfan ar ôl i'r prosesydd gwirioneddol aml-graidd cyntaf ymddangos er mwyn i'r ffenomen ddod yn eang. Nid newyddion byrlymus yw’r hyn a glywsom yn yr adroddiadau yr wythnos hon, ond y ffordd i ddyfodol disglair y byddwn yn ei dilyn yn y blynyddoedd i ddod. Ni fydd unrhyw sbwylwyr ar gyfer yr Hydra nesaf yn y post hwn, ond gallwch obeithio am y gorau. Os oes gennych chi ddiddordeb mewn materion fel y rhain, efallai yr hoffech chi edrych ar ein digwyddiadau eraill, fel sgyrsiau cynhadledd craidd caled Joker 2019 neu DotNext 2019 Moscow. Welwn ni chi yn y cynadleddau nesaf!

Tri enillydd Gwobr Dijkstra: sut aeth Hydra 2019 a SPTDC 2019

Ffynhonnell: hab.com

Ychwanegu sylw