{"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\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","title":{"rendered":"Projektit seL4 i \u00ebsht\u00eb dh\u00ebn\u00eb \u00e7mimi ACM Software System Award","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Projekti q\u00eb zhvillon mikrokernelin e hapur seL4 ka marr\u00eb \u00e7mimin ACM Software System Award, i cili jepet \u00e7do vit nga Association for Computing Machinery (ACM), organizata nd\u00ebrkomb\u00ebtare m\u00eb autoritare n\u00eb fush\u00ebn e sistemeve kompjuterike. \u00c7mimi \u00ebsht\u00eb dh\u00ebn\u00eb p\u00ebr arritjet n\u00eb fush\u00ebn e prov\u00ebs matematikore t\u00eb besueshm\u00ebris\u00eb s\u00eb funksionimit, e cila v\u00ebrteton p\u00ebrputhjen e plot\u00eb me specifikimet e p\u00ebrcaktuara n\u00eb gjuh\u00eb formale dhe konfirmon gatishm\u00ebrin\u00eb p\u00ebr p\u00ebrdorim n\u00eb skenar\u00eb kritik\u00eb. Projekti seL4 tregoi se \u00ebsht\u00eb e mundur jo vet\u00ebm t\u00eb kryhet verifikim formal i plot\u00eb i besueshm\u00ebris\u00eb dhe siguris\u00eb p\u00ebr projekte t\u00eb nivelit t\u00eb sistemeve operative industriale, por edhe t\u00eb arrihet kjo pa kompromentuar performanc\u00ebn dhe universalitetin. <\/p>\n

\u00c7mimi ACM Software System Award jepet \u00e7do vit p\u00ebr zhvillimin e sistemeve softuerike q\u00eb kan\u00eb pasur ndikim p\u00ebrcaktues n\u00eb industri, duke sjell\u00eb koncepte t\u00eb reja n\u00eb p\u00ebrdorim ose duke hapur fusha t\u00eb reja t\u00eb zbatimit komercial. Vlera e \u00e7mimit \u00ebsht\u00eb 35 mij\u00eb dollar\u00eb amerikan\u00eb. N\u00eb vitet e m\u00ebparshme, \u00e7mimet ACM u jan\u00eb dh\u00ebn\u00eb projekteve GCC dhe LLVM, si edhe themeluesve t\u00eb tyre Richard Stallman dhe Chris Lattner. Me k\u00ebt\u00eb \u00e7mim jan\u00eb vler\u00ebsuar gjithashtu 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 mikrokernelit seL4 dallohet p\u00ebr zhvendosjen e pjes\u00ebve t\u00eb menaxhimit t\u00eb burimeve t\u00eb kernelit n\u00eb hap\u00ebsir\u00ebn e p\u00ebrdoruesit dhe p\u00ebr p\u00ebrdorimin e t\u00eb nj\u00ebjtave mekanizma t\u00eb kontrollit t\u00eb aksesit p\u00ebr k\u00ebto burime si p\u00ebr burimet e p\u00ebrdoruesit. Mikrokerneli nuk ofron abstraksione t\u00eb gatshme t\u00eb nivelit t\u00eb lart\u00eb p\u00ebr menaxhimin e skedar\u00ebve, proceseve, lidhjeve t\u00eb rrjetit etj.; n\u00eb vend t\u00eb k\u00ebsaj, ai ofron vet\u00ebm mekanizmat minimal\u00eb p\u00ebr menaxhimin e aksesit n\u00eb hap\u00ebsir\u00ebn fizike t\u00eb adresave, nd\u00ebrprerjet dhe burimet e procesorit. Abstraksionet e nivelit t\u00eb lart\u00eb dhe drajver\u00ebt p\u00ebr nd\u00ebrveprim me pajisjet implementohen ve\u00e7mas mbi mikrokernelin n\u00eb form\u00ebn e detyrave q\u00eb ekzekutohen n\u00eb nivel p\u00ebrdoruesi. Aksesi i k\u00ebtyre detyrave te burimet q\u00eb mikrokerneli ka n\u00eb dispozicion 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":"

\u041f\u0440\u043e\u0435\u043a\u0442, \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u043e\u0442\u043a\u0440\u044b\u0442\u043e\u0435 \u043c\u0438\u043a\u0440\u043e\u044f\u0434\u0440\u043e seL4, \u043f\u043e\u043b\u0443\u0447\u0438\u043b \u043f\u0440\u0435\u043c\u0438\u044e ACM Software System Award, \u0435\u0436\u0435\u0433\u043e\u0434\u043d\u043e \u043f\u0440\u0438\u0441\u0443\u0436\u0434\u0430\u0435\u043c\u0443\u044e \u0410\u0441\u0441\u043e\u0446\u0438\u0430\u0446\u0438\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0442\u0435\u0445\u043d\u0438\u043a\u0438 (ACM), \u043d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u0430\u0432\u0442\u043e\u0440\u0438\u0442\u0435\u0442\u043d\u043e\u0439 \u043c\u0435\u0436\u0434\u0443\u043d\u0430\u0440\u043e\u0434\u043d\u043e\u0439 \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c. \u041f\u0440\u0435\u043c\u0438\u044f \u043f\u0440\u0438\u0441\u0443\u0436\u0434\u0435\u043d\u0430 \u0437\u0430 \u0434\u043e\u0441\u0442\u0438\u0436\u0435\u043d\u0438\u044f \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u043d\u0430\u0434\u0451\u0436\u043d\u043e\u0441\u0442\u0438 \u0440\u0430\u0431\u043e\u0442\u044b, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0443\u0435\u0442 \u043e \u043f\u043e\u043b\u043d\u043e\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u043c \u043d\u0430 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f\u043c \u0438 \u043f\u0440\u0438\u0437\u043d\u0430\u0451\u0442 \u0433\u043e\u0442\u043e\u0432\u043d\u043e\u0441\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u0432 \u043a\u0440\u0438\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0432\u0430\u0436\u043d\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f\u0445. \u041f\u0440\u043e\u0435\u043a\u0442 seL4 […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-108407","post","type-post","status-publish","format-standard","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Projekti seL4 u nderua me \u00e7mimin ACM Software System Award | ProHoster","description":"Projekti q\u00eb zhvillon mikrokernelin e hapur seL4 ka marr\u00eb \u00e7mimin ACM Software System Award, i cili ndahet \u00e7do vit nga Association for Computing Machinery (ACM), organizata nd\u00ebrkomb\u00ebtare m\u00eb autoritative n\u00eb k\u00ebt\u00eb fush\u00eb.","canonical_url":"https:\/\/prohoster.info\/sq\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"sq_AL","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u041f\u0440\u043e\u0435\u043a\u0442\u0443 seL4 \u043f\u0440\u0438\u0441\u0443\u0436\u0434\u0435\u043d\u0430 \u043f\u0440\u0435\u043c\u0438\u044f ACM Software System Award | ProHoster","og:description":"\u041f\u0440\u043e\u0435\u043a\u0442, \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u043e\u0442\u043a\u0440\u044b\u0442\u043e\u0435 \u043c\u0438\u043a\u0440\u043e\u044f\u0434\u0440\u043e seL4, \u043f\u043e\u043b\u0443\u0447\u0438\u043b \u043f\u0440\u0435\u043c\u0438\u044e ACM Software System Award, \u0435\u0436\u0435\u0433\u043e\u0434\u043d\u043e \u043f\u0440\u0438\u0441\u0443\u0436\u0434\u0430\u0435\u043c\u0443\u044e \u0410\u0441\u0441\u043e\u0446\u0438\u0430\u0446\u0438\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0442\u0435\u0445\u043d\u0438\u043a\u0438 (ACM), \u043d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u0430\u0432\u0442\u043e\u0440\u0438\u0442\u0435\u0442\u043d\u043e\u0439 \u043c\u0435\u0436\u0434\u0443\u043d\u0430\u0440\u043e\u0434\u043d\u043e\u0439 \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438.","og:url":"https:\/\/prohoster.info\/sq\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2023-05-06T22:48:15+00:00","article:modified_time":"2023-05-09T06:51:41+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":[],"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/posts\/108407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/comments?post=108407"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/posts\/108407\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/media?parent=108407"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/categories?post=108407"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/tags?post=108407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}