From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 15B1EC5479D for ; Wed, 11 Jan 2023 14:43:52 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id A303F8E0003; Wed, 11 Jan 2023 09:43:51 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 9B8D18E0001; Wed, 11 Jan 2023 09:43:51 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 859518E0003; Wed, 11 Jan 2023 09:43:51 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0017.hostedemail.com [216.40.44.17]) by kanga.kvack.org (Postfix) with ESMTP id 71AE58E0001 for ; Wed, 11 Jan 2023 09:43:51 -0500 (EST) Received: from smtpin05.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay06.hostedemail.com (Postfix) with ESMTP id 3972FABF5F for ; Wed, 11 Jan 2023 14:43:51 +0000 (UTC) X-FDA: 80342787462.05.5A1ABFD Received: from mail-lf1-f44.google.com (mail-lf1-f44.google.com [209.85.167.44]) by imf29.hostedemail.com (Postfix) with ESMTP id 92EA112000C for ; Wed, 11 Jan 2023 14:43:49 +0000 (UTC) Authentication-Results: imf29.hostedemail.com; dkim=pass header.d=joelfernandes.org header.s=google header.b=RHv3FypX; spf=pass (imf29.hostedemail.com: domain of joel@joelfernandes.org designates 209.85.167.44 as permitted sender) smtp.mailfrom=joel@joelfernandes.org; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1673448229; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:content-transfer-encoding:in-reply-to: references:dkim-signature; bh=9ZUfxLtIiOnVrvMcb+ThhoaPRzZmZBsJui0v7FIoz5M=; b=f834hlSwlV1qwL2gd3Mngqa7ICERmadMamboP5iRmu1e9HqreW4oJ3Or2/3md1Ul2BkTFx tcLBUhA/0BJbzFy8EsDNbjXhSbRCHHg0GoYUWfhMTcvbzFsiZvBDn1rETE54pn7LAr/Q76 g8qhEeC3B4paYYTBBnNVZl+jn+wgXug= ARC-Authentication-Results: i=1; imf29.hostedemail.com; dkim=pass header.d=joelfernandes.org header.s=google header.b=RHv3FypX; spf=pass (imf29.hostedemail.com: domain of joel@joelfernandes.org designates 209.85.167.44 as permitted sender) smtp.mailfrom=joel@joelfernandes.org; dmarc=none ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1673448229; a=rsa-sha256; cv=none; b=U1sbniYOXp9hWtQ8DM8IC4q9mHxxUmu03KmSMwKZMLXenEskROpa0fL3tQcM9xusdIbmIl iBn2dg7eLcYWqTOS5wyxr8Y0dgAoXKPadppoA1xf3bAKW5sFIXhNSxUmNQceog/r4sd+zU wtZWoxEv8/eTLqxmIrTEahb49YDedng= Received: by mail-lf1-f44.google.com with SMTP id v25so23811293lfe.12 for ; Wed, 11 Jan 2023 06:43:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=joelfernandes.org; s=google; h=cc:to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=9ZUfxLtIiOnVrvMcb+ThhoaPRzZmZBsJui0v7FIoz5M=; b=RHv3FypXIhYMmqsD5JIcUeN9uT11r7gFT+QEXTRsM5aCk/6yVnxqqqZ4jqvi66a5IQ GbJ8Rp+gFgDLVfdTDj4MEP41JLwAukQxQvC158Z6FpAeDHxV6m8AtcJIwRGisMYZEUTz k75g+VtNFCD2PQOj57NGzY+1PIbNJYz66XozY= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=9ZUfxLtIiOnVrvMcb+ThhoaPRzZmZBsJui0v7FIoz5M=; b=sCTOrdJLQoDn/TdexAfA9t2ZxdDUdOm5eNiU5717pGxa/DSjfPHQH2zH4ny++xNGG9 6vQoH+sFm7mtQJ3t0wcXiIxNIjKfWQhKmVA9cSdKhsTVXiLrKK7mzMfUm4R6EwkC3SwS 6oaA4AufVx2XuMaqNyDZDYEAN6YQTkNCwFjokLz5u22r1uVsyl8VGtnyc0zCG5KIsVqd vsorS0bFIW/wnBJKqPRJc7cA5QpwQswiZSNiebXEgehoHfs40tTPzrRmpffYEtEgaurN 2pTv0TtF2X44GhHlxJMSfvBgbw5wCfgubXzco0XZKf6RljXzUy7k0PsviZ6PEpE2hZKM VDMQ== X-Gm-Message-State: AFqh2koZy0L3wGKUQCT39SVp9bHZsmQa0H+M/bKsrs9GnaJWsY+f6MnK TFFz25NhCsRsNVjNchABlQ3/d0xByJRiUbWBwbrsUQ== X-Google-Smtp-Source: AMrXdXtc0yiR0uWurfegKHD7ZovezSP+0/6Bj8oAX7lK/sPBj9q8AJ7KjIWfMBWYJ/agnbAqJZG5eK3ydH33NZo5CIk= X-Received: by 2002:a19:f607:0:b0:4cc:598c:41bd with SMTP id x7-20020a19f607000000b004cc598c41bdmr1033221lfe.468.1673448227877; Wed, 11 Jan 2023 06:43:47 -0800 (PST) MIME-Version: 1.0 From: Joel Fernandes Date: Wed, 11 Jan 2023 14:43:36 +0000 Message-ID: Subject: LSFMMBPF proposal [General/MM]: SRCU: a case study in memory ordering To: lsf-pc@lists.linux-foundation.org Cc: Boqun Feng , Frederic Weisbecker , "Paul E. McKenney" , Steven Rostedt , linux-mm , rcu Content-Type: text/plain; charset="UTF-8" X-Rspamd-Server: rspam07 X-Rspamd-Queue-Id: 92EA112000C X-Rspam-User: X-Stat-Signature: xc8mn98y9few9mtrydx1qm8a4i66rsgk X-HE-Tag: 1673448229-136090 X-HE-Meta: U2FsdGVkX1+JAOJroTiYOfhUWlojKPRtT4QEWguh4v+rQXgIY2gsnp1K0gBYAhttls3XVvt2AcdRnbD1fXzd0VXd3qG44D9pcqo8fvE+zntxg4SDJJJf4ybGbP6ItQ8uEhN/fBgvzlOjTqr6QJR73bYJ1ou/h7cz53QnzT3RkRpDzA56sC7mDTAETIMv56VpZ42KLurv/3pAC5kYjunWr/DSspTZHSby4g0y936lOVuCHEJD8Yok2pMHYnd6Pe52Nu15onXa1/wB9CdAXELyAAlz5T0Ma9uo3dnCcYYMQhRpOy0Mhi+jqJANnMYxuHzFJvsIa2qydFEbwRz/2uv4Lsnmhw8hlg9kornVZp7loQbAY0B/hE9SZ4RnFRU9EqnmumlmtwewARjWKi2t73MaV9tbg5ir7FwkjNeMnaLX7uOr0MMpH1gjAafUjE2bzScy/iJNFVUX/s3bAQNglMoTRsEOu0n4TENPQQa3xOYg3TS8Xx6Qrg6yB9vPQzUeosKaBocJGtZK0NwCIIszktFf/jYOKF8Bz26CohINylTpak0HD0+2bK72uCRo5Mhq3Z5AHzzZZA85K7OUzg2uyxGQ2psKcLzb/lDcQ929rxYIw3ihrC8h0HZvJhQthOhLBIyj/sTiTxtW8I+q1bLuGIZk55e8MsLO1A+xPZoVJRLINt+r/20K3CPzwk1nJbkjm6Hoo3FJtKhytlUy/b5v2cSI/7gbwYbvN+HtTq4Cxn1DgVxZUja9nTktSRXQYr6W00gUBlPcCG8xS9retR4kv7UuK+O876m1vnfuUsRpwwx2xgajQGWLFKreLH931XgbhltHpaESBH8ZoXIbhCYY1uIXbyP0te6G3uaCsTK72TtVpQB5D726fi7alNy2VX8AtDGvNMnFFAj5JXr27h6ualYeRIpEnhNGU34QaOrnjt0d2q6+9wJM7JBw86wD0CfFtQZmp7SMerddAsu/vzJSK3G oEA34QXv IsdWM6SUKFELH5VjuYsq060eCWOvYIsv30XMc9QoQBp7PoQSwuoLrGRmtAqPnBqslwGjzSTXWCNJprxU3sTk5tHscgg== X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: Title: SRCU: a case study in memory ordering Description: Memory ordering guarantees are the backbone of SRCU, an important RCU synchronization mechanism in the kernel. Can we use the Linux kernel memory model to understand complex concurrent code better? In this talk, we will go over: - SRCU internals overview and why it works - Discuss in detail, all the 8 or so memory barriers in SRCU and why they are needed. - Comparable access patterns to each barrier (LB, MP etc) - Linux kernel memory model (LKMM) experiments on studying effects of each memory barrier, along with execution candidate graphs generated by herd7. - Possible formal methods / models. - Discuss both correctness and forward progress issues tackled by these memory barriers. (Resending as my previous email got messed up by mail client, thanks). - Joel