Retry-transaction : uma nova função primitiva de bloqueio para a STM de Clojure
View/ Open
Date
2012Author
Advisor
Academic level
Graduation
Title alternative
Retry-transaction: a new primitive function for blocking in the Clojure STM
Abstract in Portuguese (Brasil)
Neste trabalho é proposta uma nova função primitiva, retry-transaction, para o sistema de Memória Transacional de Software (STM) de Clojure. STM é vista por muitos pesquisadores como uma possível forma de simplificar programação concorrente. Porém, uma ausência em muitos sistemas de STM é uma forma de conciliar código a ser executado na STM com código que deve bloquear. Este trabalho se baseia numa proposta originalmente para a STM de Haskell. São apresentados para contextualizar a proposta: a ...
Neste trabalho é proposta uma nova função primitiva, retry-transaction, para o sistema de Memória Transacional de Software (STM) de Clojure. STM é vista por muitos pesquisadores como uma possível forma de simplificar programação concorrente. Porém, uma ausência em muitos sistemas de STM é uma forma de conciliar código a ser executado na STM com código que deve bloquear. Este trabalho se baseia numa proposta originalmente para a STM de Haskell. São apresentados para contextualizar a proposta: a linguagem de programação Clojure; estruturas de dados puramente funcionais para facilitar a escrita de código funcional, que é um requisito da STM de Clojure; o conceito de STM; como é realizado STM em Clojure. Em seguida é apresentada a proposta central deste trabalho, que diz respeito a uma nova função para a STM, retry-transaction, que permite a escrita de código bloqueante utilizando a STM. ...
Abstract
This paper proposes a new primitive function, retry-transaction, for Clojure’s STM system. Software Transactional Memory is seen by many researchers as a possible way to simplify concurrent programming. However, there is an absence in many STM systems of a mechanism for conciliating code to be executed inside the STM with code that has to block. This work is based on a proposal originally designed for Haskell’s STM. This proposal contains the following: the Clojure programming language; purely ...
This paper proposes a new primitive function, retry-transaction, for Clojure’s STM system. Software Transactional Memory is seen by many researchers as a possible way to simplify concurrent programming. However, there is an absence in many STM systems of a mechanism for conciliating code to be executed inside the STM with code that has to block. This work is based on a proposal originally designed for Haskell’s STM. This proposal contains the following: the Clojure programming language; purely functional data structures to facilitate writing functional code, a requisite for Clojure’s STM; the concept of STM; Clojure’s STM. Following that, this paper’s main proposal is described: a new primitive function for Clojure’s STM,retry-transaction, which allows blocking code using STM. ...
Institution
Universidade Federal do Rio Grande do Sul. Instituto de Informática. Curso de Ciência da Computação: Ênfase em Ciência da Computação: Bacharelado.
Collections
This item is licensed under a Creative Commons License