有没有直播/录播呀 On Fri, Nov 8, 2019 at 3:43 PM 陈晟祺 <[email protected]> wrote:
> Hi Tunars, > > 互斥（Mutual exclusion）问题是分布式计算领域的经典问题，1965 年，Dijkstra 提出了第一个互斥算法。本次 Tunight > 将以 Dijkstra 的互斥算法为例，介绍分布式计算领域与之相关的概念与理论，并证明该算法的正确性；将该算法的伪代码简单地“翻译”成 C++ > 并不能正确地实现互斥功能，因为分布式计算理论中的计算模型与实际计算机和编程语言的计算模型有诸多差别，例如实际计算机和编程语言的内存序通常更弱，本次 > Tunight 将介绍 C++11 新特性 std::atomic ，使用它给出该算法的正确实现并给予证明。 > > * 主讲人：付祈安 > * 时间：校历第九周周六（11/9） 19:00 > * 地点：新水 401 > > 欢迎来玩！ > > -- > Shengqi Chen > > -- > 您收到此邮件是因为您订阅了Google网上论坛上的“TUNA 主邮件列表”群组。 > 要退订此群组并停止接收此群组的电子邮件，请发送电子邮件到[email protected]。 > 要在网络上查看此讨论，请访问 > https://groups.google.com/d/msgid/tuna-general/d1f41e8b-3099-4fd2-a2b2-be80af1bcbc3%40googlegroups.com > <https://groups.google.com/d/msgid/tuna-general/d1f41e8b-3099-4fd2-a2b2-be80af1bcbc3%40googlegroups.com?utm_medium=email&utm_source=footer> > 。 > -- 您收到此邮件是因为您订阅了 Google 网上论坛的“TUNA 主邮件列表”群组。 要退订此群组并停止接收此群组的电子邮件，请发送电子邮件到[email protected]。 要在网络上查看此讨论，请访问 https://groups.google.com/d/msgid/tuna-general/CAB6qLBmps-a_EQT9hhCPUWARi0R4qBjTOEsvCb7m%3DKg%2BarGWOw%40mail.gmail.com。
