Erlang：优化复杂的qlc

Question

我有 qlc

RefsBlocked = qlc:e(qlc:q([
    Ref1 ||
    {{Ref1, {pattern, {_Status1, _Pattern1, Limit1}}}, Count} <- dict:to_list(
        qlc:fold(
            fun({Key, _Ref2}, Acc) ->
                dict:update_counter(Key, 1, Acc)
            end,
            dict:new(),
            qlc:q([
                {{Ref1, {pattern, {Status1, Pattern1, Limit1}}}, Ref2} ||
                {Ref2, {status, Status2}} <- ets:table(Tmp),
                {Ref3, {tag, Tag3}} <- ets:table(Tmp),
                Ref2 =:= Ref3,
                {Ref1, {pattern, {Status1, Pattern1, Limit1}}} <- ets:table(Tmp),
                Ref =:= Ref1,
                Status1 =:= Status2,
                Pattern1 =:= Tag3
            ])
        )
    ),
    Count >= Limit1
], unique))

，其中 Tmp 是 bag 类型的 ets，Ref 是我需要测试的特定标识符。

Ets 包含从数百到数千的条目，例如

{Ref1, {definition, {Tuple1}}}
{Ref1, {status, scheduled}}
{Ref1, {status, blocked}}
{Ref1, {pattern, {scheduled, Pattern11, Limit11}}}
{Ref1, {pattern, {dispatched, Pattern12, Limit12}}}
{Ref1, {tag, Tag11}}
{Ref2, {definition, {Tuple2}}}
{Ref2, {status, scheduled}}
{Ref2, {status, dispatched}}
{Ref2, {pattern, {scheduled, Pattern21, Limit21}}}
{Ref2, {pattern, {dispatched, Pattern22, Limit22}}}
{Ref2, {tag, Tag21}}
{Ref3, {definition, Tuple3}}
{Ref3, {status, error}}

每个 Ref 有一个定义、一个或两个（四个）状态、零个或多个（在大多数情况下不超过 3 个）模式以及零个或多个模式。更多（大多数情况下不超过 3 个）标签。

我需要测试一个特定标识符是否被其他标识符阻止。当与其标签上的任何模式匹配的标识符数量 = 其模式并且其状态 = 其模式状态大于或等于其模式限制时，它将被阻止。

有没有办法优化qlc？

Answer 1

除非您有不同的、更有效的等式关系可供使用，否则您拥有的代码就已经是最好的了。我想您已经分析过这段代码并发现它太慢了？以什么方式？