This is expected as the probe signals are missing and need to be filled in. Once you have the probe signals setup, you should see a pd.vcd waveform file generated that you can view using gtkwave or ...

The threads are synchronized using Connections::SyncChannel and Connections::Combinational channels. Thanks to ping-pong buffering, threads operate in pipeline, so that input and output phases ...