Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Příspěvky - Mirek Prýmek

Stran: 1 ... 140 141 [142] 143 144 ... 618
2116
Tohle je trochu problém Go
Na Go jsem právě myslel, když jsem to psal. Ten jejich error handling mě fakt otravuje. Neexistence výjimek a generik mě osobně na Go vysírá nejvíc.

2117
jsou to dvě strany téže mince.
Co? Co je jedna strana a co druhá? A jaké jedné mince?

A ano, pak se všichni diví, kolik že jsme měli těch bezpečnostních děr za minulý týden?
Bezpečnostní chyby jsou imho nejčastěji špatné implementace nějakého algoritmu, špatná kontrola vstupů nebo mezí polí. Ani jedno není způsobeno jedním nebo druhý přístupem k chybovým stavům.

2118
Způsobuje separaci místa vzniku chyby od místa jejího zpracování, a to i vertikálně, přes úrovně jednotlivých vrstev, což je IMO zlo. [...] A tak se na to kašle, nechá se to zpropagovat až kdo ví kam a tam se teprve chyba řeší. Jenže takové místo je z hlediska struktury, tj. viditelnosti a rozsahu platnosti jednotlivých entit, izolované od místa vzniku. Vlastně už se tam nedá dělat nic, než jen vzít na vědomí, že "někde dole" vznikla chyba
...což je přesně to, co u velkého množství programů chceš. Nějaký velký blok kódu řeší jednu věc, například načtení credentials, připojení na server, autentizace. Nechceš řešit všechny možné chybové stavy u všech jednotlivých kroků. Chceš na nejvyšší úrovni dostat informaci "nemohl jsem se připojit, protože ..." (nelze se připojit k DB, credentials jsou neplatné, server je nedostupný apod.)

Kdybys měl opravdu na každém místě řešit úplně všechny chybové stavy, ke kterým může dojít (včetně lowlevel věcí jako např. "out of memory" apod.), tak v té změti checkování bude ten samotný algoritmus jako jehla v kupce sena.

2119
Server / Re:Háčky a čárky v názvech adresářů a souborů
« kdy: 17. 08. 2017, 15:10:30 »
A že autodetekce kódování může selhat, je možná úsměvné, ale žádná tragedie to není. Dá se to zvolit ručně.
Když se program tváří, že něco umí a ve skutečnosti to tragickým způsobem neumí, tak to není úsměvné, ale je to osina v (_|_), jako ostatně polovina věcí na Windows.

2120
Server / Re:Háčky a čárky v názvech adresářů a souborů
« kdy: 17. 08. 2017, 13:23:52 »
Windows to plně podporují od verze NT 4.0
Jasný. Plně. Akorát sem tam převedou anglický text na čínštinu, ale to je detail :))) https://en.wikipedia.org/wiki/Bush_hid_the_facts

2121
Server / Re:Háčky a čárky v názvech adresářů a souborů
« kdy: 17. 08. 2017, 12:45:17 »
Nevím o tom, že by POSIX vynucoval cokoli jiného než že název nesmí obsahovat "/".
Aha, myslel jste "fully portable filenames", tak to jo.

2122
Server / Re:Háčky a čárky v názvech adresářů a souborů
« kdy: 17. 08. 2017, 12:42:30 »
V systémech, které pracují v UTF-8 by to být problém neměl (Win NT 4.0+).
Windows nepoužívají UTF-8, jak již řečeno výše.

Někdy bývá v IT nastavené pravidlo tak, aby byl subset znaků použitelný pro více OS, pak se nejčastěji vychází z POSIXU.
Nevím o tom, že by POSIX vynucoval cokoli jiného než že název nesmí obsahovat "/".

V praxi, kdybych nastoupil k zaměstnavateli, tak bych to nejprve respektoval. Kdybych ani po cca 3-6 měsících neviděl důvod pro takové pravidlo, inicioval bych změnu pravidla.
Uživatel nemusí důvod vidět. Může to být např. proto, že nějaký interní systém (NFS, zálohování apod.) má s takovými soubory problém.

2123
Server / Re:replikace virtualního stroje - co udělat s cronem
« kdy: 16. 08. 2017, 16:49:34 »
díky za informace, zajímavá je ta poznámka o té paměti - mně teď napadá, ze i ten snapshot té VM asi také ten obsah té RAMky neobsahuje :-)
Snapshoty běžícího stroje image RAM obsahují (viz https://pve.proxmox.com/wiki/Live_Snapshots) a je to potřeba i pro live migraci. Jestli to platí i pro zsync, to nevím, zatím jsem to neměl potřebu zkoumat.

a i ty transakce budou možná problém. Tedy prinejmenším se asi bude muset dělat recovery při startu záložního VM - ale to asi dělají všechny pořádné DB při bootu automaticky.
Recovery by měla každá rozumná DB zvládnout dobře, v tom bych problém neviděl. Spíš v tom, jestli se dá opravdu spolehnout na fsyncování změn.

Každopádně ale při tom řešení se zsyncem se z principu věci nějaké transakce ztratí, protože se syncuje jenom jednou za nějakou dobou - tj. všechno, co se zapsalo od posledního synce, je fuč.

2124
Server / Re:replikace virtualního stroje - co udělat s cronem
« kdy: 16. 08. 2017, 12:44:59 »
díky za podnětný návrh. Jestli jsem to dobře pochopil, jedná se o HA řešení
Zsync není opravdové HA řešení. Opravdové HA musí vypadat nějak takhle:
1. minimálně dva nody schopné převzít zátěž (spustit virtuály)
2. společné (!) úložiště - tj. data virtuálů nejsou uložená na nodu, ale mimo něj, přístupné oběma nody
3. nějaký způsob detekce živosti (třetím nodem) + fencing (v případě výpadku nodu 1 jej natvrdo (!) vypne a virtuály spustí na nodu 2) - fencing se opravdu dělá tvrdě, např. vypnutím proudu pro ten node, aby byla jistota, že se v síti nemůžou plést oba dva nody

U zsync je ten bod 2 udělaný jinak - každý z nodů má virtuály uložené na svém lokálním úložišti a čas od času se data synchronizují.

U všech řešení je potřeba dát pozor na dvě věci:

1. typicky se nesynchronizuje obsah RAM - cokoli je v RAM a není na disku, bude při pádu nodu nenávratně ztraceno, HA neHA.

2. bacha na to, že disk se může synchonizovat (u společného úložiště může pří pádu zůstat v) nějakým způsobem nekorektním/neúplném stavu. Na to je potřeba myslet hlavně u zápisů, které nemají transakce. Pokud transakce jsou, je potřeba myslet na to, jestli jsou klientovi potvrzeny skutečně až po plném zápisu na disk (bacha na disky, které lžou apod.) Není to žádná pr.del, na 100%ní spolehlivost nelze spolíhat, pokud tomu člověk úplně suprově nerozumí a nemá všechno perfektně otestované a ověřené.

, které 'mý být' méně náročné na správu. To je trochu náš problém a obávám se, že se o to musí někdo starat. Proto bych rád vědel, co to v běžném provozu obnáší.
ProxMox je klikačka, se kterou se člověk seznámí rychle a údržbu vyžaduje takovou, jako jakýkoliv linuxový stroj (hlavně updaty, případné restarty). Výhodou je, že virtuály se dají migrovat, takže je možné virtuál odmigrovat, stroj updatovat, restartovat. Totéž na druhém stroji.

Někdo tady napsal, že s verzí 4 měl problémy, verze 5 je z cervna 2017 - tedy relativně nová věc. A i ty připomínky ohledně ZFS jsou trochu znervózňující.
To se týká výlučně ZFS. ProxMox má víc druhů úložišť. Já jsem chtěl ZFS hlavně proto, že s ním mám zkušenost. Bohužel na Linuxu je to se stabilitou asi tak stejný jako na FreeBSD před sedmi lety...

Zkoušel jsem ještě LVM, ale tam ProxMox používá thin provisioning, na můj vkus je to příliš složité a málo přehledné a při nekorektním vypnutím se mi podařilo ho dostat do stavu, který jsem neuměl opravit (tím netvrdím, že to nešlo). Takže ZFS mi přišlo jako lepší volba. V 5ce se navíc zdá být už rozumně stabilní.

Za jak dlouho je možno odhadem se do problematiky zapracovat? (máme 20 let zkušenosti s unixem). Běží to skutečně bezproblémově?
Týden zkoušení člověkem, který má aspoň nějaké povědomí o Linuxu a aspoň trochu tuší, co bude dělat. Pak nějakou dobu na ne-produkční testování - jak dlouho záleží na tom, jak moc velkou jistotu chce člověk mít...

Řekl bych, že největší věda je vymyslet, jak to vlastně celé bude fungovat (ZFS, LVM nebo Ceph?) sdílené úložiště nebo lokální? Automatický fencinf a failover, nebo prostě manuální přepnutí? Kdyř ZFS, tak cache na SSD? Čtecí nebo zápisová? Atd. atd. Naštěstí ale díky tomu, že se VMs dají migrovat, hodně se dá i ex post změnit, buď úplně za běhu, nebo jenom s minimálními výpadky.

2125
Studium a uplatnění / Re:Založení s.r.o. při zaměstnání
« kdy: 16. 08. 2017, 10:16:06 »
Jenže ouha, oslovil jsem několik hypotečních poradců a sám jsem obešel snad všechny banky, které u nás hypotéky poskytují. Banky nejsou schopny akceptovat příjmy z kapitálového majetku a už vůbec ne pokud pochází ze zahraničí. Nakonec mi poradci poradili, že mi nezbude nic jiného, než založit české eseróčko a udělat si pracovní smlouvu. Protože když si udělám pracovní smlouvu se svojí anglickou firmou, tak to nic neřeší, české banky nebudou ochotné/schopné zkoumat zdroj příjmů a ověřovat anglické daňové přiznání mé firmy.
To je dost zvláštní teda. Možná je to tím, že jsi to řešil 7 let zpátky a od té doby se úvěrový trh dost posunul? Páč dneska by to neměl být vůbec problém, viz např. https://www.fio.cz/bankovni-sluzby/uvery/americke-hypoteky (sazba je jenom o procento vyšší než u normální hypotéky, což se dá, zvlášť když je tam možnost offsetu, který využiješ, pokud máš velké přijmy).

P.S. podobný problém je i u OSVČ - kvůli paušálním nákladům má člověk daleko nižší účetní příjmy než reálné a u hypo je to pak problém.

2126
Server / Re:replikace virtualního stroje - co udělat s cronem
« kdy: 15. 08. 2017, 22:44:00 »
doporucuju proxmox5 a zsync
Když zmiňuješ proxmox a ZFS, jaký s tím máš zkušenosti? Já jsem byl silně rozčarovanej nad stabilitou 4ky: dokud byl swap na zvolu, padalo to jak hrušky. Když jsem ho zrušil, bylo to lepší, ale pořád ne úplně stabilní. 5ka zatím vypadá být úplně v pohodě (fingers crossed).

Mám to víceméně jenom na testování na stroji s 8G RAM, což není moc, ale až takhle velkou nestabilitu jsem neočekával...

2127
Server / Re:replikace virtualního stroje - co udělat s cronem
« kdy: 15. 08. 2017, 21:42:04 »
Trochu se obávám, že jestliže si myslíte, že největší problém je cron, tak byste se do toho radši pouštět neměli. Nebo si ještě hodně dostudovat a jít do toho až pak...

Pro inspiraci např: https://access.redhat.com/documentation/en-US/Red_Hat_Enterprise_Linux/7/html/High_Availability_Add-On_Administration/ch-startup-HAAA.html

2128
Nicméně, abych si trochu přihřál polívčičku ;) Kdybyste někdo chtěli svobodnější práci zkusit, právě hledám kolegu: https://forum.root.cz/index.php?topic=16043.msg221636

2129
Vývoj / Re:Faktorizace vyčíslitelných funkcí v Hasku
« kdy: 13. 08. 2017, 23:51:51 »
Hask se může brát jako prostě nějaká obecná kartézsky uzavřená kategorie s morfismy jako vyjádřitelnými funkcemi (bez ohledu na vyčíslitelnost, on i takový halting problém je při vhodné restrikci rozhodnutelný, zrovna před rokem jsem o tom viděl hezkou přednášku na Oxfordu, ale to odbočuju). Rozklad morfismu je předpoklad pro to tvrzení, čili například f.g.h (wlog stačí uvažovat binární rozklad). Když si ho zadáš jako f.id, tak klidně můžeš, jen to pak je poměrně triviální. To tvrzení říká, že můžu jít jinou cestou (přes jiné objekty dané kategorie), přičemž ty morfismy na alternativní cestě jsou restrikcemi těch původních a když vyberu epimorfismy, tak budou vyčíslitelné, je-li jejich kompozice taktéž.
Ok, díky, to už mi trochu začíná dávat smysl.

2130
Vývoj / Re:Faktorizace vyčíslitelných funkcí v Hasku
« kdy: 13. 08. 2017, 21:25:47 »
Ta otázka je nepřesná, zřejmě jde o to, že když mám vyčíslitelný morfismus a nějaký jeho rozklad, tak z něj vždy dostanu takový rozklad, kde každá komponenta je restrikcí nějaké dané a zároveň vyčíslitelná, protože můžu vždy jít přes epimorfismy. Existence je zaručená, protože všechny morfismy jsou totální funkce. Důkaz je přes komutativní diagramy celkem názorný (byť ne zcela triviální).
To's mi to teda pořád moc neosvětlil :) "Vyčíslitelný morfismus" je co? Pokud se bavíme o Hasku, jsou morfismy funkce a vyčíslitelné jsou z definice (Hask iirc neobsahuje bottom).

"Rozklad morfismu" znamená co? Rozklad nějaké množiny, nebo to, že f můžu vyjádřit jako složení nějakého g a h? (proto jsem se ptal, jestli jedno z toho může být id)

A je tenhle fakt nějak využitelný, má nějaké praktické důsledky?

Stran: 1 ... 140 141 [142] 143 144 ... 618