From mirageos-devel-bounces@lists.xenproject.org Tue Apr 01 12:02:53 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 01 Apr 2025 12:02:53 +0000 Received: from list by lists.xenproject.org with outflank-mailman.933814.1335764 (Exim 4.92) (envelope-from ) id 1tzaKJ-0004np-Ig; Tue, 01 Apr 2025 12:02:43 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 933814.1335764; Tue, 01 Apr 2025 12:02:43 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tzaKJ-0004ni-G4; Tue, 01 Apr 2025 12:02:43 +0000 Received: by outflank-mailman (input) for mailman id 933814; Tue, 01 Apr 2025 09:23:45 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tzXqT-0005m9-Nk for mirageos-devel@lists.xenproject.org; Tue, 01 Apr 2025 09:23:45 +0000 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 00e398b1-0edb-11f0-9ea7-5ba50f476ded; Tue, 01 Apr 2025 11:23:44 +0200 (CEST) Received: from zcs2-store3.inria.fr ([128.93.142.8]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Apr 2025 11:23:28 +0200 X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 00e398b1-0edb-11f0-9ea7-5ba50f476ded Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=lucas.aubard@irisa.fr; spf=None smtp.helo=postmaster@zcs2-store3.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of lucas.aubard@irisa.fr designates 128.93.142.8 as permitted sender) identity=mailfrom; client-ip=128.93.142.8; receiver=mail2-relais-roc.national.inria.fr; envelope-from="lucas.aubard@irisa.fr"; x-sender="lucas.aubard@irisa.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@zcs2-store3.inria.fr) identity=helo; client-ip=128.93.142.8; receiver=mail2-relais-roc.national.inria.fr; envelope-from="lucas.aubard@irisa.fr"; x-sender="postmaster@zcs2-store3.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.14,293,1736809200"; d="scan'208";a="215755221" X-MGA-submission: =?us-ascii?q?MDF49LKq0p0XSFFgmU3RU+j/h/mzESk+XnAsM5?= =?us-ascii?q?GJa3Mc44qnsbuChbUUQPrU9t5cNenfIDSdgMtvOjXaKr6FOnyuP61a7F?= =?us-ascii?q?w8uHt4+qKiiIWGbhIjY0hd+pAIGf9ciVZtEWjjvpcujKNwl0957OunfN?= =?us-ascii?q?8SNxHp1itEwItrJFrJl2vvwA=3D=3D?= Date: Tue, 1 Apr 2025 11:23:27 +0200 (CEST) From: Lucas Aubard To: Anil Madhavapeddy Cc: mirageos-devel , Johan Mazel , gilles guette , Pierre Chifflier Message-ID: <1693600326.2775910.1743499407826.JavaMail.zimbra@irisa.fr> In-Reply-To: References: <530642224.595613.1743087821949.JavaMail.zimbra@irisa.fr> Subject: Re: Failed TCP connection reset when processing overlapping data segments MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Originating-IP: [131.254.15.46] X-Mailer: Zimbra 10.1.6_GA_4744 (ZimbraWebClient - FF136 (Linux)/10.1.6_GA_4744) Thread-Topic: Failed TCP connection reset when processing overlapping data segments Thread-Index: ayD97GbInWiINFK+fxGQsDhf1nLaAg== Dear Anil,=20 Thanks for the quick answer! The weird behaviour we were refering to is that mirage does not accept the = initiator's TCP connection RST termination when encoutering overlapping dat= a segments (if the initiator previously sent more data than acknowledged by= mirage). However, it cannot really be qualified as "weird", since it is ex= pected that the initiator's SND.NXT be different with mirage's RCV.NXT (bec= ause of mirage overlapping segments' drop), and thus, that the termination = fails.=20 We suppose that the "most conservative option" you mention thus refers to "= dropping overlapping data segments". Is that correct?=20 Here is what the latest TCP RFC (9293) says about overlapping TCP data segm= ents: - in part 4 "Glossary" (https://datatracker.ietf.org/doc/html/rfc9293#secti= on-4), part of the "receive window" definition states that "the local TCP e= ndpoint considers that segments overlapping the range RCV.NXT to RCV.NXT + = RCV.WND - 1 carry acceptable data or control. Segments containing sequence = numbers entirely outside this range are considered duplicates or injection = attacks and discarded.".=20 - in part 3.10 "Event processing" (https://datatracker.ietf.org/doc/html/rf= c9293#section-3.10-9), there is a TCP implementation example. It is said ab= out overlapping segments that "When a segment overlaps other already receiv= ed segments, we reconstruct the segment to contain just the new data and ad= just the header fields to be consistent". Consequently, even if the specification is not really crystal clear about t= he behaviour implementations must adopt, we believe that accepting overlapp= ing data segments is the most RFC-compliant behaviour.=20 For what it's worth, we tested different OS families (e.g., Linux, Windows,= BSD) with the same TCP overlapping test cases as mirage. All of them reass= emble overlapping data segments.=20 Best regards,=20 Lucas Aubard. ----- Mail original ----- > De: "Anil Madhavapeddy" > =C3=80: "Lucas Aubard" > Cc: "mirageos-devel" , "Johan Mazel"= , "gilles guette" > , "Pierre Chifflier" > Envoy=C3=A9: Lundi 31 Mars 2025 18:37:20 > Objet: Re: Failed TCP connection reset when processing overlapping data s= egments > Dear Lucas, >=20 > You've really taken me down memory lane now; I wrote this part of the sta= ck > about 15 years ago! If I remember correctly, TCP's behaviour is undefined= when > there are multiple overlapping segments, and so the implementation can de= fine > its own behaviour here. >=20 > I remember referring to Section 4.3.2 of the classic paper by Ptacek on t= his. > https://insecure.org/stf/secnet_ids/secnet_ids.html > This defines all the different OS behaviours for overlapping segments, an= d > they're all different. >=20 > So from a high level perspective, I remember picking the most conservativ= e > option, but I don't remember all the details without diving into git (act= ually, > svn) history. What behaviour are you expecting to happen below? Is the "w= eird" > behaviour you are seeing simply a deviance from Linux TCP/IP reassembly > semantics, or is there some reassembly property not being maintained that= you > would expect to be? >=20 > best, > Anil >=20 >=20 >> On 27 Mar 2025, at 15:03, Lucas Aubard wrote: >>=20 >> Dear mirage-tcpip development team, >>=20 >> I am Lucas Aubard. I am a PhD student in an Inria lab in Rennes, France. >> This PhD is supervised by Gilles Guette (IMT Atlantique), Pierre Chiffli= er >> (ANSSI) and Johan Mazel (ANSSI). >>=20 >> During our research work, we analyzed mirage-tcpip 9.0.0 reassembly when >> processing overlapping TCP data segments. We noticed something weird for= some >> of our test cases. >>=20 >> The testing scenario for every test case is as follow: >> =E2=80=A2 a handshake is initiated from 192.168.56.200 host to 192.1= 68.57.203 >> mirage-tcpip host, targetting its TCP Echo port 7. >> =E2=80=A2 the overlapping data chunks are sent from the initiator. >> =E2=80=A2 the initiator resets the TCP connection with a RST+ACK pac= ket. >> Every packet that mirage-tcpip host echoes back is acknowledged by the >> initiator. >>=20 >> In the impacted test cases, mirage-tcpip echoes some data but not the ma= ximum >> possible amount of data. In fact, from what we observe across mirage tes= t case >> reassemblies, it does not echo back overlapping data segments. This may = be >> related to this part of mirage-tcpip code >> https://github.com/mirage/mirage-tcpip/blob/6766a3f0b34695e19797a1264697= d3dd1343c73e/src/tcp/segment.ml#L151. >> The following termination of the TCP connections with a RST+ACK packet f= ails. >> We believe that mirage-tcpip considers that the RST+ACK packet sequence = number >> is invalid because it is located after all sent data (including the over= lapping >> segments). Since mirage-tcpip does not echo the maximum possible amount = of >> data, we hypothesize that the initiator SND.NXT internal variable is not= the >> same as the RCV.NXT value in mirage-tcpip. >>=20 >> Attached are the pcap files and plots for some (random) overlap test cas= es >> illustrating the problem. >> You can see in the pcap files that mirage-tcpip sends an ACK after the R= ST+ACK >> packets whose acknowledgment is not related to the last data sent by the >> initiator. >> This means that mirage does not consider the sequence number of the RST+= ACK >> packet as valid, ignores this RST+ACK packet, and does not close the TCP >> connection. Mirage here expects data that follows the last valid data it >> observed. >>=20 >> Can you confirm that our understanding of the mirage-tcpip TCP stack beh= avior is >> correct, in particular in term of data overlap and sequence number proce= ssing? >>=20 >> Best regards, > > Lucas Aubard. From mirageos-devel-bounces@lists.xenproject.org Thu Apr 10 23:45:41 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 10 Apr 2025 23:45:41 +0000 Received: from list by lists.xenproject.org with outflank-mailman.946516.1344383 (Exim 4.92) (envelope-from ) id 1u31aN-0006sK-Ct; Thu, 10 Apr 2025 23:45:31 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 946516.1344383; Thu, 10 Apr 2025 23:45:31 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u31aN-0006sD-A2; Thu, 10 Apr 2025 23:45:31 +0000 Received: by outflank-mailman (input) for mailman id 946516; Thu, 10 Apr 2025 23:45:29 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u31aL-0006s7-Ka for mirageos-devel@lists.xenproject.org; Thu, 10 Apr 2025 23:45:29 +0000 Received: from CWXP265CU008.outbound.protection.outlook.com (mail-ukwestazolkn190100000.outbound.protection.outlook.com [2a01:111:f403:d206::]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id de41824a-1665-11f0-9ffb-bf95429c2676; Fri, 11 Apr 2025 01:45:24 +0200 (CEST) Received: from CWLP265MB4157.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:12c::9) by LO0P265MB7269.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:365::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8655.11; Thu, 10 Apr 2025 23:45:19 +0000 Received: from CWLP265MB4157.GBRP265.PROD.OUTLOOK.COM ([fe80::4f37:8f32:e4a6:e624]) by CWLP265MB4157.GBRP265.PROD.OUTLOOK.COM ([fe80::4f37:8f32:e4a6:e624%7]) with mapi id 15.20.8655.010; Thu, 10 Apr 2025 23:45:18 +0000 X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: de41824a-1665-11f0-9ffb-bf95429c2676 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=Lh3VU7PmnGkRK5H85EEjs1Wvr/EaQ9PKfpUSxWXI/FXFwnfrQoe7NjdnYr6NrjE8I0jEXXF8y8U4dzg06nvxIk3yS9yHjr6PZrTCOctExb2z08SLzqtrzqIHW/R+dP+2S7OczdH46k3Mqfvw1L0+ukpSy2J8Rff8Ela9Cy0PLKJK9GegkAqi6pjeL0V5rJQbm5DJEoiUVWUuk6U7k8t4piv7KstPbXqXHndSCEl0XqebI+BtNdCNB1R/evE3mJR3deka3LwgvL6MhPGzJQ2cDo9gy1HW4XrZonZgfEHoJ38b5KGS08J+rGw7/6NCDwZnzhlmH5cGtuapr7VhXCnCFg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=2k3DI/2icOJ6IAJ2gzRIAUYgKLLNhKtSVdUQ7aJrfxM=; b=MeiWRQ71uypdEQ1A3DiHG+4qzlvON/fJ1XvdQiO5B+XvJj3NmYQNPeEHwz9D5BHkN4HeqdrgGs6V8etmD/O830cSmRPnYFtGuLxdPgfU9AtxKl5FEZPwuAUD92ris8U4/aQ+sUJjDdnKQTrPZBZgDARYN99Y0ZDToxl8m2mOJpA1lgHKt71Hq32uk/SzCpi8ElL4tktKzKILJEUFTnDqSTt756ImrDMTntLAr5R0kKdLEKNd72yKB5k5W4XUjfbAm/hFiQ5MypI/Mx0nJi0jCF2uaB9joLnrMmSHiPHiDh9Xc6qyOkyZ+k2Egwli8w5GT7zZnJXKCcgmRvc2qutMVg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=2k3DI/2icOJ6IAJ2gzRIAUYgKLLNhKtSVdUQ7aJrfxM=; b=HTXcajGygRyBUHeo6kHkuDH+KcqXRvFonx99I/q7NMC64gYc42hTEH5lajzGn9URKdjSC86bGQ06yQ0BB+7poyQQ/7aIwGC4NRUOWVZwdteXNFGXYI9EbEFQQz/MnDRcJGM8uAhJ9jCE2yrOLsjVvzs3iMJKfoF7vlUV09Gjxjh/sCq5hZetFrw9w6aMRilVjEDsZcGqPe3NCPFLbH4ISvRqPHDW1HeXb46uzZc43r1rHkvkRuoOXFrsvNmpTmElRHZj8oO1bgVKkPwxrcP0Lexz6UQJvSxoZQDziTMk+a+vfJzAUwRd5mVEWvKVIBdaF5xz5HA18ZHSWbPes7bugg== From: Kate Deplaix To: "mirageos-devel@lists.xenproject.org" Subject: MirageOS hosting Thread-Topic: MirageOS hosting Thread-Index: AQHbqm1OMBhVtYljZEaHC+zNwMb0BQ== Date: Thu, 10 Apr 2025 23:45:18 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: CWLP265MB4157:EE_|LO0P265MB7269:EE_ x-ms-office365-filtering-correlation-id: 68f035dd-a0e7-438f-dc6a-08dd7889c04f x-microsoft-antispam: BCL:0;ARA:14566002|461199028|8062599003|8060799006|19110799003|15030799003|15080799006|3412199025|440099028|102099032; x-microsoft-antispam-message-info: =?iso-8859-1?Q?6y+cPLbb9omdI/YXcQVh7KT3rT9jOtBfhKQU0MAYbrgwgtqHVdLJA5DO7N?= =?iso-8859-1?Q?rE/PGW+TlyCyMGZx+DpmT7Lh4JMsSZRmW82eQSM/mDCjw1Rc3lxPolc7i4?= =?iso-8859-1?Q?KsX0u4IAFwnYSh+oDQNlEz3Ra32vb1stHr4ZY2QsbJv41NIwgdD2+tfQVf?= =?iso-8859-1?Q?B+d1PhvnssDTBq3qPHfRkJjskMfqhRC0/zSX8Cd8BcVuWLOWtgdvilwBGx?= =?iso-8859-1?Q?dt425M9fGSMW3Jg09RQ2cP2YbidlkGvfkiZvTMMBtxz5SfyonoeXkgdrts?= =?iso-8859-1?Q?b9kKm/cjy8i0NfqOG7s9O7SjBKuLb4tMzGpM6bTthO1VLI7Qu3OUI1veEe?= =?iso-8859-1?Q?hiLgUKEKZYCvM5EOl0g4/cL0cmPT7pDhA5U4SgU6cW9llzpmnHkysTWvLb?= =?iso-8859-1?Q?I2ZTwukuahO9gXtv/XvyEhF0dbmkfEndX2pRpS6WvrifVFbgLD+UGg0Cd6?= =?iso-8859-1?Q?EHrfZ5znY8qYNzCJ+kt0RSKFEIB5GEeVJO9fLviunLvWrwwkj/kKn9K3rP?= =?iso-8859-1?Q?rTl5BuQLflio4ik2TyIjBHMDOaCU/z2/h6NnRtGL6ZCmveNsJtIfl4uFcB?= =?iso-8859-1?Q?tVA4IkkE0fb6M5qEi7Tf6jC8/M9p0GzvWog5jvw3omthnrJlMMf7nf8jMG?= =?iso-8859-1?Q?VDOo18FaZeMOk9HE53pWB3fmHzOE29NDeyUX2vd7nIk9AJtP+GxZddJUK4?= =?iso-8859-1?Q?93yojBph+KUvxpWyt8iX/gLytm5QDw5e8QSGTOmxeakQff7paQn84jDmgy?= =?iso-8859-1?Q?jP5XOXmXTF/f9P3tgH8r7qdbbD+9B7SPJEygInDww451dZmtNJ6qe3Ft9d?= =?iso-8859-1?Q?P4kuEQoArcN8c+1ugRBC7dzt2GGF+5CffHYgmOQZqIawqqkpku7/ZXQDac?= =?iso-8859-1?Q?iT8pIwuKMpGo/dIMa5ia5jOML94GCq4R3k8ASCqIoSDOIKRvFQJVizjINY?= =?iso-8859-1?Q?5jZHvd0XQaokrm4u+BXq2lv8vUT33r0VxtqoFLPdNhkhDJx7Oidk1xKSyT?= =?iso-8859-1?Q?3f9sitFqHwAl5kXaY0gpOmQDesA3kC5i/lEYHpFnDwPVz3pNzGGvwA0WAQ?= =?iso-8859-1?Q?uWYJGnV31isMh7twEcDQj8pQ+o2gQ/d8QxVtLSUpohdkoBy5sC9tLfZMWK?= =?iso-8859-1?Q?Oxdw3gPAHxQYA8cD483a4NHv0Q+4eOMPZCBpv8Ju+bo8CzsfAM?= x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?xCh2vIRTAV88ymlFJfZRFlztdGxYVx7+xSoO+jT7dWHaJUtpsHgJMZyyaW?= =?iso-8859-1?Q?D2phAY9scqrP6wdWXcu6qJ44JG/gc1Wz7xGsfNeEMDlJByrr5LimJaUkoZ?= =?iso-8859-1?Q?kt1JinRqZonIwhi93iZ11cSsyF5ZOdyxAT/kZULksXddEp8eZc+WYt6nEl?= =?iso-8859-1?Q?dBSnYwPaSLyGCxArolfmJkLnmGRnKXQkcNeJvl4hmQsfamsxkuVFtvb6D+?= =?iso-8859-1?Q?i9NtOHCURbSQqBsXQ3xEK6qJQuTYJsqHZ7UsRZcoIN/vOsSHFGH9DiSAWt?= =?iso-8859-1?Q?hfFL6+dZOPnMJ8Xb7kmLSOTgD+84h6qJCfnuTOqgOEClED2emE+PmEdDxF?= =?iso-8859-1?Q?+papy69Ucj4taf6XXXxmgKRE2ByP2MQu2R6XEEDkRsoQefvKa+UrNtNSsy?= =?iso-8859-1?Q?hQtxuzXiRJpKZNn/HFyhIk1YjQwQ0wUu2rrLNAM4wa7d5qMHnLdISyoiGq?= =?iso-8859-1?Q?npeQx+X1PuK3zIbyZRGZxnW0b4nyt3J4+Qd6FSDC77Ndf4E8Wp8O/4et3X?= =?iso-8859-1?Q?RAlo2Zcie73dDvFXtHd/VWymOXKewWrP1Mre/wTaBuE/MW8wCSKkcaXHq4?= =?iso-8859-1?Q?GCP0e/mWV39NdcO3snkjD727oBMaR5OySp5og6BVfNGUE2AQM6VeYxfYIj?= =?iso-8859-1?Q?AF5HNJ1Gyhw7dQVhDQx1+g9QlvZ73KkUqPtCJfysbmBT6NKuZKNbAV5O6+?= =?iso-8859-1?Q?H1/8UEYTw3qpkV9AU2/OFdd0cFeV+KZ2tSXwdJA/j5Eq9ZPd+a0b6AHbMG?= =?iso-8859-1?Q?wFLe3nEkdQlb3qJlg2/OsIas/hDepRH+l/A6ciJdFGWwH7wmFQsfxvlrA/?= =?iso-8859-1?Q?W8qXH++4/Lf/mSaiKqhblJzEKK0Kz2Vp6+8eygP+c2tG7gaOXAAgNMeiQ7?= =?iso-8859-1?Q?IhGUcjjsfIrODx9sHQrKOXYsM0f1HY+2L5ulhzUHUNXHjzxL4soWeqmu3O?= =?iso-8859-1?Q?0avONtbCAviUukzEGUYQyEWDMggeIXU2aRffWU+MEF01it7+tn8swKSXWN?= =?iso-8859-1?Q?dPSH7pDEFXcTUNqHlsodwpRVddqMCS5x1eqhstYqwtdYLTlvltiwJ9gx/9?= =?iso-8859-1?Q?9JKf9UbxawasXe/SMHODZXcea4Wv7QEPLaJBTduP1zMhCLa7CMT6WuyY5E?= =?iso-8859-1?Q?hQ3pof6Ax/Hq6j71os1A8X2B7KdXb2qmbuGcS8D+VBFeocEacCw27pe5GZ?= =?iso-8859-1?Q?3bp1Zq9Q5ipQ/y4GRCWWVjAW3xfJOB/CSycLlF39FHOwZq8N/zrUOtnYPH?= =?iso-8859-1?Q?ugMOZei2uAi2GBndKtXNNgZnuO9JHB52pCRf29HTTyFcu2HbxJxMdwaVOw?= =?iso-8859-1?Q?7cdGpWtahRleQepHb7eLvspcMAnxl+XkjQu8Aod2ILHy+Yc=3D?= Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: CWLP265MB4157.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-CrossTenant-Network-Message-Id: 68f035dd-a0e7-438f-dc6a-08dd7889c04f X-MS-Exchange-CrossTenant-originalarrivaltime: 10 Apr 2025 23:45:18.8242 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB7269 Hi everyone,=0A= =0A= I was wondering if anything changed since last time i asked around a few ye= ars ago, but does anyone know a hosting service that would take mirage imag= es? hvt is probably best and xen might be fine too, but anecdotally the vir= tio backend seems too unreliable from my use with the Google Compute Engine= (i'd also like to get away from services under US jurisdiction so that wor= ks out).=0A= =0A= In my research i came across Unikraft Cloud and i wish there was a similar = service for MirageOS where you would just `mirage deploy` to send/update th= e image to a host, but i'd be totally fine to just have a web interface to = upload an image too.=0A= =0A= Does anyone know a service like that?=0A= =0A= Cheers,=0A= Kate= From mirageos-devel-bounces@lists.xenproject.org Fri Apr 11 10:19:30 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 11 Apr 2025 10:19:30 +0000 Received: from list by lists.xenproject.org with outflank-mailman.946982.1344693 (Exim 4.92) (envelope-from ) id 1u3BTl-0001bl-VB; Fri, 11 Apr 2025 10:19:21 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 946982.1344693; Fri, 11 Apr 2025 10:19:21 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u3BTl-0001be-Rr; Fri, 11 Apr 2025 10:19:21 +0000 Received: by outflank-mailman (input) for mailman id 946982; Fri, 11 Apr 2025 10:19:20 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u3BTj-0001bY-C3 for mirageos-devel@lists.xenproject.org; Fri, 11 Apr 2025 10:19:20 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 6c197fa2-16be-11f0-9ffb-bf95429c2676; Fri, 11 Apr 2025 12:19:17 +0200 (CEST) Received: from [192.168.42.80] (i5C74C0BC.versanet.de [92.116.192.188]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 52E684638 for ; Fri, 11 Apr 2025 12:19:15 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 6c197fa2-16be-11f0-9ffb-bf95429c2676 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1744366755; bh=g/udYqb3I0VBHYJrfigwhFQ1Dyb4f2i7eulALHRp/q8=; h=Date:Subject:To:References:From:In-Reply-To; b=eJjCmXmY18yd/SjIdPmF2CxOYP/aKiurPFVu8RKMx97hg+uvICnq0ClmvWzsrFlGt PHFy4rfg7m7TDn53NzDjkuUafHviqRAa0xxyC8gRX2ClVDlggqZuEBkUOHaOgh/DOn wb4eupUUysfLOJqp6lPr6aZ7S88wtT73ccldUX8x6Rh3CXHoRKI51L1CqGrr/DMZGA mxgN7yghbI6q9vL1s2ValYylfBpJXrlzobO+8iFZCuC6lXbVVUXYVduMKMw3tmrZYh T5dqwY3o4j/WBD06EimkrEAXzFhnE/VHo+Bunh0EZk70/sd94+HyWG1/Ub/X7oHvfl WExgHR5jcorbg== Message-ID: <4b931575-29bb-4c60-9b4d-cea546e7ccbf@mehnert.org> Date: Fri, 11 Apr 2025 12:19:14 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: MirageOS hosting To: mirageos-devel@lists.xenproject.org References: Content-Language: en-US From: Hannes Mehnert Autocrypt: addr=hannes@mehnert.org; keydata= xsFLBEIw1AoBEADAtXwEV8F1DBpE9lnBTbHDNeZwDVp84MhxxIT5GUexGgbOWGSEWHhC3rYe FfGRUxF4M9P4fwxpxCS5YCvxoijWHeEf8nG5IkztVv5cw63E443XWHcCMc80YAwglZ2cSP4U GTNeKb9rqVPckk/PL348BYRawhzvZK+Bc+bUvbtPCfUXT1BWIxAR1dzsfpAQVNZ4bA06xOoP QJYVNgl/lWOmQgnSgb0dE2zsgddKTOj05ru7Q7LobB7WAUTRJVkZcXnrvI1SOt/WbPTyqF8l RBh94xCqFhv4SlqZVOTXxo9gw3LpDv/cYXRl/m7+/7Wljl3ziQ9cawA6O1mbw8nm7Sfa+TZl qo+5lXEenXG+MCbH0XnnL2I4BO6HSGDtKX6htTG2xs6w4r9mVxTGJuJcGrC0dxuz5j4jylt/ KOVn9IaRKzhj8ga7kWffMp+JYdrn43732weoFFJxm78mD2ij4UbJtNkQIIcTv8IBJajHy2P3 h1NuBIwwb7RmBav4oo0CKWoasIHFwjMSBpCzJ8QOHeO/F3TY3DZp7FTwViUgSXVJoewO9yFG ctX7MC27/F1IonU9/SJW0j+F3Vz32SfxUBrDnLYpO7/vwA8w+xmWLnl0iJN/8injz5+CigsP e7O66t4MtC9BVCuLu7a/ikH5nW0q6RyTW8of9eZIsuEyqF1ZPwAGKc0jSGFubmVzIE1laG5l cnQgPGhhbm5lc0BtZWhuZXJ0Lm9yZz7CwXQEEwECAB4FAkIw1A0CGwMGCwkIBwMCAxUCAwMW AgECHgECF4AACgkQvIlliN98KO5HYg//UD6gk4sFcNop/EQivcnpfPnHrrUddsBl9bovQSXb zIh5HY/8xhO5i87n5Aox9jYLcZwa6HJ3ElHMOa+n9AY4/+H8bd+BiHWTgEhEzcZqcYwyP2S2 0X/e/m/+1XYs5tldKNZb7ruYRv6rNyUAF1H8EtYNaJpmGtXYurkMhWhEgeP9YB7svmkUN+JO og91tNhN1Wd10/JfKIytNcpXmW6zij0f3MJw/kdwIsmfSUMPaiEli+eB7nU0uLZWf4C3MWTT NmwNznEya5K9McH1Wc/lO9+oB+zRXFBUM/v9YaiyPZo0JcwSRdVYKvKteyqnL/lnx7vtkOnA EC/bcmMvlWLI+Q4Vw2cr2FKcIpJVwswZ5snFqgDr4O5JB88aEAzPFzyWWeBlVqXc0DbDu8jD YmG3yp/xn5UJQSRy6eUcXICNjJyIwekUCznRmhtGwkGFCFEZH/s2fQ7nETxZcuiE4meRnVQE 9lOafI5D+dlsG3SlyN1x0YvrPismep7PwA6FX3cDyz2iUUj4xICLvRLU6kq892KuFmv75pop VAZjJMQqc8BG3oN2YkDcO4NEuOT9/r9muk/WH5Mqcs2BJEG6+yiQ13uMS5TxXiPFp3vKRlq0 MFnm7YRZr5aK6B/WGLOHnRRb2OdAzUgsj4Qiyqvh8Ab+x9wjLwGePxlA1akrF2hQItfOwUsE QjDUdAEQAOHG4vdGxU3eH5hYDLYRsQP6ofoU36pV8iFEtZRJ833L5p9GP2xFUGVDH8yTdkdf QR1prsCJXA7sE/gYBf3k9lGicJQmYNo3uW9Ngz787BhiQJyW/JXcutyTt9b/AZmfJaDo1p0C 8IEtoG7wt4+giFwAJ1brTJtyxlKOGcjWiKh1/dTh13muXSOPcCmhNs4Zm0YNjrhW9nIn1iik lpMRJCCxY1RNcU2VZXfTqq63UTaIrZ1lgYXWilnTdpXt5UEDYBw8Ee6tpPfQflC02e8hbDeD JEP9MTM9pmmPOwZQXP36hTryakKt1Kpw3hgC+Yx9q4wwaZ4XIiWUgopT5mlI+LhnzCgO05YN NcPrbsr6Js34gC3odNicD+C1jSdOXCqAPZZNiVx0PBjRv+LbBZhUkjQJxidvXmrp55pLm+Ua IVl3E/HpFY8kTaJBHP7jvLp+W4J9tP64Ijk5Y9F0z93JwMspG671xuomFsRxUtyO6vldd7qH 1yVzDX7Dd0fAzMDOPQJW6zLiixCmA0McaZdeBXapMJDDoZAPY4pCbRyJJXe0tfv9ufzJrM8Z JHylONdBiIKWw0JldXkUvIGafl1JDOHjP1XoDWrSDO8yFhBR3uWxJy9u1s7aKvonQb5IcYU1 nPu1Olg3doPugXyC0V05MIa68iKw+Kv8KtDDWyibndoTAAYpwsFfBBgBAgAJBQJCMNR1AhsM AAoJELyJZYjffCjuelUP/jlCsxLzu3fZpuORY2LsOQMd4nFHSZLUjauLxDUn8jE//32IIJ0v QV9ab4k7JCLOuYJTTd9aYD6rkITZIVhAcsR/FQZNgVOvGTj6tAmNyn385vMz0p4bLOOy5T0C KMLKzzS4Rt4XgtzvH2xDXSHfPsqS/t/5WFkO+aLgcPALldWGQPgRu5DNoCLr989gCGu5vmd4 XwMRBt/LmJGI0v0EypL3eRmlGaUw5k6N1hStu4EETzdikAzXP5KTuloEXq/caYeUs/SIb5zi XVC1ISW0CIwj5ATbMh8DMG4splXCsajtnJjsKJATBZIWV4XoNqtgV+pQn1ShmW36nUfVGqzX AQ+9i/M+CCkxBrb85Bk8I1CA1nBHNk5SQqER40VRp6vcmuxvIBGi6t8dDWsDQ2q3kd4RjjDZ kYjSie7176bb9t5MfUGjA9WckHuyi+vjy3+sC/nRzByhXf+8iZsO2no3xWZkGUWI8F2hhpzW VsXqvC27LZvJk53fJbpuSueN8a7JKfbKPDqoDSsRaEtcM7ig475tqA/ZCzv6mdqhEV5buoLu cpW7UgYzjNQQXeYZygGWc7FTV3dqLmF1MY2+RlydQbUDjcj1CJ+UmKyxgoLyf7ru0sznr7Tp K4WDnVeJdWX1mqoSupF/u5LON1vpzh3OIl5NNAuV68Hb5On/ALC+DwFX In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear Kate, thanks for reaching out. On 11/04/2025 01:45, Kate Deplaix wrote: > I was wondering if anything changed since last time i asked around a few years ago, but does anyone know a hosting service that would take mirage images? hvt is probably best and xen might be fine too, but anecdotally the virtio backend seems too unreliable from my use with the Google Compute Engine (i'd also like to get away from services under US jurisdiction so that works out). > > In my research i came across Unikraft Cloud and i wish there was a similar service for MirageOS where you would just `mirage deploy` to send/update the image to a host, but i'd be totally fine to just have a web interface to upload an image too. > > Does anyone know a service like that? We're working on such a service - mollymawk based on albatross (so you have a command-line interface, a web UI and a REST API). We'd be happy to give you access and allow you to run one or two unikernels on our machine (hosted in Germany). Please reach out to team@robur.coop to get started. Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Fri Apr 11 10:43:00 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 11 Apr 2025 10:43:00 +0000 Received: from list by lists.xenproject.org with outflank-mailman.946992.1344714 (Exim 4.92) (envelope-from ) id 1u3BqZ-00039D-Oe; Fri, 11 Apr 2025 10:42:55 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 946992.1344714; Fri, 11 Apr 2025 10:42:55 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u3BqZ-000396-Lw; Fri, 11 Apr 2025 10:42:55 +0000 Received: by outflank-mailman (input) for mailman id 946992; Fri, 11 Apr 2025 10:42:55 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u3BqZ-000390-5p for mirageos-devel@lists.xenproject.org; Fri, 11 Apr 2025 10:42:55 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id b884a2e2-16c1-11f0-9ead-5ba50f476ded; Fri, 11 Apr 2025 12:42:53 +0200 (CEST) Received: from [192.168.42.80] (i5C74C0BC.versanet.de [92.116.192.188]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 12780487F; Fri, 11 Apr 2025 12:42:52 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: b884a2e2-16c1-11f0-9ead-5ba50f476ded DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1744368172; bh=vYS7I+KxQ8BxOkCDQoZJB02tzBfabEey4pOS8LfeJac=; h=Date:Subject:To:References:From:Cc:In-Reply-To; b=IaBRt8EZUv9gZoKKhBUZ6PsL8Wk0mC5/yngdOKP32oMhr2GB8wk4lxer+oQwOEjC7 T+7RdxhMspSSt0fP2AcWplj7h3fFbCY2gKDkAl2gYe9+IAvFagtS78+YROKKjZbGkI /HnVw1rK6GzN6UDa7tWX6yKX7ag1Gpb4wLRmOkw2fRSMjsxnINd54gw+3Lv3DmP5EG nz5nT2sUPLqnyTzoO/5Fo/AfLdDoWRa84wJj1C2UBmPQUlAVucwGFjcfd+4/t/Xbj5 YOfAAXxiREMo2fBsLGtdNpYVXbRqWYX63FeetWUoSUIsvoDsMhiykarO46A/XxOqoS cgsIKYW3OEctw== Message-ID: <5ba1b75e-1359-4b9b-88c7-2ce885e0c105@mehnert.org> Date: Fri, 11 Apr 2025 12:42:51 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: Failed TCP connection reset when processing overlapping data segments Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <530642224.595613.1743087821949.JavaMail.zimbra@irisa.fr> From: Hannes Mehnert Autocrypt: addr=hannes@mehnert.org; keydata= xsFLBEIw1AoBEADAtXwEV8F1DBpE9lnBTbHDNeZwDVp84MhxxIT5GUexGgbOWGSEWHhC3rYe FfGRUxF4M9P4fwxpxCS5YCvxoijWHeEf8nG5IkztVv5cw63E443XWHcCMc80YAwglZ2cSP4U GTNeKb9rqVPckk/PL348BYRawhzvZK+Bc+bUvbtPCfUXT1BWIxAR1dzsfpAQVNZ4bA06xOoP QJYVNgl/lWOmQgnSgb0dE2zsgddKTOj05ru7Q7LobB7WAUTRJVkZcXnrvI1SOt/WbPTyqF8l RBh94xCqFhv4SlqZVOTXxo9gw3LpDv/cYXRl/m7+/7Wljl3ziQ9cawA6O1mbw8nm7Sfa+TZl qo+5lXEenXG+MCbH0XnnL2I4BO6HSGDtKX6htTG2xs6w4r9mVxTGJuJcGrC0dxuz5j4jylt/ KOVn9IaRKzhj8ga7kWffMp+JYdrn43732weoFFJxm78mD2ij4UbJtNkQIIcTv8IBJajHy2P3 h1NuBIwwb7RmBav4oo0CKWoasIHFwjMSBpCzJ8QOHeO/F3TY3DZp7FTwViUgSXVJoewO9yFG ctX7MC27/F1IonU9/SJW0j+F3Vz32SfxUBrDnLYpO7/vwA8w+xmWLnl0iJN/8injz5+CigsP e7O66t4MtC9BVCuLu7a/ikH5nW0q6RyTW8of9eZIsuEyqF1ZPwAGKc0jSGFubmVzIE1laG5l cnQgPGhhbm5lc0BtZWhuZXJ0Lm9yZz7CwXQEEwECAB4FAkIw1A0CGwMGCwkIBwMCAxUCAwMW AgECHgECF4AACgkQvIlliN98KO5HYg//UD6gk4sFcNop/EQivcnpfPnHrrUddsBl9bovQSXb zIh5HY/8xhO5i87n5Aox9jYLcZwa6HJ3ElHMOa+n9AY4/+H8bd+BiHWTgEhEzcZqcYwyP2S2 0X/e/m/+1XYs5tldKNZb7ruYRv6rNyUAF1H8EtYNaJpmGtXYurkMhWhEgeP9YB7svmkUN+JO og91tNhN1Wd10/JfKIytNcpXmW6zij0f3MJw/kdwIsmfSUMPaiEli+eB7nU0uLZWf4C3MWTT NmwNznEya5K9McH1Wc/lO9+oB+zRXFBUM/v9YaiyPZo0JcwSRdVYKvKteyqnL/lnx7vtkOnA EC/bcmMvlWLI+Q4Vw2cr2FKcIpJVwswZ5snFqgDr4O5JB88aEAzPFzyWWeBlVqXc0DbDu8jD YmG3yp/xn5UJQSRy6eUcXICNjJyIwekUCznRmhtGwkGFCFEZH/s2fQ7nETxZcuiE4meRnVQE 9lOafI5D+dlsG3SlyN1x0YvrPismep7PwA6FX3cDyz2iUUj4xICLvRLU6kq892KuFmv75pop VAZjJMQqc8BG3oN2YkDcO4NEuOT9/r9muk/WH5Mqcs2BJEG6+yiQ13uMS5TxXiPFp3vKRlq0 MFnm7YRZr5aK6B/WGLOHnRRb2OdAzUgsj4Qiyqvh8Ab+x9wjLwGePxlA1akrF2hQItfOwUsE QjDUdAEQAOHG4vdGxU3eH5hYDLYRsQP6ofoU36pV8iFEtZRJ833L5p9GP2xFUGVDH8yTdkdf QR1prsCJXA7sE/gYBf3k9lGicJQmYNo3uW9Ngz787BhiQJyW/JXcutyTt9b/AZmfJaDo1p0C 8IEtoG7wt4+giFwAJ1brTJtyxlKOGcjWiKh1/dTh13muXSOPcCmhNs4Zm0YNjrhW9nIn1iik lpMRJCCxY1RNcU2VZXfTqq63UTaIrZ1lgYXWilnTdpXt5UEDYBw8Ee6tpPfQflC02e8hbDeD JEP9MTM9pmmPOwZQXP36hTryakKt1Kpw3hgC+Yx9q4wwaZ4XIiWUgopT5mlI+LhnzCgO05YN NcPrbsr6Js34gC3odNicD+C1jSdOXCqAPZZNiVx0PBjRv+LbBZhUkjQJxidvXmrp55pLm+Ua IVl3E/HpFY8kTaJBHP7jvLp+W4J9tP64Ijk5Y9F0z93JwMspG671xuomFsRxUtyO6vldd7qH 1yVzDX7Dd0fAzMDOPQJW6zLiixCmA0McaZdeBXapMJDDoZAPY4pCbRyJJXe0tfv9ufzJrM8Z JHylONdBiIKWw0JldXkUvIGafl1JDOHjP1XoDWrSDO8yFhBR3uWxJy9u1s7aKvonQb5IcYU1 nPu1Olg3doPugXyC0V05MIa68iKw+Kv8KtDDWyibndoTAAYpwsFfBBgBAgAJBQJCMNR1AhsM AAoJELyJZYjffCjuelUP/jlCsxLzu3fZpuORY2LsOQMd4nFHSZLUjauLxDUn8jE//32IIJ0v QV9ab4k7JCLOuYJTTd9aYD6rkITZIVhAcsR/FQZNgVOvGTj6tAmNyn385vMz0p4bLOOy5T0C KMLKzzS4Rt4XgtzvH2xDXSHfPsqS/t/5WFkO+aLgcPALldWGQPgRu5DNoCLr989gCGu5vmd4 XwMRBt/LmJGI0v0EypL3eRmlGaUw5k6N1hStu4EETzdikAzXP5KTuloEXq/caYeUs/SIb5zi XVC1ISW0CIwj5ATbMh8DMG4splXCsajtnJjsKJATBZIWV4XoNqtgV+pQn1ShmW36nUfVGqzX AQ+9i/M+CCkxBrb85Bk8I1CA1nBHNk5SQqER40VRp6vcmuxvIBGi6t8dDWsDQ2q3kd4RjjDZ kYjSie7176bb9t5MfUGjA9WckHuyi+vjy3+sC/nRzByhXf+8iZsO2no3xWZkGUWI8F2hhpzW VsXqvC27LZvJk53fJbpuSueN8a7JKfbKPDqoDSsRaEtcM7ig475tqA/ZCzv6mdqhEV5buoLu cpW7UgYzjNQQXeYZygGWc7FTV3dqLmF1MY2+RlydQbUDjcj1CJ+UmKyxgoLyf7ru0sznr7Tp K4WDnVeJdWX1mqoSupF/u5LON1vpzh3OIl5NNAuV68Hb5On/ALC+DwFX Cc: Johan Mazel , gilles guette , Pierre Chifflier , Lucas Aubard In-Reply-To: <530642224.595613.1743087821949.JavaMail.zimbra@irisa.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear Lucas, On 27/03/2025 16:03, Lucas Aubard wrote: > I am Lucas Aubard. I am a PhD student in an Inria lab in Rennes, France. > This PhD is supervised by Gilles Guette (IMT Atlantique), Pierre Chifflier (ANSSI) and Johan Mazel (ANSSI). > > During our research work, we analyzed mirage-tcpip 9.0.0 reassembly when processing overlapping TCP data segments. We noticed something weird for some of our test cases. This is excellent work. Since some time we are working on an independent implementation (https://github.com/robur-coop/utcp) -- it seems you have a nice test suite/system setup to detect interesting behaviour. It is based (manually translated to OCaml) on the formal specification in HOL4 (http://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf / https://www.cl.cam.ac.uk/~pes20/Netsem/). Would you mind to use your tests against the utcp stack as well? If you need a hand on how to get this up and running into an existing unikernel, please don't hesitate to reach out -- we use it in several deployments for testing. For the specific issue, processing overlapping data segments -- the utcp behaviour is that the older segment data is preserved, and the newer segment data is filled where needed (i.e. where there's not yet any data). Does this make sense, or should it be the other way around that more recent received bytes are preferred? Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Wed Apr 16 11:15:09 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 16 Apr 2025 11:15:09 +0000 Received: from list by lists.xenproject.org with outflank-mailman.955148.1349300 (Exim 4.92) (envelope-from ) id 1u50jK-0007Rh-Vf; Wed, 16 Apr 2025 11:14:58 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 955148.1349300; Wed, 16 Apr 2025 11:14:58 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u50jK-0007Ra-So; Wed, 16 Apr 2025 11:14:58 +0000 Received: by outflank-mailman (input) for mailman id 955148; Wed, 16 Apr 2025 07:28:28 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u4xC8-00029W-FU for mirageos-devel@lists.xenproject.org; Wed, 16 Apr 2025 07:28:28 +0000 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 62cc895e-1a94-11f0-9eaf-5ba50f476ded; Wed, 16 Apr 2025 09:28:27 +0200 (CEST) Received: from zcs2-store3.inria.fr ([128.93.142.8]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Apr 2025 09:28:26 +0200 X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 62cc895e-1a94-11f0-9eaf-5ba50f476ded Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=lucas.aubard@irisa.fr; spf=None smtp.helo=postmaster@zcs2-store3.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of lucas.aubard@irisa.fr designates 128.93.142.8 as permitted sender) identity=mailfrom; client-ip=128.93.142.8; receiver=mail2-relais-roc.national.inria.fr; envelope-from="lucas.aubard@irisa.fr"; x-sender="lucas.aubard@irisa.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@zcs2-store3.inria.fr) identity=helo; client-ip=128.93.142.8; receiver=mail2-relais-roc.national.inria.fr; envelope-from="lucas.aubard@irisa.fr"; x-sender="postmaster@zcs2-store3.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.15,215,1739833200"; d="scan'208";a="218069586" X-MGA-submission: =?us-ascii?q?MDEhUpKI6zcnuFiEAiVG3HrsfQY+LsFbP/o6YL?= =?us-ascii?q?AZvfBugPCXiz/v5aSK4k0r9+Xixl8/GABxU02w3nTnGKRx7mbEZfWyzZ?= =?us-ascii?q?c941gFwoBV7/Lwf0gXAyDMaYYLRoV8yIexsn+EEVco7n6O9O2FDrR/FE?= =?us-ascii?q?KAaZlzkf0oq+Bvrx6ukb/yGA=3D=3D?= Date: Wed, 16 Apr 2025 09:28:25 +0200 (CEST) From: Lucas Aubard To: Hannes Mehnert Cc: mirageos-devel , Johan Mazel , gilles guette , Pierre Chifflier Message-ID: <1455111118.10665780.1744788505794.JavaMail.zimbra@irisa.fr> In-Reply-To: <5ba1b75e-1359-4b9b-88c7-2ce885e0c105@mehnert.org> References: <530642224.595613.1743087821949.JavaMail.zimbra@irisa.fr> <5ba1b75e-1359-4b9b-88c7-2ce885e0c105@mehnert.org> Subject: Re: Failed TCP connection reset when processing overlapping data segments MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Originating-IP: [131.254.15.46] X-Mailer: Zimbra 10.1.6_GA_4744 (ZimbraWebClient - FF137 (Linux)/10.1.6_GA_4744) Thread-Topic: Failed TCP connection reset when processing overlapping data segments Thread-Index: WE+x2I/TQsPbtAbUaGrZhJjK1KaXDA== Dear Hannes,=20 Thank you for your interest in the testing platform!=20 I am submitting some work in the next few days, but I'd be happy to test ut= cp afterward. =20 I'll certainly need a hand to test it; I get back to you as soon as possibl= e. =20 The behavior you describe for processing overlapping data segments makes se= nse to me.=20 Best regards, Lucas=20 ----- Mail original ----- > De: "Hannes Mehnert" > =C0: "mirageos-devel" > Cc: "Johan Mazel" , "gilles guette" , "Pierre Chifflier" > , "Lucas Aubard" > Envoy=E9: Vendredi 11 Avril 2025 12:42:51 > Objet: Re: Failed TCP connection reset when processing overlapping data s= egments > Dear Lucas, >=20 > On 27/03/2025 16:03, Lucas Aubard wrote: >> I am Lucas Aubard. I am a PhD student in an Inria lab in Rennes, France. >> This PhD is supervised by Gilles Guette (IMT Atlantique), Pierre Chiffli= er >> (ANSSI) and Johan Mazel (ANSSI). >>=20 >> During our research work, we analyzed mirage-tcpip 9.0.0 reassembly when >> processing overlapping TCP data segments. We noticed something weird for= some >> of our test cases. >=20 > This is excellent work. Since some time we are working on an independent > implementation (https://github.com/robur-coop/utcp) -- it seems you have > a nice test suite/system setup to detect interesting behaviour. >=20 > It is based (manually translated to OCaml) on the formal specification > in HOL4 (http://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf / > https://www.cl.cam.ac.uk/~pes20/Netsem/). >=20 > Would you mind to use your tests against the utcp stack as well? If you > need a hand on how to get this up and running into an existing > unikernel, please don't hesitate to reach out -- we use it in several > deployments for testing. >=20 >=20 > For the specific issue, processing overlapping data segments -- the utcp > behaviour is that the older segment data is preserved, and the newer > segment data is filled where needed (i.e. where there's not yet any > data). Does this make sense, or should it be the other way around that > more recent received bytes are preferred? >=20 >=20 >=20 > Best, >=20 > Hannes From mirageos-devel-bounces@lists.xenproject.org Wed Apr 16 13:20:46 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 16 Apr 2025 13:20:46 +0000 Received: from list by lists.xenproject.org with outflank-mailman.956078.1349586 (Exim 4.92) (envelope-from ) id 1u52gw-0004Um-Md; Wed, 16 Apr 2025 13:20:38 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 956078.1349586; Wed, 16 Apr 2025 13:20:38 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u52gw-0004Uf-JX; Wed, 16 Apr 2025 13:20:38 +0000 Received: by outflank-mailman (input) for mailman id 956078; Wed, 16 Apr 2025 13:20:38 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u52gv-000357-Ab for mirageos-devel@lists.xenproject.org; Wed, 16 Apr 2025 13:20:38 +0000 Received: from smtp-1.srv.uis.cam.ac.uk (smtp-1.srv.uis.cam.ac.uk [128.232.132.147]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 94737a9d-1ac5-11f0-9eaf-5ba50f476ded; Wed, 16 Apr 2025 15:20:36 +0200 (CEST) Received: from svr-postfix-0.cl.cam.ac.uk ([128.232.119.3]:3937) by smtp-1.srv.uis.cam.ac.uk with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.98.2) (envelope-from ) id 1u52gs-00000002ZsV-2Bcs; Wed, 16 Apr 2025 14:20:34 +0100 Received: from fauth-a1-smtp.messagingengine.com (fauth-a1-smtp.messagingengine.com [103.168.172.200]) (Authenticated sender: avsm2+fm) by svr-postfix-0.cl.cam.ac.uk (Postfix) with ESMTPSA id 7B41B402AD; Wed, 16 Apr 2025 13:20:18 +0000 (UTC) Received: from phl-compute-01.internal (phl-compute-01.phl.internal [10.202.2.41]) by mailfauth.phl.internal (Postfix) with ESMTP id A2A4C1200068; Wed, 16 Apr 2025 09:20:16 -0400 (EDT) Received: from phl-mailfrontend-01 ([10.202.2.162]) by phl-compute-01.internal (MEProxy); Wed, 16 Apr 2025 09:20:17 -0400 Received: by mail.messagingengine.com (Postfix) with ESMTPA; Wed, 16 Apr 2025 09:20:15 -0400 (EDT) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 94737a9d-1ac5-11f0-9eaf-5ba50f476ded DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cam.ac.uk; s=20230918.smtp; h=To:References:Message-Id:Content-Transfer-Encoding:Cc:Date :In-Reply-To:From:Subject:Mime-Version:Content-Type:Sender:Reply-To: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=5Qg+bC6u2sIzAbCiiCbxnMUXEAzCLcRvYt3uOM32e4w=; b=vkTiK6VspGSyXgdBkMldHvDHSw 1kZjs5nqtRPBBInXe9GNg/xb6J9hRmCmwRGp7aLzswxGfyve79AfvDsVsZOQ1Dt8c37PxHy/qteyB isVBEn9BraJ8OUL68DFJpGCV5+Kd/zklF1NtXR8FvrhJi1NmbWASNOCfOV0oCH8ccetWvh0r2XXcT yWgxd/IeP3TkIEFi9cJQOSq2sGND6A8vjO4Ku5hhnlwTLf7CWiECefsB+Y99jv0vblSroQcW83SHh YBQzzLM7OlO9KFn1bUQjM2+KyV29ivcVccS6XwVv6fkSWqseaQo+5wUNFIoBr3B49c2geyqxd2lHs iYXUfXEA==; X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: https://help.uis.cam.ac.uk/email-scanner-virus X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgddvvdeigeejucetufdoteggodetrf dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggv pdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpih gvnhhtshculddquddttddmnecujfgurheptggguffhjgffvefgkfhfvffosehtqhhmtdhh tdejnecuhfhrohhmpeetnhhilhcuofgrughhrghvrghpvgguugihuceorghvshhmvdestg hlrdgtrghmrdgrtgdruhhkqeenucggtffrrghtthgvrhhnpeelhfelgfdutdfgkeeftddv hffhgeekteeiieetffdutdefjeelvefhgfelieejieenucevlhhushhtvghrufhiiigvpe dtnecurfgrrhgrmhepmhgrihhlfhhrohhmpegrvhhsmhdvodhmvghsmhhtphgruhhthhhp vghrshhonhgrlhhithihqdduvdehvdekfedujeefqddvkeduleejgeeiledqrghvshhmvd eppegtlhdrtggrmhdrrggtrdhukhesfhhmrdgtlhdrtggrmhdrrggtrdhukhdpnhgspghr tghpthhtohepiedpmhhouggvpehsmhhtphhouhhtpdhrtghpthhtoheplhhutggrshdrrg husggrrhgusehirhhishgrrdhfrhdprhgtphhtthhopehhrghnnhgvshesmhgvhhhnvghr thdrohhrghdprhgtphhtthhopehmihhrrghgvghoshdquggvvhgvlheslhhishhtshdrgi gvnhhprhhojhgvtghtrdhorhhgpdhrtghpthhtohepjhhohhgrnhdrmhgriigvlhesshhs ihdrghhouhhvrdhfrhdprhgtphhtthhopehgihhllhgvshdrghhuvghtthgvsehimhhtqd grthhlrghnthhiqhhuvgdrfhhrpdhrtghpthhtohepphhivghrrhgvrdgthhhifhhflhhi vghrsehsshhirdhgohhuvhdrfhhr X-ME-Proxy: Feedback-ID: i9ebc46d9:Fastmail Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.500.181.1.5\)) Subject: Re: Failed TCP connection reset when processing overlapping data segments From: Anil Madhavapeddy In-Reply-To: <1455111118.10665780.1744788505794.JavaMail.zimbra@irisa.fr> Date: Wed, 16 Apr 2025 14:20:05 +0100 Cc: Hannes Mehnert , mirageos-devel , Johan Mazel , gilles guette , Pierre Chifflier Content-Transfer-Encoding: quoted-printable Message-Id: References: <530642224.595613.1743087821949.JavaMail.zimbra@irisa.fr> <5ba1b75e-1359-4b9b-88c7-2ce885e0c105@mehnert.org> <1455111118.10665780.1744788505794.JavaMail.zimbra@irisa.fr> To: Lucas Aubard X-Mailer: Apple Mail (2.3826.500.181.1.5) > On Apr 16, 2025, at 8:28=E2=80=AFAM, Lucas Aubard = wrote: >=20 > The behavior you describe for processing overlapping data segments = makes sense to me. I must admit I'm still in the dark as to why this makes more sense today = to do this than in 2013, when we dropped that data in preference for an = unambiguous retransmission in case the stack was under attack. What's = changed such that we can now accept overlapping TCP segments for the = same data? There are a few reasons I can think of that may explain it (but I = haven't checked): - perhaps datacenter Linux wants to avoid retransmissions at all costs - perhaps the security model has been revved somehow to delegate this to = the higher levels of the stack (DTLS) - or perhaps out of order transmissions are more common (multipath?) so = we now need to deal with it. I'm not really sure which of these are true or not, but without = determining this, it seems unwise to depend on other stacks' behavior = here. best, Anil From mirageos-devel-bounces@lists.xenproject.org Wed Apr 23 14:56:13 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 23 Apr 2025 14:56:13 +0000 Received: from list by lists.xenproject.org with outflank-mailman.964881.1355575 (Exim 4.92) (envelope-from ) id 1u7bW5-0001rD-AM; Wed, 23 Apr 2025 14:56:01 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 964881.1355575; Wed, 23 Apr 2025 14:56:01 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u7bW5-0001r6-7I; Wed, 23 Apr 2025 14:56:01 +0000 Received: by outflank-mailman (input) for mailman id 964881; Wed, 23 Apr 2025 14:55:59 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u7bW2-0001qy-GK for mirageos-devel@lists.xenproject.org; Wed, 23 Apr 2025 14:55:59 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 0eb7fe97-2053-11f0-9eb0-5ba50f476ded; Wed, 23 Apr 2025 16:55:57 +0200 (CEST) Received: from [192.168.178.197] (pd95f5d8b.dip0.t-ipconnect.de [217.95.93.139]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 084268F6A for ; Wed, 23 Apr 2025 16:55:54 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 0eb7fe97-2053-11f0-9eb0-5ba50f476ded DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1745420154; bh=77rNOp0SvBlF4hQZHPYIsQ4QXSBaFFkJ4nQjNMm3vOY=; h=Date:From:Subject:To:References:In-Reply-To; b=RTNK52zmXVsbwFHqk7PCNRpsaXoNGwwws79k79fox9MTRIrwYgyNnlcn3llOyqg6k jHD2gkB5VQMmtO7GbGsRxRmqenEStlV+Jp32U0PT8wGrCEAQDw5NRhqO1N7340xyGx bah/IMu66HlQjAj5dZAnXkkW/fEoPjkMME3okghtnm/wcJ1TDRS19vGgF1MPOAhCeP cY2feQDHq1UFh2euNLQBq3V9KhP/O3/ji7EOBHwEk5IyO9DH+G/JSzDfLKXjbhOFhJ /09CYnwPIqEK40Qh7H1yCEJmx+UiEIbYLjWdTYgXtp3+9l+am7pibSszVAhYxxTjBU e55UwC8CXBi4g== Message-ID: Date: Wed, 23 Apr 2025 16:55:53 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Hannes Mehnert Subject: next meeting: Monday March 28th 10:00 - 12:00 CEST To: mirageos-devel@lists.xenproject.org References: <3ebfc6e3-aeda-4729-a63d-02c139827945@mehnert.org> Content-Language: en-US Autocrypt: addr=hannes@mehnert.org; keydata= xsFLBEIw1AoBEADAtXwEV8F1DBpE9lnBTbHDNeZwDVp84MhxxIT5GUexGgbOWGSEWHhC3rYe FfGRUxF4M9P4fwxpxCS5YCvxoijWHeEf8nG5IkztVv5cw63E443XWHcCMc80YAwglZ2cSP4U GTNeKb9rqVPckk/PL348BYRawhzvZK+Bc+bUvbtPCfUXT1BWIxAR1dzsfpAQVNZ4bA06xOoP QJYVNgl/lWOmQgnSgb0dE2zsgddKTOj05ru7Q7LobB7WAUTRJVkZcXnrvI1SOt/WbPTyqF8l RBh94xCqFhv4SlqZVOTXxo9gw3LpDv/cYXRl/m7+/7Wljl3ziQ9cawA6O1mbw8nm7Sfa+TZl qo+5lXEenXG+MCbH0XnnL2I4BO6HSGDtKX6htTG2xs6w4r9mVxTGJuJcGrC0dxuz5j4jylt/ KOVn9IaRKzhj8ga7kWffMp+JYdrn43732weoFFJxm78mD2ij4UbJtNkQIIcTv8IBJajHy2P3 h1NuBIwwb7RmBav4oo0CKWoasIHFwjMSBpCzJ8QOHeO/F3TY3DZp7FTwViUgSXVJoewO9yFG ctX7MC27/F1IonU9/SJW0j+F3Vz32SfxUBrDnLYpO7/vwA8w+xmWLnl0iJN/8injz5+CigsP e7O66t4MtC9BVCuLu7a/ikH5nW0q6RyTW8of9eZIsuEyqF1ZPwAGKc0jSGFubmVzIE1laG5l cnQgPGhhbm5lc0BtZWhuZXJ0Lm9yZz7CwXQEEwECAB4FAkIw1A0CGwMGCwkIBwMCAxUCAwMW AgECHgECF4AACgkQvIlliN98KO5HYg//UD6gk4sFcNop/EQivcnpfPnHrrUddsBl9bovQSXb zIh5HY/8xhO5i87n5Aox9jYLcZwa6HJ3ElHMOa+n9AY4/+H8bd+BiHWTgEhEzcZqcYwyP2S2 0X/e/m/+1XYs5tldKNZb7ruYRv6rNyUAF1H8EtYNaJpmGtXYurkMhWhEgeP9YB7svmkUN+JO og91tNhN1Wd10/JfKIytNcpXmW6zij0f3MJw/kdwIsmfSUMPaiEli+eB7nU0uLZWf4C3MWTT NmwNznEya5K9McH1Wc/lO9+oB+zRXFBUM/v9YaiyPZo0JcwSRdVYKvKteyqnL/lnx7vtkOnA EC/bcmMvlWLI+Q4Vw2cr2FKcIpJVwswZ5snFqgDr4O5JB88aEAzPFzyWWeBlVqXc0DbDu8jD YmG3yp/xn5UJQSRy6eUcXICNjJyIwekUCznRmhtGwkGFCFEZH/s2fQ7nETxZcuiE4meRnVQE 9lOafI5D+dlsG3SlyN1x0YvrPismep7PwA6FX3cDyz2iUUj4xICLvRLU6kq892KuFmv75pop VAZjJMQqc8BG3oN2YkDcO4NEuOT9/r9muk/WH5Mqcs2BJEG6+yiQ13uMS5TxXiPFp3vKRlq0 MFnm7YRZr5aK6B/WGLOHnRRb2OdAzUgsj4Qiyqvh8Ab+x9wjLwGePxlA1akrF2hQItfOwUsE QjDUdAEQAOHG4vdGxU3eH5hYDLYRsQP6ofoU36pV8iFEtZRJ833L5p9GP2xFUGVDH8yTdkdf QR1prsCJXA7sE/gYBf3k9lGicJQmYNo3uW9Ngz787BhiQJyW/JXcutyTt9b/AZmfJaDo1p0C 8IEtoG7wt4+giFwAJ1brTJtyxlKOGcjWiKh1/dTh13muXSOPcCmhNs4Zm0YNjrhW9nIn1iik lpMRJCCxY1RNcU2VZXfTqq63UTaIrZ1lgYXWilnTdpXt5UEDYBw8Ee6tpPfQflC02e8hbDeD JEP9MTM9pmmPOwZQXP36hTryakKt1Kpw3hgC+Yx9q4wwaZ4XIiWUgopT5mlI+LhnzCgO05YN NcPrbsr6Js34gC3odNicD+C1jSdOXCqAPZZNiVx0PBjRv+LbBZhUkjQJxidvXmrp55pLm+Ua IVl3E/HpFY8kTaJBHP7jvLp+W4J9tP64Ijk5Y9F0z93JwMspG671xuomFsRxUtyO6vldd7qH 1yVzDX7Dd0fAzMDOPQJW6zLiixCmA0McaZdeBXapMJDDoZAPY4pCbRyJJXe0tfv9ufzJrM8Z JHylONdBiIKWw0JldXkUvIGafl1JDOHjP1XoDWrSDO8yFhBR3uWxJy9u1s7aKvonQb5IcYU1 nPu1Olg3doPugXyC0V05MIa68iKw+Kv8KtDDWyibndoTAAYpwsFfBBgBAgAJBQJCMNR1AhsM AAoJELyJZYjffCjuelUP/jlCsxLzu3fZpuORY2LsOQMd4nFHSZLUjauLxDUn8jE//32IIJ0v QV9ab4k7JCLOuYJTTd9aYD6rkITZIVhAcsR/FQZNgVOvGTj6tAmNyn385vMz0p4bLOOy5T0C KMLKzzS4Rt4XgtzvH2xDXSHfPsqS/t/5WFkO+aLgcPALldWGQPgRu5DNoCLr989gCGu5vmd4 XwMRBt/LmJGI0v0EypL3eRmlGaUw5k6N1hStu4EETzdikAzXP5KTuloEXq/caYeUs/SIb5zi XVC1ISW0CIwj5ATbMh8DMG4splXCsajtnJjsKJATBZIWV4XoNqtgV+pQn1ShmW36nUfVGqzX AQ+9i/M+CCkxBrb85Bk8I1CA1nBHNk5SQqER40VRp6vcmuxvIBGi6t8dDWsDQ2q3kd4RjjDZ kYjSie7176bb9t5MfUGjA9WckHuyi+vjy3+sC/nRzByhXf+8iZsO2no3xWZkGUWI8F2hhpzW VsXqvC27LZvJk53fJbpuSueN8a7JKfbKPDqoDSsRaEtcM7ig475tqA/ZCzv6mdqhEV5buoLu cpW7UgYzjNQQXeYZygGWc7FTV3dqLmF1MY2+RlydQbUDjcj1CJ+UmKyxgoLyf7ru0sznr7Tp K4WDnVeJdWX1mqoSupF/u5LON1vpzh3OIl5NNAuV68Hb5On/ALC+DwFX In-Reply-To: <3ebfc6e3-aeda-4729-a63d-02c139827945@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hi everyone, let's restart the bi-weekly community meetings to synchronize. The next proposed meeting is the upcoming Monday, March 28th 10:00 - 12:00 CEST at https://meet.jit.si/MirageOS -- see our shared pad at https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda (add your talking points there) :) Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Wed Apr 23 15:02:22 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 23 Apr 2025 15:02:22 +0000 Received: from list by lists.xenproject.org with outflank-mailman.964920.1355611 (Exim 4.92) (envelope-from ) id 1u7bcB-0004vw-Hf; Wed, 23 Apr 2025 15:02:19 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 964920.1355611; Wed, 23 Apr 2025 15:02:19 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u7bcB-0004vp-Ei; Wed, 23 Apr 2025 15:02:19 +0000 Received: by outflank-mailman (input) for mailman id 964920; Wed, 23 Apr 2025 15:02:18 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u7bXE-0001z6-TE for mirageos-devel@lists.xenproject.org; Wed, 23 Apr 2025 14:57:12 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 3bdeedda-2053-11f0-9ffb-bf95429c2676; Wed, 23 Apr 2025 16:57:11 +0200 (CEST) Received: from [192.168.178.197] (pd95f5d8b.dip0.t-ipconnect.de [217.95.93.139]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 8F8E79353 for ; Wed, 23 Apr 2025 16:57:10 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 3bdeedda-2053-11f0-9ffb-bf95429c2676 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1745420230; bh=7Cq9xd0PVykahOI4c44NB3fPd2jgL/iiLTQBUY25YeE=; h=Date:To:From:Subject; b=Us5/TfVtgcon2C11OHn2gu2UBRB0o2EG4WaanR72wik/VX3WaFnBYkIVDQ4ERlnET SgCggk8kIjwrn7L57n5y0V8//gPExDL1h4VQBfGpUUvMWRBcEEPixb2o+PFVzhjur6 lrn2WkEjzF6rVCMn4dZ82UTfZvX20sHbcYIV+FhX1B15HcZuD5iKxN7MdOI39/Y/qK dNXKa7cY5pgCJZYgjHugkadw/sZnNVUFf+XFT2x8U0DCbQvWl+OFvUEEEqILtNvO8A xxzhPEE00TWMLQGX+o9w5dGFIvaLiH2sBIOwXK6QgG4J1A6HJ3pta+ckz7NeOfNUFh B+XUr6kaZf/JQ== Message-ID: <5da4c9e7-5753-46d2-ba32-f1d88f4ea87d@mehnert.org> Date: Wed, 23 Apr 2025 16:57:10 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: mirageos-devel@lists.xenproject.org Content-Language: en-US From: Hannes Mehnert Subject: next meeting: Monday April 28th 10:00 - 12:00 CEST Autocrypt: addr=hannes@mehnert.org; keydata= xsFLBEIw1AoBEADAtXwEV8F1DBpE9lnBTbHDNeZwDVp84MhxxIT5GUexGgbOWGSEWHhC3rYe FfGRUxF4M9P4fwxpxCS5YCvxoijWHeEf8nG5IkztVv5cw63E443XWHcCMc80YAwglZ2cSP4U GTNeKb9rqVPckk/PL348BYRawhzvZK+Bc+bUvbtPCfUXT1BWIxAR1dzsfpAQVNZ4bA06xOoP QJYVNgl/lWOmQgnSgb0dE2zsgddKTOj05ru7Q7LobB7WAUTRJVkZcXnrvI1SOt/WbPTyqF8l RBh94xCqFhv4SlqZVOTXxo9gw3LpDv/cYXRl/m7+/7Wljl3ziQ9cawA6O1mbw8nm7Sfa+TZl qo+5lXEenXG+MCbH0XnnL2I4BO6HSGDtKX6htTG2xs6w4r9mVxTGJuJcGrC0dxuz5j4jylt/ KOVn9IaRKzhj8ga7kWffMp+JYdrn43732weoFFJxm78mD2ij4UbJtNkQIIcTv8IBJajHy2P3 h1NuBIwwb7RmBav4oo0CKWoasIHFwjMSBpCzJ8QOHeO/F3TY3DZp7FTwViUgSXVJoewO9yFG ctX7MC27/F1IonU9/SJW0j+F3Vz32SfxUBrDnLYpO7/vwA8w+xmWLnl0iJN/8injz5+CigsP e7O66t4MtC9BVCuLu7a/ikH5nW0q6RyTW8of9eZIsuEyqF1ZPwAGKc0jSGFubmVzIE1laG5l cnQgPGhhbm5lc0BtZWhuZXJ0Lm9yZz7CwXQEEwECAB4FAkIw1A0CGwMGCwkIBwMCAxUCAwMW AgECHgECF4AACgkQvIlliN98KO5HYg//UD6gk4sFcNop/EQivcnpfPnHrrUddsBl9bovQSXb zIh5HY/8xhO5i87n5Aox9jYLcZwa6HJ3ElHMOa+n9AY4/+H8bd+BiHWTgEhEzcZqcYwyP2S2 0X/e/m/+1XYs5tldKNZb7ruYRv6rNyUAF1H8EtYNaJpmGtXYurkMhWhEgeP9YB7svmkUN+JO og91tNhN1Wd10/JfKIytNcpXmW6zij0f3MJw/kdwIsmfSUMPaiEli+eB7nU0uLZWf4C3MWTT NmwNznEya5K9McH1Wc/lO9+oB+zRXFBUM/v9YaiyPZo0JcwSRdVYKvKteyqnL/lnx7vtkOnA EC/bcmMvlWLI+Q4Vw2cr2FKcIpJVwswZ5snFqgDr4O5JB88aEAzPFzyWWeBlVqXc0DbDu8jD YmG3yp/xn5UJQSRy6eUcXICNjJyIwekUCznRmhtGwkGFCFEZH/s2fQ7nETxZcuiE4meRnVQE 9lOafI5D+dlsG3SlyN1x0YvrPismep7PwA6FX3cDyz2iUUj4xICLvRLU6kq892KuFmv75pop VAZjJMQqc8BG3oN2YkDcO4NEuOT9/r9muk/WH5Mqcs2BJEG6+yiQ13uMS5TxXiPFp3vKRlq0 MFnm7YRZr5aK6B/WGLOHnRRb2OdAzUgsj4Qiyqvh8Ab+x9wjLwGePxlA1akrF2hQItfOwUsE QjDUdAEQAOHG4vdGxU3eH5hYDLYRsQP6ofoU36pV8iFEtZRJ833L5p9GP2xFUGVDH8yTdkdf QR1prsCJXA7sE/gYBf3k9lGicJQmYNo3uW9Ngz787BhiQJyW/JXcutyTt9b/AZmfJaDo1p0C 8IEtoG7wt4+giFwAJ1brTJtyxlKOGcjWiKh1/dTh13muXSOPcCmhNs4Zm0YNjrhW9nIn1iik lpMRJCCxY1RNcU2VZXfTqq63UTaIrZ1lgYXWilnTdpXt5UEDYBw8Ee6tpPfQflC02e8hbDeD JEP9MTM9pmmPOwZQXP36hTryakKt1Kpw3hgC+Yx9q4wwaZ4XIiWUgopT5mlI+LhnzCgO05YN NcPrbsr6Js34gC3odNicD+C1jSdOXCqAPZZNiVx0PBjRv+LbBZhUkjQJxidvXmrp55pLm+Ua IVl3E/HpFY8kTaJBHP7jvLp+W4J9tP64Ijk5Y9F0z93JwMspG671xuomFsRxUtyO6vldd7qH 1yVzDX7Dd0fAzMDOPQJW6zLiixCmA0McaZdeBXapMJDDoZAPY4pCbRyJJXe0tfv9ufzJrM8Z JHylONdBiIKWw0JldXkUvIGafl1JDOHjP1XoDWrSDO8yFhBR3uWxJy9u1s7aKvonQb5IcYU1 nPu1Olg3doPugXyC0V05MIa68iKw+Kv8KtDDWyibndoTAAYpwsFfBBgBAgAJBQJCMNR1AhsM AAoJELyJZYjffCjuelUP/jlCsxLzu3fZpuORY2LsOQMd4nFHSZLUjauLxDUn8jE//32IIJ0v QV9ab4k7JCLOuYJTTd9aYD6rkITZIVhAcsR/FQZNgVOvGTj6tAmNyn385vMz0p4bLOOy5T0C KMLKzzS4Rt4XgtzvH2xDXSHfPsqS/t/5WFkO+aLgcPALldWGQPgRu5DNoCLr989gCGu5vmd4 XwMRBt/LmJGI0v0EypL3eRmlGaUw5k6N1hStu4EETzdikAzXP5KTuloEXq/caYeUs/SIb5zi XVC1ISW0CIwj5ATbMh8DMG4splXCsajtnJjsKJATBZIWV4XoNqtgV+pQn1ShmW36nUfVGqzX AQ+9i/M+CCkxBrb85Bk8I1CA1nBHNk5SQqER40VRp6vcmuxvIBGi6t8dDWsDQ2q3kd4RjjDZ kYjSie7176bb9t5MfUGjA9WckHuyi+vjy3+sC/nRzByhXf+8iZsO2no3xWZkGUWI8F2hhpzW VsXqvC27LZvJk53fJbpuSueN8a7JKfbKPDqoDSsRaEtcM7ig475tqA/ZCzv6mdqhEV5buoLu cpW7UgYzjNQQXeYZygGWc7FTV3dqLmF1MY2+RlydQbUDjcj1CJ+UmKyxgoLyf7ru0sznr7Tp K4WDnVeJdWX1mqoSupF/u5LON1vpzh3OIl5NNAuV68Hb5On/ALC+DwFX Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit (sorry about the last mail with a wrong month, I retry here) Hi everyone, let's restart the bi-weekly community meetings to synchronize. The next proposed meeting is the upcoming Monday, April 28th 10:00 - 12:00 CEST at https://meet.jit.si/MirageOS -- see our shared pad at https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda (add your talking points there) :) Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Tue Apr 29 10:45:40 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 29 Apr 2025 10:45:40 +0000 Received: from list by lists.xenproject.org with outflank-mailman.971912.1360307 (Exim 4.92) (envelope-from ) id 1u9iSq-0004jg-Of; Tue, 29 Apr 2025 10:45:24 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 971912.1360307; Tue, 29 Apr 2025 10:45:24 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u9iSq-0004jY-Li; Tue, 29 Apr 2025 10:45:24 +0000 Received: by outflank-mailman (input) for mailman id 971912; Tue, 29 Apr 2025 10:45:22 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u9iSo-0004jP-8z for mirageos-devel@lists.xenproject.org; Tue, 29 Apr 2025 10:45:22 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 0b3aa819-24e7-11f0-9ffb-bf95429c2676; Tue, 29 Apr 2025 12:45:19 +0200 (CEST) Received: from [192.168.42.80] (i5C74C2B3.versanet.de [92.116.194.179]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 3A569C993 for ; Tue, 29 Apr 2025 12:45:18 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 0b3aa819-24e7-11f0-9ffb-bf95429c2676 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1745923518; bh=E4E4TH+YprXggxCWFOUdqMNHnyY65DmrKtKI20czuXY=; h=Date:Subject:From:To:References:In-Reply-To; b=Paj4OUMsn3OglfAcyGkXCEqc5ld4HQwtNBVIQVmoaUDgb3MfSEQLpQVXRCsS/V7vs AxOEGPBDTtaOLbkrL8Qx6GQJZKwECnWUPS0DgjLWSxNAkCXOd+nIsrCF+9kUu/MseT dFIU14Hv4TGZL0c73Uq/sSZ5drlPFl4z+edm4tz6iv/i1w4vswKbOz4VucfIfhefbx aQqTvOKWzTmA23xzER72l4lCh9ife1EAqEKQC21N+NI3pyt6VqMHM7Fr1aVIlsJkZs lt58ojhG2mregbCMgIf4fQgcC2zIhN/kfYNyTZf88j13B+BLeAoerTyDdW63PJAE7J AIXtEEuDj5opA== Message-ID: <45c98f33-830a-47fa-95bb-9e1653922fef@mehnert.org> Date: Tue, 29 Apr 2025 12:45:17 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: next meeting: Monday May 19th 10:00 - 12:00 CEST Content-Language: en-US From: Hannes Mehnert To: mirageos-devel@lists.xenproject.org References: <5da4c9e7-5753-46d2-ba32-f1d88f4ea87d@mehnert.org> Autocrypt: addr=hannes@mehnert.org; keydata= xsFLBEIw1AoBEADAtXwEV8F1DBpE9lnBTbHDNeZwDVp84MhxxIT5GUexGgbOWGSEWHhC3rYe FfGRUxF4M9P4fwxpxCS5YCvxoijWHeEf8nG5IkztVv5cw63E443XWHcCMc80YAwglZ2cSP4U GTNeKb9rqVPckk/PL348BYRawhzvZK+Bc+bUvbtPCfUXT1BWIxAR1dzsfpAQVNZ4bA06xOoP QJYVNgl/lWOmQgnSgb0dE2zsgddKTOj05ru7Q7LobB7WAUTRJVkZcXnrvI1SOt/WbPTyqF8l RBh94xCqFhv4SlqZVOTXxo9gw3LpDv/cYXRl/m7+/7Wljl3ziQ9cawA6O1mbw8nm7Sfa+TZl qo+5lXEenXG+MCbH0XnnL2I4BO6HSGDtKX6htTG2xs6w4r9mVxTGJuJcGrC0dxuz5j4jylt/ KOVn9IaRKzhj8ga7kWffMp+JYdrn43732weoFFJxm78mD2ij4UbJtNkQIIcTv8IBJajHy2P3 h1NuBIwwb7RmBav4oo0CKWoasIHFwjMSBpCzJ8QOHeO/F3TY3DZp7FTwViUgSXVJoewO9yFG ctX7MC27/F1IonU9/SJW0j+F3Vz32SfxUBrDnLYpO7/vwA8w+xmWLnl0iJN/8injz5+CigsP e7O66t4MtC9BVCuLu7a/ikH5nW0q6RyTW8of9eZIsuEyqF1ZPwAGKc0jSGFubmVzIE1laG5l cnQgPGhhbm5lc0BtZWhuZXJ0Lm9yZz7CwXQEEwECAB4FAkIw1A0CGwMGCwkIBwMCAxUCAwMW AgECHgECF4AACgkQvIlliN98KO5HYg//UD6gk4sFcNop/EQivcnpfPnHrrUddsBl9bovQSXb zIh5HY/8xhO5i87n5Aox9jYLcZwa6HJ3ElHMOa+n9AY4/+H8bd+BiHWTgEhEzcZqcYwyP2S2 0X/e/m/+1XYs5tldKNZb7ruYRv6rNyUAF1H8EtYNaJpmGtXYurkMhWhEgeP9YB7svmkUN+JO og91tNhN1Wd10/JfKIytNcpXmW6zij0f3MJw/kdwIsmfSUMPaiEli+eB7nU0uLZWf4C3MWTT NmwNznEya5K9McH1Wc/lO9+oB+zRXFBUM/v9YaiyPZo0JcwSRdVYKvKteyqnL/lnx7vtkOnA EC/bcmMvlWLI+Q4Vw2cr2FKcIpJVwswZ5snFqgDr4O5JB88aEAzPFzyWWeBlVqXc0DbDu8jD YmG3yp/xn5UJQSRy6eUcXICNjJyIwekUCznRmhtGwkGFCFEZH/s2fQ7nETxZcuiE4meRnVQE 9lOafI5D+dlsG3SlyN1x0YvrPismep7PwA6FX3cDyz2iUUj4xICLvRLU6kq892KuFmv75pop VAZjJMQqc8BG3oN2YkDcO4NEuOT9/r9muk/WH5Mqcs2BJEG6+yiQ13uMS5TxXiPFp3vKRlq0 MFnm7YRZr5aK6B/WGLOHnRRb2OdAzUgsj4Qiyqvh8Ab+x9wjLwGePxlA1akrF2hQItfOwUsE QjDUdAEQAOHG4vdGxU3eH5hYDLYRsQP6ofoU36pV8iFEtZRJ833L5p9GP2xFUGVDH8yTdkdf QR1prsCJXA7sE/gYBf3k9lGicJQmYNo3uW9Ngz787BhiQJyW/JXcutyTt9b/AZmfJaDo1p0C 8IEtoG7wt4+giFwAJ1brTJtyxlKOGcjWiKh1/dTh13muXSOPcCmhNs4Zm0YNjrhW9nIn1iik lpMRJCCxY1RNcU2VZXfTqq63UTaIrZ1lgYXWilnTdpXt5UEDYBw8Ee6tpPfQflC02e8hbDeD JEP9MTM9pmmPOwZQXP36hTryakKt1Kpw3hgC+Yx9q4wwaZ4XIiWUgopT5mlI+LhnzCgO05YN NcPrbsr6Js34gC3odNicD+C1jSdOXCqAPZZNiVx0PBjRv+LbBZhUkjQJxidvXmrp55pLm+Ua IVl3E/HpFY8kTaJBHP7jvLp+W4J9tP64Ijk5Y9F0z93JwMspG671xuomFsRxUtyO6vldd7qH 1yVzDX7Dd0fAzMDOPQJW6zLiixCmA0McaZdeBXapMJDDoZAPY4pCbRyJJXe0tfv9ufzJrM8Z JHylONdBiIKWw0JldXkUvIGafl1JDOHjP1XoDWrSDO8yFhBR3uWxJy9u1s7aKvonQb5IcYU1 nPu1Olg3doPugXyC0V05MIa68iKw+Kv8KtDDWyibndoTAAYpwsFfBBgBAgAJBQJCMNR1AhsM AAoJELyJZYjffCjuelUP/jlCsxLzu3fZpuORY2LsOQMd4nFHSZLUjauLxDUn8jE//32IIJ0v QV9ab4k7JCLOuYJTTd9aYD6rkITZIVhAcsR/FQZNgVOvGTj6tAmNyn385vMz0p4bLOOy5T0C KMLKzzS4Rt4XgtzvH2xDXSHfPsqS/t/5WFkO+aLgcPALldWGQPgRu5DNoCLr989gCGu5vmd4 XwMRBt/LmJGI0v0EypL3eRmlGaUw5k6N1hStu4EETzdikAzXP5KTuloEXq/caYeUs/SIb5zi XVC1ISW0CIwj5ATbMh8DMG4splXCsajtnJjsKJATBZIWV4XoNqtgV+pQn1ShmW36nUfVGqzX AQ+9i/M+CCkxBrb85Bk8I1CA1nBHNk5SQqER40VRp6vcmuxvIBGi6t8dDWsDQ2q3kd4RjjDZ kYjSie7176bb9t5MfUGjA9WckHuyi+vjy3+sC/nRzByhXf+8iZsO2no3xWZkGUWI8F2hhpzW VsXqvC27LZvJk53fJbpuSueN8a7JKfbKPDqoDSsRaEtcM7ig475tqA/ZCzv6mdqhEV5buoLu cpW7UgYzjNQQXeYZygGWc7FTV3dqLmF1MY2+RlydQbUDjcj1CJ+UmKyxgoLyf7ru0sznr7Tp K4WDnVeJdWX1mqoSupF/u5LON1vpzh3OIl5NNAuV68Hb5On/ALC+DwFX In-Reply-To: <5da4c9e7-5753-46d2-ba32-f1d88f4ea87d@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Hello again, our next meeting is on May 19th (in 2.5 weeks) -- live from the retreat (let's see how that goes). We'll be at https://meet.jit.si/MirageOS -- see our shared pad at https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda (add your talking points there) :) Here are the notes from our meeting last Monday. Have an awesome day, Hannes ## Meeting April 28th 10:00 - 12:00 CEST - Participants: Fabrice, Pierre, Reynir, Hannes, Sam, Romain ### Defunctorization work Hannes worked on defunctorizing Mirage. It seems to work well and no complaints. Hannes: should we defunctorize the network stack next and the block devices? Pierre: is very happy with the current state of defunctorization. For the network stack, at least for Xen it will be tricky since we need two network interfaces -- for backend and frontend. Romain: Did an experiment about MirageOS and miou-solo5, and has a TCP stack without functors -- still an experimental project Reynir: If I understand, it goes a bit further with no functor at all Romain: https://git.robur.coop/dinosaure/experiment-miou-solo5 Romain: and a little article here: https://blog.robur.coop/articles/utcp_and_effects.html ### Unikraft Sam: the work on unikraft is close to be published Sam: performance for network is pretty good, for the block device the situation is less clear Fabrice: block solo5 outperforms the unikraft Hannes: from their website (unikraft), they claim much higher performance than solo5 Fabrice: network is fine, it is a little faster Sam: one of the next steps is to have a real benchmark with network Romain: do you know the performance issues with block devices and unikraft? Fabrice: it uses virtio device, quite different from the network one. performs badly if you do small sector (one sector at one time) operations -- much better if you operate on multiple sectors Fabrice: you can as well have multiple operations in flight with unikraft - which helps to shadow the single sector bad performance Romain: did some performance benchmarks in terms of mirage-tcpip and utcp, and there's a large gap in the benchmarks (using iperf3, we're near 1Gb/s with mirage-tcpip -- and with utcp 900 Mb/s) Fabrice: our network test served one file Romain: we have a really old unikernel which is compatible with iperf2, but the experiment above has iperf3 support Romain: mirage-tcpip is 1Gbits/s and utcp is 900 Gbits/s on our experimentation. The main question is about scheduling now (where miou differs from what lwt does) Sam: for getting it released, we populate the different repositories under the mirage organization, and open PRs for the repositories where we have unikraft patches ### utcp https://github.com/robur-coop/utcp Hannes: TCP/IP stack based on a formal model (HOL4, SML; manually translated SML to OCaml - Recently we found a mistranslation caused by a missing set of parenthesis). Hannes: mirage-tcpip: it works very well, but as discussed on the mailing list it has obscure semantics in certain cases. It is deeply in the LWT monad and has memory leaks. Hannes: Utcp has a pure, functional core with unit tests. Recently worked on performance with Romain. µtcp still lacks congestion control and newer features of TCP such as selective acknowledgement (which mirage-tcpip also doesn't implement). µtcp started off several years ago. We (in Robur) run it in production machines, and we have mostly worked on correctness and resource usage, and we still have correctness issues (failed assertions) and resource usage issues. Performance wise µtcp tries to stick to congression control and window sizes while mirage-tcpip doesn't try to adhere to a specific congression control algorithm or bound the memory usage. The gained interest of µtcp is also due to it not being tied to lwt and thus allows for other schedulers. Hannes: utcp is meant to replace only mirage-tcpip's src/tcp (ocamlfind tcpip.tcp) Romain: for the miou TCP/IP stack, we worked on a new IP stack (which is different from mirage-tcpip's one) ### Mirage CI Hannes: OCaml 5.4 support in ocaml-solo5 (ocaml-unikraft)? -- two different repositories but shared patches, also 5.4 has most patches upstream \o/ -- https://github.com/ocaml/ocaml/pull/13810 (maybe we can ask Antonin, Gabriel, Florian at the retreat whether that can make it to 5.4) Hannes: OCaml 5.3 is not yet tested in the Mirage CI Hannes: there's a PR from Tim about fixing the OCaml 5.2.1 support https://github.com/ocurrent/mirage-ci/pull/51 ### Remove bigarray from Cstruct Pierre: experimented with branches from Hannes that use cstruct where the buffer is Bytes.t Pierre: updated io-page to not rely on cstruct, but use bigarray directly Pierre: this currently works with QubesOS, a hello world runs nicely Pierre: ran into issues when running the network stack, mirage-tcpip is tightly coupled with cstruct and relies on the fact that cstruct is based on bigarray (esp. C stubs) Pierre: may use utcp to check whether that'll be good enough / work Pierre: need a careful review of the io-page API, since all its dependencies need updates Hannes: the only C code is the checksum code, no? in utcp we have pure OCaml checksum code, and we could use that in mirage-tcpip (we use some trick about bigarray to outperform the computation) ### Ownership of buffers on the IP level Romain: another experiment with the IP stack, with mirage-tcpip you have cstruct everywhere -- difficult to change to something else. with cstruct you want to not copy when you have a fragmented packet -- with bigarray and cstruct you can have a subview (without copying). the idea is to have a bigarray directly when you have a defragmented packet, and if it is fragmented you get a copy of the bigarrays Romain: with mirage-tcpip you have the question about ownership and fragmented/defragmented: do you have the ownership or not? Romain: My intuition is at the IP level, we should have a variant between a bigarray (defragmented) and a string (fragmented) -- if you have a bigarray you should care about the ownership Hannes: in practise, 99.9999% of IP packets are not fragmented ### Checksum code - performance investigations Hannes: maybe we should measure the utcp checksum code (OCaml code) and mirage-tcpip checksum code (C code) Romain: it is tricky due to memory layout, and also you've to take care that OCaml 5 C-FFI is different (and introduces a memory barrier), so check what your environment is before doing the benchmark (CPU cache) Hannes: maybe the checksum code could then be in a separate, independent package used by both utcp and mirage-tcpip Hannes: question about the performance focus: arm? x86? 64 bits only? also 32 bits? ### tcpip handling of RST Pierre: curious whether there was more communication about uTCP Hannes: there wasn't Pierre: I'll try reach out to them, one of the advisors is in my reasearch group From mirageos-devel-bounces@lists.xenproject.org Tue Apr 29 17:54:14 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 29 Apr 2025 17:54:14 +0000 Received: from list by lists.xenproject.org with outflank-mailman.972993.1361235 (Exim 4.92) (envelope-from ) id 1u9p9g-0005bK-Mr; Tue, 29 Apr 2025 17:54:04 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 972993.1361235; Tue, 29 Apr 2025 17:54:04 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u9p9g-0005bD-JS; Tue, 29 Apr 2025 17:54:04 +0000 Received: by outflank-mailman (input) for mailman id 972993; Tue, 29 Apr 2025 17:54:03 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1u9p9e-0005b7-FS for mirageos-devel@lists.xenproject.org; Tue, 29 Apr 2025 17:54:03 +0000 Received: from out-170.mta0.migadu.com (out-170.mta0.migadu.com [91.218.175.170]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id ebdba403-2522-11f0-9ffb-bf95429c2676; Tue, 29 Apr 2025 19:53:56 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: ebdba403-2522-11f0-9ffb-bf95429c2676 Message-ID: <5f485534-ea8f-4a3e-a603-7a2d22f3fa63@exn.st> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=exn.st; s=key1; t=1745949234; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=EPZypvOlBSD2eVkQChypan81hy96HGU6Ro5NzpIip/M=; b=lhiyVmz9jnX0F3yhghCH43p0PrBlW5sttFdoJoqopOditQRNvYcGY87qloobcEiy3tD8zc rPMB4VqEpuEUzdkhYQkYExMODSkUMSKPd3DVdXFjb4giPQxCADQK5Vx52Q8C/5LRMTiQ3v IEu53L73hIJUA2EaYJGyEiD64k2TGD/4GUx4CkiQ6jgLEfw4/BoSIgoUcHrIjn+t4MRTFv msjyN8vdn5mguhdGk+vG0BULwHPSoheGnnbjBD96W4/yVX23bmXOaGnaxLE5o6XpFNeocG eYgQo+sJbOTSV/msCk25aUlib5YaVtL7fMsYAwuuI62SouJWS4rO3L1LXHg6pg== Date: Tue, 29 Apr 2025 18:53:52 +0100 MIME-Version: 1.0 Subject: Re: next meeting: Monday May 19th 10:00 - 12:00 CEST To: Hannes Mehnert , mirageos-devel@lists.xenproject.org References: <5da4c9e7-5753-46d2-ba32-f1d88f4ea87d@mehnert.org> <45c98f33-830a-47fa-95bb-9e1653922fef@mehnert.org> Content-Language: en-GB, fr, de-DE X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Kate In-Reply-To: <45c98f33-830a-47fa-95bb-9e1653922fef@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Migadu-Flow: FLOW_OUT Hi, On 4/29/25 11:45, Hannes Mehnert wrote: > Hannes: question about the performance focus: arm? x86? 64 bits only? > also 32 bits? just FYI about 32bit, i think it's unlikely you'll want to take time to optimize for 32bit platforms given the current OCaml release schedule: https://github.com/ocaml/ocaml/blob/trunk/release-info/introduction.md#exceptional-lts-versions 4.14 should cease to be LTS next year and it's unlikely that 5.x will bring back 32bit native code support. It's still supported using the bytecode compiler but trying to optimize for that seems ambitious. Also as you're moving from bigarray to bytes across various codebases, you're bound to get in trouble on 32bit platforms at some point where the size limit for strings is only 16MB (compared to 144PB on 64bit). I'm not entirely sure what the discussion was precisely about so disregard my two comments if they're completely off the mark. Cheers, Kate