Difference between revisions of "Research papers/Parallelism and concurrency"
From HaskellWiki
DonStewart (talk | contribs) (→Concurrent Haskell) |
m |
||
| (11 intermediate revisions by 5 users not shown) | |||
| Line 2: | Line 2: | ||
See also [[Libraries_and_tools/Concurrency_and_parallelism]] | See also [[Libraries_and_tools/Concurrency_and_parallelism]] | ||
| + | |||
| + | ==General== | ||
| + | |||
| + | * [http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow's publications on parallelism and GHC] | ||
==Concurrent Haskell== | ==Concurrent Haskell== | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.80.4811&rep=rep1&type=pdf Extending the Haskell Foreign Function Interface with Concurrency] |
:Simon Marlow, Simon Peyton Jones, and Wolfgang Thaller, Proceedings of the Haskell Workshop, Snowbird, Sept 2004. | :Simon Marlow, Simon Peyton Jones, and Wolfgang Thaller, Proceedings of the Haskell Workshop, Snowbird, Sept 2004. | ||
| − | ;[http:// | + | ;[http://www.haskell.org/ghc/docs/papers/concurrent-haskell.ps.gz Concurrent Haskell] |
:SL Peyton Jones, A Gordon, S Finne, 23rd ACM Symposium on Principles of Programming Languages, St Petersburg Beach, Florida, Jan 1996, pp295-308. | :SL Peyton Jones, A Gordon, S Finne, 23rd ACM Symposium on Principles of Programming Languages, St Petersburg Beach, Florida, Jan 1996, pp295-308. | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.13.9123&rep=rep1&type=pdf Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell] |
:In "Engineering theories of software construction", ed Tony Hoare, Manfred Broy, Ralf Steinbruggen, IOS Press, ISBN 1 58603 1724, 2001, pp47-96. | :In "Engineering theories of software construction", ed Tony Hoare, Manfred Broy, Ralf Steinbruggen, IOS Press, ISBN 1 58603 1724, 2001, pp47-96. | ||
| Line 17: | Line 21: | ||
:Simon Marlow. Journal of Functional Programming, 12(4+5):359--374, July 2002 | :Simon Marlow. Journal of Functional Programming, 12(4+5):359--374, July 2002 | ||
| − | ;[http://www. | + | ;[http://www.cis.upenn.edu/~stevez/papers/LZ06b.pdf A language-based approach to unifying events and threads] |
:Peng Li and Steve Zdancewic, April 2006. | :Peng Li and Steve Zdancewic, April 2006. | ||
| Line 67: | Line 71: | ||
:King D.J. Hall J.G. Trinder P.W. Proceedings of the 10th. Int. Workshop on Implementation of Functional Languages, University College London, England (September 1998), {\em Springer Verlag} LNCS 1595, pp 90-104. | :King D.J. Hall J.G. Trinder P.W. Proceedings of the 10th. Int. Workshop on Implementation of Functional Languages, University College London, England (September 1998), {\em Springer Verlag} LNCS 1595, pp 90-104. | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.52.7106&rep=rep1&type=pdf GUM: a Portable Parallel implementation of Haskell] |
:Trinder P. Hammond K. Mattson J. Partridge A. Peyton Jones S. Proceedings of Programming Languages Design and Implementation (PLDI), Philadelphia, USA, (May 1996) pp79-88. | :Trinder P. Hammond K. Mattson J. Partridge A. Peyton Jones S. Proceedings of Programming Languages Design and Implementation (PLDI), Philadelphia, USA, (May 1996) pp79-88. | ||
| − | ;[http:// | + | ;[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.8875 An Operational Semantics for Parallel Lazy Evaluation] |
:Clem Baker-Finch, University of Canberra, ICFP 2000.p162-173 | :Clem Baker-Finch, University of Canberra, ICFP 2000.p162-173 | ||
==Lock free data structures and transactional memory== | ==Lock free data structures and transactional memory== | ||
| − | ;[ | + | ;[hhttps://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.415.7792&rep=rep1&type=pdf Composable Memory Transactions] |
:Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy. PPoPP'05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Chicago, Illinois, June 2005 | :Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy. PPoPP'05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Chicago, Illinois, June 2005 | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.1678&rep=rep1&type=pdf Lock Free Data Structures using STM in Haskell] |
:Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh) FLOPS 2006: Eighth International Symposium on Functional and Logic Programming, Fuji Susono, JAPAN, April 2006 | :Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh) FLOPS 2006: Eighth International Symposium on Functional and Logic Programming, Fuji Susono, JAPAN, April 2006 | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=30B8E5E935727CFEDEAA296CB547CF44?doi=10.1.1.129.2583&rep=rep1&type=pdf Transactional memory with data invariants] |
:Tim Harris, Simon Peyton-Jones. March 2006 TRANSACT '06 | :Tim Harris, Simon Peyton-Jones. March 2006 TRANSACT '06 | ||
| Line 88: | Line 92: | ||
See also [[Research_papers/Runtime_systems#Garbage_collection|garbage collection]]. | See also [[Research_papers/Runtime_systems#Garbage_collection|garbage collection]]. | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.146.1688&rep=rep1&type=pdf Parallel generational-copying garbage collection with a block-structured heap] |
| + | :Simon Marlow, Tim Harris, Roshan P. James, Simon Peyton Jones, International Symposium on Memory Management 2008. | ||
| + | |||
| + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.19.6616&rep=rep1&type=pdf A parallel, real-time garbage collector] | ||
:P Cheng, GE Blelloch 2001 | :P Cheng, GE Blelloch 2001 | ||
| Line 94: | Line 101: | ||
:P Cheng, 2001 | :P Cheng, 2001 | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.1988&rep=rep1&type=pdf GRAPHing the Future] |
:K Hammond, HW Loidl, JS Mattson, AS Partridge, SL Peyton Jones | :K Hammond, HW Loidl, JS Mattson, AS Partridge, SL Peyton Jones | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.128.3692&rep=rep1&type=pdf Correctness-preserving derivation of concurrent garbage collection algorithms] |
:MT Vechev, E Yahav, DF Bacon, 2006. | :MT Vechev, E Yahav, DF Bacon, 2006. | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.1804&rep=rep1&type=pdf On bounding time and space for multiprocessor garbage collection] |
:GE Blelloch, P Cheng, 1999 | :GE Blelloch, P Cheng, 1999 | ||
| Line 125: | Line 132: | ||
:SLP Jones, C Clack, J Salkild, M Hardie, 1987. | :SLP Jones, C Clack, J Salkild, M Hardie, 1987. | ||
| − | ;[ | + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.52.9377&rep=rep1&type=pdf Parallel graph reduction with the (ν, G)-machine] |
:L Augustsson, T Johnsson, 1990 | :L Augustsson, T Johnsson, 1990 | ||
| − | See also [[ | + | See also [[Applications and libraries/Concurrency and parallelism]] |
[[Category:Research]] | [[Category:Research]] | ||
| + | [[Category:Parallel]] | ||
Latest revision as of 06:24, 1 September 2022
Contents
See also Libraries_and_tools/Concurrency_and_parallelism
General
Concurrent Haskell
- Extending the Haskell Foreign Function Interface with Concurrency
- Simon Marlow, Simon Peyton Jones, and Wolfgang Thaller, Proceedings of the Haskell Workshop, Snowbird, Sept 2004.
- Concurrent Haskell
- SL Peyton Jones, A Gordon, S Finne, 23rd ACM Symposium on Principles of Programming Languages, St Petersburg Beach, Florida, Jan 1996, pp295-308.
- Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
- In "Engineering theories of software construction", ed Tony Hoare, Manfred Broy, Ralf Steinbruggen, IOS Press, ISBN 1 58603 1724, 2001, pp47-96.
- Developing a high-performance web server in Concurrent Haskell
- Simon Marlow. Journal of Functional Programming, 12(4+5):359--374, July 2002
- A language-based approach to unifying events and threads
- Peng Li and Steve Zdancewic, April 2006.
- Four Concurrency Primitives for Haskell
- Enno Scholz (1995)
- Implicit and explicit parallel programming in Haskell
- Mark P. Jones and Paul Hudak, Research Report YALEU/DCS/RR-982, Yale University, New Haven, Connecticut, USA, August 1993.
Parallel Haskell
- Haskell on a Shared-Memory Multiprocessor
- Tim Harris, Simon Marlow, Simon Peyton Jones) Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 49--61, Tallinn, Estonia, ACM Press, September 2005
- Data Parallel Haskell: a status report
- Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, and Simon Marlow, 2006.
- Managing Heterogeneity in a Grid Parallel Haskell
- A. D. Al Zain, P. W. Trinder, G.J.Michaelson and H-W.Loid
- Comparing Parallel Functional Languages: Programming and Performance
- Loidl H-W. Rubio F. Scaife N. Hammond K. Horiguchi S. Klusik U. Loogen R. Michaelson G.J. Pena R. Priebe S. Trinder P.W. Higher-order and Symbolic Computation 16(3) (2003).
- Parallel and Distributed Haskells
- Trinder P.W. Loidl H-W. Pointon R.F. Journal of Functional Programming 12(4&5) (2002), pp 469-510.
- The Multi-Architecture Performance of the Parallel Functional Language GPH
- Trinder P.W. Loidl H-W. Barry E. Rebon Portillo A.J. Euro-Par 2000 - Parallel Processing, Munich, Germany, Bode A. Ludwig T. and Wismuller R. (Eds) Springer Verlag LNCS (September 2000), pp 739-743.
- Large-scale Functional Applications
- Trinder P.W. Loidl H-W. Hammond K. Chapter of Parallel Functional Programming, Hammond K. and Michaelson G. (Eds) Springer Verlag ISBN 1-85233-092-9 (2000).
- The Design and Implementation of Glasgow distributed Haskell
- Pointon R.F. Trinder P.W. Loidl H-W. IFL'00 - 12th International Workshop on the Implementation of Functional Languages, Aachen, Germany (September 2000) Springer Verlag LNCS 2011, pp 53-70..
- Motivation for GdH, a Distributed Non-strict Functional Language
- Trinder P.W. International Workshop on Parallel and Distributed Computing for Symbolic, Irregular Applications (PDSIA'99), Sendai, Japan (July 1999), T. Ito, T Yuasa (Eds), World Scientific ISBN 981-02-4139-9 (2000), pp 72-81.
- Engineering Parallel Symbolic Programs in GpH
- Loidl H-W. Trinder P.W. Hall C.V. Hammond K. Junaidu S.B. Morgan R.G. Peyton Jones S.L. Concurrency: Practice and Experience, 11(12) (December 1999), pp 701-752.
- Algorithm + Strategy = Parallelism
- Trinder P.W. Hammond K. Loidl H-W. Peyton Jones S.L. Journal of Functional Programming, 8(1) (January 1998) pp~23-60.
- Towards an operational semantics for a parallel non-strict functional language
- Hall J.G. Baker-Finch C. Trinder P.W. King D.J. Proceedings of the 10th. Int. Workshop on Implementation of Functional Languages, University College London, England (September 1998), Springer Verlag LNCS 1595, pp 55-67 .
- A Strategic Profiler for Glasgow Parallel Haskell (GpH)
- King D.J. Hall J.G. Trinder P.W. Proceedings of the 10th. Int. Workshop on Implementation of Functional Languages, University College London, England (September 1998), {\em Springer Verlag} LNCS 1595, pp 90-104.
- GUM: a Portable Parallel implementation of Haskell
- Trinder P. Hammond K. Mattson J. Partridge A. Peyton Jones S. Proceedings of Programming Languages Design and Implementation (PLDI), Philadelphia, USA, (May 1996) pp79-88.
- An Operational Semantics for Parallel Lazy Evaluation
- Clem Baker-Finch, University of Canberra, ICFP 2000.p162-173
Lock free data structures and transactional memory
- [hhttps
- //citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.415.7792&rep=rep1&type=pdf Composable Memory Transactions]
- Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy. PPoPP'05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Chicago, Illinois, June 2005
- Lock Free Data Structures using STM in Haskell
- Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh) FLOPS 2006: Eighth International Symposium on Functional and Logic Programming, Fuji Susono, JAPAN, April 2006
- Transactional memory with data invariants
- Tim Harris, Simon Peyton-Jones. March 2006 TRANSACT '06
Parallel garbage collection
See also garbage collection.
- Parallel generational-copying garbage collection with a block-structured heap
- Simon Marlow, Tim Harris, Roshan P. James, Simon Peyton Jones, International Symposium on Memory Management 2008.
- A parallel, real-time garbage collector
- P Cheng, GE Blelloch 2001
- GRAPHing the Future
- K Hammond, HW Loidl, JS Mattson, AS Partridge, SL Peyton Jones
- Correctness-preserving derivation of concurrent garbage collection algorithms
- MT Vechev, E Yahav, DF Bacon, 2006.
- On bounding time and space for multiprocessor garbage collection
- GE Blelloch, P Cheng, 1999
Mobile Haskell
- Strong Mobility in Mobile Haskell
- Rauber Du Bois A. Trinder P.W. Loidl H.W. Journal of Universal Computer Science, 12(7) (2006), pp 868-884.
- mHaskell: Mobile Computation in a Purely Functional Language
- Rauber Du Bois A. Trinder P.W. Loidl H.W. Journal of Universal Computer Science, 11(7) (2005), pp 1234-1254.
- Implementing Mobile Haskell
- Rauber Du Bois A. Trinder P.W. Loidl H.W. Proc. TFP'03 --- Trends in Functional Programming Vol.4, Intellect (September 2003), pp 79-94.
- Towards a Mobile Haskell
- Rauber Du Bois A. Trinder P.W. Loidl H.W. Proc. 12th Int. Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), Valencia, Spain (June 2003), pp 113-116.
Parallel graph reduction
- GRIP A high-performance architecture for parallel graph reduction
- SLP Jones, C Clack, J Salkild, M Hardie, 1987.
- Parallel graph reduction with the (ν, G)-machine
- L Augustsson, T Johnsson, 1990
See also Applications and libraries/Concurrency and parallelism