You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 2787 Reporter: administrator Status: closed (set by @xavierleroy on 2011-12-21T10:38:33Z) Resolution: fixed Priority: normal Severity: feature Fixed in version: 3.13.0+dev Category: ~DO NOT USE (was: OCaml general) Related to:#4591 Monitored by: yminsky smimram nogin
Bug description
Hello,
La fonction Array.blit (et les autres fonctions du module) pourrait être
pas mal optimisée si elle était écrite en C:
éviter de tester s'il s'agit d'un tableau de float pour chaque cellule,
éviter l'appel à Modify pour chaque cellule et faire un appel à memmove
dans le cas où l'on ne copie pas de la jeune generation vers la
vieille.
Pour certaines applications qui manipulent beaucoup de tableaux, le gain
doit être sensible. (En l'occurence, la proposition sort d'une discussion
avec Gerd Stolpmann sur des problèmes de lexing Unicode avec buffering, où
l'on manipule des tableaux d'entiers, et l'on a observé que plein de temps
est passé dans Array.blit.)
-- Alain
The text was updated successfully, but these errors were encountered:
Original bug ID: 2787
Reporter: administrator
Status: closed (set by @xavierleroy on 2011-12-21T10:38:33Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.13.0+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #4591
Monitored by: yminsky smimram nogin
Bug description
Hello,
La fonction Array.blit (et les autres fonctions du module) pourrait être
pas mal optimisée si elle était écrite en C:
dans le cas où l'on ne copie pas de la jeune generation vers la
vieille.
Pour certaines applications qui manipulent beaucoup de tableaux, le gain
doit être sensible. (En l'occurence, la proposition sort d'une discussion
avec Gerd Stolpmann sur des problèmes de lexing Unicode avec buffering, où
l'on manipule des tableaux d'entiers, et l'on a observé que plein de temps
est passé dans Array.blit.)
-- Alain
The text was updated successfully, but these errors were encountered: