Modelul actual de programare multithreading este perceput de unii ca fiind o adaptare a modelului secvențial sistemelor concurente. Iar realizarea acestui model este de departe cea mai reușită (shared-state concurrency model). Astfel fără o bună înțelegere a acestuia se poate defecta şi mai mult realizarea sistemului. Aici se adaugă şi faptul că testarea sistemului concurent este greu realizabilă, iar verificarea este deseori chiar imposibilă (din cauza multiplelor stări ale entităților concurente: state explosion).
Deci mă justific uşor dacă spun: a programa concurent înseamnă în primul rînd a înţelege fenomenul concurenței, a cărei definiție determină „apariţia şi gestiunea evenimentelor simultane la nivelul sistemului de calcul”.
***
Care sunt elementele sintactice de bază pentru realizarea concurenței sunt prezentate în celea ce urmează…