Composable memory transactions

Harris, Tim; Marlow, Simon; Peyton-Jones, Simon; Herlihy, Maurice

doi:10.1145/1065944.1065952

Cited by 490 publications

(241 citation statements)

References 22 publications

Supporting

Mentioning

230

Contrasting

Unclassified

Order By: Relevance

“…The former can be used for list comprehensions (and other collections), while the latter is suitable e.g. for the option monad or the software transactional memory monad [6].…”

Section: Monad and Additive Monad Lawsmentioning

confidence: 99%

The F# Computation Expression Zoo

Petříček

Syme

2014

Practical Aspects of Declarative Languages

View full text Add to dashboard Cite

Abstract. Many computations can be structured using abstract computation types such as monoids, monad transformers or applicative functors. Functional programmers use those abstractions directly while mainstream languages often integrate concrete instances as language features -e.g. generators in Python or asynchronous computations in C# 5.0. The question is, is there a sweet spot between convenient, hardwired language features, and an inconvenient but flexible libraries?F# computation expressions answer this question in the affirmative. Unlike the "do" notation in Haskell, computation expressions are not tied to a single kind of abstraction. They support a wide range of computations, depending on what operations are available. They also provide greater syntactic flexibility leading to a more intuitive syntax, without resorting to full macro-based meta-programming.We show that computation expressions can structure well-known computations including monoidal list comprehensions, monadic parsers, applicative formlets and asynchronous sequences based on the list monad transformer. We also present typing rules for computation expressions that are capable of capturing all these applications.

show abstract

“…The former can be used for list comprehensions (and other collections), while the latter is suitable e.g. for the option monad or the software transactional memory monad [6].…”

Section: Monad and Additive Monad Lawsmentioning

confidence: 99%

The F# Computation Expression Zoo

Petříček

Syme

2014

Practical Aspects of Declarative Languages

View full text Add to dashboard Cite

show abstract

“…Ao término de cada bloco, esse log é avaliado, de modo a se checar a consistência da memória e, logo depois, o seu conjunto de operações sofre uma espécie de commit. Caso a validação falhe, o bloco é reexecutado [5]. Essas características garantem, em situações como as de transferência em banco, que nenhuma thread observe o estado intermediário no qual o fundo saiu de uma conta, mas ainda não foi depositado em outra [5].…”

Section: Bloco Atômicounclassified

“…Isso traz a necessidade de se controlar como e quando serão executadas. Como solução para este problema Harris [5] propôs a ideia da declaração retry (repetir) para coordenar transações.…”

Section: Uso Do Retry (Repetir)unclassified

“…O suporte a transações é fornecido pelo Glasgow Haskell Compiler (GHC). A STM em Haskell é tratada como um tipo de dado transacional que tem suporte da classe Mônada [5]. A utilização de transações garante a atomicidade na execução entre threads concorrentes.…”

Section: Variáveis Transacionais Em Haskellunclassified

“…Dentre as linguagens funcionais modernas destaca-se a linguagem funcional pura Haskell [5], a qual também se apresenta como uma interessante opção para o desenvolvimento de aplicações paralelas, pois não apresenta efeitos colaterais.…”

Section: Introductionunclassified

See 2 more Smart Citations

Investigando STM em Haskell como Alternativa para a Programação de Sistemas com Memória Compartilhada

Liberali¹,

Vizzotto²

2010

RBCA

View full text Add to dashboard Cite

Resumo: Neste trabalho investiga-se a utilização de Software Transactional Memory (STM) como alternativa de programação paralela para arquiteturas com memória compartilhada. Primeiramente, faz-se um estudo do conceito de programação paralela e suas principais características. Posteriormente, apresenta-se a abordagem do modelo STM para programação paralela, bem como a sua aplicação no contexto de linguagens de programação funcional, mais especificamente em Haskell. Como estudo de caso para ilustração das qualidades do modelo STM, apresenta-se uma implementação do problema clássico de sincronização do jantar dos filósofos em Haskell. Por fim, com o objetivo de demonstrar a simplicidade e elegância dos códigos com STM em Haskell, compara-se esta implementação com outra do mesmo problema utilizando-se o mecanismo de sincronização monitores em Java. Palavras IntroduçãoEste trabalho propõe investigar uma alternativa de programação paralela para sistemas multi-core, com memória compartilhada, utilizando o paradigma de programação funcional. Hoje a solução que está sendo encontrada pelos fabricantes de microprocessadores para obter melhor desempenho é a utilização de mais de um núcleo em cada processador. Essa nova arquitetura é chamada de "multicore" e sua principal característica é que a carga de trabalho pode ser dividida entre os núcleos de processamento.Nesse contexto, o principal desafio atualmente está na área de programação de sistemas, para que possam executar eficientemente nesta nova arquitetura. A programação paralela é uma área que nos permite ter mais poder computacional em nível de programação do sistema. A ideia é dividir os programas em subprocessos que poderão ser executados simultaneamente por núcleos ou processadores diferentes [1].Tradicionalmente, em programação paralela para sistemas com memória compartilhada utilizam-se mecanismos de lock e variáveis condicionais. Programas paralelos escritos com locks são difíceis de programar e bastante suscetíveis a erros, como, por exemplo, deadlock [2]. Assim, este projeto visa ao estudo de Software

show abstract

A queuing model‐based approach for the analysis of transactional memory systems

Hong

2012

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYIn this paper, we develop an analytical model of the execution efficiency of transactional memory (TM) systems. This model employs queuing theory to analyze the impact of an essential set of TM design parameters including the conflict rate, number of conflict detection/resolution points, and implementation overhead. The model is validated via extensive experiments. To demonstrate the effectiveness of the model, we further study the performance impact of two factors. Our study shows that, for a given TM‐based program, the frequency of performing conflict detection can be carefully chosen to minimize the mean transaction completion time. Our study also demonstrated the importance of reducing implementation overhead. We expect our study to be useful for designing TM systems and applications. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

Composable memory transactions

Cited by 490 publications

References 22 publications

The F# Computation Expression Zoo

The F# Computation Expression Zoo

Investigando STM em Haskell como Alternativa para a Programação de Sistemas com Memória Compartilhada

A queuing model‐based approach for the analysis of transactional memory systems

Contact Info

Product

Resources

About