diff options
Diffstat (limited to 'content/blog/2022-ipfs/index.md')
| -rw-r--r-- | content/blog/2022-ipfs/index.md | 93 |
1 files changed, 46 insertions, 47 deletions
diff --git a/content/blog/2022-ipfs/index.md b/content/blog/2022-ipfs/index.md index efae677..65e0297 100644 --- a/content/blog/2022-ipfs/index.md +++ b/content/blog/2022-ipfs/index.md @@ -18,7 +18,7 @@ We discuss the different bottlenecks and limitations of the software stack in it It is an intended design decision: trusting each other enables Garage to spread data over the machines instead of duplicating it. Still, you might want to share and collaborate with the rest of the world, and it can be done in 2 ways with Garage: through the integrated HTTP server that can serve your bucket as a static website, or by connecting it to an application that will act as a "proxy" between Garage and the rest of the world. -We refer as proxy software that know how to speak federated protocols (eg. Activity Pub, Solid, RemoteStorage, etc.) or distributed/p2p protocols (eg. BitTorrent, IPFS, etc.).--> +We refer as proxy software that knows how to speak federated protocols (eg. Activity Pub, Solid, RemoteStorage, etc.) or distributed/p2p protocols (eg. BitTorrent, IPFS, etc.).--> ## Some context @@ -26,20 +26,20 @@ People often struggle to see the difference between IPFS and Garage, so let's st Personally, I see IPFS as the intersection between BitTorrent and a file system. BitTorrent remains to this day one of the most efficient ways to deliver a copy of a file or a folder to a very large number of destinations. It however lacks some form of interactivity: once a torrent file has been generated, you can't simply -add or remove files from it. By presenting itself more like a file system, IPFS is able to handle this use case out-of-the-box. +add or remove files from it. By presenting itself more like a file system, IPFS is able to handle this use case out of the box. <!--IPFS is a content-addressable network built in a peer-to-peer fashion. -With simple words, it means that you query the content you want with its identifier without having to know *where* it is hosted on the network, and especially on which machine. +In simple words, it means that you query the content you want with its identifier without having to know *where* it is hosted on the network, and especially on which machine. As a side effect, you can share content over the Internet without any configuration (no firewall, NAT, fixed IP, DNS, etc.).--> -<!--However, IPFS does not enforce any property on the durability and availablity of your data: the collaboration mentioned earlier is +<!--However, IPFS does not enforce any property on the durability and availability of your data: the collaboration mentioned earlier is done only on a spontaneous approach. So at first, if you want to be sure that your content remains alive, you must keep it on your node. -And if nobody makes a copy of your content, you will loose it as soon as your node goes offline and/or crashes. +And if nobody makes a copy of your content, you will lose it as soon as your node goes offline and/or crashes. Furthermore, if you need multiple nodes to store your content, IPFS is not able to automatically place content on your nodes, enforce a given replication amount, check the integrity of your content, and so on.--> However, you would probably not rely on BitTorrent to durably store the encrypted holiday pictures you shared with your friends, -as content on the BitTorrent tends to vanish when no one in the network has a copy of it anymore. The same applies to IPFS. +as content on BitTorrent tends to vanish when no one in the network has a copy of it anymore. The same applies to IPFS. Even if at some time everyone has a copy of the pictures on their hard disk, people might delete these copies after a while without you knowing it. You also can't easily collaborate on storing this common treasure. For example, there is no automatic way to say that Alice and Bob are in charge of storing the first half of the archive while Charlie and Eve are in charge of the second half. @@ -50,18 +50,18 @@ are in charge of storing the first half of the archive while Charlie and Eve are [Resilio](https://www.resilio.com/individuals/) and [Syncthing](https://syncthing.net/) both feature protocols inspired by BitTorrent to synchronize a tree of your file system between multiple computers. Reviewing these solutions is out of the scope of this article, feel free to try them by yourself!* -Garage, on the contrary, is designed to automatically spread your content over all your available nodes, in a manner that makes the best possible use of your storage space. +Garage, on the other hand, is designed to automatically spread your content over all your available nodes, in a manner that makes the best possible use of your storage space. At the same time, it ensures that your content is always replicated exactly 3 times across the cluster (or less if you change a configuration parameter), on different geographical zones when possible. -<!--To access this content, you must have an API key, and have a correctly configured machine available over the network (including DNS/IP address/etc.). If the amount of traffic you receive is way larger than what your cluster can handle, your cluster will become simply unresponsive. Sharing content across people that do not trust each other, ie. who operate independant clusters, is not a feature of Garage: you have to rely on external software.--> -However, this means that when content is requested from a Garage cluster, there are only 3 nodes that are capable of returning it to the user. -As a consequence, when content becomes popular, these nodes might become a bottleneck. -Moreover, all resources created (keys, files, buckets) are tightly coupled to the Garage cluster on which they exist; +<!--To access this content, you must have an API key, and have a correctly configured machine available over the network (including DNS/IP address/etc.). If the amount of traffic you receive is way larger than what your cluster can handle, your cluster will become simply unresponsive. Sharing content across people that do not trust each other, ie. who operate independent clusters, is not a feature of Garage: you have to rely on external software.--> +However, this means that when content is requested from a Garage cluster, there are only 3 nodes capable of returning it to the user. +As a consequence, when content becomes popular, this subset of nodes might become a bottleneck. +Moreover, all resources (keys, files, buckets) are tightly coupled to the Garage cluster on which they exist; servers from different clusters can't collaborate to serve together the same data (without additional software). ➡️ **Garage is designed to durably store content.** -In this blog post, we will explore whether we can combine both properties by connecting an IPFS node to a Garage cluster. +In this blog post, we will explore whether we can combine efficient delivery and strong durability by connecting an IPFS node to a Garage cluster. ## Try #1: Vanilla IPFS over Garage @@ -73,10 +73,10 @@ The Peergos project has a fork because it seems that the plugin is known for hit ([#105](https://github.com/ipfs/go-ds-s3/issues/105), [#205](https://github.com/ipfs/go-ds-s3/pull/205)). This is the one we will try in the following. -The easiest solution to use this plugin in IPFS is to bundle it in the main IPFS daemon, and thus recompile IPFS from source. +The easiest solution to use this plugin in IPFS is to bundle it in the main IPFS daemon, and recompile IPFS from sources. Following the instructions on the README file allowed me to spawn an IPFS daemon configured with S3 as the block store. -I had a small issue when adding the plugin to the `plugin/loader/preload_list` file: the given command lacks a newline. +I had a small issue when adding the plugin to the `plugin/loader/preload_list` file: the given command lacks a newline. I had to edit the file manually after running it, the issue was directly visible and easy to fix. After that, I just ran the daemon and accessed the web interface to upload a photo of my dog: @@ -89,26 +89,25 @@ A content identifier (CID) was assigned to this picture: QmNt7NSzyGkJ5K9QzyceDXd18PbLKrMAE93XuSC2487EFn ``` -The photo it now accessible on the whole network. -For example you can inspect it [from the official gateway](https://explore.ipld.io/#/explore/QmNt7NSzyGkJ5K9QzyceDXd18PbLKrMAE93XuSC2487EFn): +The photo is now accessible on the whole network. +For example, you can inspect it [from the official gateway](https://explore.ipld.io/#/explore/QmNt7NSzyGkJ5K9QzyceDXd18PbLKrMAE93XuSC2487EFn):  -At the same time, I was monitoring Garage (through [the OpenTelemetry stack we have implemented earlier this year](/blog/2022-v0-7-released/)). -Just after launching the daemon and before doing anything, we had this surprisingly active Grafana plot: +At the same time, I was monitoring Garage (through [the OpenTelemetry stack we implemented earlier this year](/blog/2022-v0-7-released/)). +Just after launching the daemon - and before doing anything - I was met by this surprisingly active Grafana plot:  <center><i>Legend: y axis = requests per 10 seconds, x axis = time</i></center><p></p> -It means that on average, we have around 250 requests per second. Most of these requests are checks that an IPFS block does not exist locally. -These requests are triggered by the DHT service of IPFS: since my node is reachable over the Internet, it acts as a public DHT server and has to answer global -block requests over the whole network. Each time it receives a request for a block, it sends a request to its storage back-end (in our case, to Garage) to see if it exists. +It shows that on average, we handle around 250 requests per second. Most of these requests are in fact the IPFS daemon checking if a block exists in Gargage. +These requests are triggered by IPFS's DHT service: since my node is reachable over the Internet, it acts as a public DHT server and has to answer global +block requests over the whole network. Each time it receives a request for a block, it sends a request to its storage back-end (in our case, to Garage) to see if a copy exists locally. *We will try to tweak the IPFS configuration later - we know that we can deactivate the DHT server. For now, we will continue with the default parameters.* -When I start interacting with IPFS by sending a file or browsing the default proposed catalogs (i.e. the full XKCD archive), -I hit limits with our monitoring stack which, in its default configuration, is not able to ingest the traces of -so many requests being processed by Garage. +When I started interacting with the IPFS node by sending a file or browsing the default proposed catalogs (i.e. the full XKCD archive), +I quickly hit limits with our monitoring stack which, in its default configuration, is not able to ingest the large amount of tracing data produced by the high number of S3 requests originating from the IPFS daemon. We have the following error in Garage's logs: ``` @@ -120,7 +119,7 @@ In my opinion, such a simple task of sharing a picture should not require so man As a comparison, this whole webpage, with its pictures, triggers around 10 requests on Garage when loaded, not thousands. I think we can conclude that this first try was a failure. -The S3 storage plugin for IPFS does too many request and would need some important work to be optimized. +The S3 storage plugin for IPFS does too many requests and would need some important work to be optimized. However, we are aware that the people behind Peergos are known to run their software based on IPFS in production with an S3 backend, so we should not give up too fast. @@ -131,15 +130,15 @@ Internally, it is built on IPFS and is known to have a [deep integration with th One important point of this integration is that your browser is able to bypass both the Peergos daemon and the IPFS daemon to write and read IPFS blocks directly from the S3 API server. -*I don't know exactly if Peergos is still considered as alpha quality, or if a beta version was released, -but keep in mind that it might be more experimental that you'd like!* +*I don't know exactly if Peergos is still considered alpha quality, or if a beta version was released, +but keep in mind that it might be more experimental than you'd like!* <!--To give ourselves some courage in this adventure, let's start with a nice screenshot of their web UI: --> Starting Peergos on top of Garage required some small patches on both sides, but in the end, I was able to get it working. -I was able to upload my file, see it in the interface, create a link to share it, rename it, move it in a folder, and so on: +I was able to upload my file, see it in the interface, create a link to share it, rename it, move it to a folder, and so on:  @@ -149,7 +148,7 @@ A quick look at Grafana showed again a very active Garage:  <center><i>Legend: y axis = requests per 10 seconds on log(10) scale, x axis = time</i></center><p></p> -Again, the workload is dominated by `HeadObject` requests. +Again, the workload is dominated by S3 `HeadObject` requests. After taking a look at `~/.peergos/.ipfs/config`, it seems that the IPFS configuration used by the Peergos project is quite standard, which means that, as before, we are acting as a DHT server and having to answer to thousands of block requests every second. @@ -158,8 +157,8 @@ This traffic is all generated by Peergos. The `OPTIONS` HTTP verb is here because we use the direct access feature of Peergos, meaning that our browser is talking directly to Garage and has to use CORS to validate requests for security. -Internally, IPFS splits files in blocks of less than 256 kB. My picture is thus split in 2 blocks, requiring 2 requests over Garage to fetch it. -But even knowing that IPFS splits files in small blocks, I can't explain why we have so many `GetObject` requests. +Internally, IPFS splits files into blocks of less than 256 kB. My picture is thus split into 2 blocks, requiring 2 requests over Garage to fetch it. +But even knowing that IPFS splits files into small blocks, I can't explain why we have so many `GetObject` requests. ## Try #3: Optimizing IPFS @@ -168,7 +167,7 @@ Routing = dhtclient  --> -We have seen in our 2 previous tries that the main source of load was the federation, and in particular the DHT server. +We have seen in our 2 previous tries that the main source of load was the federation and in particular the DHT server. In this section, we'd like to artificially remove this problem from the equation by preventing our IPFS node from federating and see what pressure is put by Peergos alone on our local cluster. @@ -188,7 +187,7 @@ we might have a non-federated but quite efficient end-to-end encrypted "cloud st with our clients directly hitting the S3 API! For setups where federation is a hard requirement, -the next step would be to gradually allow our node to connect to the IPFS network, +the next step would be to gradually allow our node to connect to the IPFS network while ensuring that the traffic to the Garage cluster remains low. For example, configuring our IPFS node as a `dhtclient` instead of a `dhtserver` would exempt it from answering public DHT requests. Keeping an in-memory index (as a hash map and/or a Bloom filter) of the blocks stored on the current node @@ -198,20 +197,20 @@ server on the regular file system, and reserve a second process configured with However, even with these optimizations, the best we can expect is the traffic we have on the previous plot. From a theoretical perspective, it is still higher than the optimal number of requests. -On S3, storing a file, downloading a file and listing available files are all actions that can be done in a single request. +On S3, storing a file, downloading a file, and listing available files are all actions that can be done in a single request. Even if all requests don't have the same cost on the cluster, processing a request has a non-negligible fixed cost. ## Are S3 and IPFS incompatible? Tweaking IPFS in order to try and make it work on an S3 backend is all and good, -but in some sense, the assumptions made by IPFS are funamentally incompatible with using S3 as a block storage. +but in some sense, the assumptions made by IPFS are fundamentally incompatible with using S3 as block storage. First, data on IPFS is split in relatively small chunks: all IPFS blocks must be less than 1 MB, with most being 256 KB or less. This means that large files or complex directory hierarchies will need thousands of blocks to be stored, each of which is mapped to a single object in the S3 storage back-end. On the other side, S3 implementations such as Garage are made to handle very large objects efficiently, and they also provide their own primitives for rapidly listing all the objects present in a bucket or a directory. -There is thus a huge loss in performance when data is stored in IPFS's block format, because this format does not +There is thus a huge loss in performance when data is stored in IPFS's block format because this format does not take advantage of the optimizations provided by S3 back-ends in their standard usage scenarios. Instead, it requires storing and retrieving thousands of small S3 objects even for very simple operations such as retrieving a file or listing a directory, incurring a fixed overhead each time. @@ -223,38 +222,38 @@ When a node is missing a file or a directory it wants to read, it has to do as m as there are IPFS blocks in the object to be read. On the receiving end, this means that any fully-fledged IPFS node has to answer large numbers of requests for blocks required by users everywhere on the network, which is what we observed in our experiment above. -We were however surprised to observe that many requests comming from the IPFS network were for blocks -which our node wasn't locally storing a copy of: this means that somewhere in the IPFS protocol, an overly optimistic -assumption is made on where data could be found in the network, and this ends up translating in many requests +We were however surprised to observe that many requests coming from the IPFS network were for blocks +which our node didn't have a copy of: this means that somewhere in the IPFS protocol, an overly optimistic +assumption is made on where data could be found in the network, and this ends up translating into many requests between nodes that return negative results. When IPFS blocks are stored on a local filesystem, answering these requests fast might be possible. -However when using an S3 server as a storage back-end, this becomes prohibitively costly. +However, when using an S3 server as a storage back-end, this becomes prohibitively costly. If one wanted to design a distributed storage system for IPFS data blocks, they would probably need to start at a lower level. Garage itself makes use of a block storage mechanism that allows small-sized blocks to be stored on a cluster and accessed rapidly by nodes that need to access them. -However passing through the entire abstraction that provides an S3 API is wastefull and redundant, as this API is -designed to provide advanced functionnality such as mutating objects, associating metadata with objects, listing objects, etc. +However passing through the entire abstraction that provides an S3 API is wasteful and redundant, as this API is +designed to provide advanced functionality such as mutating objects, associating metadata with objects, listing objects, etc. Plugging the IPFS daemon directly into a lower-level distributed block storage like Garage's might yield way better results by bypassing all of this complexity. ## Conclusion -Running IPFS over an S3 storage back-end does not quite work out of the box in term of performances. -We have identified that the main problem is linked with the DHT service, -and proposed some improvements (disabling the DHT server, keeping an in-memory index of the blocks, using the S3 back-end only for user data). +Running IPFS over an S3 storage backend does not quite work out of the box in terms of performance. +Having identified that the main problem is linked to the DHT service, +we proposed some improvements (disabling the DHT server, keeping an in-memory index of the blocks, and using the S3 back-end only for user data). From an IPFS design perspective, it seems however that the numerous small blocks handled by the protocol do not map trivially to efficient use of the S3 API, and thus could be a limiting factor to any optimization work. As part of my testing journey, I also stumbled upon some posts about performance issues on IPFS (eg. [#6283](https://github.com/ipfs/go-ipfs/issues/6283)) that are not linked with the S3 connector. I might be negatively influenced by my failure to connect IPFS with S3, -but at this point I'm tempted to think that IPFS is intrinsically resource-intensive. +but at this point, I'm tempted to think that IPFS is intrinsically resource-intensive from a block activity perspective. On our side at Deuxfleurs, we will continue our investigations towards more *minimalistic* software. This choice makes sense for us as we want to reduce the ecological impact of our services -by deploying less servers, that use less energy, and that are renewed less frequently. +by deploying fewer servers, that use less energy, and are renewed less frequently. After discussing with Peergos maintainers, we identified that it is possible to run Peergos without IPFS. With some optimizations on the block size, we envision great synergies between Garage and Peergos that could lead to |