abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    dnes 02:55 | Nová verze

    Google Chrome 142 byl prohlášen za stabilní. Nejnovější stabilní verze 142.0.7444.59 přináší řadu novinek z hlediska uživatelů i vývojářů. Podrobný přehled v poznámkách k vydání. Opraveno bylo 20 bezpečnostních chyb. Za nejvážnější z nich bylo vyplaceno 50 000 dolarů. Vylepšeny byly také nástroje pro vývojáře.

    Ladislav Hagara | Komentářů: 0
    dnes 01:22 | IT novinky Ladislav Hagara | Komentářů: 0
    včera 17:00 | Upozornění

    Národní identitní autorita, tedy NIA ID, MeG a eOP jsou nedostupné. Na nápravě se pracuje [𝕏].

    Ladislav Hagara | Komentářů: 7
    včera 16:44 | IT novinky

    Americký výrobce čipů Nvidia se stal první firmou na světě, jejíž tržní hodnota dosáhla pěti bilionů USD (104,5 bilionu Kč). Nvidia stojí v čele světového trhu s čipy pro umělou inteligenci (AI) a výrazně těží z prudkého růstu zájmu o tuto technologii. Nvidia již byla první firmou, která překonala hranici čtyř bilionů USD, a to letos v červenci.

    Ladislav Hagara | Komentářů: 4
    včera 14:11 | Komunita

    Po Canonicalu a SUSE oznámil také Red Hat, že bude podporovat a distribuovat toolkit NVIDIA CUDA (Wikipedie).

    Ladislav Hagara | Komentářů: 2
    včera 13:55 | Nová verze

    TrueNAS (Wikipedie), tj. open source storage platforma postavená na Linuxu, byl vydán ve verzi 25.10 Goldeye. Přináší NVMe over Fabric (NVMe-oF) nebo OpenZFS 2.3.4.

    Ladislav Hagara | Komentářů: 0
    včera 13:33 | Nová verze

    Byla vydána OpenIndiana 2025.10. Unixový operační systém OpenIndiana (Wikipedie) vychází z OpenSolarisu (Wikipedie).

    Ladislav Hagara | Komentářů: 0
    včera 13:22 | Zajímavý článek

    České základní a střední školy čelí alarmujícímu stavu kybernetické bezpečnosti. Až 89 % identifikovaných zranitelností v IT infrastruktuře vzdělávacích institucí dosahuje kritické úrovně, což znamená, že útočníci mohou vzdáleně převzít kontrolu nad klíčovými systémy. Školy navíc často provozují zastaralé technologie, i roky nechávají zařízení bez potřebných aktualizací softwaru a používají k nim pouze výchozí, všeobecně známá

    … více »
    Ladislav Hagara | Komentářů: 12
    včera 05:11 | Komunita

    Během tradiční ceremonie k oslavě Dne vzniku samostatného československého státu (28. října) byl vyznamenán medailí Za zásluhy (o stát v oblasti hospodářské) vývojář 3D tiskáren Josef Průša. Letos byly uděleny pouze dvě medaile Za zásluhy o stát v oblasti hospodářské, druhou dostal informatik a manažer Ondřej Felix, který se zabývá digitalizací státní správy.

    🇹🇬 | Komentářů: 37
    včera 04:44 | Nová verze

    Tor Browser, tj. fork webového prohlížeče Mozilla Firefox s integrovaným klientem sítě Tor přednastavený tak, aby přes tuto síť bezpečně komunikoval, byl vydán ve verzi 15.0. Postaven je na Firefoxu ESR 140.

    Ladislav Hagara | Komentářů: 3
    Jaké řešení používáte k vývoji / práci?
     (36%)
     (48%)
     (20%)
     (19%)
     (23%)
     (17%)
     (21%)
     (17%)
     (17%)
    Celkem 282 hlasů
     Komentářů: 14, poslední 14.10. 09:04
    Rozcestník

    Dotaz: Uváznutí v Aktor systému

    15.10.2019 16:39 BoneFlute | skóre: 3
    Uváznutí v Aktor systému
    Přečteno: 372×
    Zdravím.

    Zkouším si jednoduchý Aktor systém. Celkem mi to jakože pěkně funguje, ale trošku jsem se zasekl na uváznutí.

    Předpokládejme dva aktory A a B.
    A -> B: kolik je hodin
    B -> A: 19:41
    A -> B: supr, díky
    B -> A: není zač
    A -> B: ok
    B -> A: ok
    A -> B: ok
    B -> A: ok
    A -> B: ok
    B -> A: ok
    A -> B: ok
    ...
    

    Mohl by mi tu někodo poradit, jak se něco takového řeší? Třeba v Erlangu, systému Akka, nebo dalších?

    Nechce se mi spoléhat na to, že ten aktor bude napsán správně. Rád bych tomu dodal alespoň základní ochranu. V "normálním" kódu se to dá trochu statistickou analýzou podchytit. Na druhou stranu mé znalosti problematiky jsou omezené, a tak třeba existuje nějaké jednoduché řešení které dokáže víc.

    Předem dík.

    Odpovědi

    xkucf03 avatar 16.10.2019 15:56 xkucf03 | skóre: 49 | blog: xkucf03
    Rozbalit Rozbalit vše Re: Uváznutí v Aktor systému

    Kdo definuje ten protokol a význam jednotlivých zpráv? Tam, kde je definováno, co znamená „ok“, by mělo být i definováno, jestli se na takovou zprávu má odpovídat.

    K nějakému zacyklení nebo rekurzi může dojít všude. To je chyba návrhu. Určitý počet opakování nebo návrat k předchozím stavům či nějaká rekurze můžou být dokonce žádoucí – např. zadání může znít tak, že se má něco zkusit třikrát s nějakou prodlevou, a pak to teprve má jít jinou cestou (opustit cyklus, ukončit se). Tzn. přidáš si tam nějaké počítadlo. Ale jak říkám, to je otázka návrhu/zadání. Pokud máš chybné zadání nebo se jím neřídíš, tak ti žádná technologie nepomůže.

    Ten návrh můžeš mít popsaný nějakým formálním jazykem a z něj generovat kód… pak bys mohl staticky analyzovat ten formální popis. Jestli ten kód píšeš ručně a jsou to prostě jen různé kousky kódu, které nějak reagují na nějaké události, ale není nikde zachycený ten logický model jako celek, tak se obávám, že to nelze. Leda k tomu psát automatické testy – ale tím neprokážeš, že to nikdy neselže – jen, že to v předpokládaných případech pracuje podle zadání.

    P.S. upravil jsem formátování (přidal <pre/>)

    Mám rád, když se lidé přou, znamená to, že vědí, co dělají, a že mají směr. Frantovo.cz, SQL-DK, Relational pipes
    16.10.2019 18:24 OldFrog {Ondra Nemecek} | skóre: 36 | blog: Žabákův notes | Praha
    Rozbalit Rozbalit vše Re: Uváznutí v Aktor systému
    Myslím si to samé, už jsem odpovídal na totožný dotaz na root.cz. Postupně mi došlo, že tazatel asi chce obecnou prevenci zacyklení bez ohledu na protokol. Což nemá řešení a ani to nedává smysl.
    -- OldFrog
    16.10.2019 20:04 BoneFlute | skóre: 3
    Rozbalit Rozbalit vše Re: Uváznutí v Aktor systému
    Díky za příspěvek.
    16.10.2019 20:51 M. Ponkrác | skóre: 3
    Rozbalit Rozbalit vše Re: Uváznutí v Aktor systému
    Myslím, že tu byl nedávno příspěvek, kdy se někdo snažil o "správný vzor návrhu vícethreadové aplikace".

    Určité fungování jde zajistit jen pro určité architektury a případy. Obecně to nejde.

    1) Určité zmírnění problému může spočívat v řešení, že se zprávám přidají priority důležitosti. Přednostně docházejí zprávy s vyššími prioritami. Můžete mít třeba zprávy "urgentní", "důležité", a pak zprávy "zahoditelné".

    2) Dále třeba v tom, že sender musí "navázat spojení" a povolit příjem.

    3) Pokud má actor frontu zpráv, je možné nad těmi zprávami dělat redukce a optimalizace. Tak jako to třeba dělá každý GUI ve své frontě zpráv.

    4) Každý sender může mít "váhu", která se snižuje při příliš vysoké frekvenci zpráv, a postupně obnovuje při "rádiovém klidu". Ovšem je třeba u každého sendera dát jinou počáteční váhu, některé dvojice actorů potřebují intenzivně komunikovat.

    5) Často se spojuje do jedné dvojice zpráva a případná odpověď na ní jako pár. Ovšem zatěžuje to zbytečně synchronizaci.

    6) Dále je možné detekovat různá zablokování a nepříznivé stavy.

    Je třeba ale napsat, že actor systém je založen na férovosti. Není určen pro neférové situace. Pokud v actor systému máte "záškodníka", tak vám ho rozloží snadno na atomy. Actor architektura se s tím prostě neumí vypořádat.

    Většina různých paralelních systémů implementuje ty věci co jsem popsal výše, a ještě mnohé další. Především je řada zpráv zahoditelných zcela, když systém přestane stíhat časově.

    Obecně nelze actor schéma učinit bezpečným a blbuvzdorným. Nejde to.

    Co je ale dobré je učinit ho flexibilním pomocí zahazování zpráv a dalších instrumentů, pokud začne běžet na hormí mezi výkonu počítače/hardware.

    Založit nové vláknoNahoru

    Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.