使用Ponylang的无锁模型无法实现哪些结构？

Question

Ponylang是一种无锁且无数据访问的新语言.我的印象是,为了实现这一点,Ponylang查看句子"如果两个线程可以看到相同的对象,则写入必须禁止另一个线程的任何其他操作",并使用类型系统来强制执行各种特殊情况.例如,有一个类型描述符,说"没有其他线程可以看到这个对象",并且有一个说"这个引用是只读的",以及其他各种.不可否认,我对此的理解非常差,而ponylang的文档缺少示例.

我的问题是:是否可以使用基于锁的语言进行操作,而这些语言根本无法转换为ponylang的基于类型的系统？此外,是否有这样的操作不能翻译成ponylang中的有效结构？

Answer 1

我相信它可以做任何共享一切+锁可以做的事情。只有iso对象，consume它基本上是一个纯粹的消息传递系统，可以做锁系统所做的任何事情。正如在 mach3 中可以做 linux 可以做的任何事情。