Ownership Systems against Data Races 10

最新推荐文章于 2022-02-25 23:47:59 发布

hqs7636

最新推荐文章于 2022-02-25 23:47:59 发布

阅读量115

点赞数

分类专栏： D3 并发 vs AST 文章标签： C C++ C#

本文链接：https://blog.csdn.net/hqs7636/article/details/83480871

版权

D3 并发 vs AST 专栏收录该内容

10 篇文章 0 订阅

订阅专栏

September 22, 2009

Posted by Bartosz Milewski under C++, Concurrency, Programming, Type System
[6] Comments

Here’s the video from my recent talk to the Northwest C++ Users Group (NWCPP) about how to translate the data-race free type system into a system of user-defined annotations in C++. I start with the definition of a data race and discuss various ways to eliminate them. Then I describe the ownership system and give a few examples of annotated programs.

Here are the slides from the presentation. They include extensive notes.

By the way, we are looking for speakers at the NWCPP, not necessarily related to C++. We are thinking of changing the charter to include all programming languages. If you are near Seattle on Oct 21 09 (or any third Wednesday of the month), and you are ready to give a 60 min presentation, please contact me.