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í
×
včera 21:11 | Nová verze

Vyšla nová verze 1.4.0 nástroje pro připojení ke vzdálené ploše Remmina. Mezi změnami figurují např. opravy autentizace přes SSH nebo nakládání se schránkou při připojení přes RDP. Sestavení dostupná z PPA pro Ubuntu skončí ve prospěch Flatpaku a Snapu.

Fluttershy, yay! | Komentářů: 3
21.2. 16:33 | Komunita

Google zveřejnil seznam 200 organizací přijatých do letošního Google Summer of Code (GSoC). Dle plánu se studenti přihlašují od 16. do 31. března. Vydělat si mohou od 3 000 do 6 600 dolarů. V Česku a na Slovensku 3 600 dolarů. Další informace v často kladených otázkách (FAQ). K dispozici jsou také statistiky z minulých let.

Ladislav Hagara | Komentářů: 1
21.2. 15:55 | IT novinky

Ve věku 74 let zemřel Lawrence Tesler. V 70. letech pracoval v Xerox PARC a posléze odešel do Apple. Zabýval se především zjednodušováním uživatelských rozhraní, byl odpůrcem modality a přispěl k prosazení moderního způsobu označování a kopírování textu – myší a klávesovými zkratkami (kombinace s XCV) – v raných Apple Human Interface Guidelines. Dále se podílel např. na vývoji Smalltalku a souvisejícího přenosného počítače Xerox NoteTaker nebo později PDA Apple Newton.

Fluttershy, yay! | Komentářů: 6
21.2. 13:11 | Zajímavý článek

Aktuální příspěvek What is Mobile PureOS? na stránkách společnosti Purism je věnován operačnímu systému Mobile PureOS, tj. PureOS pro mobilní zařízení a především pro telefon Librem 5. Víceméně se jedná o stabilní Debian s GNOME doplněný o balíčky phosh, phoc, libhandy, Calls, Chats a další.

Ladislav Hagara | Komentářů: 0
20.2. 19:33 | Zajímavý článek

Jozef Mlich se v příspěvku PinePhone je nové OpenMoko na svém blogu věnuje svému novému linuxovému chytrému telefonu PinePhone v edici BraveHeart: "Momentálně se pocity z tohohle zařízení dají přirovnat k BrokenMoku. Většina věcí prostě nefunguje. Minimálně ne sama od sebe. Začít se dá už u samotného hardware, kde existuje wiki stránka popisující nedostatky".

Ladislav Hagara | Komentářů: 23
20.2. 10:00 | Zajímavý projekt

Justine Haupt aktualizovala svůj open source mobilní telefon s rotační číselnicí a zveřejnila kompletní dokumentaci, vlastní kód, schémata i STL soubory pro 3D tisk. Desku plošných spojů případně i vytištěný obal lze koupit v jejím obchodu.

Ladislav Hagara | Komentářů: 40
20.2. 06:00 | IT novinky

Otevřená certifikační autorita Let's Encrypt v příspěvku na svém blogu informuje, že žádosti o vystavení certifikátů nově validuje z několika míst současně (Multi-Perspective Validation). Další informace v diskusním fóru.

Ladislav Hagara | Komentářů: 10
19.2. 13:55 | Nová verze

Byla vydána verze 15.0 na Debianu založené linuxové distribuce Untangle NG Firewall. Přehled novinek v poznámkách k vydání a ve videu na YouTube. Vyzkoušet lze (zatím neaktualizované) demo webového rozhraní.

Ladislav Hagara | Komentářů: 0
19.2. 12:11 | Pozvánky

Letošní ročník konference LinuxDays se uskuteční o víkendu 3. a 4. října, opět se potkáme v pražských Dejvicích na FIT ČVUT. Také během devátého ročníku nás budou čekat desítky přednášek, workshopy, stánky a spousta doprovodného programu. Aktuální dění můžete sledovat na Twitteru nebo Facebooku, přidat se můžete také do telegramové diskusní skupiny.

Petr Krčmář | Komentářů: 7
19.2. 10:22 | Zajímavý článek

Alexander Popov se v příspěvku na svém blogu podrobně věnuje možnostem zneužití bezpečnostní chyby CVE-2019-18683 v linuxovém podsystému V4L2. Videoukázka eskalace práv na YouTube. Chyba byla v upstreamu opravena v listopadu loňského roku. Alexander Popov se chybě věnoval ve své přednášce (pdf) na konferenci OffensiveCon 2020.

Ladislav Hagara | Komentářů: 0
Vydržela vám novoroční předsevzetí?
 (9%)
 (5%)
 (3%)
 (83%)
Celkem 182 hlasů
 Komentářů: 0
Rozcestník

www.AutoDoc.Cz

Dotaz: Uváznutí v Aktor systému

15.10.2019 16:39 BoneFlute
Uváznutí v Aktor systému
Přečteno: 306×
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: 32 | 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
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.