randombit + concurrency 66
FastFlow
december 2009 by randombit
FastFlow is a multi-core programming framework implementing fence-free/lock-free Multiple-Producer-Multiple-Consumer FIFO queues. FastFlow is specifically targeted to support the development of efficient streaming applications on cache-coherent multi-core platforms. It is realised as a C++ template library.
c++
fastflow
multicore
concurrency
library
december 2009 by randombit
A brief history of Consensus, 2PC and Transaction Commit
february 2009 by randombit
A survey of distributed consensus, two phase commit, etc papers over the last 30 years
concurrency
distributed
paxos
consensus
february 2009 by randombit
Py-Interface
january 2009 by randombit
The Py-Interface is a python-implementation of an Erlang node.
concurrency
library
python
erlang
distributed
interface
january 2009 by randombit
lbzip2
september 2008 by randombit
Multithreaded bzip2 compressor/decompressor
compression
concurrency
september 2008 by randombit
JCyclone
august 2008 by randombit
An implementation of SEDA in Java, but apparently dead? No new releases since 2005
seda
nio
jcyclone
java
concurrency
network
august 2008 by randombit
Erlang vs. Scala
july 2008 by randombit
Article about Scala's model for distributed computation (Actors)
erlang
scala
concurrency
comparison
actors
july 2008 by randombit
Software Transactional Memory - Shavit, Touitou
july 2008 by randombit
The paper introducing the idea of STM
concurrency
memory
stm
transactional
july 2008 by randombit
uSystem, uC++
june 2008 by randombit
The μC++ project extends C++ with new constructs providing advanced control-flow including light-weight concurrency on shared-memory uni- and multi-processor computers running UNIX and Linux operating systems.
c++
concurrency
parallel
multicore
june 2008 by randombit
Analysing Object-Capability Security
may 2008 by randombit
We use the process algebra CSP to examine the implementations of a number of OCap patterns and their security properties in various kinds of OCap system.
capabilities
security
distributed
concurrency
csp
may 2008 by randombit
Rochester Software Transactional Memory
february 2008 by randombit
RSTM is a C++ library for multithreaded, nonblocking transaction-based code. RSTM is a research prototype, but has been successfully tested on a variety of benchmarks and applications.
c++
stm
concurrency
library
tools
february 2008 by randombit
Clojure
february 2008 by randombit
Clojure is a dynamic programming language that targets the Java Virtual Machine. It is designed to be a general-purpose language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastruc
compiler
language
java
functional
parallel
lisp
concurrency
february 2008 by randombit
Visual TLA
february 2008 by randombit
TLA+ editor (Windows only?)
tla+
concurrency
specification
language
editor
february 2008 by randombit
TLA - The Temporal Logic of Actions
december 2007 by randombit
TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems.
concurrency
distributed
lamport
math
logic
verification
specification
december 2007 by randombit
related tags
actors ⊕ algorithm ⊕ allocator ⊕ architecture ⊕ article ⊕ asynchronous ⊕ boost ⊕ c ⊕ c# ⊕ c++ ⊕ capabilities ⊕ clojure ⊕ cluster ⊕ comparison ⊕ compiler ⊕ compilers ⊕ compression ⊕ concurrency ⊖ consensus ⊕ continuations ⊕ cpp ⊕ csp ⊕ database ⊕ datastructures ⊕ design ⊕ dht ⊕ distributed ⊕ E ⊕ editor ⊕ elang ⊕ erlang ⊕ fastflow ⊕ flex ⊕ functional ⊕ futures ⊕ gcc ⊕ google ⊕ haskell ⊕ implementation ⊕ intel ⊕ interface ⊕ io ⊕ java ⊕ javadoc ⊕ jcyclone ⊕ jvm ⊕ lamport ⊕ language ⊕ languages ⊕ libevent ⊕ library ⊕ linux ⊕ lisp ⊕ lockfree ⊕ logic ⊕ malloc ⊕ math ⊕ memory ⊕ multicore ⊕ naming ⊕ network ⊕ networking ⊕ newspeak ⊕ nio ⊕ optimization ⊕ papers ⊕ parallel ⊕ parasail ⊕ paxos ⊕ people ⊕ performance ⊕ petnames ⊕ posix ⊕ programming ⊕ python ⊕ redhat ⊕ scala ⊕ scalability ⊕ security ⊕ seda ⊕ self ⊕ server ⊕ shell ⊕ smp ⊕ socket ⊕ specification ⊕ stackless ⊕ stm ⊕ storage ⊕ sun ⊕ systems ⊕ text ⊕ threadpool ⊕ threads ⊕ tla+ ⊕ tools ⊕ transactional ⊕ tutorial ⊕ twisted ⊕ unix ⊕ verification ⊕ via:j2323 ⊕ xargs ⊕Copy this bookmark: