Optimizing Space of Parallel Processes

被引：0
作者：
Schmidt-Schauss, Manfred [1 ]
Dallmeyer, Nils [1 ]
机构：
[1] Goethe Univ, Frankfurt, Germany
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019年 / 289期
关键词：
space optimization; parallel processes; space improvements; call-by-need evaluation; concurrency;
D O I：
10.4204/EPTCS.289.4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper is a contribution to exploring and analyzing space-improvements in concurrent programming languages, in particular in the functional process-calculus CHF. Space-improvements are defined as a generalization of the corresponding notion in deterministic pure functional languages. The main part of the paper is the O (n.logn) algorithm SPOPTN for offline space optimization of several parallel independent processes. Applications of this algorithm are: (i) affirmation of space improving transformations for particular classes of program transformations; (ii) support of an interpreter-based method for refuting space-improvements; and (iii) as a stand-alone offline-optimizer for space (or similar resources) of parallel processes.
引用
收藏
页码：53 / 67
页数：15
相关论文
共 12 条
  • [1] Artigues C., 2008, Resource-Constrained Project Scheduling, DOI [10.1002/9780470611227, DOI 10.1002/9780470611227]
  • [2] Garey M. R., 1977, SIAM Journal on Computing, V6, P416, DOI 10.1137/0206029
  • [3] Garey M. R., 1976, Mathematics of Operations Research, V1, P117, DOI 10.1287/moor.1.2.117
  • [4] Gustavsson J., 1999, Electronic Notes in Theoretical Computer Science, V26, DOI 10.1016/S1571-0661(05)80284-1
  • [5] Possibilities and limitations of call-by-need space improvement
    Gustavsson, J
    Sands, D
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (10) : 265 - 276
  • [6] Haskell Community, 2016, HASK ADV PUR FUNCT P
  • [7] Jones S. P., 1996, Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, P295, DOI 10.1145/237721.237794
  • [8] Sabel D, 2011, PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, P101
  • [9] Sabel David, 2011, 44 GOETH U FRANKF MA
  • [10] Space Improvements and Equivalences in a Functional Core Language
    Schmidt-Schauss, Manfred
    Dallmeyer, Nils
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (265): : 98 - 112
12