abstracciones de subprocesamiento/concurrencia de alto nivel para .NET

Question

Me preguntaba por qué, a diferencia de Scala, F # o Haskell, el .NET Framework básico (como disponible en C# o VB) parece tener muy poco soporte nativo para patrones de concurrencia de mayor nivel .

Hay mecanismos básicos disponibles - cerraduras, monitores, el grupo de subprocesos - pero ¿qué pasa

• las variables sincronizadas (MVar)
• canales síncronos
• canales asincrónicos (consulta o Haskell)
• Actors/message passing (Erlang-Style)
• Futuros
• cálculos paralelos/lista Funciones
• cálculo asíncrono Composable través de LINQ (como F # 's async {})

o incluso memoria transaccional (STM for Haskell)

E incluso toma en consideración de ParallelFX, esta lista sólo está parcialmente cubierto .

¿Existen razones más profundas contra la provisión de tales funcionalidades (y en lugar de querer que la gente se meta con IAsyncResult) o se planea integrarlas en el futuro?

Answer 1

Hay investigaciones activas y en curso sobre las mejores y más efectivas abstracciones que pueden usarse para habilitar software concurrente sin dominar las minucias b/c la mayoría de los desarrolladores no tienen el tiempo o la inclinación para desarrollar sus habilidades a ese nivel.

Dado esto, el BCL tiene una barrera bastante alta para la entrada de nuevos conceptos, pero eso no significa que no estén sucediendo. Más recientemente, en .Net 4, se introducirá el Task Parallel Library. Las versiones anteriores del TPL en realidad included a Future<T> type que ha sido suplantado por newerabstractions.

También hay investigaciones activas en el campo de los canales/etc. a través del lenguaje de investigación Axum.

Obviamente no soy parte del equipo y no trabajo para Microsoft, pero tengo entendido que hay un deseo de innovar en esta área más allá de lo que ya está ampliamente disponible.

Answer 2

Estoy de acuerdo con Greg D, hay muchas "cosas" por venir. MS con el nuevo framework .Net4 y su proyecto Axum. El problema que veo con todos estos enfoques es que se vuelven extremadamente complicados y que las habilidades, el conocimiento y la experiencia en las áreas de computación distribuida/paralela/distribuida son bastante "limitadas". No escribo eso para ofender a nadie, pero reconozco que las universidades y los educadores en general deben prestar más atención a estos temas. Pero, lo que creo y espero es que la conciencia principal que crea MS con la implementación de muchas de estas ideas, Axum, CCR & DSS, Biblioteca de Agentes Asincrónicos, etc. y la tendencia/necesidad general hacia el sistema informático multi-core/cloud, que verá más pronto :)