The Manticore Project
About
Manticore is a heterogeneous parallel programming language aimed at general-purpose
applications running on multi-core processors.
Manticore supports parallelism at multiple levels: explicit concurrency and course-grain
paralellism via CML-style constructs and fine-grain parallelism via NESL/Nepal-style
data-parallel arrays.
Our paper at the
DAMP 2007 workshop gives a more detailed
overview of the project.
Status
We have been working on a compiler and runtime system for Manticore since the
beginning of 2007.
Currently we have most of the parallel features implemented and running on Linux and MacOS X
on the x86-64 (a.k.a. AMD64) architecture.
Our current implementation efforts are focused on testing and bug fixing.
We hope to make a preliminary release available sometime this summer.
People
The Manticore project is a joint project between researchers at
the University of Chicago and
Toyota Technological Institute at Chicago.
The following people are (or have been) involved:
Papers
These papers are listed in chronological order of appearance (most recent first).
-
Parallel Concurrent ML
By J. Reppy, C. Russo, and Y. Xiao.
To appear at ICFP 2009,
September 2009.
-
Implicitly-threaded parallelism in Manticore
By M. Fluet, M. Rainey, J. Reppy, and A. Shaw.
ICFP 2008, September 2008.
-
A scheduling framework for general-purpose parallel languages
By M. Fluet, M. Rainey, and J. Reppy.
ICFP 2008, September 2008.
This paper paper covers much of the material in the Nested schedulers for heterogeneous
parallelism paper below, but omits the formal semantics and adds some empirical evaluation.
-
Toward a parallel implementation of Concurrent ML
By J. Reppy and Y. Xiao.
DAMP 2008, January 2008.
-
Status Report: The Manticore project
By M. Fluet, N. Ford, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao.
ML 2007, October 2007.
-
Data Parallelism in Manticore (Draft)
By A. Shaw
Master's paper, Departent of Computer Science, University of Chicago, July 2007.
-
Nested schedulers for heterogeneous parallelism
By M. Fluet, M. Rainey, and J. Reppy
Unpublished, April 2007.
-
The Manticore runtime model
By M. Rainey
Master's paper, Departent of Computer Science, University of Chicago, January 2007.
-
Specialization of CML message-passing primitives
By J. Reppy and Y. Xiao.
POPL 2007, January 2007.
-
Manticore: A heterogeneous parallel language
By M. Fluet, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao.
DAMP 2007, January 2007.
-
Toward optimization of Concurrent ML
By Y. Xiao.
Master's paper, Departent of Computer Science, University of Chicago, 2005.
Support
The Manticore project is supported, in part, by National Science Foundation grant
CPA-SEL: Implementation Techniques for High-level Parallel Languages.
Last modified: June 9, 2009.