Memoria transaccional ¿Sólo un juguete para investigadores?

En Software Transactional Memory: why is it only a research toy? de Calin Cascaval et al. se repasan algunas de las razones por las que, tras unos años de investigación, la memoria transaccional no ha dado el salto para ser usada en otros entornos. Se nombran sobre todo razones de rendimiento, de usabilidad (semántica confusa) y de interacción con sistemas que no la usan. No obstante no todo el mundo se da por vencido y por ejemplo Larry O'Brien escribe en Cascaval et al.'s skepticism on transaction memory una visión un poco más optimista indicando que aún queda espacio para la investigación y la optimización. ¿Acabaremos usando STM o morirá antes de nacer?

La misma entrada y más comentarios en Memoria transaccional ¿Sólo un juguete para investigadores? en barrapunto

Varios sobre concurrencia y rivales de GCC

Ración de varios variados:

• Parallel Programming with Transactional Memory de Ulrich Drepper en el que hace una buena introducción de la memoria transaccional y de su estado actual, que es más bien de investigación, de su posible futuro y de sus posibles problemas, sobre todo de rendimiento. Por cierto, que Clojure usa STM, a ver si algún día le puedo hincar algún diente... (Se ha tratado el tema de la memoria transaccional más veces por aquí)


• Otro artículo introductorio de ACM Queue: Erlang for Concurrent Programming de Jim Larson


• Cilk++ 1.0 se liberará con una licencia dual, una open source y otra comercial. Cilk++ es un sistema que promete acercar el paralelismo a las masas. Ya veremos, pero una herramienta libre más no está mal.


• Things that go Clang in the night: LLVM 2.4 released en Ars Technica. Un poquito más profundo que las notas de prensa que se apuntaban por aquí en Publicado LLVM 2.4 pero tampoco para tirar cohetes.


• Y por último pcc, the Portable C Compiler, busca, con el apoyo de BSD Fund financiación para alcanzar una versión de ppc 1.0 usable y poder tener un entorno de desarrollo BSD completo (y puro :) )

Movidillo parece el micromundo de los compiladores libres, veremos si la competición les sirve para mejorar a todos ellos.

La misma entrada y más comentarios en Varios sobre concurrencia y rivales de GCC en barrapunto

Varios sobre concurrencia: Lock-free en Java, STM vs locks y consejos

Varios sobre concurrencia (versión n)

• Cliff Click hizo una presentación sobre estructuras sin bloqueos en Java en la JavaOne 2008. El (interesante) pdf de la presentación está online y, no sé si más interesante, el código fuente: Highly Scalable Java en SourceForge
• En el blog del mismo Cliff Click hay una argumentadísima discusión de STM vs locks (Bloqueos frente a memoria transaccional por software) Esto si son discusiones :) (por cierto, que la original está en STM criticism from Azul Systems)
• Por último, Herb Sutter en Maximize Locality, Minimize Contention da consejos sobre programación concurrente, algunos de sentido común. Además propone un ejemplo muy claro de falsa compartición y remedios un poco drásticos de evitarla.

Pequeña nota sentimental: hoy hace cinco años que escribí mi primera bitácora en barrapunto y hace muy poquito yapw ha sobrepasado las 100 entradas. Casi no me lo creo, como pasa el tiempo...

La misma entrada y más comentarios en Lock-free en Java, STM vs locks y consejos en barrapunto

Intel anuncia un compilador con memoria transaccional

Intel está trabajando en un compilador que gestiona memoria transaccional y que está ya en estado de prototipo. Al parecer se puede descargar y usar y para hacernos una idea ponen un miniejemplo de uso. Parece que esta tecnología está saltando de la investigación académica a la industria, habrá que ir viendo lo que da de si, porque, como ya comenté por aquí, hay gente que no acaba de verlo claro.

Intel anuncia un compilador con memoria transaccional en barrapunto

Más sobre C++0x, memoria transaccional y paralelismo

Demasiadas cosas para hacer una entrada por cada una, así que resumiendo:

• "ISO C++0x: Complete Public Review Draft In October 2007?" de Herb Sutter. Repasa con un montón de enlaces interesantes el nuevo C++. Las propuestas más relevantes: Conceptos, Recolector de basura, Modelo de memoria adaptado a la concurrencia y Librerías para tratar la concurrencia
• Un post acerca de porqué la memoria transaccional puede ser una tendencia equivocada, que ha provocado una larga discusión en "Patrick Logan on Software Transaction Memory" que aún no he procesado
• Un grupo interdisciplinar de investigadores de la universidad de Berkley analiza en The Landscape of Parallel Computing Research: A View from Berkeley como se deberían adaptar algunos conocimientos convencionales con la llegada y popularización de los procesadores multicore. Comentado en Slashdot:" An Overview of Parallelism" y Lambda the Ultimate:"The Landscape of Parallel Computing Research: A View from Berkeley"

A disfrutar con tanta lectura :)

"Más sobre C++0x, memoria transaccional y paralelismo" en Barrapunto

Memoria transaccional y concurrencia

En ACM Queue han publicado un articulo que ilustra bastante bien por donde irán los tiros (seguramente) en esto de la programación concurrente. Se trata de Unlocking Concurrency: Multicore programming with transactional memory y describe un poco que es la memoria transaccional y como se programaría en un lenguaje de los de uso cotidiano.

Básicamente se trata de especificar en el lenguaje que secuencias de operaciones forman una transacción de memoria, en la cual, como su nombre indica, o bien se realiza la operación completamente o bien es como si no se hubiese operado con ella, evitando la sincronización manual por parte del programador. Como se encargan de subrayar en el artículo tampoco es la panacea, pero ayuda(ría) mucho a la gestión de la concurrencia.

Sólo falta ahora que se implemente en lenguajes de uso común y deje de ser sólo objeto de investigación académica...

La misma entrada en BP