[CRIU] Pipe Data Dump

[Abhishek Vijeev]

Hi,

I had a question about code that dumps pipe data.

Why does CRIU have to check whether a pipe's data has already been dumped?
(https://github.com/checkpoint-restore/criu/blob/criu-dev/criu/pipes.c#L415)
Is it because a pipe has 2 file descriptors (for read and write)
associated with it, and one of these might have been dumped earlier?

The primary reason I ask this question is because I'd like to know
whether this is something I must account for while dumping BPF map
data.

Thank you,
Abhishek Vijeev.