Jestem zdezorientowany pojęciem "iskry"Co to jest "iskra" w Haskell?
Czy to wątek w Haskell? A może to akcja tworzenia nowego wątku?
Dzięki wszyscy:
więc podsumować, iskry nie są nitką ale więcej jednostki obliczeń (zadania, aby umieścić go w kategoriach C#/Java). Tak więc jest to metoda Haskella polegająca na implementacji równoległości zadania.
Patrz A Gentle Introduction to Glasgow Parallel Haskell.
Równoległość wprowadza się GPH przez
parcombinator, który trwa dwa argumenty mają być ocenione równolegle. Wyrażeniep `par` e(tutaj stosujemy notację operatora infiltru Haskella) ma tę samą wartość, coe, i nie jest ścisłe w swoim pierwszym argumencie, tj.bottom `par` ema wartośće. (bottomoznacza nie kończące się lub nieudane obliczenia). Jego dynamiczne zachowanie ma na celu wskazanie, żepmoże zostać ocenione przez nowy wątek równoległy, z ciągłą oceną wątku macierzystegoe. Mówimy, żepzostał wywołany, a następnie wątek może zostać utworzony w celu oceny go, jeśli procesor staje się bezczynny. Ponieważ wątek nie jest koniecznie utworzony,pjest podobny do leniwej przyszłości.
[nacisk w oryginale]
iskry nie nici. forkIO wprowadza wątki Haskell (które mapują na mniej rzeczywistych wątków systemu operacyjnego). Iskry tworzą wpisy w kolejkach roboczych dla każdego wątku, z którego będą wykonywać zadania do wykonania, jeśli wątek stanie się bezczynny.
W rezultacie iskry są bardzo tanie (możesz mieć ich miliardy w programie, podczas gdy prawdopodobnie nie będziesz mieć więcej niż milion wątków Haskell i mniej niż tuziny systemów operacyjnych na kilkunastu rdzeniach).
myśleć o tym tak:
Zrobiłeś zdjęcie z tego miejsca: http://expcodes.com/125624? Niektóre atrybucje mogą być miłe. –
@phresnel to oryginalne dzieło autorstwa mnie, stworzone dla tego pytania, używając inkscape. Twój link faktycznie wykorzystuje moją pracę bez atrybucji - jak możesz powiedzieć, patrząc na datę treści. –
Widzę; Najczęściej zastanawiałem się, dlaczego powiązana treść wydaje się mieć większą rozdzielczość.Moja porażka nie patrzy na randkę, dziękuję za wyjaśnienie :) –
Jeśli rozumiem go poprawnie, iskra jest wpis w kolejce zadań wymagających pracy. Pula wątków pobiera wpisy z tej kolejki i uruchamia je. Zwykle istnieje jeden wątek na procesor fizyczny, więc ten schemat maksymalizuje przepustowość i minimalizuje przełączanie kontekstu wątku.
Wygląda na to, że jest podobny do "zadania" w Intel Threading Building Blocks.
Dałabym +1, ale czuję, że potrzebuje trochę więcej, aby być odpowiedzią, ponieważ jest bardziej jak komentarz. Dodaj kilka linków i porozmawiaj o tym, jak koncepcje są podobne, koncentrując się na pomocy w zrozumieniu Sparków. – derekv
Kiedy ją czytam, "iskra" to nie tyle wątek, co obliczenie, które można uruchomić w wątku. Środowisko wykonawcze może mieć ustalone ograniczenie pułapu dla gwintów, które obracają się i oceniać iskry. – ephemient
To nie jest poprawne. Iskry nie są nitkami. GHC obsługuje iskry, które są nieocenionymi obliczeniami w kolejce, wątki Haskella (lekkie wątki) i systemu operacyjnego. –