DMARC-Filter: OpenDMARC Filter v1.4.2 delorie.com 4BIMPbx1638094
Authentication-Results: delorie.com; dmarc=pass (p=none dis=none) header.from=cygwin.com
Authentication-Results: delorie.com; spf=pass smtp.mailfrom=cygwin.com
DKIM-Filter: OpenDKIM Filter v2.11.0 delorie.com 4BIMPbx1638094
Authentication-Results: delorie.com;
	dkim=pass (1024-bit key, unprotected) header.d=cygwin.com header.i=@cygwin.com header.a=rsa-sha256 header.s=default header.b=EfchBfmk
X-Recipient: archive-cygwin AT delorie DOT com
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 30C2F3858D3C
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cygwin.com;
	s=default; t=1734560735;
	bh=UP2zVQ7z7Xq85SRdhopwGYF7ih2qR0yLqGi8ATIPb+M=;
	h=Date:Subject:To:References:In-Reply-To:List-Id:List-Unsubscribe:
	 List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To:
	 From;
	b=EfchBfmkXdLZYhnsF8ZCI/Y/3n7ZP8UKYt5xl/0wZyMRF9W0O9qOMUR9J3ePfXjXB
	 FxYZwkYQkyf1TOj8jGRWmqtf2G6Du0h3AZ8yCKSwV6FDleH+vrM/NsXU7ddZOII9v9
	 fVTh28kwa9i6KsElnl8CUuEguvOSsYOqpGh5RZtM=
X-Original-To: cygwin AT cygwin DOT com
Delivered-To: cygwin AT cygwin DOT com
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 09C803858D20
ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 09C803858D20
ARC-Seal: i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1734560707; cv=pass;
 b=LEgDYkwSa+tnmxDzlgsbFjUSRnspu8ozEo9H+aSouEA6Mwp/Mc5Qi8R+vprJkLu9RjCmUFGRRKuF9EckEeXHLZWO8cqPo3qoTCuySgEpoNEVZxE2KsVutAk/iwVeX0G2S7CZJ2b61zqgyV4gnkAJA6bMrdmrtszNhbkot6MSqQI=
ARC-Message-Signature: i=2; a=rsa-sha256; d=sourceware.org; s=key;
 t=1734560707; c=relaxed/simple;
 bh=mH+/DF3YR4katMbP7svg57cRMm10xYp5eNm8qJMDSG0=;
 h=DKIM-Signature:Message-ID:Date:Subject:To:From:MIME-Version;
 b=x9fB9JP0pX4sGVDcxYnhTR6h1WI6NgskhhblXe1Q9VkZIRS2CdI6JPCPz45HgTWZxBfzyq5620lrPY1hXH4pJ7Vd/d1zP1LSOWonbgQS3kGUdA3Vqq3OqiihEaBq93EVtkGJyVTh3vfhQYro8LihBFS2MqqwKkh3LLka7JnooXI=
ARC-Authentication-Results: i=2; server2.sourceware.org
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 09C803858D20
ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none;
 b=LREGxeajxNwhaUUr6mH/q/UB2+CBL0LvkhL2ejOITJHV1NqayS5GMAq+6yNDX0vrF6jt44fxf9BbdCFHMc6Z/gmIQ/5pAOdgTWeSk2/RD5+SIjBA3Db9VeoCFFI9VcUC6vqpZY9DEm8DLEu4bb3Z3RNWZZ3WalZ5l1LwJ8KBxc7ofAvtcm3PG5/zDZ1wZbxbl0h9/EzUFmmyPt4tUmXlu+DvGcbB/7OO3Wc/0xoqF1VDp4ETTi07oHhUWwkbOx9BkiKYyKZnX4PF2zh/y9H86pKqt/wd1IZh0AbMVHehAXj64OFw8nggH5tSn0vqRVd9KSGcqLrGi3068MRS9oI4zg==
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=vlfAD8EwtBgZIpdXLg28ypH3oXy0e2yalROBBBBLktE=;
 b=mbDqXJonmeGoqFXgJHg9mVzXY8qdIaceO+UQ4u4BiPIUSf4wD7p3oD9YC9QhhTre6IbQoISOv23bxDw7hUZdL8e+G6UAFTUVixo/rMt+uYeueF8SFfWHJ9/4gJOtcj+6kXcL39NhlOThXjs4okcLd3okYiU1o48bFjo0N4+qqsGo9e1XTKl0q3PWptx3fSROo7AdQTSegw2l6vJyUbT+mM73mXTm53grcoYUnT7PDUu9LpUG0nNXKUqEv+005VcnNdzaI6kvEmBLMP4cyKCGmlUWqpMCMOTbYT7+qAdoLIXo5u4wMMbaVHw+X3xCQ/OvrZROYeMH089zO/4DCnUM2g==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
 smtp.mailfrom=cornell.edu; dmarc=pass action=none header.from=cornell.edu;
 dkim=pass header.d=cornell.edu; arc=none
Message-ID: <60ceffc6-083e-4877-982f-76ae121a4a99@cornell.edu>
Date: Wed, 18 Dec 2024 17:24:59 -0500
User-Agent: Mozilla Thunderbird
Subject: Re: Atomic mmap replacement
To: cygwin AT cygwin DOT com
References: <20180219090042 DOT GC3417 AT calimero DOT vinschen DOT de>
 <e6b3bd42-f981-405e-b65b-529693598735 AT cornell DOT edu>
 <d84f7f6c-5527-4f39-83a5-1aa16d8e451f AT cornell DOT edu>
 <Z2AsCg7Oo4FyHFjG AT calimero DOT vinschen DOT de>
 <b7564609-6a87-4691-b5ec-1f56b51543df AT cornell DOT edu>
 <bb796c13-c2b7-48a0-899b-cc7485fee783 AT cornell DOT edu>
 <Z2GpCxIUDMqp6yen AT calimero DOT vinschen DOT de>
 <cbeac0c9-70a1-4be9-acbb-eceadfde2e1e AT cornell DOT edu>
 <Z2LcCIToHJ8Xc0VV AT calimero DOT vinschen DOT de>
 <b060fb24-ba47-45f6-95b1-cad18aa01df6 AT cornell DOT edu>
 <Z2MV__BG-IdmtGvc AT calimero DOT vinschen DOT de>
Content-Language: en-US
In-Reply-To: <Z2MV__BG-IdmtGvc@calimero.vinschen.de>
X-ClientProxiedBy: MN2PR20CA0041.namprd20.prod.outlook.com
 (2603:10b6:208:235::10) To SN6PR04MB5151.namprd04.prod.outlook.com
 (2603:10b6:805:90::25)
MIME-Version: 1.0
X-MS-PublicTrafficType: Email
X-MS-TrafficTypeDiagnostic: SN6PR04MB5151:EE_|BY5PR04MB6392:EE_
X-MS-Office365-Filtering-Correlation-Id: 62930a8a-affd-4f5f-c623-08dd1fb2d038
X-MS-Exchange-SenderADCheck: 1
X-MS-Exchange-AntiSpam-Relay: 0
X-Microsoft-Antispam: BCL:0;ARA:13230040|376014|1800799024|366016;
X-Microsoft-Antispam-Message-Info: =?utf-8?B?bVhUM0xuMmtvVTJoN29mcXRwWlVXa0NyQ2lkUkppZC96UlZOazlIU3NFOHky?=
 =?utf-8?B?NWttTHREZ3RGblZlM0FzcW9Pejg2UUZ3NVgwNUE3ZWt6VEZWNVhhc1crMjZL?=
 =?utf-8?B?Vzlyb1RBcXlrSWUwT01BQlc3S1RQbnpsWk1BMlpnNXFsMWpuTkhQazlSVnY3?=
 =?utf-8?B?aGRNL2FGZjZ6RDB1SGY4ZE9ySzg4aVQ4bUxOL3FHUzMvcEJsb0pqeUtSTWpD?=
 =?utf-8?B?NDVRNlJrcFF5ZmlJMlM4bDVNTHF0TzdWSGVVcGpFYlVoeTBRMVhlVFcvb2xJ?=
 =?utf-8?B?eXhUTTBBSUJVZnBJRFh5Z3pJTjZRRjFGUW84ZVR0Q1YzTmxKN0lCSzc2L3Jo?=
 =?utf-8?B?WGlBL1EwWWxteFE4UGFyUm1iUjRYekM5K0VPMzB6QWJTRkNYMVlpb2RubEJp?=
 =?utf-8?B?M0FxR1BvNjdzOTFROU1BSWlucEMyTWFDZzdkSm9obFVkaFFBYTcvUmljRTlG?=
 =?utf-8?B?NmdZRWJCUytHRjk5Yzh5ZU02MWZ5UHNJMHFZYnVpTkYzUlJpUnZuUExQQlN5?=
 =?utf-8?B?VnZ0UUJpL1VHa2hsSjIvLzk0bk9JTE9PWURvWTFleE5kY3dqZTZmZyt1ZjVP?=
 =?utf-8?B?L252WjM0ZUI0V0dIdFppOGFGMFNTSUZ5WStwdlFEWW15eWdPNkJTL3o0Q3Nn?=
 =?utf-8?B?UGhONy9raFBCZEZXSUg1bTYrejY1K2lIQk43M0NBaXo2S3MrVWJCbW40SDZ0?=
 =?utf-8?B?VGJBaml4SWVpWHpvYkhrTXU4SlQrQWVpUGw4cHRHa210aGZYYlB1TFN1dHk5?=
 =?utf-8?B?cFkrMzRya2dHalY1azhTWGlJM0ZDRUVHNlRpMktKMzBJNlVnMEwyc3Q4bzla?=
 =?utf-8?B?MFNyZlY0QUp5WFBzSHZ3VE56a2hYL0xiMUpGdDd4emxaV1RITkVuS0lKcVZw?=
 =?utf-8?B?MGJxbnFZY0RyNDlEM1gzbGxVTW9MeWxlVXF0cHFDTXVJMG5pS3NrYms0QTFV?=
 =?utf-8?B?Q0dKYU51MHpGV3pITmt5MURQdWVteWJ0VFFadG5wVVlPNjUzUnNiNlMrQzFP?=
 =?utf-8?B?TjcyMkZydXBZcUdYNThaSTl1dWpoZUpCTTJJSjdnWVZnZWJha2t4QVRUenFK?=
 =?utf-8?B?MXNKcGdtRktVY2FUYUNtOVBZTDdHb21ZUUV1eDBkTHhudmFIYVNqRGRjbC81?=
 =?utf-8?B?RGNpLzNyekpDVEd3aEMyM3V0cW1BMnZ6SEtvY0ZqRzh2L3haTUMrYmFoS0ZL?=
 =?utf-8?B?UFhpQnNiS2dyalJUSjZGUndxeXpZQW1OeU9mbDNTVzJqT1J5djJPZHBDQzhj?=
 =?utf-8?B?bms1NUlOVUV0eWhaV2NteXpGS1RnWTRubmhYT2FmSnliMGthN2gvalFvNElu?=
 =?utf-8?B?WkZJSk1pdWVHUm9DZGNKRDgyNE1WUGtLa09JUWZrc1FlMnFMaUV6eDRKQmx5?=
 =?utf-8?B?TS9NM2R0c2UzcVBFN2UwV2NCOVBhWU90cWtBaFpodWE2dzlWbExSdG1UUjZU?=
 =?utf-8?B?Z0F0RVJkSlFEdXFQczhiUytaMG84emFDNXUxaDY3VncrUHI4MnhzczhmZGR4?=
 =?utf-8?B?VWxuKzlURlQ2M3UyS1BZa1ZVK2RlS1VwWldkZmRJLzB1STZoRVpqQ0hIM0ky?=
 =?utf-8?B?TWt2TjQ3RU5zWEdZVDQ1RG9aUlVmSHlGU2Y5clJYMSs3cklnT2FTa3p5VjBY?=
 =?utf-8?B?ZVNLNlV5WTlxVDl5bjAwcmNMVkNBYlg2aGRQZ1FLTXpxQ3R0YjRyMG9PbkRo?=
 =?utf-8?B?N04yaUhsWjJIOHppOXhIMXM4NzlEazNNaUhuRG85eDdjd1drbG1WN25NaXo2?=
 =?utf-8?B?WEpQNlY0V1l5NU5TVERBSkRNcEp1eDBwSEp3MkloaUdjTUk5TElGVXFsalBl?=
 =?utf-8?B?dFZ0M0xSMm5vZVNOTkxFT1drQjZKYU50VXAvMFZtY2hGam5oOTZ0Q2x1N1Zx?=
 =?utf-8?Q?liG/3EwHHL7nc?=
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
 IPV:NLI; SFV:NSPM; H:SN6PR04MB5151.namprd04.prod.outlook.com; PTR:; CAT:NONE;
 SFS:(13230040)(376014)(1800799024)(366016); DIR:OUT; SFP:1102; 
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?SGwrS0VxNHZ4VmxBd1Q3dkJGQUFrQXkyN1NkS3d0eW1jQUVha3BrVCt2QVNW?=
 =?utf-8?B?T3RBVk1ZZ0o3WVZGWGpyZVVEVzVjc1VLS1E0WU12Nk1PSDVvZWsvVEhONFBi?=
 =?utf-8?B?MkliVWprVXBVWXdGU2ZzTUFmZ09qSGxuNytGM01jZ1U2aHdyaFlDbTVlSWl2?=
 =?utf-8?B?U1hOQzdCSDVrUG0vWWZ5bk90M3JRUjBINEZnUVVDMW9GMm5wRmZpOTNjTzJM?=
 =?utf-8?B?SW85OHJCcDAvd0hKNzhQSzhoSXNrSDhnV0pqMDFyUzN5OThhYnZqaS9OV0do?=
 =?utf-8?B?S1R1eWNGVmdQMFJubnlab2g0OVI2YU1CcGFjajFkQ25KT0VnaGZhZkZGbkFy?=
 =?utf-8?B?ajlteVF6alZCSmJQNUFRRVlORlFobVYyVlkxaVBxUFAwNXkrR3ZFZ2FRSmhW?=
 =?utf-8?B?M0xNdjMxWjNwek9EWkVLSW52Sk1XNDBybEpnNER1N1N6bm5YQk5EYVRkYjZk?=
 =?utf-8?B?bFhPUlNra3cyYVg2VWxFQ1ZWY0hpVDljYk9VSnZxb1F6R0V0U3QrQTJNY1Uv?=
 =?utf-8?B?emd5U1RwVjA2aFJBQ1BuQ0dWeDJhZ1MvdEdJMXlQTXUvUUFYWkxKZHE0UDVI?=
 =?utf-8?B?b1orcHIrWXJlSWpkeGlFM0FTQVdEdXVpbHBLd3JEMGdET3lnM0NvYU1nVGIx?=
 =?utf-8?B?RVhCUFRIQjd1UlV2VFJjKzJuUWo0bnFyVFFRc3lmQWtIYXBRMnIydDBPSkhW?=
 =?utf-8?B?VzR4UWJjZ242SG9pT0NFWlE2VDRYamdzQll1aGNDQWIzYVQ3Z0JGU0lmcmRU?=
 =?utf-8?B?Ry9BdXJ4QWZ6RTVjSWJpVXovVzVHeXFlMzlrSEUxV0ErcHhsUU13d2JHMWoy?=
 =?utf-8?B?NFBOcnRzcU0rUTdVZ1lGMm1qeS9zZnBGQlpIbmlRR2kzcjlzajlsL01wQXpB?=
 =?utf-8?B?S3RCMTNsblE0dlUrTkI5Z0N4VmVsdk0vc0x0aHh1bnIyQlBES1d4blpxWHR0?=
 =?utf-8?B?MFRZOFV0aUNGRUw1c3RWNGZOR0dENWpXS2VXZjNuZmNtUjlmWUtrVjJ0ZE1r?=
 =?utf-8?B?cGF6TVhLR0pkcUlhWHkydk5xRTc2YmdhL0FkdHQxZjZWUzJNblB0MzBtc0FG?=
 =?utf-8?B?MFBlVGV5WUR3ckxXWk54RENaVmZVM0djcmhPYUVOVDZDcEp6UTNDSENDWXcy?=
 =?utf-8?B?Sy9lcy9kQko2WmlUNVM3YzBuMWlpS3VheVBwRHlSY2tVcmt0dnZVUVpSSUpI?=
 =?utf-8?B?d3lKT2p6VWtlNGdkaUdGdWJBcWxjMStvMFFQNmFZbW8wUEJGZ2xWcldQZ3kw?=
 =?utf-8?B?VmpZQU9oV3cwYy9nMUJJN2VlVjlWTk1tUGhPMENmK3VVVzhPYVpjcERqNWNY?=
 =?utf-8?B?M25PWmlJMEx3VzIzMDFCSEVYUVFXZjNlV1pQeFJRQVpNd0ZFRkJCLytNWE51?=
 =?utf-8?B?aW9XRU5HdUh6ZzMwelRrV1IzTjZjbzFUajhQd0Z5VXlOUjRKQ1dYMEhVKzVS?=
 =?utf-8?B?c3FMWFZFSnQ0b3UwVDRnWXVDK1FNanJPU3pJMkxQSCtrcDJEWDZuOGg4bVUx?=
 =?utf-8?B?VUdzdWE4cWxKbk4yODlBZjRhNFFCekR6bDRWRXNDcnBkTlpJTWh5K0duaDA5?=
 =?utf-8?B?NDl0blFENGlNa2llTzA2VjlGK0xkU25Bc3JtWTFkSFlpUGpkVUt2Mk0yNHlD?=
 =?utf-8?B?Mm5xQWxNZVVpSWVLSFNFeCs5WnVVK0RWZWx4SXBxckxLQkdRNHpsMFZIcmMr?=
 =?utf-8?B?SDF2WFRucDZlbXdmbGdkOXhub213NjRqQUdXVyt0akJCSlBRaTZSc3Qwanp0?=
 =?utf-8?B?V0Zod1Q1RGFSRVl3ck51aEJhYVBjWDRwWUhWVzJ6UUxsTGlOcUtlSmhaVkY0?=
 =?utf-8?B?aHBPRnl4dGpUdEdqRmpSVWttWkl4Z2M0RGNsU2NCODVjZmYzUE5sQTJTa2ZC?=
 =?utf-8?B?b1NrZVE2bDdMZmtCTjVrRTBncTJ6bllXK3BRZ0RBVVpsdm5za0xIMnVzcTJi?=
 =?utf-8?B?ZHQvWTlXOWNhRE9GWXFzTVJXd1BqSzJhVWZXZ0pFWW51VUd2SUM0ZGtXc2dn?=
 =?utf-8?B?RURxUldQMmZrTnJEYjJra1UwZEUrai9NNHhRRHpjZVlQNlprNTdYSGx0NDNv?=
 =?utf-8?B?SnVMcDMyZzVTNjBoSUNKNUdvUEpOY2pULzJ3MTU4eE5nYk9TZ3p1VUlMZEZw?=
 =?utf-8?Q?15RfL80Tm8t90P07ffYss1wmH?=
X-OriginatorOrg: cornell.edu
X-MS-Exchange-CrossTenant-Network-Message-Id: 62930a8a-affd-4f5f-c623-08dd1fb2d038
X-MS-Exchange-CrossTenant-AuthSource: SN6PR04MB5151.namprd04.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Dec 2024 22:25:01.9189 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 5d7e4366-1b9b-45cf-8e79-b14b27df46e1
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: /o07V8y/fgZ14R/+Fs6AuhKouGnvpJjvcVB/gHNh66r0IKpVfm1FPSME+m171cn5ome3XnZb45vfw8qvKoRJTA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY5PR04MB6392
X-BeenThere: cygwin AT cygwin DOT com
X-Mailman-Version: 2.1.30
Precedence: list
List-Id: General Cygwin discussions and problem reports <cygwin.cygwin.com>
List-Unsubscribe: <https://cygwin.com/mailman/options/cygwin>,
 <mailto:cygwin-request AT cygwin DOT com?subject=unsubscribe>
List-Archive: <https://cygwin.com/pipermail/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-request AT cygwin DOT com?subject=help>
List-Subscribe: <https://cygwin.com/mailman/listinfo/cygwin>,
 <mailto:cygwin-request AT cygwin DOT com?subject=subscribe>
From: Ken Brown via Cygwin <cygwin AT cygwin DOT com>
Reply-To: Ken Brown <kbrown AT cornell DOT edu>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Errors-To: cygwin-bounces~archive-cygwin=delorie DOT com AT cygwin DOT com
Sender: "Cygwin" <cygwin-bounces~archive-cygwin=delorie DOT com AT cygwin DOT com>

On 12/18/2024 1:35 PM, Corinna Vinschen via Cygwin wrote:
> On Dec 18 10:45, Ken Brown via Cygwin wrote:
>> No, I'm still confused.  I thought that the interval determined by u_addr
>> and u_len was the intersection of the requested interval and the whole
>> interval of the mmap_record; this implies u_addr >= addr.  Back in the
>> definition of mmap_record::match, we set low = max (addr, get_address ()),
>> and then on success we set m_add = low.  Doesn't that imply m_addr >= addr?
>> Sorry if I'm just being dense.
> 
> Apologies, I didn't check mmap_record::match().  You're right of course.
> So, yeah, just go ahead.
I think I'm seeing a similar confusion in 
mmap_is_attached_or_noreserve().  I'm tired now and am having trouble 
sorting out exactly what that function is doing.  But the definition of 
commit_len looks suspicious to me.  We know from above that start_addr 
<= u_addr.  So the quantity we're subtracting from u_len is actually <= 
0.  That can't be what's intended.  Then in the call to VirtualAlloc, 
we're allocating starting at start_addr.  But how do we know that 
start_addr is in the noreserve region mapped by rec?  All we know is 
that the interval from u_addr to u_addr + u_len is in that region.

I hope I'm just missing something obvious.

Ken

-- 
Problem reports:      https://cygwin.com/problems.html
FAQ:                  https://cygwin.com/faq/
Documentation:        https://cygwin.com/docs.html
Unsubscribe info:     https://cygwin.com/ml/#unsubscribe-simple