Jazyk P spoločnosti Microsoft pre asynchrónne programovanie založené na udalostiach a internet vecí (internet vecí) bol otvorený.
Jazyk P, ktorý je zameraný na zabudované systémy, ovládače zariadení a distribuované služby, je jazyk špecifický pre doménu, ktorý sa kompiluje s C a spolupracuje s ním, čo sa samo o sebe bežne využíva v zabudovaných systémoch a IoT. „Cieľom spoločnosti P je poskytnúť jazykové primitívy na stručné a presné zachytenie protokolov, ktoré sú neodmysliteľné pre komunikáciu medzi komponentmi,“ uviedli Ethan Jackson a Shaz Qadeer z Microsoftu v rámci výučby jazyka.
S P sa modelovanie a programovanie spája do jednej aktivity. „Program P je možné nielen skompilovať do spustiteľného kódu, ale je ho možné overiť aj pomocou systematického testovania,“ uvádza sa v dokumentácii jazyka na GitHub. „P sa používa na implementáciu a validáciu sady ovládačov zariadení USB, ktoré sa dodávajú so systémami Microsoft Windows 8 a Windows Phone.“
Microsoft označil P za ponúkajúce „bezpečné“ programovanie založené na udalostiach. V rámci svojho tutoriálu Jackson a Qadeer tvrdia, že programy P majú výpočtový model, ktorý obsahuje stavové automaty komunikujúce prostredníctvom správ, čo je prístup bežne používaný v zabudovaných, sieťových a distribuovaných systémoch.
Každý stavový stroj má vstupný front, stavy, prechody, obslužné rutiny udalostí a lokálne úložisko stroja na zhromažďovanie premenných. Stavové automaty bežia súčasne, pričom každý vykoná slučku udalostí, ktorá odstráni fronty správ zo vstupného frontu. Stavový automat tiež skúma miestny obchod, posiela správy medzi strojmi a môže vytvárať nové automaty. "V P operácia odosielania neblokuje; správa sa jednoducho vykoná do vstupného frontu cieľového počítača." Program obsahuje zbierku vyhlásení udalostí a strojov.
Spoločnosť Microsoft tiež ponúka P #, rozšírenie C #, ktoré sa zameriava na asynchrónne programovanie, ako open source. A v júni otvorila spoločnosť Microsoft Checked C, upravenú verziu jazyka C, ktorá pridáva do jazyka C novú syntax a písanie, s cieľom zvýšiť bezpečnosť v jazyku C.
