[Martin Meyer]

Hello Thomas,

please check below code. It throws an access violation (in VIP 7.5.0.2).

Regards
Martin

Code: Select all

open core
 
domains
    d = d(integer16).
 
clauses
    run() :-
        ArM = arrayM::newNonAtomic(1),
        ArM:set(0, d(1)),
        D = ArM:get(0),
        stdIo::write(D).

[Martin Meyer]

Please also have a look at the enclosed project. It contains a modified version of arrayM named dynArrayM. I am not sure, whether its memory access is correct and optimal, but it does not throw that exception.

Whenever the array's field type is nonatomic, dynArrayM allocates space of size of domain pointer (i.e. 4 resp. 8 bytes) for every field. Is that wasteful?

Many regards
Martin

[Thomas Linder Puls]

Hi, Martin. We will look at the problem.