QEMUv8: out of memory with make check SPMC_AT_EL=2

[jforissier]

$ make -j10 SPMC_AT_EL=2 check
[...]
##########################################!!! Timeout
TIMEOUT - test case too long or hung? (last test started: gp_10501)
$ tail -100 ../out/bin/serial0.log
[...]
* gp_10501 de-40-57
[...]
gp_10000.c:11985: AllocateSharedMemory(CONTEXT01, SHARE_MEM01, 0x2800, (0x00000001 | 0x00000002)) has an unexpected value: 0xffff000c, expected 0x0
[...]
Segmentation fault

[jenswi-linaro]

This seems to be a problem not entirely controllable by OP-TEE. I suspect Hafnium or possibly its configuration. The problem is that some shared memory isn't freed properly. OP-TEE complains:

E/TC:0   thread_spmc_relinquish:1856 Failed to relinquish cookie 0x1

While Hafnium says:

VERBOSE: Tried to reclaim memory handle 0x1 that has not been relinquished by all borrowers(8001).

Prior to this it also says:

VERBOSE: Can't relinquish device memory (mode is 0x7c).
VERBOSE: Invalid transition for relinquish.

I'm not sure if that relates or not.

[github-actions]

This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment, otherwise this issue will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.

[odeprez]

Hi, just curious, is this issue still reproducible?

[jforissier]

Hi, just curious, is this issue still reproducible?

Yes.