From mirageos-devel-bounces@lists.xenproject.org Tue Jul 08 11:47:09 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 08 Jul 2025 11:47:09 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1036376.1408632 (Exim 4.92) (envelope-from ) id 1uZ6mp-0001xU-7A; Tue, 08 Jul 2025 11:46:59 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1036376.1408632; Tue, 08 Jul 2025 11:46:59 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1uZ6mp-0001xN-4T; Tue, 08 Jul 2025 11:46:59 +0000 Received: by outflank-mailman (input) for mailman id 1036376; Tue, 08 Jul 2025 11:46:57 +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 1uZ6mn-0001x0-NB for mirageos-devel@lists.xenproject.org; Tue, 08 Jul 2025 11:46:57 +0000 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 3cc26982-5bf1-11f0-b894-0df219b8e170; Tue, 08 Jul 2025 13:46:52 +0200 (CEST) Received: from zcs2-store3.inria.fr ([128.93.142.8]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jul 2025 13:46:51 +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: 3cc26982-5bf1-11f0-b894-0df219b8e170 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.16,297,1744063200"; d="scan'208";a="230803826" X-MGA-submission: =?us-ascii?q?MDH4K6aOeJKLuMMqtM6hOMINx5g7wKrqv7Lfku?= =?us-ascii?q?n1iFnytZ52D7mRHDiShbusE/RcpsCi6C2dzSiJpvFFtXmvp9ky60nh7F?= =?us-ascii?q?v7Uz0/V4tYRqZgBHs2zd/HYU8jFDTuSf69W1mjO736N45yaN/N5pkAhx?= =?us-ascii?q?Dhylk+rHYkQFi5aTp3jmPPQg=3D=3D?= Date: Tue, 8 Jul 2025 13:46:50 +0200 (CEST) From: Lucas Aubard To: Anil Madhavapeddy Cc: mirageos-devel , Johan Mazel , gilles guette , Pierre Chifflier Message-ID: <1365892356.5111647.1751975210871.JavaMail.zimbra@irisa.fr> In-Reply-To: <1159741276.14710869.1747992352783.JavaMail.zimbra@irisa.fr> References: <530642224.595613.1743087821949.JavaMail.zimbra@irisa.fr> <5ba1b75e-1359-4b9b-88c7-2ce885e0c105@mehnert.org> <1455111118.10665780.1744788505794.JavaMail.zimbra@irisa.fr> <1159741276.14710869.1747992352783.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: [92.184.118.142] X-Mailer: Zimbra 10.1.8_GA_4773 (ZimbraWebClient - FF140 (Linux)/10.1.9_GA_4780) Thread-Topic: Failed TCP connection reset when processing overlapping data segments Thread-Index: d5mif/SINoER4xfT6e4lB13hqXR/t3fuP1/J Dear Anil,=20 Did you receive my last 23/05/2025 email? What did you choose to do concerning TCP overlaps? Best regards, Lucas ----- Mail original ----- > De: "Lucas Aubard" > =C3=80: "Anil Madhavapeddy" > Cc: "mirageos-devel" , "Johan Mazel"= , "gilles guette" > , "Pierre Chifflier" > Envoy=C3=A9: Vendredi 23 Mai 2025 11:25:52 > Objet: Re: Failed TCP connection reset when processing overlapping data s= egments > Dear Anil, >=20 > Sorry I missed your answer! >=20 > I think the three reasons that you cite may be relevant but I do not have= any > relevant information on these three aspects. >=20 > To extend what I said about OS behaviors, we observe that some embedded s= tacks > (lwIP, uIP, picoTCP) ignore overlapping data segments just as mirage-tcpi= p. > However, this behavior choice is probably due to the resource constraints= . >=20 > I compared RFC793 and RFC9293 regarding the two sentences (in parts 3.10 = and 4) > that I cited in my previous mail, and both sentences are present in both > documents. So, I do not think that anything changed since 2013. > My main argument for accepting overlapping segment is the fact that these= two > sentences are present in the RFCs but I do not have any additional eviden= ce. >=20 > Best regards, > Lucas Aubard. >=20 > ----- Mail original ----- >> De: "Anil Madhavapeddy" >> =C3=80: "Lucas Aubard" >> Cc: "Hannes Mehnert" , "mirageos-devel" >> , "Johan Mazel" >> , "gilles guette" , >> "Pierre Chifflier" >> >> Envoy=C3=A9: Mercredi 16 Avril 2025 15:20:05 >> Objet: Re: Failed TCP connection reset when processing overlapping data = segments >=20 >>> On Apr 16, 2025, at 8:28=E2=80=AFAM, Lucas Aubard wrote: >>>=20 >>> The behavior you describe for processing overlapping data segments make= s sense >>> to me. >>=20 >> 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 unambi= guous >> retransmission in case the stack was under attack. What's changed such t= hat we >> can now accept overlapping TCP segments for the same data? >>=20 >> 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. >>=20 >> I'm not really sure which of these are true or not, but without determin= ing >> this, it seems unwise to depend on other stacks' behavior here. >>=20 >> best, > > Anil From mirageos-devel-bounces@lists.xenproject.org Tue Jul 15 13:56:45 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 15 Jul 2025 13:56:45 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1044427.1414516 (Exim 4.92) (envelope-from ) id 1ubg95-0005zh-Du; Tue, 15 Jul 2025 13:56:35 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1044427.1414516; Tue, 15 Jul 2025 13:56:35 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1ubg95-0005za-At; Tue, 15 Jul 2025 13:56:35 +0000 Received: by outflank-mailman (input) for mailman id 1044427; Tue, 15 Jul 2025 13:56:33 +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 1ubg93-0005rq-4V for mirageos-devel@lists.xenproject.org; Tue, 15 Jul 2025 13:56:33 +0000 Received: from mail-io1-xd34.google.com (mail-io1-xd34.google.com [2607:f8b0:4864:20::d34]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 800382ab-6183-11f0-b894-0df219b8e170; Tue, 15 Jul 2025 15:56:28 +0200 (CEST) Received: by mail-io1-xd34.google.com with SMTP id ca18e2360f4ac-86d0c5981b3so218339639f.3 for ; Tue, 15 Jul 2025 06:56:27 -0700 (PDT) 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: 800382ab-6183-11f0-b894-0df219b8e170 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tarides-com.20230601.gappssmtp.com; s=20230601; t=1752587786; x=1753192586; darn=lists.xenproject.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=BaRXb/faFS2vPsuupEYZ/SyXEoimVrxPSnCQo0RhdqA=; b=F3qlip0klkk/QvMXMnFqodPx3I9fCA53e2wsTbELTqbDU8yy7R7lT/F8FYjQUXjjd7 QKqvRBa1IX+pEArqD5bst74P7IMI0GdnL/f6F2ZkQapYcGVCruKMb/FllwT3bmRO2HAy qwT/WWcP+z0g6hiMg/R5FpeLFFKE9J6IZeeLhFIpmkQlow7dS0yar1Ll6MHcpLdlgEys 72agxAcA6vGQ/Tumu4a0wRkOCatJljwdDdSKPuileEtiEczFYRKIf5oG6l2afF+LrvQE lWlwENYiMNmy0/F1mJzgaqFp4A4YRgnQ8960j60A6/RLbkT1sF0HHTK6QC7Gx7gD7ple l34g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1752587786; x=1753192586; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=BaRXb/faFS2vPsuupEYZ/SyXEoimVrxPSnCQo0RhdqA=; b=QoNaNu3KaFCqpJlQW/erQ7okdqCuNfJbcYCSvn/bG/dBDR9BmzxiDsB8IHZEG5IZex v42CiKX6u4ph/+kouUdSCT+697FNBmPZJfGWNNhx5TVcFTkbLHbBxFHnZI9+LtyK6IcJ bf5AocyCgF5uSp83GZUdoVXVgUAlUOigyu5V4nfdplxtw+6wqQcYrkPQ3PN10Tbtqmb7 tKqaPMk0+fPJi+C4UqFsCsZA0nNpmeObnaNXVxIdVCl330edp4I4CLrPHWUlZUe0XCkJ mNi/Z2cL2GKWSmB0Z+Lfh0cyINMDugSXSzu7rVTCLR23a6NjvKw+DCYHUNbZ2s19LHWb Gxbg== X-Gm-Message-State: AOJu0YyTFcGSZ03WJETqsKLZ2M5Kr7fhHkJFOex/0rH5sKKNCymUHK8G oC0cInM/DGcl7l0EEyeVcYq9D5cx9DAz/sdcue8xTO8llP4jvRwR2yASPK+5edK00cFuQWpxJcN CNJmmAn9mPGS07oZ4RPj374h7rfhcvwPgkOQb1h36NhTSNGvvVXw2yB1WDw== X-Gm-Gg: ASbGnctNg84XoL9cSj6CqFykkrIEMmN49uu8W4ZXV33FGYCigfhbKXfUEHV0uXIxIzc SIFKLQNrBLuykAZ+vdJfBXyJMAGSzieAgjpuuljGvzxWDPPl0IQUiUdWhgqrvXhEDxCIMAOizU4 tyhfSrcYPlV+Trh88eM4k0nq6jdr/jD/wiZMcV5zyjV7Rfx4dRTG+zMHjgV+NhCfiDRKTnHC+qg ratBGiO X-Google-Smtp-Source: AGHT+IGM0owRLrcTcBmB4hH1xoF+0dnsA7tsRgKArpBpDoMRoht2fZptvuqRKm3y+CHRfukuljlynw77a37JXmDPGcU= X-Received: by 2002:a05:6e02:2703:b0:3df:4cf8:dd46 with SMTP id e9e14a558f8ab-3e25331067emr162307345ab.10.1752587785837; Tue, 15 Jul 2025 06:56:25 -0700 (PDT) MIME-Version: 1.0 From: Samuel Hym Date: Tue, 15 Jul 2025 15:56:08 +0200 X-Gm-Features: Ac12FXyrkHSalItGuQchT_Mj6nh0Ji3-fWWBArIpFtG9e5mZGQfTtnJiEZSfvK0 Message-ID: Subject: [ANN] MirageOS on Unikraft To: Mirageos Devel Content-Type: text/plain; charset="UTF-8" Dear all, We have just published on Discuss the announcement for our port of MirageOS to Unikraft. (Discuss makes it easy to publish the benchmark graphs in a readable way :-) https://discuss.ocaml.org/t/mirageos-on-unikraft/16975 Looking forward to hearing about your experience with it! -- Samuel Hym From mirageos-devel-bounces@lists.xenproject.org Tue Jul 15 14:29:04 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 15 Jul 2025 14:29:04 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1044462.1414551 (Exim 4.92) (envelope-from ) id 1ubgeP-0000jQ-Da; Tue, 15 Jul 2025 14:28:57 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1044462.1414551; Tue, 15 Jul 2025 14:28:57 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1ubgeP-0000jJ-B6; Tue, 15 Jul 2025 14:28:57 +0000 Received: by outflank-mailman (input) for mailman id 1044462; Tue, 15 Jul 2025 14:28: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 1ubgeN-0000jD-Lz for mirageos-devel@lists.xenproject.org; Tue, 15 Jul 2025 14:28:55 +0000 Received: from fout-b5-smtp.messagingengine.com (fout-b5-smtp.messagingengine.com [202.12.124.148]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 08028090-6188-11f0-a319-13f23c93f187; Tue, 15 Jul 2025 16:28:53 +0200 (CEST) Received: from phl-compute-10.internal (phl-compute-10.phl.internal [10.202.2.50]) by mailfout.stl.internal (Postfix) with ESMTP id 2F2241D0024D for ; Tue, 15 Jul 2025 10:28:52 -0400 (EDT) Received: from phl-imap-16 ([10.202.2.88]) by phl-compute-10.internal (MEProxy); Tue, 15 Jul 2025 10:28:52 -0400 Received: by mailuser.phl.internal (Postfix, from userid 501) id A628C2CC0083; Tue, 15 Jul 2025 10:28:51 -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: 08028090-6188-11f0-a319-13f23c93f187 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= somerandomidiot.com; h=cc:content-type:content-type:date:date :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:subject:subject:to:to; s=fm2; t=1752589732; x=1752676132; bh=VBMoKGy6xtQXNwxdG6sNruRkbuX8uCa8D5EwgjDg7ko=; b= iivlI1PpJmudOi6ZXe/be/a9JVyXsSOhupk9ICcRJSsbdfDEOCzPmiU33USQr/j0 6kqViSTIf0LsTLdigb686D2CV5PqJAXH0UhQiwPFh/lxJ+nUYtaDl3ciHpYlfWiy o/kujp1xy/OsXlv44GUWymfVLH7NHDotk7HzIPODAjeuEYpIPYSux7lVGKRufo7G cH+u3+P4vottiGY2CgsvpWUrzP2wtWL+oUCzknLUaYArhpGhFpO6q5CnE9U9CTF8 NczfKf4iRiAa61TK6f0BHGPQGesrmobGeUcwNNE1g71bf4YiusYymJj8ywozl9z1 hxkq2UHj5AlZoeQSH3IQCA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:content-type:date:date :feedback-id:feedback-id:from:from:in-reply-to:in-reply-to :message-id:mime-version:references:reply-to:subject:subject:to :to:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; t= 1752589732; x=1752676132; bh=VBMoKGy6xtQXNwxdG6sNruRkbuX8uCa8D5E wgjDg7ko=; b=k4YwQ/rTlQUQ0vl56o1TNjkOWzdEwNqlKr4sQlt5SASsfQmz2Oj 1Go3PE8YxT6BzFoB+SGPgN4ydKLgL/XVbZfIheg4EalZjseNXX9SqLUPGOnurwP4 fGaE8XCdhdnl3mKjqrN1XhjSGb21xU31RZYHSKRgGIAydTb1+vxxJaN1faRiKabQ diTXCbB9Q8DDginH7lolKi9PSeSniJXRAKAHnIT76Vt5MiZjSl5U8lnfpl9qBreU xGccf0wpqpY8nRBy0Nne6cPiuBBaVkOxrCE/zEPf7YwLWLqdjXWHt6GSKXIWKzZe MblyE++0CeWsY7Bk2E9UyAlv4DW1OTgdJdw== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeeffedrtdefgdehhedtjecutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpuffrtefokffrpgfnqfghnecuuegr ihhlohhuthemuceftddtnecunecujfgurhepofggfffhvffkjghfufgtsegrtderreertd dtnecuhfhrohhmpedfofhinhguhicurfhrvghsthhonhdfuceomhhinhguhiesshhomhgv rhgrnhguohhmihguihhothdrtghomheqnecuggftrfgrthhtvghrnhepgedtveeiheehhe ffheejgfejteevveehkeejiefhuefhgedtheefgfeuiefhfffhnecuffhomhgrihhnpeho tggrmhhlrdhorhhgnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilh hfrhhomhepmhhinhguhiesshhomhgvrhgrnhguohhmihguihhothdrtghomhdpnhgspghr tghpthhtohepuddpmhhouggvpehsmhhtphhouhhtpdhrtghpthhtohepmhhirhgrghgvoh hsqdguvghvvghlsehlihhsthhsrdigvghnphhrohhjvggtthdrohhrgh X-ME-Proxy: Feedback-ID: ic7fe48be:Fastmail X-Mailer: MessagingEngine.com Webmail Interface MIME-Version: 1.0 X-ThreadId: T0655d39e4bdacd9f Date: Tue, 15 Jul 2025 09:28:30 -0500 From: "Mindy Preston" To: mirageos-devel@lists.xenproject.org Message-Id: <3a0a3363-8fe9-4c90-8795-8e395cf7476b@app.fastmail.com> In-Reply-To: References: Subject: Re: [ANN] MirageOS on Unikraft Content-Type: multipart/alternative; boundary=82f821e85fd94d8fa4274c0416e02671 --82f821e85fd94d8fa4274c0416e02671 Content-Type: text/plain Content-Transfer-Encoding: 7bit Thanks to you and everyone involved for the writeup and for the enormous amount of work required to make this happen! -yomimono On Tue, Jul 15, 2025, at 8:56 AM, Samuel Hym wrote: > Dear all, > > We have just published on Discuss the announcement for our port of > MirageOS to Unikraft. (Discuss makes it easy to publish the benchmark > graphs in a readable way :-) > > https://discuss.ocaml.org/t/mirageos-on-unikraft/16975 > > Looking forward to hearing about your experience with it! > > -- > Samuel Hym > > --82f821e85fd94d8fa4274c0416e02671 Content-Type: text/html Content-Transfer-Encoding: 7bit
Thanks to you and everyone involved for the writeup and for the enormous amount of work required to make this happen!

-yomimono

On Tue, Jul 15, 2025, at 8:56 AM, Samuel Hym wrote:
Dear all,

We have just published on Discuss the announcement for our port of
MirageOS to Unikraft. (Discuss makes it easy to publish the benchmark
graphs in a readable way :-)


Looking forward to hearing about your experience with it!

-- 
Samuel Hym



--82f821e85fd94d8fa4274c0416e02671--