Extending the Haskell foreign function interface with concurrency

Marlow, Simon; Jones, Simon Peyton; Thaller, Wolfgang

doi:10.1145/1017472.1017479

Cited by 23 publications

(20 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…-The behaviour of Concurrent Haskell in the presence of calls to and from foreign languages was specified [6] …”

Section: Concurrent Haskellmentioning

confidence: 99%

See 1 more Smart Citation

Parallel and Concurrent Programming in Haskell

Marlow

2012

Central European Functional Programming School

Self Cite

View full text Add to dashboard Cite

Abstract. Haskell provides a rich set of abstractions for parallel and concurrent programming. This tutorial covers the basic concepts involved in writing parallel and concurrent programs in Haskell, and takes a deliberately practical approach: most of the examples are real Haskell programs that you can compile, run, measure, modify and experiment with. We cover parallel programming with the Eval monad, Evaluation Strategies, and the Par monad. On the concurrent side, we cover threads, MVars, asynchronous exceptions, Software Transactional Memory, the Foreign Function Interface, and briefly look at the construction of high-speed network servers in Haskell.

show abstract

“…-The behaviour of Concurrent Haskell in the presence of calls to and from foreign languages was specified [6] …”

Section: Concurrent Haskellmentioning

confidence: 99%

“…The details of the design can be found in Marlow et al [6], in the following sections we summarise the behaviour the Haskell programmer can expect.…”

Section: Concurrency and The Foreign Function Interfacementioning

confidence: 99%

Parallel and Concurrent Programming in Haskell

Marlow

2012

Central European Functional Programming School

Self Cite

View full text Add to dashboard Cite

show abstract

“…Communication across a network has a considerably higher latency than local communication, but standard distributed programming techniques -such as the use of local proxies [85] and pipelined protocols [86] -can be applied to minimise these overheads, while runtime system integration allows activities to run while others are waiting for network communications [87,88]. CoSMoS has developed design patterns for efficient distributed simulation using messagepassing techniques [89]; ongoing work includes new approaches to temporal synchronisation in distributed simulations [90].…”

Section: Scalable Simulationmentioning

confidence: 99%

Engineering Simulations for Cancer Systems Biology

Bown¹,

Andrews²,

Deeni³

et al. 2012

CDT

View full text Add to dashboard Cite

Abstract:Computer simulation can be used to inform in vivo and in vitro experimentation, enabling rapid, low-cost hypothesis generation and directing experimental design in order to test those hypotheses. In this way, in silico models become a scientific instrument for investigation, and so should be developed to high standards, be carefully calibrated and their findings presented in such that they may be reproduced. Here, we outline a framework that supports developing simulations as scientific instruments, and we select cancer systems biology as an exemplar domain, with a particular focus on cellular signalling models. We consider the challenges of lack of data, incomplete knowledge and modelling in the context of a rapidly changing knowledge base. Our framework comprises a process to clearly separate scientific and engineering concerns in model and simulation development, and an argumentation approach to documenting models for rigorous way of recording assumptions and knowledge gaps. We propose interactive, dynamic visualisation tools to enable the biological community to interact with cellular signalling models directly for experimental design. There is a mismatch in scale between these cellular models and tissue structures that are affected by tumours, and bridging this gap requires substantial computational resource. We present concurrent programming as a technology to link scales without losing important details through model simplification. We discuss the value of combining this technology, interactive visualisation, argumentation and model separation to support development of multi-scale models that represent biologically plausible cells arranged in biologically plausible structures that model cell behaviour, interactions and response to therapeutic interventions.

show abstract

“…Foreign calls are not the focus of this paper, but more details can be found in Marlow et al (2004).…”

Section: Coresmentioning

confidence: 99%

Runtime support for multicore Haskell

2009

Self Cite

View full text Add to dashboard Cite

Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of papers describe promising ideas, but vastly fewer describe real implementations with good wall-clock performance. We describe just such an implementation, and quantitatively explore some of the complex design tradeoffs that make such implementations hard to build. Our measurements are necessarily detailed and specific, but they are reproducible, and we believe that they offer some general insights.

show abstract

Extending the Haskell foreign function interface with concurrency

Cited by 23 publications

References 3 publications

Parallel and Concurrent Programming in Haskell

Parallel and Concurrent Programming in Haskell

Engineering Simulations for Cancer Systems Biology

Runtime support for multicore Haskell

Contact Info

Product

Resources

About