¿F # le proporciona paralelismo automático?

Question

Con esto quiero decir: cuando diseñas gratis los efectos secundarios de tu aplicación, etc., ¿el código F # se distribuirá automáticamente en todos los núcleos?

Answer 1

No, me temo que no. Dado que F # no es un lenguaje funcional pure (en el sentido más estricto), sería bastante difícil hacerlo, creo. La forma principal de hacer un buen uso del paralelismo en F # es usar Async Workflows (principalmente a través del módulo Async, creo). El TPL (Task Parallel Library), que se está introduciendo con .NET 4.0, cumplirá un rol similar en F # (aunque se puede usar en todos los lenguajes .NET igualmente), aunque no puedo decir que ' Estoy seguro de cómo se integrará con el marco asíncrono existente. Tal vez Microsoft simplemente aconsejará el uso del TPL para todo, o tal vez dejarán ambos como una opción y finalmente se convertirá en el estándar de facto ...

De todos modos, aquí hay algunos artículos sobre programación asincrónica/flujos de trabajo en F # para que comiences

• http://blogs.msdn.com/dsyme/archive/2007/10/11/introducing-f-asynchronous-workflows.aspx
• http://strangelights.com/blog/archive/2007/09/29/1597.aspx
• http://www.infoq.com/articles/pickering-fsharp-async

Answer 2

No, no lo hará. Todavía debe ordenar explícitamente llamadas a otros hilos a través de uno de los muchos mecanismos admitidos por F #.

Answer 3

No, estoy bastante seguro de que no va a automáticamente parallelise para usted. Tendría que saber que su código era libre de efectos secundarios, que podría ser difícil de probar, por un lado.

Por supuesto, F # puede hacer que sea más fácil para poner en paralelo su código, especialmente si no tiene ningún efecto secundario ... pero eso es una cuestión diferente.

Answer 4

Según entiendo, no lo hará, pero Parallel Extensions is being modified para hacerlo consumible por F #. Lo cual no hará que se multiplique automáticamente, debería ser muy fácil de lograr.

Answer 5

Al igual que los otros mencionados, F # no se escalará automáticamente en los núcleos y aún requerirá un marco como el puerto de ParallelFX que Josh mencionó.

F # se asocia comúnmente con el potencial de procesamiento en paralelo porque se predetermina a objetos inmutables, eliminando la necesidad de bloqueo para muchos escenarios.

Answer 6

Bueno, ya tienes la respuesta, pero sólo quería añadir que creo que esta es la limitación más significativa de F # derivada del hecho de que es un lenguaje imperativo/funcional híbrido.

Me gustaría ver una extensión de F # que declara que una función es pure. Es decir, no tiene efectos secundarios que no se denoten por el tipo de función. La idea sería que una función es pura solo si hace referencia a otras funciones "conocidas-puras". Por supuesto, esto solo sería útil si fuera posible requerir que un delegado pasado como un parámetro de función haga referencia a una función pura.

Answer 7

F # no lo hace automático, simplemente lo hace más fácil.

Otra oportunidad para vincular a Luca's PDC talk. Ocho minutos a partir de las 52:20 son una increíble demostración de flujos de trabajo asincrónicos F #. ¡Oscila!

Answer 8

En las anotaciones de pureza: Code Contracts tienen un atributo Pure. Recuerdo haber escuchado algunas partes del BCL que ya usan esto. Potencialmente, este atributo podría ser utilizado por frameworks de paralelización también, pero no estoy al tanto de tal trabajo en este punto. Además, ni siquiera estoy seguro de cuán bien se pueden usar los contactos de código desde F #, por lo que hay muchas incógnitas aquí.

Aún así, será interesante ver cómo se combinan todas estas cosas.