Astrazioni di multithreading/concorrenza di alto livello per .NET

Question

Mi sono chiesto perché, a differenza di Scala, F # o Haskell, il framework .NET di base (disponibile in C# o VB) sembra avere pochissimo supporto nativo per modelli di concorrenza di livello superiore .

Ci sono meccanismi di base disponibili - serrature, monitor, il pool di thread - ma per quanto riguarda

• variabili Sincronizzato (MVar)
• canali sincroni
• canali asincroni (vedere andare o Haskell)
• Attori/messaggio che passa (Erlang-Style)
• Futures
• parallele calcoli/Lista funzioni
• calcoli asincroni componibili attraverso Linq (come s 'async {} F #)

o anche software di memoria transazionale (STM for Haskell)

E anche tenuto conto di ParallelFX, questa lista è solo parzialmente coperto .

Ci sono alcune ragioni più profonde contro la fornitura di tali funzionalità (e invece di volere che le persone si scherzino con lo IAsyncResult) o si prevede di integrarlo in futuro?

Answer 1

C'è una ricerca attiva e in corso sulle migliori e più efficaci astrazioni che possono essere utilizzate per consentire il software concorrente senza padroneggiare le minuzie b/c la maggior parte degli sviluppatori non hanno il tempo o la voglia di sviluppare le proprie abilità a quel livello.

Dato questo, il BCL presenta una barriera piuttosto elevata all'ingresso per nuovi concetti, ma ciò non significa che non stiano accadendo. Più recentemente, in .Net 4, ci sarà l'introduzione dello Task Parallel Library. Versioni precedenti di TPL in realtà included a Future<T> type che sono state sostituite da newerabstractions.

C'è anche una ricerca attiva in corso nell'arena dei canali/ecc tramite il linguaggio di ricerca Axum.

Ovviamente non faccio parte del team e non lavoro per Microsoft, ma la mia comprensione è che c'è un desiderio di innovare in questo settore oltre a ciò che è già ampiamente disponibile.

Answer 2

Sono d'accordo con Greg D, c'è un sacco di "cose" in arrivo. MS con il nuovo framework .Net4 e il loro progetto Axum. Il problema che vedo con tutti questi approcci è che diventano estremamente complicati e che le competenze, le conoscenze e l'esperienza nei settori dell'informatica distribuita/parallela/distribuita sono piuttosto "limitate". Non scrivo questo per offendere nessuno, ma penso che le università e gli educatori in generale debbano prestare maggiore attenzione a questi argomenti. Ma, quello che penso e spero è che la consapevolezza generale che MS crea con l'implementazione di molte di queste idee, Axum, CCR & DSS, libreria di agenti asincroni ecc. E la tendenza generale/necessità verso il sistema multi-core/cloud, che noi vedrà più presto :)