haec Leslie Lampor auctor est operum seminalium in computando distribuendo, et ipsum etiam per literam La in verbo LaTeX - "Lamport TeX". Ipse primus, anno 1979, notionem introduxit consequentibus constantiaet articulum eius "Quomodo Multiprocessorem facere Computer Quod Multiprocessus Programs recte exsequitur" Praemium Dijkstra accepit (propressius, anno 2000 adiudicatum, more suo nuncupatum est: "PODC Influential Paper Award"). Est de eo Wikipedia articleubi plus interesting nexus licebit. Si excitatur solvendis quaestionibus fit ante vel de quaestionibus imperatorum byzantinorum (BFT) tunc intelligendum est lamport post haec omnia.

Mox etiam ad novum colloquium nostrum computando distributo - Hydra, quae die 11 mensis Iulii apud St. Petersburg fiet. Hoc quale sit, videamus.

Hydra 2019

Argumenta, sicut multitationes, sunt inter populares in colloquiis nostris, semper fuerunt. Modo locus iste desertus est, sed tunc homo in scaena loquitur de exemplo memoriae, accidit ante vel multi-filam quisquiliarum collectio et - boom! — Iam circiter mille homines omnes spatium opportunum occupant sedendi et auscultandi. Quaenam est huius victoriae essentia? Fortasse est quia omnes habemus genus ferramentorum in manibus qui computationem distributam instituere possunt? An ut subesse intelligamus posse id onerare quod meretur? Est vera narratio unius St. Petersburg, quantitatis (id est quantitatis analyticae et elit), qui invenit se in possessione botri computandi, cuius plena potestate solus solus uti potuit. Quid faceres, si posses tuis muneribus multoties majora facere?

Ob talem favorem, thema productivitatis et computationis efficientis tendit ad dilatandum per colloquii ordinem. Quot rumores duorum dierum de observantia fieri possunt - tertia, duae tertiae? Alicubi sunt restrictiones artificiales quae hunc incrementum finiunt: praeterquam ad effectum, adhuc locus est novis compagibus interretialibus, pro aliquo genere astronauticorum devotorum vel architecturae. Non totum nos totum perfec- tus es!

Vel in contrarium ire potes, cedere et honeste colloquium facere quod totum erit de computatione et modo de illis distributa. Hic autem est Hydra.

Sincere fateamur hodie omnes calculi aliter atque aliter distribui. Utrum machina multi-core, botrus computans, vel munus magnum distributum, plures ubique processus, qui calculas independentes in parallelis synchronis inter se praestant. Hydra in theoria et quomodo in praxi operatur.

Programma conferentiae

Propositum est currently in scaena formationis. Referre debet a conditoribus theoriarum systematum distributarum et mechanicorum cum illis in productione operantium.

Exempli gratia, participatio Leslie Lamport Microsoft Research et Mauritii Herlihy ex universitate Brown iam nota est.

Mauritius Herlihy - celeberrimus et honorabilis professor Computer Scientiae, informationes etiam de eo Vicipaediae paginaeubi per nexus et opera potes. Ibi animadvertere potes duo praemia Dijkstra, prima operis "Exspecta Free Synchronisation"et secundae recentiori. "Memoria Transactionalis: Architectural Support for Lock-Free Data Structures". Obiter nexus ne SciHub quidem ducunt, sed ad University Brown et Virginia Tech University, aperire et legere potes.

Mauricius notulam tenere debet quae "obstructionum computationis distributae" dicitur. Si interest, inspicere potes relationem Mauricii a St. Petersburg JUG. Quam clare et intellegenter expende rem.

Secunda nota "Dual Data Structures" leget Michael Scott ab universitate Roffensi. Et coniecto quid - etiam habet suum Vicipaediae paginae. Domi in Wisconsin notus est operi suo decanus in Universitate Wisconsin-Madison, et in mundo is est vir qui, una cum Doug Lea, algorithms et synchronas queues in quibus Java libraries evolvit. opus. Praemium suum Dijkstra triennio post Herlihy accepit, pro opere suo "Algorithms pro scalable synchronisation in multiprocessores-memoriae communis" (ut expectatur; quae palam iacet in bibliotheca universitatis Roffensis online).

Donec tempus sit amet nunc non semper. De reliquis loquentibus tibi narrabimus eorumque argumenta dum rationem probamus et propius ad Iulium accedemus.

Fere quaeritur - Cur aestate Hydram facimus? Ceterum hoc tempus humile, feriae. Quaestio est, quod apud oratores sunt universitatis doctores, et quodlibet aliud tempus illis occupatum est. Nos simpliciter alios dies eligere non potuimus.

Discussion areas

In aliis colloquiis, accidit ut orator legeret quod sibi opus erat, statimque discessit. Participes ne tempus quidem exspectant - deinde fama sine intervallo fere incipit. Hoc valde molestum est, praesertim si magni momenti homines Lamport, Herlihy et Scott adsunt, et vere ad colloquium mox obviam illis ac de aliqua re disputaturi sunt.

Hanc problema solvimus. Statim post eius relationem orator ad specialem disputationem accedit, cum tabula saltem whiteboard instructus, et multum temporis habes. Formaliter orator promittit ibi esse saltem in toto intermissione inter praesentationes. Reapse his locis disceptationis potes extende horas in fine (pendentes in loquentis desiderio et patientia).

Quod autem Lamport, si recte intelligo, quam plurimis persuadere vult TLA+ — Bona res haec est. (Articuli circa TLA+ in Vicipaedia). Fortasse hoc bonum erit facultas fabrum aliquid novi et utile addiscere. Leslie hanc optionem praebet - ii qui intersunt, praeteritas lectiones spectare possunt et cum interrogationibus venire. Hoc est, loco clavis notae, peculiaris Q&A sessionis esse potest, ac deinde etiam zona disceptatio. Aliquid egi et magnum inveni. TLA + utique (Publicae uocatus playlist in YouTube) Et hora-longa lectione "Cogitare supera Codicem". e Microsoft Facultatis Summit.

Si omnes istos homines nomina in granite ab Vicipaedia et in libris rerum iactatas percepisti, tempus est praesens illis occurrere! Loqui et interrogare quod paginae articulorum scientificorum non respondebunt, sed auctores eorum contactum facere felicem erunt.

Quia Volume voca

Non occultum est multos eorum qui nunc legunt articulum non aversantur nos dicere aliquid satis interesting. Ex parte engineering, from scientifica parte - from any point of view. Computatio distributa est locus latissimus et profundus ubi omnibus locus est.

Si vis cum Lamport contendere, id omnino fieri potest. Factus est orator opus sequere nexumibi omnia diligenter perlege et secundum mandatum tuum fac.

Scias, quam primum processum iungas, adiuvabunt te. Propositum Committee sufficientes facultates habet adiuvandi cum ipsa fama, sua essentia et consilio. Coordinator adiuvabit ut quaestiones normas exponas et cetera.

Sedulo ad picturam cum gaudet. Iulio tempus magis remotum est particeps, sed orator incipit iam agere.

SPTDC School

Colloquium in schola SPTDC eodem situ habebitur, ita unicuique, qui tesseram ad scholam emerit, tesserae ad colloquium erunt. cum XC% discount.

Schola aestiva in Usu et Theoria Computationis Distributae (SPTDC) schola est quae in practica et theorica ratione systemata distributa, a peritis agnitis in agro definito, amplos cursus praebet.

Schola Anglica tenebitur, ergo haec est quae in indice argumentorum adducta similis est;

• Concurrentia data structurae: rectitudo et efficacia;
• Algorithmus de memoria non-volatili;
• Computabilitas distributa;
• Distribuit apparatus doctrinarum;
• Machinatio publica replicatio et paxos;
• Byzantii culpa tolerantia;
• Algorithmica basica impedimentorum.

Dicent sequentia oratores;

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Brown University);
• Michael Scott (ex Universitate Roffensi);
• Dan Alistarh (IST Austria);
• Trevor Brown (University of Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Ben Gurion University);
• Achour Mostefaoui (Universitas Nannetensis).

playlist Libenter potes rationes prioris scholae in YouTube spectare:

Deinde gradibus

Progressio colloquii adhuc formatur. Sequere nuntium de Habre vel in retiacula socialia (fb, vk, Twitter).

Si vere credis in colloquio (vel vis uti pretium viscus speciali, qui dicitur "Avis mane"), potes ire ad locum ac emptio tesseras.

Vide tu Hydram!

Source: www.habr.com