{"id":108407,"date":"2023-05-07T00:48:15","date_gmt":"2023-05-06T22:48:15","guid":{"rendered":"https:\/\/prohoster.info\/?p=108407"},"modified":"2023-05-09T08:51:41","modified_gmt":"2023-05-09T06:51:41","slug":"proektu-sel4-prisuzhdena-premiya-acm-software-system-award","status":"publish","type":"post","link":"https:\/\/prohoster.info\/sq\/blog\/novosti-interneta\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","title":{"rendered":"Projekti seL4 \u00ebsht\u00eb shp\u00ebrblyer me \u00e7mimin ACM Software System Award","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Projekti q\u00eb zhvillon mikrothemelin e hapur seL4 fitoi \u00e7mimin ACM Software System Award, i cili jepet \u00e7do vit nga Shoqata e Kompjuter\u00ebve (ACM), organizata m\u00eb autoritative nd\u00ebrkomb\u00ebtare n\u00eb fush\u00ebn e sistemeve kompjuterike. \u00c7mimi \u00ebsht\u00eb dh\u00ebn\u00eb p\u00ebr arritjet n\u00eb fush\u00ebn e provimit matematikor t\u00eb besueshm\u00ebris\u00eb, i cili d\u00ebshmon p\u00ebr p\u00ebrputhshm\u00ebrin\u00eb e plot\u00eb me specifikimet e caktuara n\u00eb nj\u00eb gjuh\u00eb formale dhe njihet p\u00ebr gatishm\u00ebrin\u00eb e p\u00ebrdorimit n\u00eb aplikime kritike. Projekti seL4 ka treguar se \u00ebsht\u00eb e mundur jo vet\u00ebm t\u00eb kryhet nj\u00eb verifikim formal i plot\u00eb i besueshm\u00ebris\u00eb dhe siguris\u00eb p\u00ebr projekte t\u00eb nivelit t\u00eb sistemeve operative industriale, por gjithashtu t\u00eb arrihet kjo pa kompromis n\u00eb rendiment dhe shum\u00ebanshm\u00ebri. <\/p>\n
\u00c7mimi ACM Software System Award jepet \u00e7do vit p\u00ebr zhvillimin e sistemeve software q\u00eb kan\u00eb nj\u00eb ndikim t\u00eb r\u00ebnd\u00ebsish\u00ebm n\u00eb industri, duke sjell\u00eb koncepte t\u00eb reja ose duke zbuluar fusha t\u00eb reja t\u00eb aplikimit komercial. Vlera e \u00e7mimit \u00ebsht\u00eb 35 mij\u00eb dollar\u00eb amerikan\u00eb. N\u00eb vitet e kaluara, \u00e7mimi ACM \u00ebsht\u00eb dh\u00ebn\u00eb p\u00ebr projekte si GCC dhe LLVM, si dhe p\u00ebr themeluesit e tyre Richard Stallman dhe Chris Lattner. \u00c7mimi gjithashtu ka nderuar projekte dhe teknologji si UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl\/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB dhe Eclipse. <\/p>\n
Arkitektura e mikrogrimc\u00ebs seL4 shquhet p\u00ebr ndarjen e pjes\u00ebve p\u00ebr menaxhimin e burimeve t\u00eb kernels n\u00eb hap\u00ebsir\u00ebn p\u00ebrdoruese dhe p\u00ebrdorimin e t\u00eb nj\u00ebjtave mjete ndarjeje p\u00ebr k\u00ebto burime si p\u00ebr burimet p\u00ebrdoruese. Mikrogrimca nuk ofron abstraksione t\u00eb gatshme me nivele t\u00eb larta p\u00ebr menaxhimin e skedar\u00ebve, procedurave, lidhjeve rrjetore etj., por ofron vet\u00ebm mekanizma minimal\u00eb p\u00ebr menaxhimin e qasjes n\u00eb hap\u00ebsir\u00ebn fizike adresuese, interruptet dhe burimet e procesorit. Abstraksionet e nivelit t\u00eb lart\u00eb dhe drejtuesit p\u00ebr nd\u00ebrveprimin me pajisjet realizohen ve\u00e7mas mbi mikrogrimc\u00eb n\u00eb form\u00ebn e detyrave q\u00eb ekzekutohen n\u00eb nivelin p\u00ebrdorues. Qasja e k\u00ebtyre detyrave n\u00eb burimet ekzistuese t\u00eb mikrogrimc\u00ebs organizohet p\u00ebrmes p\u00ebrcaktimit t\u00eb rregullave. \n Burimi: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"