The Internet of Things by James Whittaker of Microsoft
Sisällysluettelo:
Singularity on Microsoft Research -projekti, jonka tarkoituksena on rakentaa erittäin luotettava mikrokernel-käyttöjärjestelmä, jossa ydin, laiteohjaimet ja sovellukset kirjoitetaan hallittuna koodina. Yli 90% OS-ytimestä on kirjoitettu lauluun C #, korkean tason ohjelmointikielen laajennus.
Microsoft Research Singularity
Singularity on tutkimusprojekti, joka keskittyy luotettavien järjestelmien rakentamiseen järjestelmien, kielten ja työkalujen alueet. Rakennamme tutkimuskäyttöjärjestelmän prototyyppiä (Singularity), joka laajentaa ohjelmointikielten ja kehittää uusia tekniikoita ja työkaluja ohjelmakäyttäytymisen määrittämiseen ja tarkistamiseen.
Kielten, kääntäjien ja työkalujen eteneminen avaa mahdollisuuden merkittävästi parantaa ohjelmistoja. Esimerkiksi Singularity käyttää tyyppikäyttöisiä kieliä ja abstrakteja käskyjä, jotka mahdollistavat sen, mitä kutsumme ohjelmistoprosessit (SIP). SIP: t tarjoavat OS-prosesseja (eristettyä esinettä, erillisiä GC: itä, erillisiä aikatauluja) vahvat eristystakeet ilman laitteistokäyttöisiä suojausalueita. Nykyisessä Singularity-prototyypissä SIP: t ovat erittäin halpoja; ne toimivat ytimen osoitteistotilassa renkaassa 0.
Yksilöllisyys käyttää näitä etuja rakentaa luotettavampia järjestelmiä ja sovelluksia. Esimerkiksi koska SIP: t ovat niin halpoja luoda ja valvoa, Singularity suorittaa jokaisen ohjelman, laiteohjaimen tai järjestelmän laajennuksen omassa SIP: ssä. SIP: t eivät saa jakaa muistia tai muuttaa omaa koodiaan. Tämän seurauksena voimme luottaa luotettavasti SIP: n käytössä olevaan koodiin. Voimme tarkistaa SIP: n paljon laajemmat ominaisuudet kääntämisen tai asennuksen aikana kuin mitä voidaan tehdä koodin suorittamisessa perinteisissä OS-prosesseissa.
Microsoft Research on julkaissut ladattavaksi Singularity Research Development Kit (RDK) . Staattisen todentamisen laajempi soveltaminen on ratkaisevan tärkeää järjestelmäkäyttäytymisen ennustamiseksi ja käyttäjien luotettavuuden takaamiseksi. Voit ladata sen CodePlexistä, Microsoftin avoimen lähdekoodin hankkeen hosting-sivustosta. Singularity-projektin
avainhenkilöt, Galen Hunt ja Jim Larus, ovat sanoneet, että kaikki nykyiset käyttöjärjestelmät, kuten Windows, Linux ja Mac OS voivat voidaan jäljittää takaisin Multics-käyttöjärjestelmään, joka on peräisin 1960-luvulta. Itse asiassa nykyiset käyttöjärjestelmät perustuvat edelleen osittain ajatuksiin ja kriteereihin 40 vuotta sitten. Multiplexed Information and Computing Service tai Multics on aikajakoinen käyttöjärjestelmä, joka aloitettiin vuonna 1965 ja jota käytettiin vuoteen 2000.
Microsoft Research Singularity -studio alkoi vuonna 2003 täysin uudenlaisena lähestymistapana OS: n rakentamiseen.
Microsoft Research kehittää epäreformoitujen tietojen karttanäkymää
Microsoft Research India kehittää teknologiaa, Intia on kehittänyt teknologiaa, jonka avulla käyttäjät voivat etsiä karttoja jopa Intian maissa, joissa osoitteet eivät usein ole jäsenneltyinä.
Microsoft Research Sosiaalinen sovellus Marries Web, työpöytä
Microsoft Researchin uusi konseptisuunnitelma antaa käyttäjille mahdollisuuden jakaa tiedostoja työpöydältä Web.
Microsoft Research ilmoitti käynnistää interaktiivisen selainpohjaisen Code Huntin pelin. Code Hunt toimii Microsoft Azure -ohjelmassa ja keskittyy kahteen kieliversioon Java ja C #.
Oppimisen pelattavuus on nykyään hyvin muodissa ja miksi ei, koska se tekee asioista helpompaa! Microsoft on seurannut myös trendiä. Ohjelman jättiläinen ilmoitti äskettäin