search

ElNiak / PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
https://elniak.github.io/PANTHER/
26 stars 3 forks source link

Multiple Streams using AioQuic (Continution). #2

Open Karthikdasari0423 opened 2 years ago

Karthikdasari0423 commented 2 years ago

Hi,

Thank you for replying back @ElNiak

Myself Karthik.I am trying to use the "AioQuic" to write some python scripts. I am trying to download a file(s) using the script and able to download the file(s).

But one small problem is only one single stream is being created between client and server to download the whole file. Now I am trying to find out a way to download file(s) by creating multiple streams.

Could you please help me how to create multiple streams to download a file(s) in a single connection. @ElNiak

I am currently using "Ubuntu 20.04.4 LTS (GNU/Linux 5.4.0-113-generic x86_64)","Python 3.8.10" version for running both http3_client.py and http3_server.py.

Hope you are also using Linux where you have created multiple streams in a single connection using AIOQUIC. @ElNiak

Could you please confirm did you made any changes to the AIOQUIC code to create multiple streams in a single connection @ElNiak

I am not able to get what am i missing.

Attached quic log image for your reference

Hope you will reply soon.

Thanks and Regards, Karthik.

aioquic_file
ElNiak commented 5 months ago

Sorry for the late response, I will look forward to respond you clearly asap

Karthikdasari0423 commented 5 months ago

@ElNiak Thanks