You are here: Home / RTLWS 1999-2017 / RTLWS Submitted Papers / 
2022-07-05 - 11:36

Dates and Events:

OSADL Articles:

2022-01-13 12:00

Phase #3 of OSADL project on OPC UA PubSub over TSN successfully completed

Another important milestone on the way to interoperable Open Source real-time Ethernet has been reached

2021-02-09 12:00

Open Source OPC UA PubSub over TSN project phase #3 launched

Letter of Intent with call for participation is now available

2016-11-12 12:00

Raspberry Pi and real-time Linux

Let's have a look at the OSADL QA Farm data

2016-09-17 12:00

Preemption latency of real-time Linux systems

How to measure it – and how to fix it, if it's too high?

Real Time Linux Workshops

1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015

15th Real Time Linux Workshop, October 28 to 31, 2013 at the Dipartimento Tecnologie Innovative, Scuola Universitaria Professionale della Svizzera Italiana in Lugano-Manno, Switzerland

Announcement - Call for participation (ASCII)Hotels - Directions - AgendaPaper Abstracts - Presentations - Registration - Abstract Submission - Sponsors - Gallery

pMTX - first experiments with a probabilistic mutex

Nicholas Mc Guire, DSLab, Lanzhou University, China

Probabilistic synchronization primitives do not provide a deterministic behavior of the error free execution path - they allow for a probability of internal failure. Traditional synchronization primitives are internally deterministic - though only advisory in nature - and have some external error conditions - some of which are detectable. Strictly speaking traditional locks are also probabilistic in nature just that the probabilities associated with the failures are not quantifiable but assumed to be "extremely low" and thus tolerable.

With increasing number of cores though the cost of determinism is becoming problematic. At the same time the general assumption is that systems will not bet simpler in the future but tend towards even higher complexity. This is also true for hardware, where minimum feature size is approaching ranges where increased non-determinism at the hardware level is becoming visible (e.g. in asynchronous cache logic).

The key question for the design of a probabilistic synchronization primitive is - what level of failure probabilist is tolerable?

In 2011 we published our first quite speculative results on a probabilistic concurrency control called pWCS (probabilistic Write Copy Select). pWCS covered the problem of consistent access to a shared resource with a single writer asynchronously updating the shared object - more of less with arbitrary number of concurrent readers. This quite obviously begged the question of how to deal with multiple writers. Addressing this question is what the pMTX (Probabilistic MuTeX) project set out to do.

We introduce first code experiments and results on small multi-core systems. A first analysis of the types of inconsistencies found along with the possible mitigations are discussed.