recentpopularlog in

mcherm : stm   13

PyPy Status Blog: STM update: back to threads?
Armin explains that he's now using STM in PyPy to just provide normal threading, plus an ability to create a "transaction". It is course-grained, but he says that's OK. I tried reasoning about a common problem (web application threading) and found that it backed up his claim.
stm  softwaretransactionalmemory  python  pypy  mypostings  ArminRigo  programming  threading  concurrentprogramming  parallelprogramming  via:HackerNews 
may 2012 by mcherm
PyPy Status Blog: Transactional Memory (II)
A summary of what transactional memory (especially software transactional memory) is and why Armin Rigo thinks it might be really, REALLY good for Python. Nothing here that was new to me, but the simple, clear explanation is quite good.
via:HackerNews  ArminRigo  PyPy  concurrency  concurrentprogramming  parallelprogramming  stm  programming 
january 2012 by mcherm
The problem with STM: your languages still suck
Software Transactional Memory (STM) doesn't play well with anything imperative or mutable. It's a natural for Haskell but every other programming language is in trouble. And it might be the only way to sanely use ever-increasing numbers of cores.
programming  functional  concurrency  haskell  stm  via:reddit  BrianHurt  threading  concurrentprogramming  parallelprogramming  softwaretransactionalmemory 
august 2011 by mcherm
We [PyPy] need Software Transactional Memory
Armin: PyPy has a GIL; to get rid of it we needs STM. Can’t do fine-grained locks like Jython because it’s hard to do; CAN do STM surprisingly easily because PyPy does whole-program transformations with ease. So he proposes trying to add STM to PyPy. He guesses 10x slowdown, perhaps 2x slowdown with serious optimization (wow… realistic expectations!) I think this is the sort of experiment that PyPy exists for, and is WELL worth trying.
via:reddit  ArminRigo  stm  pypy  parallellcomputing  threading  programming  computerscience  concurrency  concurrentprogramming 
august 2011 by mcherm
Is Transactional Programming Actually Easier? | Lambda the Ultimate
A study compared software transactional programming with locks using 150 undergraduate students. STM did extremely well in objective measurements.
concurrency  stm  parallelprogramming 
september 2010 by mcherm
Programming and politics: Concurrency Patterns: Java, Scala, and Clojure
One person's comparison of locking, STM, and actors as mechanisms for coordinating concurrent programming.
concurrency  java  scala  programming  parallelprogramming  concurrentprogramming  clojure  stm  computerscience  via:HackerNews 
october 2009 by mcherm
The Transactional Memory / Garbage Collection Analogy: Dan Grossman
In this academic paper, the author presents and defends an extensive analogy between garbage collection as a solution for memory allocation and Software Transactional Memory as a solution for concurrent programming.
programming  stm  concurrency  concurrentprogramming  garbagecollection  parallelprogramming  research  computerscience 
october 2009 by mcherm
Swarm: Distributed Computation in the Cloud on Vimeo
Video presentation describing "Swarm", a new project for a language that tries to implement cloud computing by moving the computation to where the data is. Relies on the (not yet released) version of Scala which provides continuations that can be saved and/or moved to a different machine before being resumed. They do that by rewriting the program for continuations instead of trying to save the contents of the stack. Interesting.
swarm  programming  scala  scalability  continuations  stm  parallelprogramming  concurrency 
october 2009 by mcherm
Are We There Yet? A deconstruction of object-oriented time: HickeyJVMSummit2009.pdf
Interesting paper. He claims we should use immutable values, and separate "identities" which are a series of values that are "causally related". Use more trees! Supports concurrency (you can look at things while someone else changes it). May be the same as software transactional memory (I'm unclear).
functional  via:LambdaTheUltimate  programming  datastructures  stm  concurrency 
october 2009 by mcherm
Scala vs Clojure – Round 2: Concurrency!
A review of the concurrency in Scala and Clojure by someone who is strongly biased in favor of Clojure.
stm  softwaretransactionalmemory  scala  clojure  programming  via:HackerNews 
september 2009 by mcherm
The problem with STM: your languages still suck » Enfranchised Mind
Software Transactional Memory works GREAT in Haskell, but it's just never going to work in Java, C, and such because they are too full of side effects -- it's just not a good match for the behavior of STM. STM is the best of possible solutions to concurrent programming (I don't think I agree with that!), so programming languages will have to change.
concu  concurrency  concurrentprogramming  languagedesign  haskell  functional  stm  softwaretransactionalmemory  progra  programming  parallelprogramming  BrianHurt 
january 2009 by mcherm

Copy this bookmark:





to read