Shared memory region between forked processes?

[Sunha Ahn]

Hi all,

Is there any way to make a shared memory between forked processes?
I am looking for something like mmap.
It would be great if someone has any idea about this!

Best regards,
Sunha.

[Paul Marinescu]

Hi,
Vanilla KLEE does not support multi-threading/multi-processes. If you're using an extension, implementing shared memory/mmap depends on how multi-processes are implemented, but it essentially amounts to creating an mmap model, similar in principle to the existing models (see the runtime/POSIX/ folder for examples).

Best,
Paul

Post by Sunha Ahn
Hi all,
Is there any way to make a shared memory between forked processes?
I am looking for something like mmap.
It would be great if someone has any idea about this!
Best regards,
Sunha.
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[Jonathan Neuschäfer]

Post by Sunha Ahn
Hi all,
Is there any way to make a shared memory between forked processes?
I am looking for something like mmap.
It would be great if someone has any idea about this!

How is this related to KLEE, do you want KLEE to analyze this shared
memory? I don't think this is currently possible with vanillia KLEE, but
you may find something useful at the publications page:
http://klee.llvm.org/Publications.html

Otherwise, see the shm_open family of functions.


HTH,
Jonathan Neuschäfer