Pointeurs de bas niveau dans le haskell

Question

L'interface de fonction étrangère permet au haskell de fonctionner avec le monde C. Maintenant, côté Haskell permet de travailler avec les pointeurs en utilisant Storable instances. Par exemple, si j'ai un tableau d'entiers dans le monde C, une représentation plausible de cela dans le monde de haskell serait Ptr Int. Supposons maintenant que je souhaite traduire l'expression C a[0] = a[0] + 1. La seule façon de faire cela du côté du haskell est de jeter un coup d'œil sur le résultat et de remonter le résultat de l'addition. Le problème avec cette approche est qu'une valeur temporaire est créée à la suite de cela. (Je ne suis pas sûr qu'un compilateur d'optimisation puisse toujours éviter cela)

Maintenant, la plupart des gens peuvent penser que cet effet est inoffensif, mais pensez à une situation où l'objet Pointer contient des données sensibles. J'ai créé ce pointeur sur le côté c de manière à toujours garantir que son contenu ne sera jamais transféré de la mémoire (en utilisant l'appel système mlock). Maintenant, jeter un coup d'œil sur le résultat du côté haskell ne garantit plus la sécurité des données sensibles.

Alors, quel devrait être le meilleur moyen d'éviter cela dans le monde du haskell? Est-ce que quelqu'un d'autre a rencontré des problèmes similaires avec des manipulations de bas niveau de pointeur dans haskell.

Answer 1

Je viens de construire un test avec le code:

foo :: Ptr CInt -> IO() 
foo p = peek p >>= poke p ∘ (+1) 

Et en utilisant GHC 7.6.3 -fllvm -O2 -ddump-asm Je vois les instructions pertinentes:

0x0000000000000061 <+33>: mov 0x7(%r14),%rax 
0x0000000000000065 <+37>: incl (%rax) 

Il charge une adresse dans rax et incréments la mémoire à cette adresse. Semble être ce que vous auriez dans d'autres langues, mais voyons.

Avec C, je pense que la comparaison équitable est:

void foo(int *p) 
{ 
    p[0]++; 
} 

qui se traduit par:

0x0000000000000000 <+0>:  addl $0x1,(%rdi) 

Tout cela dit, je reconnais volontiers qu'il ne soit pas clair pour moi ce que vous êtes préoccupé par à propos de si j'ai peut-être manqué votre point de vue et, ce faisant, adressé la mauvaise chose.