Cómo tomar medidas de F # para obtener aceleraciones

Question

Suponiendo una sola máquina con 8 núcleos. En Haskell, puede compilar utilizando la opción threaded, luego durante el tiempo de ejecución use +RTS -Nx para especificar la cantidad de núcleos que se utilizarán. p.ej.

$ myprg args // sequential run 
$ myprg args +RTS -N1 // parallel run on 1..8 cores 
$ myprg args +RTS -N2 
$ myprg args +RTS -N4 
$ myprg args +RTS -N8 

partir de esto, se obtiene utilizando los tiempos de ejecución cada vez mayor número de núcleos, que luego se puede utilizar para obtener aceleraciones y trazar un gráfico.

¿Cómo harías esto en F #, suponiendo que tengo un programa paralelo, p. usando un mapa paralelo en el código?

EDIT: I encontrado que hay ParallelOptions por ejemplo MaxDegreeOfParallelism que puede ser lo que necesito pero no estoy seguro de su comportamiento exacto, y tendría que usarlo programáticamente, lo cual está bien mientras se comporte como se espera, es decir, MaxDegreeOfParallelism = número de núcleos que debería usar el programa y tareas no paralelas 'o hilos.

EDIT: ProcessorAffinity de hecho limita el número de núcleos de usar, pero parece que no se aplica correctamente en Mono. Comprobé en Windows y parece que funciona. Aunque no es realmente una buena idea usar. El sistema de tiempo de ejecución debería poder decidir mejor cómo administrar y programar tareas. Además, MaxDegreeOfParallelism se trata de "nivel de paralelismo" que básicamente establece el número de tareas generadas, por lo que podría utilizarse para variar la granularidad.

Answer 1

F # construye un ensamblado de .NET nativo. Un ensamblaje sigue las reglas especificadas para el tiempo de ejecución (CLR), que por defecto tiene afinidad con todos los núcleos de la CPU. Puede limitar el CLR para menos número de núcleos configurando System.Diagnostics.Process.GetCurrentProcess().ProcessorAffinity.

Esta respuesta parece ser incompleta para el entorno Mono. ProcessorAffinity valor is a bit mask, entonces 0 es ciertamente una condición inválida. También me pregunto por qué el colocador no lanzó una excepción como se describe en MSDN.

Yo usaría schedutils para verificar la afinidad mono y también verifico si la bandera del entorno MONO_NO_SMP no está configurada.

Answer 2

Para citar el comentario de bytebuster:

F # construye un ensamblado de .NET nativo. Un ensamblaje sigue las reglas especificadas para el tiempo de ejecución (CLR), que por defecto tiene afinidad con todos los núcleos de la CPU. Puede limitar CLR para un número menor de núcleos configurando System.Diagnostics.Process.GetCurrentProcess().ProcessorAffinity.

(Si agrega una respuesta dejar un comentario y voy a eliminar este)