Singularity RDK 2.0 non-Windows Microsoft OS
Talaan ng mga Nilalaman:
Singularity ay isang proyekto ng Microsoft Research upang bumuo ng isang highly-dependable microkernel operating system kung saan ang kernel, device driver, at application ay isinulat sa pinamamahalaang code. Higit sa 90% ng OS kernel ay nakasulat sa Sing #, isang extension ng C # na mataas na antas ng programming language.
Microsoft Research Singularity
Singularity ay isang proyekto sa pananaliksik na nakatuon sa pagtatayo ng mga maaasahang mga sistema sa pamamagitan ng pagbabago sa mga lugar ng sistema, wika, at mga tool. Nagtatayo kami ng prototype ng operating system ng pananaliksik (na tinatawag na Singularity), pagpapalawak ng mga programming language, at pagbubuo ng mga bagong diskarte at mga tool para sa pagtukoy at pagpapatunay ng pag-uugali ng programa.
Mga pag-unlad sa mga wika, compiler, at mga tool buksan ang posibilidad ng makabuluhang pagpapabuti ng software. Halimbawa, ang Singularity ay gumagamit ng mga uri ng ligtas na mga wika at isang abstract pagtuturo na itinakda upang paganahin ang tinatawag naming Software Isolated Processes (SIPs). Ang mga SIP ay nagbibigay ng malakas na mga garantiyang paghihiwalay sa mga proseso ng OS (nakahiwalay na espasyo ng bagay, nakahiwalay na mga GC, hiwalay na runtimes) nang walang overhead ng mga domain na proteksyon na ipinapatupad ng hardware. Sa kasalukuyang Singularity prototype SIP ay lubhang mura; tumatakbo sila sa ring 0 sa puwang ng address ng kernel.
Ang Singularity ay gumagamit ng mga pag-unlad na ito upang bumuo ng mas maaasahan na mga system at application. Halimbawa, dahil ang SIP ay napakababa upang lumikha at magpatupad, ang Singularity ay tumatakbo sa bawat programa, driver ng aparato, o extension ng system sa sarili nitong SIP. Hindi pinapayagan ang SIPs na ibahagi ang memorya o baguhin ang kanilang sariling code. Bilang isang resulta, maaari naming gumawa ng malakas na pagiging maaasahan garantiya tungkol sa code na tumatakbo sa isang SIP. Maaari naming i-verify ang mas malawak na mga katangian tungkol sa isang SIP sa pagsama-sama o i-install ng oras kaysa sa maaaring gawin para sa code na tumatakbo sa mga tradisyunal na proseso ng OS. Ang mas malawak na aplikasyon ng static na pag-verify ay kritikal upang hulaan ang pag-uugali ng sistema at pagbibigay ng mga gumagamit na may malakas na mga garantiya tungkol sa pagiging maaasahan.
Ang Microsoft Research ay ginawang magagamit para sa pag-download, ang Singularity Research Development Kit (RDK) . Maaari mong i-download ito mula sa CodePlex, ang open source code ng Microsoft na nagho-host ng website ng proyekto. Maaari mo ring i-download ang Pangkalahatang-ideya ng Singularity Project , sa pamamagitan ng pag-click dito.
Ang mga pangunahing developer ng Singularity, Galen Hunt at Jim Larus, ay nagsabi na ang lahat ng kasalukuyang operating system tulad ng Windows, Linux at Mac OS ay sinusubaybayan pabalik sa isang operating system na tinatawag na Multics, na may mga pinagmulan nito noong dekada 1960. Sa diwa, ang mga kasalukuyang operating system ay batay pa rin, sa bahagi, sa mga kaisipan at pamantayan mula 40 taon na ang nakakaraan. Ang Multiplexed Information and Computing Service, o Multics ay isang operating system ng mainframe timesharing na sinimulan noong 1965 at ginamit hanggang sa 2000.
Microsoft Research Singularity ay tinitingnan noong 2003 bilang isang ganap na bagong diskarte sa pagbuo ng OS
Microsoft Research Asia Nagtatampok Gates sa 10 Taon Bash
Ang Microsoft Research Asia ay lumago mula sa isang dosenang tao noong 1998 hanggang sa higit sa 350 dekada mamaya.
Ang Asia Research Lab ng Microsoft ay Lumilipas ng 10 Taon Lumang
Ang Microsoft ay nagtatala ng ika-10 anibersaryo ng Microsoft Research Asia (MSRA), ang pinakamalaking pasilidad tulad nito. > Ang Microsoft noong Miyerkules ay minarkahan ang ika-10 na anibersaryo ng Microsoft Research Asia (MSRA), ang pinakamalalaking pasilidad ng R & D sa labas ng Estados Unidos, sa taunang Innovation Day nito sa Beijing.
Ang Microsoft Research ay Nagbubuo ng Paghahanap ng Mapa para sa Unstructured Data
Ang Microsoft Research India ay bumuo ng teknolohiya na idinisenyo para sa mga paghahanap ng mapa gamit ang hindi natukoy na data ng address. Ang India ay bumuo ng teknolohiya na magpapahintulot sa mga gumagamit na maghanap ng mga mapa kahit na sa mga bansa tulad ng India kung saan ang mga address ay madalas na hindi sa isang nakabalangkas na format.