Canonical vydal (email, blog, YouTube) Ubuntu 24.04 LTS Noble Numbat. Přehled novinek v poznámkách k vydání a také příspěvcích na blogu: novinky v desktopu a novinky v bezpečnosti. Vydány byly také oficiální deriváty Edubuntu, Kubuntu, Lubuntu, Ubuntu Budgie, Ubuntu Cinnamon, Ubuntu Kylin, Ubuntu MATE, Ubuntu Studio, Ubuntu Unity a Xubuntu. Jedná se o 10. LTS verzi.
Na YouTube je k dispozici videozáznam z včerejšího Czech Open Source Policy Forum 2024.
Fossil (Wikipedie) byl vydán ve verzi 2.24. Jedná se o distribuovaný systém správy verzí propojený se správou chyb, wiki stránek a blogů s integrovaným webovým rozhraním. Vše běží z jednoho jediného spustitelného souboru a uloženo je v SQLite databázi.
Byla vydána nová stabilní verze 6.7 webového prohlížeče Vivaldi (Wikipedie). Postavena je na Chromiu 124. Přehled novinek i s náhledy v příspěvku na blogu. Vypíchnout lze Spořič paměti (Memory Saver) automaticky hibernující karty, které nebyly nějakou dobu používány nebo vylepšené Odběry (Feed Reader).
OpenJS Foundation, oficiální projekt konsorcia Linux Foundation, oznámila vydání verze 22 otevřeného multiplatformního prostředí pro vývoj a běh síťových aplikací napsaných v JavaScriptu Node.js (Wikipedie). V říjnu se verze 22 stane novou aktivní LTS verzí. Podpora je plánována do dubna 2027.
Byla vydána verze 8.2 open source virtualizační platformy Proxmox VE (Proxmox Virtual Environment, Wikipedie) založené na Debianu. Přehled novinek v poznámkách k vydání a v informačním videu. Zdůrazněn je průvodce migrací hostů z VMware ESXi do Proxmoxu.
R (Wikipedie), programovací jazyk a prostředí určené pro statistickou analýzu dat a jejich grafické zobrazení, bylo vydáno ve verzi 4.4.0. Její kódové jméno je Puppy Cup.
IBM kupuje společnost HashiCorp (Terraform, Packer, Vault, Boundary, Consul, Nomad, Waypoint, Vagrant, …) za 6,4 miliardy dolarů, tj. 35 dolarů za akcii.
Byl vydán TrueNAS SCALE 24.04 “Dragonfish”. Přehled novinek této open source storage platformy postavené na Debianu v poznámkách k vydání.
Oznámeny byly nové Raspberry Pi Compute Module 4S. Vedle původní 1 GB varianty jsou nově k dispozici také varianty s 2 GB, 4 GB a 8 GB paměti. Compute Modules 4S mají na rozdíl od Compute Module 4 tvar a velikost Compute Module 3+ a předchozích. Lze tak provést snadný upgrade.
Generické programování je podporované v řadě jazyků. Může být implementováno různými způsoby – např. v Javě nebo Rustu jsou to generika zatímco v C++ nebo D jsou to šablony. Na první pohled vypadají stejně a je tam dost velký překryv (základní využití v kolekcích). Ale oba přístupy mají svoje specifika a umí něco, co ten druhý přístup neumožňuje. V případě šablon se v podstatě kód v době kompilace rozkopíruje do tolika variant, s kolika typy jsme danou šablonu použili jinde v kódu. Kdežto u generik jde spíš o typovou kontrolu v době kompilace + přetypování v době běhu (kód je stále tentýž a pracuje s obecnými objekty). V obou případech se ale jedná o velice hodnotnou vlastnost programovacího jazyka.Tohle není úplně pravda... IMO není dobrý to pojmenovávat generika versus šablony, spíš mluvíš o rozlišení type-erasure versus monomorphisation. Generika v Javě jsou implementována tím prvním způsobem, kdežto v C++, Rustu a (AFAIK) D tím druhým. Generika v Rustu nefungují jako v Javě, ten overhead boxingu generických věcí by byl nepřijatelný. Od C++ se neliší tím, že by kompilátor nedělal kopie, ale tím, že jsou silně typovaný, tj. liší se to jen ve fázi kontroly. Nicméně po tom, co kompilátor vyhodnotí, že kód je korektní (ať už jakýmkoli způsobem), tak v obou případech nastane ta monomorfizace, tj. rozkopírování kódu. Pak tam jsou ještě nějaké další rozdíly, jako např. že v Rustu se generické definice serializují do metadat knihoven (ve formě intermediate reprezentace kódu), takže je možný je z knihovny importovat bez použití hlavičkových souborů. (A to samé platí i o makrech, btw.) Zajímavý je v tomhle ohledu IIRC C#, kde kompilátor monomorfizuje generika nad hodnotovými typy. (Ale jenom jsem to někde četl, nemam k tomu zdroj a C# nerozumim do hloubky.)
Generika v Rustu nefungují jako v Javě, ten overhead boxingu generických věcí by byl nepřijatelný.Boxování se v Javě týká jen primitivních typů a s generiky to v podstatě nijak nesouvisí. Ten problém není exkluzivní pro generika, a naopak se u generik projevit nemusí vůbec, pokud nepoužíváš primitivní typy. Obecně je overhead generik v Javě daný jen nutností dělat přetypování (resp. kontrolovat, že z generika vylezl správný typ).
Boxování se v Javě týká jen primitivních typů a s generiky to v podstatě nijak nesouvisí.Týká se všechn typů, primitivní typy se liší pouze tím, že jsou to hodnotové typy a je potřeba je zboxovat "navíc" oproti normálu. Ostatní typy jsou boxované by default. S generiky to souvisí poměrně zásadně. Důvod, proč jazyky jako C++ a Rust používají monomorfizaci je ten, že každá instance generické funkce nebo typu počítá s konkrétními vlastnostmi těch dosazenýh typů. Pokud má položka struktury generický typ, tak různé instanciace té struktury budou mít různou velikost, vevnitř různé zarovnání/padding a budou v metodách na tom typu volat různé implementace funkcí/operátorů. Což umožňuje aby hodnotové typy zůstaly v generickém kódu hodnotovými typy. S type-erasure to nejde dohromady - nemůžeš jedné funkci předat jako argument ukazetel/referenci na struktury s různým layoutem. Aby type-erasure-based generickej kód fungoval, musí být generický věci boxovaný (aby byla vždy stejná velikost a zarovnání typu) a jejich funkce/operátory se musí volat přes vtable. Odtud ten overhead. (S tím, že Java VM bude nejspíš umět ten overhead do nějaký míry zredukovat, např. inlinovat virtuální volání apod., ale úplně odstranit ho AFAIK nemůže.)
AbcLinuxu.cz
ITBiz.cz
HDmag.cz
AbcPráce.cz
18.5.2020 19:32
java.lang.Object, virtuálních volání apod.
Kdyby jazyk, který tu režii jinde neplatí, chtěl generika implementovat stejně, zaplatil by tam tu režii celou najednou, čemuž se patrně bude chtít vyhnout.
a v nutnosti kontrolovat, že z generik lezou správné typy.Tohle zase trochu matě mě. Čekal bych, že když už je ten kód type-checkován kompilátorem, že už nebude potřeba správnost typu kontrolovat v runtime (samozřejmě pokud člověk udělá downcasting, tak jo). Nebo je možný třeba do kolekce v Javě nějak procpat špatný typ?
List<Integer> list = new ArrayList<>();
((List) list).add("mhm");
System.out.println(list.get(0));
Ale ono je to jedno. I kdyby tam nebyla ta instrukce checkcast v bajtkódu, JVM si stejně nakonec musí nějak pohlídat, jestli manipuluje se správným typem, aby jí nepřetekl nějaký pointer nebo whatever (jinak by to byla bezpečnostní díra jako blázen).
Takže v praxi je to tak, že nějaké checky dělá kompilátor (a občas ti dovolí takovuto šílenost), nějaké další checky nacpe do vygenerovaného bajtkódu a pak nějaké checky dělá ještě JVMko. Nakonec si to HotSpot určitě nějak vyoptimalizuje a věci, které jsou tam zbytečně, vyhází.
Čekal bych, že když už je ten kód type-checkován kompilátorem, že už nebude potřeba správnost typu kontrolovat v runtime (samozřejmě pokud člověk udělá downcasting, tak jo)To muzes predpokladat pouze u jazyku, ktere jsou kompilovany do strojoveho kodu. Z principu runtime nemuze predpokladat, ze kod byl zkompilovan spravnym prekladacem a je spravny (to by vedlo k brutalnim bezpecnostnim diram), javovsky runtime umoznuje nacitat tridy dynamicky (to by vedlo na dalsi kategorii problemu, pokud by se neprovadely kontroly i na urovni runtimu).
Skutečně je java runtime schopen zajistit bezpečnost třeba při načtení třídy z neznámého zdroje?No, to je trošku záludná otázka, ale řekněme to takhle: ano, měl by. Co jsem se kdysi díval, v čem byl bezpečnostní problém u slavných Java appletů, tak primárně nešlo o díry přímo v JVMku, ale třeba v nesprávném použití SecurityManageru ve standardní knihovně.
To by vyžadovalo nějaký sandboxing, ne? (Ve kterém by třeba naopak segfault už "nevadil"...).Proč?
Pokud není požadavkem načítat třídy z neznámých zdrojů, tak by mohly stačit nějaký metadata o verzi kompilátoru etc., ne?JVM je interpreter a měl by se chovat korektně. Mj. by nebylo dobré, aby došlo ke crashi JVM třeba kvůli zbabrané instrumentaci (modifikaci bajtkódu před načtením třídy) atd.
Proč?No, tak protože bez toho může ten importovanej kód dělat arbitrary věci, ne? Mohl by např. použít
sun.misc.Unsafe nebo nějaké JNI pro rozbití JVM. Ale i po blacklistování těhle dvou by mohl třeba házet libovolné výjimky, dělat libovolné I/O, alokovat kvanta paměti, těžit bitcoiny... Zkrátka, moc si to bez sandboxu neumim představit...
Spotřebu paměti omezíš parametrem při spouštění JVMka.Jo, ale tim ji omezíš celýmu tomu kódu..
a třeba JavaScriptový engine v prohlížeči to taky neumí.Do jistý míry jo.
Kdybych dnes potřeboval spustit nedůvěryhodný kód, izoloval bych raději asi celé JVMkoSouhlas.
Jo, ale tim ji omezíš celýmu tomu kódu..Z hlediska omezení např. spotřeby paměti je jedno, jestli sandboxuješ interpreter a věříš systému, nebo sandboxuješ program a věříš interpreteru. Ale ono jsme teď sklouzli trochu jiným směrem než byla původní debata. Původně byla řeč o té kontrole typů, co lezou z generik. Myslím si, že užitečnost těch případných chybových hlášek, když se něco podělá, za těch pár podmínek stojí. No a teprve druhá věc je, že historicky JVM byla stavěná i na spouštění nedůvěryhodného kódu a ty kontroly tam být musely i z bezpečnostních důvodů.
Do jistý míry jo.Jak? Ono jde zpomalit těžbu Bitcoinů, ale ne všechno ostatní? Možná zpomalit jen určité operace s tím, že sice je lze emulovat, ale těžba už nebude tak efektivní a vyfrknou se na to?
"Referencované typy" by bylo blíž a určitě to blíž javovské terminologii, ale není to úplně přesný, protože obecně třeba v C++ jeden typ se dá použít jako hodnotový i jako "boxovaný".Pojem referencni objektovy model se pouzival minimalne jiz v devadesatych letech a oznacuje situace, kdy se objekt chova jako skutecny objekt (ma svou identitu) a ne jako hodnota. Boxing je v jave opravdu jen zabaleni hodnoty primitivniho datoveho typu do tridy, aby se to chovalo jako skutecny objekt.
Generika v Rustu nefungují jako v Javě, ten overhead boxingu generických věcí by byl nepřijatelný.
Aby type-erasure-based generickej kód fungoval, musí být generický věci boxovaný (aby byla vždy stejná velikost a zarovnání typu) a jejich funkce/operátory se musí volat přes vtable.Co použít místo třeba "overhead boxingu"? Když řeknu "overhead referencování" tak to není to, co mam na mysli - referencování (indirekce) je jen část problému, druhá část je ta alokace toho místa, které se referencuje, a přesunutí té hodnoty do toho místa, ie. "boxing".
Dříve jsem používal slovník cizích slov velmi rád, protože mi dokázal krátce, rychle a stručně odpovědět na moje dotazy. Díky sáhodlouhým encyklopedickým příspěvkům prof. PhDr. Rudolfa Kohoutka, CSc., se však ze slovníku stal nepřehledný bordel, jehož použití je pro mě zcela strašné. Kdybych chtěl vědět víc o daných heslech, použiju jiný zdroj. Rád bych tímto inicioval omezení počtu znaků a vrátil tak slovníku původní smysl.
Proti tomuto je i ta nejvetsi prasarna v jave prochazkou po rozkvetlem paloucku.
Komplexita sestává z reality a imaginarity. Imaginaritu je třeba buď odstranit, nebo transformovat v realitu.
Tiskni
Sdílej:
18.5.2020 22:56
19.5.2020 18:53
