ネストされた膜内のプロセス文脈に関するバグ

[miuele]

次を実行すると，セグメンテーション違反によりslimがクラッシュする

{a(X),{b(X)}}.
{$p1,{$p2}} :- {$p1,$p2}.

1行目を{a(X), {b(X,Y)}}, c(Y).に，あるいは2行目を{$p1,{$p2}} :- $p1,$p2.に置き換えると正しく動作する

[miuele]

interactive-debugでの実行例：

test.lmn:

{a(X),{b(X)}}.
{$p1,{$p2}} :- {$p1,$p2}.

$ lmntal test.lmn >test.il

test.il:

Compiled Ruleset @602 
Compiled Rule 
    --atommatch:
    --memmatch:
        spec           [1, 1]
        jump           [L107, [0], [], []]
    --body:L107:
        spec           [1, 7]
        commit         ["_init", 0]
        newmem       [1, 0, 0]
        newmem       [2, 1, 0]
        loadruleset    [0, @601]
        newatom      [3, 2, 'b'_1]
        newatom      [4, 2, $in_2]
        newatom      [5, 1, 'a'_1]
        newatom      [6, 1, $out_2]
        newlink        [3, 0, 4, 1, 2]
        newlink        [5, 0, 6, 1, 1]
        newlink        [6, 0, 4, 0, 1]
        proceed        []


Compiled Ruleset @601 
Compiled Rule 
    --atommatch:
    --memmatch:
        spec           [1, 3]
        anymem       [1, 0, 0, null]
        anymem       [2, 1, 0, null]
        norules        [1]
        norules        [2]
        jump           [L102, [0, 1, 2], [], []]
    --body:L102:
        spec           [3, 4]
        commit         ["_p1p2", 0]
        removemem      [2, 1]
        removeproxies  [2]
        removemem      [1, 0]
        removeproxies  [1]
        newmem       [3, 0, 0]
        movecells      [3, 1]
        movecells      [3, 2]
        insertproxies  [0, 3]
        freemem        [2]
        freemem        [1]
        proceed        []

$ rlwrap slim --interactive-debug test.il
Launched interactive debug shell on normal execution start.
(debugger) break instruction insertproxies
Breakpoint is set to instruction: insertproxies
(debugger) run

Breakpoint on instruction "insertproxies" hit.
Rule        : _p1p2
Instruction : insertproxies 0, 3
(debugger) info registers
[ 0x63139d9d9980(0,mem) | 0x63139d9d9a40(0,mem) | 0x63139d9d9ab0(0,mem) | 0x63139d9d9b90(0,mem) ]
(debugger) info membrane
|--Membrane(Name[ANONYMOUS], Addr[0x63139d9d9980], ID[1]) *global *current
|  |--Membrane(Name[ANONYMOUS], Addr[0x63139d9d9b90], ID[8])
(debugger) info membrane 1
Membrane (Addr[0x63139d9d9980], ID[1]) :
{{$*(L0,a). $*(L0,b). }. }
(debugger) step i
rlwrap: warning: slim crashed, killed by SIGSEGV (core dumped).
rlwrap itself has not crashed, but for transparency,
it will now kill itself with the same signal

warnings can be silenced by the --no-warnings (-n) option
Segmentation fault (core dumped)

[miuele]

insertproxies [0,3]の前にremovetemporaryproxies [0]を挿入すると動きます