基于协程实现的CPS编译器

我曾在闲暇时间里对IronLua进行过开发,目前的词法分析和语法分析都已完成。但是由于在.NET中实现Lua协程而不采用不良线程解决方案并不容易,我有点失去了兴趣。这与我如何编译Lua函数相关,是我在设计编译器时需要尽早解决的问题。

我一直在研究协程实现,结果发现我最初关于continuation的想法是正确的。

由于协程创建、yield和其他操作不是语言关键字,而是“coroutine”表中的函数,因此我不能静态地切换到CPS风格的编译,因为协程表可能已经被先前的脚本覆盖了。虽然我知道脚本覆盖协程表的情况很少见,但我仍希望保险起见,并尽可能干净地解决问题。

我的计划是为每个表达式使用continuation-passing风格,无论我们是否在协程中。每个表达式都会有一个continuation跟随。

除了编写编译器本身的明显困难之外,我还为这个设计决策及其性能影响感到困扰。

我正在寻求关于.NET中Lua协程实现的建议。

感谢您的时间。

原文链接 https://stackoverflow.com/questions/6384632

点赞
stackoverflow用户1836
stackoverflow用户1836

你可能需要更多地了解 Scala 在 .NET 上的工作。Scala 支持将 Continuations 作为编译器插件。

注:我不清楚 Continuations 在 .NET 上的支持情况,或者编译器本身的工作程度,负责这个工作的人是 Miguel Garcia,你可以在 Scala Lang 上找到他的联系方式:Scala 开发团队

以下参考资料可能有用:

Scala comes to .Net

The Scala Compiler Corner, for .NET and Mono fans

2011-08-09 11:03:30
stackoverflow用户445517
stackoverflow用户445517

我不熟悉lua协程的详细信息。但我认为,要想在类似于lua本身所支持的同等级别上获得协程支持,唯一的方法就是以某种形式在堆上分配所有本地变量。

你的问题不仅在于协程函数可能被替换,而且任何你调用的lua函数都可能会产生yield。

您还应该查看实现非常类似于C#中的行为的async CTP。我看到的主要区别是您需要使所有方法都是async,而C#功能是特定选择的。

如果您的.NET集成良好(如果基于DLR),那么我就不会太担心性能。编写关键性能部分使用C#,并使用lua作为胶水代码很容易。

2011-08-09 15:10:48