Abstract
A functional programming language supporting implicit parallelization of programs is described. The language is based on four operations of composition, of which three can perform parallel processing. Functional programs are represented schematically to use a dynamic parallelization algorithm. The implemented algorithms make it possible to dynamically distribute the load between processors and control the grain of parallelism. Experimental results for the efficiency of the implemented system obtained on examples of typical problems are presented.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
V. P. Kutepov and V. N. Fal’k, “Models of asynchronous function computations in the language of functional schemes,” Programmirovanie, No. 3 (1978).
V. P. Kutepov and V. N. Fal’k, “Directed relations: Theory and Applications,” Izv. Ross. Akad. Nauk, Tekh. Kibern., No. 4, 5 (1994).
C. E. Bazhanov, V. P. Kutepov, and D. A. Shestakov, “Functional parallel typified language and its implementation on clusters,” Program. Comput. Software 31, 237–269 (2005).
C. E. Bazhanov, V. P. Kutepov, and D. A. Shestakov, “Structural analysis and planning of processes of parallel execution of functional programs,” J. Comput. Syst. Sci. Int. 44, 942–557 (2005).
A. Church, The Calculi of Lambda-Conversion. Ann. of Math. Studies, Vol. 6 (N.J.: Princeton University Press, Princeton, 1941).
J. McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine (MIT, Cambridge, Mass., 1960).
R. G. Milner, “The standard ML core language. Polymorphism,” The ML/LCF/Hope Newsletter 2(2) (1985).
S. L. Peyton Jones, The Implementation of Functional Programming Languages (Prentice Hall, London, 1987).
http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/ack.aspx
R. D. Bluemofe and C. E. Leiserson, “Scheduling multithreaded computations by work stealing,” J. ACM 46, 720–748 (1999).
D. Lea, A Java Fork/Join Framework (State University of New York, Oswego, 2000).
D. Leijen, W. Schulte, and S. Burckhardt, http://research.microsoft.com/pubs/77368/TheDesignOfATaskParallelLibrary(oopsla2009).pdf
H. J. Boehm, “The Boehm-Demers-Weiser conservative garbage collector”, HP Labs, 2004. http://www.hpl.hp.com/personal/Hans_Boehm/gc/04tutorial.pdf
Author information
Authors and Affiliations
Additional information
Original Russian Text © V.P. Kutepov, P.N. Shamal’, 2014, published in Izvestiya Akademii Nauk. Teoriya i Sistemy Upravleniya, 2014, No. 3, pp. 46–60.
Rights and permissions
About this article
Cite this article
Kutepov, V.P., Shamal’, P.N. Implementation of functional parallel typified language (FPTL) on multicore computers. J. Comput. Syst. Sci. Int. 53, 345–358 (2014). https://doi.org/10.1134/S1064230714030101
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064230714030101