Linux Weekly News: User-space RCU article

Mathieu Desnoyers is co-author of a series of articles on Userspace RCU published on Linux Weekly News. These introduce the Userspace RCU library, which brings RCU and efficient data structures to user-space.

Tracing Summit 2013

EfficiOS co-organized the Tracing Summit 2013 event co-located with the Linux Foundation LinuxCon Europe 2013 in Edinburgh, UK held last October.

The main target of this one day conference was to provide room for discussion between people in the various areas that benefit from tracing, namely parallel, distributed and/or real-time systems, as well as kernel development.

More information and slides of this event can be found on the Tracing Summit website.

LinuxCon Europe 2013: Hands-on Tutorial on Scalability with Userspace RCU

This presentation is available as PDF.

Code examples and exercices available on Github.

Presenter: Mathieu Desnoyers, EfficiOS

»

LinuxCon Europe 2013: LTTng as a new monitoring tool

This presentation is available as PDF

Presenter: David Goulet, EfficiOS

»

Bienvenue chez EfficiOS

Chez EfficiOS, notre but premier est de diminuer le temps requis par nos clients pour identifier les fautes. Nous permettons également aux applications de nos clients d'être mises à l'échelle sur des systèmes multi-coeurs, et de répondre à des contraintes temps-réel. Pour ce faire, nous implémentons des outils et librairies en logiciels libres tels que LTTng et Userspace RCU.

N'hésitez pas à nous contacter pour apprendre plus au sujet de nos services de consultation, support et formation.

ACM Queue article: Proving the Correctness of Nonblocking Data Structures

Desnoyers, Mathieu, Proving the Correctness of Nonblocking Data Structures. ACM Queue, 11 (5): 30-43 (2013). Paper (html/pdf).

Syndicate content

Copyright © 2016, EfficiOS Inc.