ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 14:37:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

depot_download_manager: increase fs buffer

Browse Source 
Default tx buffer size of 128 KiB will cut 64 KiB due to packetstream
overhead, increase it to 144 KiB.
This commit is contained in:
Josef Söntgen 2022-06-03 20:53:43 +00:00 committed by Christian Helmuth
parent 7e4154b063
commit 75f7fd546c
3 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/gems/src/app/depot_download_manager/gen_extract.cc
View File

@ -35,13 +35,16 @@ void Depot_download_manager::gen_extract_start_content(Xml_generator &xml,
xml.node("vfs", [&] () {
xml.node("dir", [&] () {
xml.attribute("name", "public");
xml.node("fs", [&] () { xml.attribute("label", "public"); });
xml.node("fs", [&] () {
xml.attribute("buffer_size", 144u << 10);
xml.attribute("label", "public"); });
});
xml.node("dir", [&] () {
xml.attribute("name", "depot");
xml.node("dir", [&] () {
xml.attribute("name", user);
xml.node("fs", [&] () {
xml.attribute("buffer_size", 144u << 10);
xml.attribute("label", user_path); });
});
});

1
repos/gems/src/app/depot_download_manager/gen_fetchurl.cc
View File

@ -38,6 +38,7 @@ void Depot_download_manager::gen_fetchurl_start_content(Xml_generator &xml,
xml.node("dir", [&] () {
xml.attribute("name", "download");
xml.node("fs", [&] () {
xml.attribute("buffer_size", 144u << 10);
xml.attribute("label", "download"); });
});
xml.node("dir", [&] () {

8
repos/gems/src/app/depot_download_manager/gen_verify.cc
View File

@ -32,11 +32,15 @@ void Depot_download_manager::gen_verify_start_content(Xml_generator &xml,
xml.node("vfs", [&] () {
xml.node("dir", [&] () {
xml.attribute("name", "public");
xml.node("fs", [&] () { xml.attribute("label", "public"); });
xml.node("fs", [&] () {
xml.attribute("buffer_size", 144u << 10);
xml.attribute("label", "public"); });
});
xml.node("dir", [&] () {
xml.attribute("name", "depot");
xml.node("fs", [&] () { xml.attribute("label", "depot"); });
xml.node("fs", [&] () {
xml.attribute("buffer_size", 144u << 10);
xml.attribute("label", "depot"); });
});
xml.node("dir", [&] () {
xml.attribute("name", "dev");