RT: @grospic @IOHK_Charles @jack @elonmusk @jamesdouma @RadarMoron @JeffTutorials @karpathy @leithaus Under the hood, this dining philosopher code is deadlock free because inside RSpace, the joints on multiple channels always acquire locks in the same order.
转发：@grospic@IOHK\u Charles@jack@elonmusk@jamesdouma@RadarMoron@JeffTutorials@karthy@leithaus在引擎盖下，这个用餐哲学家代码是无死锁的，因为在RSpace内，多个通道上的关节总是以相同的顺序获得锁。