Seminarium: Systemy Rozproszone
13 czerwca 2019, godzina 12:15,
sala
Jeszcze raz przyjrzymy się problemowi rozkładania zadań między maszynami w centrach obliczeniowych. Przedstawimy go w prostym statystycznym ujęciu i zastanowimy się, co można wydedukować z danych wyjętych z centrów obliczeniowych Google. Na tej podstawie opracujemy metodę kolokacji zadań.
Sieci Petriego są jednym z matematycznych podejść do modelowania współbieżności. Dzięki prostocie opisu przy równoczesnym zachowaniu matematycznej precyzji modelu cieszą się zainteresowaniem zarówno ze strony teoretyków jak również środowisk biznesowych.
Podczas prezentacji przedstawię podstawowe pojęcia związane z sieciami Petriego oraz niektóre wyniki ułatwiające ich analizę. Przyjrzymy się również rozszerzeniom tego modelu szczególnie interesującym z punktu widzenia praktycznych zastosowań.
The model of computation used by the Go language is based upon the idea of communicating sequential processes put forth by C.A.R. Hoare in his seminal paper published in 1978 [10]. Go is a high level language with many of the constructs proposed in Hoare’s paper, which are not found in the C family of languages, and are easier to reason about than locks and semaphores protecting shared memory. Go provides support for concurrency through goroutines, which are extremely lightweight in comparison to threads, but can also execute independently. These goroutines communicate through a construct known as channels, which are essentially synchronized message queues. The use of channels for communication, as well as first class support for closures, are powerful tools that can be utilized to solve complex problems in a straightforward manner.
References:
Zapraszamy!