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

    Byl vydán Mozilla Firefox 126.0. Přehled novinek v poznámkách k vydání, poznámkách k vydání pro firmy a na stránce věnované vývojářům. Vylepšena byla funkce "Zkopírovat odkaz bez sledovacích prvků". Přidána byla podpora zstd (Zstandard). Řešeny jsou rovněž bezpečnostní chyby. Nový Firefox 126 je již k dispozici také na Flathubu a Snapcraftu.

    Ladislav Hagara | Komentářů: 0
    dnes 15:22 | Nová verze

    Grafana (Wikipedie), tj. open source nástroj pro vizualizaci různých metrik a s ní související dotazování, upozorňování a lepší porozumění, byla vydána ve verzi 11.0. Přehled novinek v aktualizované dokumentaci.

    Ladislav Hagara | Komentářů: 0
    dnes 14:55 | Nová verze

    Byla vydána nová verze 24.0 linuxové distribuce Manjaro (Wikipedie). Její kódové jméno je Wynsdey. Ke stažení je v edicích GNOME, KDE PLASMA a XFCE.

    Ladislav Hagara | Komentářů: 2
    dnes 13:00 | Nová verze

    Byla představena oficiální rozšiřující deska Raspberry Pi M.2 HAT+ pro připojování M.2 periferii jako jsou NVMe disky a AI akcelerátory k Raspberry Pi 5. Cena je 12 dolarů.

    Ladislav Hagara | Komentářů: 2
    dnes 12:44 | Pozvánky

    V Praze o víkendu proběhla bastlířská událost roku - výstava Maker Fair v Praze. I strahovští bastlíři nelenili a bastly ostatních prozkoumali. Přijďte si proto i vy na Virtuální Bastlírnu popovídat, co Vás nejvíce zaujalo a jaké projekty jste si přinesli! Samozřejmě, nejen českou bastlířskou scénou je člověk živ - takže co se stalo ve světě a o čem mohou strahováci něco říct? Smutnou zprávou může být to, že provozovatel Sigfoxu jde do

    … více »
    bkralik | Komentářů: 0
    dnes 12:33 | Humor

    Kam asi vede IllllIllIIl.llIlI.lI? Zkracovač URL llIlI.lI.

    Ladislav Hagara | Komentářů: 1
    včera 22:00 | IT novinky

    Společnost OpenAI představila svůj nejnovější AI model GPT-4o (o jako omni, tj. vše). Nově také "vidí" a "slyší". Videoukázky na 𝕏 nebo YouTube.

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

    Ondřej Filip publikoval reportáž z ceremonie podpisu kořenové zóny DNS. Zhlédnout lze také jeho nedávnou přednášku Jak se podepisuje kořenová zóna Internetu v rámci cyklu Fyzikální čtvrtky FEL ČVUT.

    Ladislav Hagara | Komentářů: 0
    včera 14:22 | IT novinky

    Společnost BenQ uvádí na trh novou řadu monitorů RD určenou pro programátory. První z nich je RD240Q.

    Ladislav Hagara | Komentářů: 19
    včera 13:00 | IT novinky

    Byl aktualizován seznam 500 nejvýkonnějších superpočítačů na světě TOP500. Nejvýkonnějším superpočítačem nadále zůstává Frontier od HPE (Cray) s výkonem 1,206 exaFLOPS. Druhá Aurora má oproti loňsku přibližně dvojnásobný počet jader a dvojnásobný výkon: 1,012 exaFLOPS. Novým počítačem v první desítce je na 6. místě Alps. Novým českým počítačem v TOP500 je na 112. místě C24 ve Škoda Auto v Mladé Boleslavi. Ostravská Karolina, GPU

    … více »
    Ladislav Hagara | Komentářů: 0
    Podle hypotézy Mrtvý Internet mj. tvoří většinu online interakcí boti.
     (72%)
     (6%)
     (11%)
     (11%)
    Celkem 250 hlasů
     Komentářů: 16, poslední dnes 11:05
    Rozcestník

    Singularity

    20.11.2005 21:55 | Přečteno: 1569× | Plané filozofování | poslední úprava: 20.1.2006 14:53

    Před pár týdny jsem narazil na zprávu o novém operačním systému od Microsoft Research jménem Singularity. Mělo to být něco nového, bezpečného, navrženého od nuly, žádné tweaklé Windows ani Unix. Neodolal jsem a vrhl jsem se na studium příslušného reportu. Předpokládám, že ne každý má dost času a chuti číst takové reporty, tak přináším pár postřehů.

    Cílem projektu bylo navrhnout operační systém nezatížený jakoukoliv zpětnou kompatibilitou s primárním ohledem na bezpečnost a spolehlivost (tedy ne rychlost) a vytvořit zkušební implementaci. To vše se zapojením moderních vysokoúrovňových jazyků ala C# a jeho nadstaveb.

    Architektura

    Celý návrh Singularity stojí na pojmu SIP - software isolated process (dále budu slovo proces používat jako synonymum k SIP). Tak jako v každém jiném operačním systému i v Singularity jsou procesy. Tyto procesy je vhodné od sebe nějak izolovat. Singularity, na rozdíl od všech běžných OS, k tomu nepoužívá hardwarové prostředky, ale softwarové.

    Proces je obvykle vymezen svými daty (adresový prostor) a vlákny provádění. K SIP se ale neváže adresový prostor, nýbrž objektový prostor. V Singularity může více procesů sdílet jeden adresový prostor a přesto můžou být na sobě dokonale nezávislé.

    Jednotlivé procesy jsou z datového hlediska množiny objektů (jak je známe z Javy a C#) a není dovoleno, aby objekty z různých procesů na sebe měly reference. Jednotlivé procesy spolu samozřejmě můžou komunikovat, ale jenom pomocí přesně a předem definovaných rozhraní, které exportují. Tato rozhraní kromě samotných formátů zpráv (jméno metody a typy parametrů) obsahují i jakýsi protokol (diagram přechodů).

    contract C1 {
      in message Request(int x) requires x>0;
      out message Reply(int y);
      out message Error();
    
      state Start: Request?
                   -> (Reply! or Error!)
                   -> Start;
    }
    

    Zde například proces specifikuje, že přijímá zprávu Request s parametrem celým kladným číslem. Na tuto zprávu odpoví (viz vyřičník) zprávou Reply nebo Error a po odpovědi je znovu schopen přijmout zprávu Request (stav Start).

    Kromě posílání zpráv si procesy můžou vyměňovat data pomocí tzv. kanálů s využitím tzv. exchange heap.

    Na procesy jsou kladeny taky další omezení, proces například nemůže dynamicky nahrát a spustit další kód. Dokonce je zakázána i reflexe (vytváření nového kódu za běhu). Jenže dynamické nahrávání kódu je potřeba, moderní software je jím prolezlý, třeba rozšížení Firefoxu. Vyřešeno je to jednoduše, každé rozšíření musí mít vlastní SIP. Tím je zabráněno tomu, aby nějaké agresivní rozšíření manipulovalo s daty mateřského programu způsobem, který by vedl k jeho pádu.

    Skoro každá prkotina má vlastní SIP. Počínaje ovladači a pluginama konče. Díky tomu, že jednotlivé SIP jsou od sebe dokonale odděleny, je možné je po havárii jednoduše odstřelovat, uvolňovat jejich prostředky a taky dělat restarty.

    Implementace

    Paměťníci možná vzpomenou na "operační systémy" jako Windows 3.x, kde se do jisté míry spoléhalo na ukázněnost procesů a jako celek to nefungovalo. Jak jsou tedy procesy k ukázněnosti přinuceny v Singularity? Singularity je napsán v Sing#, což je rozšíření Spec#, což je rozšíření C# :-). A pokud budete psát vlastní program je potřeba ho napsat ve vysokoúrovňovém jazyku překládaném do MSIL. A kód v MSIL umí Singularity ověřit na korektnost. Je to jasné, v Javě taky nemůžete přímo pracovat s pamětí.

    Aby nedošlo k dojmu, že všechno musí být v C#. Každý proces může používat rozdílné runtime knihovny, mít jiný algoritmus pro GC. Jen musí dodržovat pravidla systému.

    V singularity teoreticky (snad) může běžet i nativní stroják procesoru, ale ten musí být vyprodukován "důvěryhodným" překladačem.

    Softwarová izolace má taky ten zajímavý důsledek, že v Singularity na x86 běží všechen software s úrovní oprávnění ring 0. Tato nezávislost na bezpečnostních vlastnostech hardwaru je zároveň příležitost pro vývoj nového hardwaru. Například místo ochrany paměti vytvořit akcelerovaný GC.

    Pomalý mikrokernel?

    Singularity je mikrokernel. Dole je pár řádek v assembleru a céčku a vše ostatní (včetně ovladačů) je v C# a potomcích. Zdá se, že by to mělo být pomalé. Kupodivu není.

    Mikrokernel jako například HURD je pomalý zčásti proto, že komponenty běží v oddělených adresových prostorech. Kvůli každé operaci (kopírování dat) se pak musí typicky několikrát přepínant kontext procesu a taky se čeká, než se proces naplánuje.

    V Singularity běžící na 64bitové architektuře můžou všechny procesy běžet v jednom adresovém prostoru. Exchange heap pak má mechanismy, jak předat data bez zbytečného kopírování.

    Součástí reportu jsou i benchmarky. Singularity vychází ze srovnání s Windows XP, Linuxem a FreeBSD se ctí. Koncepce samotná má z výkonového hlediska IMHO šanci obstát.

           

    Hodnocení: 94 %

            špatnédobré        

    Anketa

    Chtěli byste takový systém? Může taková koncepce v důsledcích zlepšit práci s počítačem?
     (53 %)
     (14 %)
     (34 %)
    Celkem 59 hlasů

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

    Komentáře

    Vložit další komentář

    20.11.2005 22:14 petr_p
    Rozbalit Rozbalit vše Re: Singularity
    Tak nejak tomu nerozumim. Pokud vsechny procesy bezi v ring 0, co jim zabrani v tom, aby cetly/zapisovali po cele pameti?

    Nebo snad cela ochrana spociva v tom, ze procesy se nespousi v binarnim kodu a nevykonava je procesor, ale jsou interpretovany jadrem a ze diky objektovosti neni mozne z jednoho obektu psat do jineho? V tom pripade se ale jedna o normalni virtualni stroj, ktery hlida kazdy proces vzlast (narozdil od dnesnich VM, kdy se emuluje jen OS).
    20.11.2005 22:15 petr_p
    Rozbalit Rozbalit vše Re: Singularity
    s/zapisovali/zapisovaly/
    20.11.2005 22:19 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Singularity
    Procesy vykonává normálně procesor. Po prohnání JITerem je z toho stroják. Ale je zaručeno, že ten stroják je korektní, protože vypadne z verifikovaného MSIL.
    20.11.2005 22:16 XXX | skóre: 4 | blog: CAD | X
    Rozbalit Rozbalit vše Re: Singularity
    To by mě zajímalo kdopak tento článek napsal! :-)
    20.11.2005 22:20 VícNežNic | skóre: 42 | blog: Spáleniště | Ne dost daleko
    Rozbalit Rozbalit vše Re: Singularity
    Jeho autor.
    Copak toho není dost?
    20.11.2005 22:21 XXX | skóre: 4 | blog: CAD | X
    Rozbalit Rozbalit vše Re: Singularity
    já jsem se s prvu sek. neviděl jsem na něj přímo odkaz... :-)
    20.11.2005 22:21 XXX | skóre: 4 | blog: CAD | X
    Rozbalit Rozbalit vše Re: Singularity
    Defakto by to byl další uzavřený systém s ještě větší uzavřeností než je tedka windows. Tedy na otázku zdali bych takový systém chtěl musím odpovědět NE. :-)
    20.11.2005 22:25 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Singularity
    Doufám, že to byla jen trefná ironie.

    Ale pokud ne: :-)

    Jde o idee, ne o licenci. Je to normální aplikovaný výzkum a můžem být rádi, že ho MS dělá. Unix byl od počátku taky komerční, Linux je jen jeho otevřená reimplementace.
    20.11.2005 22:27 XXX | skóre: 4 | blog: CAD | X
    Rozbalit Rozbalit vše Re: Singularity
    :-) vylož si jak chceš... :-)
    20.11.2005 22:27 Warp
    Rozbalit Rozbalit vše Re: Singularity
    Po dlhej dobe je to "revolucna myslienka" a dokonca od MS, to si zasluzi ocenit.

    P.S. Dobry Blog
    20.11.2005 22:33 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Singularity
    No tak samozřejmě to z něčeho vychází, na konci toho reportu jsou četné reference. Třeba na jNode, a jiné podobné projekty. Revoluční to samo o sobě není, ale je hezké, že mají funkční implementaci.
    Luboš Doležel (Doli) avatar 20.11.2005 22:34 Luboš Doležel (Doli) | skóre: 98 | blog: Doliho blog | Kladensko
    Rozbalit Rozbalit vše Re: Singularity
    Singularity vychází ze srovnání s Windows XP, Linuxem a FreeBSD se ctí.
    Osobně bych to nazval tragédie, ale to záleží na úhlu pohledu ;-)
    Luk avatar 20.11.2005 22:37 Luk | skóre: 47 | blog: Kacířské myšlenky | Kutná Hora
    Rozbalit Rozbalit vše Re: Singularity
    V té zprávě jsou zajímavé ještě další informace (už se tu o tom psalo dříve, ale připomenu to) - a sice porovnání rychlosti/náročnosti operací na různých OS, včetně Linuxu a Windows. A naměřené hodnoty odpovídají tomu, jak to subjektivně vnímám při běžné práci (takže mě potěšilo, že to i tak naměřili v MS ;-)).
    Šifrování je absolutní nutnost a pomáhá chránit před nekalými živly
    20.11.2005 23:39 Tomáš | skóre: 25 | Ústí nad Labem
    Rozbalit Rozbalit vše Re: Singularity
    Může mi autor vysvětlit, proč dáva do jedný ankety dvě otázky? Jinak článek pěkný.
    21.11.2005 00:02 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Singularity
    Ano, uznávám, jsou to dvě různé věci. Ale to druhé je snad u rozumných lidí implikace prvního. (Bavíme se o ideách, ne o konkrétní implementaci).
    Yin avatar 22.11.2005 20:40 Yin | skóre: 39 | blog: Yinotopia | Slovesnko, Košice
    Rozbalit Rozbalit vše Re: Singularity

    IMHO anketa nemá zmysel. Ani takáto architektúra nemôže nijak ovlyvniť užívateľovú prácu a jeho pohľad na... jeho tupý pohľad na obrazovku :D. Samozrejme, pokiaľ výrobca nenasadí ďalšoiu marketingovú taktiku (premakanejšiu než pro jeho produkt) a kopletne nezmení UI.

    IMHO syngularity je len čiena diera, nič viac. Ten projekt nie je zameraný na stabilitu, ale na nekompatibilitu. O multiplatformových aplikáciách sa tu ani nemôžeme baviť.

    Nikdy nie je tak zle, aby to jeden poharik nemohol ešte zhorsiť.
    21.11.2005 10:04 podlesh | skóre: 38 | Freiburg im Breisgau
    Rozbalit Rozbalit vše Re: Singularity
    Onen report jsem četl (tedy, jen to opravdu zajímavé) a skutečně se mi to líbí. Pokusů o takové OS již bylo několik, ale je vidět že se vývoj skutečně hýbe dopředu.

    Velmi dobrá je ta myšlenka definice protokolů. Možná se to na první pohled nezdá, ale pár let jsem nad tím uvažoval a nic kloudného mě nenapadlo, toto je velice dobré a robustní řešení.
    elviin avatar 21.11.2005 13:52 elviin | skóre: 29 | blog: elviin | Plzeň-Praha
    Rozbalit Rozbalit vše Re: Singularity

    Jen bych upozornil na existujici, funkcni, komercni POSIX mikrokernel QNX Neutrino.

    a neco z jejich stranek:

    The QNX Neutrino microkernel implements the core POSIX features used in embedded realtime systems, along with the fundamental QNX Neutrino message-passing services. The POSIX features that aren't implemented in the microkernel (file and device I/O, for example) are provided by optional processes and shared libraries.

    Architecturally, the OS addresses the context-switch performance issue first. In fact, threads and processes provide nearly identical context-switch performance numbers. QNX Neutrino's process-switch times are faster than UNIX thread-switch times. As a result, QNX Neutrino threads don't need to be used to solve the IPC performance problem; instead, they're a tool for achieving greater concurrency within application and server processes.

    Založit nové vláknoNahoru

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