金枪鱼之夜：Mutual Exclusion in Shared-memory Systems: From Theory to Practice

陈晟祺

unread,

Nov 8, 2019, 2:43:26 AM11/8/19

to TUNA 主邮件列表

Hi Tunars,

互斥（Mutual exclusion）问题是分布式计算领域的经典问题，1965 年，Dijkstra 提出了第一个互斥算法。本次 Tunight 将以 Dijkstra 的互斥算法为例，介绍分布式计算领域与之相关的概念与理论，并证明该算法的正确性；将该算法的伪代码简单地“翻译”成 C++ 并不能正确地实现互斥功能，因为分布式计算理论中的计算模型与实际计算机和编程语言的计算模型有诸多差别，例如实际计算机和编程语言的内存序通常更弱，本次 Tunight 将介绍 C++11 新特性 std::atomic ，使用它给出该算法的正确实现并给予证明。

* 主讲人：付祈安
* 时间：校历第九周周六（11/9） 19:00
* 地点：新水 401

欢迎来玩！

--

Shengqi Chen

Yuxin Wu

unread,

Nov 8, 2019, 2:55:37 AM11/8/19

to tuna-g...@googlegroups.com

有没有直播/录播呀

--
您收到此邮件是因为您订阅了Google网上论坛上的“TUNA 主邮件列表”群组。
要退订此群组并停止接收此群组的电子邮件，请发送电子邮件到tuna-general...@googlegroups.com。
要在网络上查看此讨论，请访问https://groups.google.com/d/msgid/tuna-general/d1f41e8b-3099-4fd2-a2b2-be80af1bcbc3%40googlegroups.com。

陈晟祺

unread,

Nov 8, 2019, 3:02:48 AM11/8/19

to TUNA 主邮件列表

会有录播，有直播的话会提前在 Telegram 群通知。

在 2019年11月8日星期五 UTC+8下午3:55:37，ppwwyyxxc写道：

有没有直播/录播呀

On Fri, Nov 8, 2019 at 3:43 PM 陈晟祺 <chensh...@gmail.com> wrote:

Hi Tunars,

互斥（Mutual exclusion）问题是分布式计算领域的经典问题，1965 年，Dijkstra 提出了第一个互斥算法。本次 Tunight 将以 Dijkstra 的互斥算法为例，介绍分布式计算领域与之相关的概念与理论，并证明该算法的正确性；将该算法的伪代码简单地“翻译”成 C++ 并不能正确地实现互斥功能，因为分布式计算理论中的计算模型与实际计算机和编程语言的计算模型有诸多差别，例如实际计算机和编程语言的内存序通常更弱，本次 Tunight 将介绍 C++11 新特性 std::atomic ，使用它给出该算法的正确实现并给予证明。

* 主讲人：付祈安
* 时间：校历第九周周六（11/9） 19:00
* 地点：新水 401

欢迎来玩！

--
Shengqi Chen

--
您收到此邮件是因为您订阅了Google网上论坛上的“TUNA 主邮件列表”群组。

要退订此群组并停止接收此群组的电子邮件，请发送电子邮件到tuna-general+unsubscribe@googlegroups.com。
要在网络上查看此讨论，请访问https://groups.google.com/d/msgid/tuna-general/d1f41e8b-3099-4fd2-a2b2-be80af1bcbc3%40googlegroups.com。

Reply all

Reply to author

Forward