Erlang: qlc: info выдает ошибку, а qlc: eval нет - почему? - PullRequest
Новая
       4

Erlang: qlc: info выдает ошибку, а qlc: eval нет - почему?

1 голос
/ 13 апреля 2011

Работает 

root@test # erl
Erlang R14B02 (erts-5.8.3) [source] [64-bit] [smp:4:4] [rq:4] [async-threads:0] [kernel-poll:false]

Eshell V5.8.3  (abort with ^G)
1> Tmp = ets:new(test, [bag]), Ref = make_ref(),
1> qlc:eval(qlc:q([Ref1 || Ref1 <- ets:table(Tmp), Ref =:= Ref1])).
[]
2> qlc:info(qlc:q([Ref1 || Ref1 <- ets:table(Tmp), Ref =:= Ref1])).
"ets:table(16400,\n          [{traverse,\n            {select,\n             [{'$1',\n               [{'=:=',{const,#Ref<0.0.0.29>},'$1'}],\n               ['$1']}]}}])"
3> halt().

Не работает 

root@test # erl
Erlang R14B02 (erts-5.8.3) [source] [64-bit] [smp:4:4] [rq:4] [async-threads:0] [kernel-poll:false]

Eshell V5.8.3  (abort with ^G)
1> Tmp = ets:new(test, [bag]), Ref = make_ref(),
1> qlc:eval(qlc:q([Ref1 || {Ref1} <- ets:table(Tmp), Ref =:= Ref1])).
[]
2> qlc:info(qlc:q([Ref1 || {Ref1} <- ets:table(Tmp), Ref =:= Ref1])).
** exception error: no match of right hand side value {error,{1,erl_parse,["syntax error before: ",["Ref"]]}}
     in function  qlc:abstract/3
     in call from qlc:abstract/3
     in call from qlc:abstract/4
     in call from qlc:info/2
3> halt().

Не могу понять почему.Обнаружил эту ошибку в гораздо более сложном запросе, который я не могу объяснить и профилировать из-за этой ошибки.

1 Ответ

1 голос
/ 09 марта 2013

Несмотря на то, что пост очень старый, я хотел понять поведение.Пожалуйста, поправьте меня там, где что-то не так в моем понимании.

Рассмотрим следующее изменение в коде 

1> Tmp = ets:new(test, [bag]), Ref = my_own_ref,
qlc:info(qlc:q([Ref1 || Ref1 <- ets:table(Tmp), (Ref1 =:= Ref) ])).
"ets:table(16400,\n          [{traverse,\n            {select,[{'$1',[{'=:=','$1
',{const,my_own_ref}}],['$1']}]}}])"
2> qlc:info(qlc:q([{Val1} || {Ref1,Val1} <- ets:table(Tmp), (Ref1 =:= Ref) ])).
"ets:match_spec_run(ets:lookup(16400, my_own_ref),\n                   ets:match
_spec_compile([{{'$1','$2'},[],[{{'$2'}}]}]))"

Изменение в выходных данных заключается в том, что match_spec_run используется во втором случае (дескрипторы qlc отличаются).Это означает, что есть изменение в том, как информация qlc должна получать данные из дескриптора qlc.

Приведенный ниже код дает ошибку 

1> Tmp = ets:new(test, [bag]), Ref = make_ref().
#Ref<0.0.0.25>
2> qlc:info(qlc:q([{Val1} || {Ref1,Val1} <- ets:table(Tmp), (Ref1 =:= Ref) ])).
** exception error: no match of right hand side value
                    {error,{1,erl_parse,["syntax error before: ",["Ref"]]}}
     in function  qlc:abstract/3 (d:/workspace/test/src/qlc.erl, line 1177)
     in call from qlc:abstract/3 (d:/workspace/test/src/qlc.erl, line 1196)
     in call from qlc:abstract/4 (d:/workspace/test/src/qlc.erl, line 1142)
     in call from qlc:info/2 (d:/workspace/test/src/qlc.erl, line 445)

При отладке кода qlc обнаружил, что дляОбработчик связанного с match_spec_run запроса qlc: info использует абстрактный формат функцию erl_parse: parse_exprs / 1 для получения дерева разбора.Но проблема в этом случае состоит в том, что ссылка Erlang не имеет дерева разбора !!Для простоты понимания NewRef = #Ref<0.0.0.134>., а также pid NewPid = <0.34.0>. дает синтаксическую ошибку, они могут быть только значениями, привязанными к переменной, и компилятор не может их интерпретировать / анализировать.Таким образом, в этом случае это приводит к ошибке.

...