39

基本场景是这样的:我需要从数据库中加载文本,然后将该文本转换为 Elixir 模块(或 Erlang 模块),然后对其进行调用。该文本实际上与模块文件相同。所以这是热代码加载的一种形式。我想编译“文件”,然后加载生成的模块,然后调用它。稍后我会卸载它。唯一的区别是代码存在于数据库中而不是磁盘上的文件中。(并且在我编写将加载它的代码时它不存在。)

我知道 Erlang 支持热代码加载,但似乎专注于在磁盘上编译文件然后加载梁。我希望将其作为一个更动态的过程来执行,并且我不会替换正在运行的代码,而是加载代码,然后运行它,然后卸载它。

Elixir 中有几个工具可以在运行时评估代码。我正在尝试弄清楚如何使用它们,并且文档有点稀疏。

Code.compile_string(string, "nofile")

“返回一个元组列表,其中第一个元素是模块名称,第二个是它的二进制”。所以,现在我有了模块名称和它们的二进制文件,但我不知道如何将二进制文件加载到运行时并调用它们。我该怎么做?(我可以看到代码库中没有相应的功能。)

可能我可以使用 Erlang 函数:

:code.load_binary(Module, Filename, Binary)  ->
           {module, Module} | {error, What}

好的,所以这会返回一个带有原子“模块”的元组,然后是模块。如果从数据库加载的字符串定义了一个名为“Paris”的模块,那么我将如何在我的代码中执行

paris.handler([parameters])

因为我事先不知道会有一个名为 paris 的模块?我可以知道,通过将字符串“paris”也存储在数据库中,这是名称,但是有没有办法调用模块,使用字符串作为您正在调用的模块的名称?

还有:

eval(string, binding // [], opts // [])

它评估字符串的内容。这个字符串可以是模块的完整定义吗?看来不是。我希望能够编写这个正在评估的代码,它具有多个相互调用的函数 - 例如一个完整的小程序,具有预定义的入口点(这可能是一个主要的,比如作为“DynamicModule.handle([参数,列表])”

然后是 EEx 模块,它有:

compile_string(source, options // [])

这对于制作模板非常有用。但最终它似乎只适用于存在字符串并且您已将 Elixir 代码嵌入其中的用例。它在选项的上下文中评估字符串并生成一个字符串。我正在寻求将字符串编译成一个或多个我可以调用的函数。(如果我只能制作一个很好的功能,那么该功能可以进行模式匹配或切换到做其他需要的事情......)

我知道这是非常规的,但我有这样做的理由,而且他们是好的。我正在寻找有关如何执行此操作的建议,但不需要被告知“不要那样做”。看起来应该是可能的,Erlang 支持热代码加载,并且 Elixir 非常动态,但我只是不知道语法或正确的功能。我会密切关注这个问题。提前致谢!


基于第一个答案的编辑:

感谢您的回答,这是一个很好的进展。正如 Yuri 所展示的, eval 可以定义一个模块,并且正如 José 指出的那样,我可以将代码 eval 用于带有绑定的一小部分代码。

正在评估的代码(无论是否转换为模块)将相当复杂。它的开发最好涉及将其分解为函数并调用这些函数。

为了提供帮助,让我提供一些背景信息。假设我正在构建一个 Web 框架。从数据库加载的代码是特定 URI 的处理程序。所以,当一个 HTTP 调用进来时,我可能会加载 example.com/blog/ 的代码。这个页面可能涉及几个不同的东西,比如评论、最近的帖子列表等。

由于很多人同时点击该页面,我正在生成一个进程来处理每个页面视图。因此,对于不同的请求,可以多次同时评估此代码。

模块解决方案允许将代码分解为页面不同部分的函数(例如:帖子列表、评论等),并且我会在启动时加载模块一次,并让许多进程产生该调用进去。该模块是全局的,对吗?

如果已经定义了一个模块会发生什么?EG:当模块发生变化时,已经有进程调用了该模块。

在 iex 中,我可以重新定义已经定义的模块:

iex(20)> Code.eval "defmodule A do\ndef a do\n5\nend\nend"
nofile:1: redefining module A

如果我在运行时将模块重新定义到当前调用该模块的所有进程,会发生什么?此外,这种重新定义是否会在 iex 之外正常运行?

假设重新定义模块会有问题,并且全局模块可能会遇到命名空间冲突的问题,我研究了使用 eval 来定义函数。

如果我只能让数据库中的代码定义函数,那么这些函数在任何进程的范围内,并且我们没有全局冲突的可能性。

但是,这似乎不起作用:

iex(31)> q = "f = function do
...(31)> x, y when x > 0 -> x+y
...(31)> x, y -> x* y
...(31)> end"
"f = function do\nx, y when x > 0 -> x+y\nx, y -> x* y\nend"
iex(32)> Code.eval q
{#Fun<erl_eval.12.82930912>,[f: #Fun<erl_eval.12.82930912>]}
iex(33)> f
** (UndefinedFunctionError) undefined function: IEx.Helpers.f/0
    IEx.Helpers.f()
    erl_eval.erl:572: :erl_eval.do_apply/6
    src/elixir.erl:110: :elixir.eval_forms/3
    /Users/jose/Work/github/elixir/lib/iex/lib/iex/loop.ex:18: IEx.Loop.do_loop/1

iex(33)> f.(1,3)
** (UndefinedFunctionError) undefined function: IEx.Helpers.f/0
    IEx.Helpers.f()
    erl_eval.erl:572: :erl_eval.do_apply/6
    erl_eval.erl:355: :erl_eval.expr/5
    src/elixir.erl:110: :elixir.eval_forms/3
    /Users/jose/Work/github/elixir/lib/iex/lib/iex/loop.ex:18: IEx.Loop.do_loop/1

我也试过:

    iex(17)> y = Code.eval "fn(a,b) -> a + b end"
{#Fun<erl_eval.12.82930912>,[]}
iex(18)> y.(1,2)
** (BadFunctionError) bad function: {#Fun<erl_eval.12.82930912>,[]}
    erl_eval.erl:559: :erl_eval.do_apply/5
    src/elixir.erl:110: :elixir.eval_forms/3
    /Users/jose/Work/github/elixir/lib/iex/lib/iex/loop.ex:18: IEx.Loop.do_loop/1

所以,总结一下:

  1. 当有进程调用模块时,可以使用 Code.eval 重新定义模块吗?

  2. 是否可以使用 Code.eval 来制作范围绑定到调用 Code.eval 的进程的函数?

  3. 如果你明白我想要做什么,你能建议一个更好的方法吗?

另外,如果有更好的论坛我应该问这个问题,请随时告诉我。如果有我应该阅读的文档或相关示例,请随时向我指出。我不是想让你做所有的工作,我只是自己无法弄清楚。

我正在学习 Elixir 专门用于动态评估代码的能力,但我的 Elixir 知识现在很少——我刚刚开始——而且我的 erlang 也生疏了。

非常感谢!

4

3 回答 3

37

正如您所描述的,您可以采用许多不同的方法,最终它们归结为两个不同的类别:1)代码编译和 2)代码评估。您上面描述的示例需要编译,它将定义一个模块,然后您必须调用它。但是,正如您所发现的,它需要定义模块名称,并在数据库更改时可能会清除和丢弃这些模块。另外,请注意,定义模块可能会耗尽原子表,因为为每个模块创建一个原子。如果您需要编译最多十几个模块,我只会使用这种方法。

(一个小说明,Code.compile_string已经定义了模块,所以你不需要调用load_binary)。

也许更简单的方法是调用Code.eval从数据库中传递代码,从而进行代码评估。如果您只想评估一些自定义规则,它可以正常工作。接受一个绑定,这Code.eval将允许您将参数传递给代码。假设您在数据库中存储了“a + b”,参数在哪里ab是,您可以将其评估为:

Code.eval "a + b", [a: 1, b: 1]

根据问题的编辑进行编辑

如果您正在评估代码,请记住Code.eval返回评估代码和新绑定的结果,因此您上面的示例最好写成:

q = "f = function do
x, y when x > 0 -> x+y
x, y -> x* y
end"

{ _, binding } = Code.eval q
binding[:f].(1, 2)

但是,鉴于您的用例,我不会考虑使用 eval 但我确实会编译一个模块。由于信息来自数据库,您可以使用此事实为您生成每条记录的唯一模块。例如,您可以假设开发人员会将模块的内容添加到数据库中,例如:

def foo, do: 1
def bar, do: 1

从数据库中获取此信息后,您可以使用以下命令对其进行编译:

record   = get_record_from_database
id       = record.id
contents = Code.string_to_quoted!(record.body)
module   = Module.concat(FromDB, "Data#{record.id}")
Module.create module, contents, Macro.Env.location(__ENV__)
module

其中记录是您从数据库中返回的任何内容。假设记录 id 是1,它将定义一个模块FromDB.Data1,然后您就可以调用fooand bar

关于代码重新加载,两者都defmodule用于Module.create加载:code.load_binary模块。这意味着如果您更新模块,旧版本仍然会保留,直到加载另一个新版本。

您还应该添加的一件事是缓存过期,因此您不需要针对每个请求编译模块。如果您在每次更改记录内容时递增的数据库中有一个 lock_version,则可以做到这一点。最终代码将类似于:

record  = get_record_from_database
module  = Module.concat(FromDB, "Data#{record.id}")
compile = :code.is_loaded(module) == false or
            record.lock_version > module.lock_version

if compile do
  id       = record.id
  contents = Code.string_to_quoted!(record.body)
  contents = quote do
    def lock_version, do: unquote(record.lock_version)
    unquote(contents)
  end
  Module.create module, contents, Macro.Env.location(__ENV__)
end

module
于 2012-11-05T18:11:57.117 回答
11

Code.eval 可用于定义模块:

iex(1)> Code.eval "defmodule A do\ndef a do\n1\nend\nend" 
{{:module,A,<<70,79,82,49,0,0,2,168,66,69,65,77,65,116,111,109,0,0,0,98,0,0,0,11,8,69,108,105,120,105,114,45,65,8,95,95,105,110,102,111,95,95,4,100,111,99,115,9,102,117,...>>,{:a,0}},[]}
iex(2)> A.a
1

这有帮助吗?

于 2012-11-04T22:14:04.423 回答
4

你检查过吗:Dynamic Compile Library by Jacob Vorreuter。请参阅下面的示例

1> String = "-module(add).\n -export([add/2]). \n add(A,B) -> A + B. \n".
"-module(add).\n -export([add/2]).\n add(A,B) -> A + B.\n"
2> 动态编译:加载从字符串(字符串)。
{模块,添加}
3> 添加:添加(2,5)。
7
4>
另外,请查看此问题及其答案

于 2012-11-05T09:21:57.683 回答