Specialization of Generic Array Accesses After Inlining (System Description)

被引:0
|
作者
Tokuda, Ryohei [1 ]
Sumii, Eijiro [1 ]
Abe, Akinori [1 ]
机构
[1] Tohoku Univ, Grad Sch Informat Sci, Sendai, Miyagi, Japan
关键词
D O I
10.4204/EPTCS.241.4
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We have implemented an optimization that specializes type-generic array accesses after inlining of polymorphic functions in the native-code OCaml compiler. Polymorphic array operations (read and write) in OCaml require runtime type dispatch because of ad hoc memory representations of integer and float arrays. It cannot be removed even after being monomorphized by inlining because the intermediate language is mostly untyped. We therefore extended it with explicit type application like System F (while keeping implicit type abstraction by means of unique identifiers for type variables). Our optimization has achieved up to 21% speed-up of numerical programs.
引用
收藏
页码:45 / 53
页数:9
相关论文
共 36 条
  • [1] Persistent Asynchronous Adaptive Specialization for Generic Array Programming
    Clemens Grelck
    Heinrich Wiesinger
    [J]. International Journal of Parallel Programming, 2019, 47 : 164 - 183
  • [2] Persistent Asynchronous Adaptive Specialization for Generic Array Programming
    Grelck, Clemens
    Wiesinger, Heinrich
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2019, 47 (02) : 164 - 183
  • [3] The Mathematical Description of a Generic Physical System
    Federico Zalamea
    [J]. Topoi, 2015, 34 : 339 - 348
  • [4] The Mathematical Description of a Generic Physical System
    Zalamea, Federico
    [J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2015, 34 (02): : 339 - 348
  • [5] Development of a generic microelectrode array biosensing system
    Zhang, SQ
    Zhao, HJ
    John, R
    [J]. ANALYTICA CHIMICA ACTA, 2000, 421 (02) : 175 - 187
  • [6] Generic System Description and Problem Solving in Systems Engineering
    Winzer, Petra
    [J]. IEEE SYSTEMS JOURNAL, 2017, 11 (04): : 2052 - 2061
  • [7] COOL - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)
    Gorin, Daniel
    Pattinson, Dirk
    Schroeder, Lutz
    Widmann, Florian
    Wissmann, Thorsten
    [J]. AUTOMATED REASONING, IJCAR 2014, 2014, 8562 : 396 - 402
  • [8] A generic video parsing system with a scene description language (SDL)
    Gong, YH
    Chuan, CH
    Zhu, YW
    Sakauchi, M
    [J]. REAL-TIME IMAGING, 1996, 2 (01) : 45 - 59
  • [9] A generic framework for the description and analysis of energy security in an energy system
    Hughes, Larry
    [J]. ENERGY POLICY, 2012, 42 : 221 - 231
  • [10] CASA PHASED ARRAY RADAR SYSTEM DESCRIPTION, SIMULATION AND PRODUCTS
    Hopf, Anthony P.
    Salazar, Jorge L.
    Medina, Rafael
    Venkatesh, Vijay
    Knapp, Eric J.
    Frasier, Stephen J.
    McLaughlin, David J.
    [J]. 2009 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, VOLS 1-5, 2009, : 1219 - 1222