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 D6E90C54EBC for ; Wed, 11 Jan 2023 11:32:24 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 322328E0002; Wed, 11 Jan 2023 06:32:24 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 2AB918E0001; Wed, 11 Jan 2023 06:32:24 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 14BE38E0002; Wed, 11 Jan 2023 06:32:24 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0016.hostedemail.com [216.40.44.16]) by kanga.kvack.org (Postfix) with ESMTP id 0108A8E0001 for ; Wed, 11 Jan 2023 06:32:23 -0500 (EST) Received: from smtpin28.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay05.hostedemail.com (Postfix) with ESMTP id ADFC1404FA for ; Wed, 11 Jan 2023 11:32:23 +0000 (UTC) X-FDA: 80342304966.28.7F71804 Received: from mail-lj1-f174.google.com (mail-lj1-f174.google.com [209.85.208.174]) by imf29.hostedemail.com (Postfix) with ESMTP id 080AB120013 for ; Wed, 11 Jan 2023 11:32:21 +0000 (UTC) Authentication-Results: imf29.hostedemail.com; dkim=pass header.d=joelfernandes.org header.s=google header.b=fGgcnBzB; dmarc=none; spf=pass (imf29.hostedemail.com: domain of joel@joelfernandes.org designates 209.85.208.174 as permitted sender) smtp.mailfrom=joel@joelfernandes.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1673436742; 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=1VC9jj1+fGPF0+QL1JhllW6gwC2WPzsdPHXtPOmDQIg=; b=zCqPrBVvZK9PRJrUN+HULXP4V0ytrGSbE6qyNHxjmoE6LGtBbHZEuaIiS7DXyrAcmobD6G /1YyUvCm/RozsBXZMQtgA1XjgNoDzMZ7dpwbArQzWGfgxyOXf/uDWDC9/ZwVN+qrBJkufq y7ATB9PjUTzyC/8buXRtRjcWFBYmdps= ARC-Authentication-Results: i=1; imf29.hostedemail.com; dkim=pass header.d=joelfernandes.org header.s=google header.b=fGgcnBzB; dmarc=none; spf=pass (imf29.hostedemail.com: domain of joel@joelfernandes.org designates 209.85.208.174 as permitted sender) smtp.mailfrom=joel@joelfernandes.org ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1673436742; a=rsa-sha256; cv=none; b=ltuZqUGpzEf9gMF8eUmvOujwxATv19gLxTF39OL0o5NFjnfGkQbygfbs/cOcsXla0lM93Q 5/oDWRH7HUjusPAAXMXLsTkCaUnoAcaK1Qih7bXXuSJiZ9l2+DZm0VbENgXp6MoR14L6n1 Gct619XkUvuVCffSOZnGZ3qWRlcicvg= Received: by mail-lj1-f174.google.com with SMTP id n5so15171549ljc.9 for ; Wed, 11 Jan 2023 03:32:21 -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=1VC9jj1+fGPF0+QL1JhllW6gwC2WPzsdPHXtPOmDQIg=; b=fGgcnBzB8v5zDIWYC6ynZ+pv2fQ4T+XQl8L8bqFuB5lpmo/SIT+KkFHeGxtmcAH4HH StyD8td77zokcHbXYmW8O/Y5Gc2SntG76eYx0xPcXi9nidb6SE+nvI2aW8p6UeDkC7ed np7siPY7NB3P9jecnR3+EyAq1mdeJ06MHq4jk= 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=1VC9jj1+fGPF0+QL1JhllW6gwC2WPzsdPHXtPOmDQIg=; b=JTeb9N16jroOc7m2ssUL7whPw+qtdoj3oiyqGmQ0iWYHTtFPqhP4QHcKyTfVk15MVE z1aByHi5YX3HdwZbpL8cRI77ZTcHir7+xTV0DGZ2WxjqFSj+PQ5gdkFfbWb+rZxV/+W6 fWM74wLnQIMNyD7ZgT0aK1uorlV+RgoPYEBXaqNd+xzyciv8AhP223SI3asdfjUtrq1n oSxyhtrKK6mDqX34vW+VBUv1+aNas85ipnYeDWOganXcuLFeGYEUVkzE/BLmrmha7k2e dnx2RayAXfU6uYKPFZr14TNyV/1n3eOaqyP47uEB3HGPocGt118/JN71BCJlP0XQlkp3 xAMQ== X-Gm-Message-State: AFqh2kojN1IUSHwtpoYN9S01KTt1yvzdduSfHMg09jiA8c16/m4/ZCk4 YClndQwF/YMb8jzUE8zNvfl8f8k7Qbjj3yqwzgL5mA== X-Google-Smtp-Source: AMrXdXtdU16FC4bIZ13e32k5hK2wM8+J8peCj9MgEV6895WGpPtmVEtuT3pAuiI+WDO6zji/FuXUyvYJy/37Sk/Gifk= X-Received: by 2002:a2e:b8cd:0:b0:283:436f:3d1e with SMTP id s13-20020a2eb8cd000000b00283436f3d1emr930780ljp.483.1673436740179; Wed, 11 Jan 2023 03:32:20 -0800 (PST) MIME-Version: 1.0 From: Joel Fernandes Date: Wed, 11 Jan 2023 06:32:08 -0500 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: multipart/alternative; boundary="00000000000073ebf305f1fb5ae6" X-Rspamd-Queue-Id: 080AB120013 X-Rspamd-Server: rspam09 X-Rspam-User: X-Stat-Signature: 4rp3wrpg8y3nuy5s3jxmhuws5c8f1ydi X-HE-Tag: 1673436741-922244 X-HE-Meta: U2FsdGVkX1/mjbKvnxJeYGgfxWxppDOeVWkWlU62NNXPt4MJw93o+9gLx8Quf3vHNVX25dwEBaURTdwPiqrJMXD8JJKMn/Rrq7cW1WdXSeAPJit+73gwS3S3ZdHWINe8+XLzZvsM1vq6DsW1yYb1dcbz+FcOAxkhrninvrohMgHNhLiqV9TPeKooWETNF6UXACfFeVsSVUHdbZ6qJfVbjdjavQOjBq2x/WQ+zpwoAdho3MPv/S/PAMyoLjqJcvNEZtmYhnKaVUNgRsPGXZsOoTSCdWnjOLqWq1VE+5X2sUkLevG/SAg8D4Z9uONIvVwTxWOBtj8mYVYoctv0fHCvQ2uZMjvfpOgYu9YQRYpyMfsqzBnp5eLXujnZWwaewFHmo7buHHUjFHH3MYVTdjHGD50un4syEVDEu/CrFygxcL31y8mgQZoJpAGxtoNB3bbJHJBVbqGs4sD/TX8Coaqygg3hjm7r+vgA46qg4uoHOoWG5ZTt6kF635ZVHk1mp03KAecKAc5eSNAMMbZscUqiT3YWyBbRoUyTEO2Vpr4eWDPBlPMQ7S5sQ8o4bmvUqV++1PovxOxZw3eSrYW/o5JJg+L5h5ENj/TGatlJnkPBN9R0RouPSt989J0JcJ0SF7rz/rLCb4USXX6hg73Bsf+GQ5+Xw3CVNgofBw60WYD3F7NsYRT9g7H9Ktc2KJu/tvKsBoMyk87kE79e7Qjm17L17MajslLfP4uV2ISD9ZyNWKPWABR2zlkFgCTBADprXKg5iv3C0JzQkj7V3NqbBOidsqDptgot47pAEk/9TGPC8mP+0sbrf9cttDFl/VCCTr4+5M5GAabBCzO4gwNFwZl1fl2NbOYUTzLxAaYqAZcBP+5S1ZmopzB3Zayb8r/6MAthLfepdniSJkYMtBsgUkvEjMPD2QlWNId2qvK0VXpmRFkKckTOVXU6qZz9X/0P0TTnyYlY5VdUylqMeXMmzm+ cPwjtqtG JNXlKeVkj+6Fw+jCLwrgm0Q8N7WjwFzEx/siBDaFM/KzYJWWb1ypPa6sJB2AyJFiBfd7pv+PGI2rMRJSMcrh7Ec4mj5Uf3mblVlML3RDw1+oFQzE7qazX7ytyhA== 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: --00000000000073ebf305f1fb5ae6 Content-Type: text/plain; charset="UTF-8" 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 - 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 --00000000000073ebf305f1fb5ae6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Title: SRCU: a case study in memory ordering

Description:
= Memory ordering guarantees are the backbone of SRCU, an important RCU synch= ronization mechanism in the kernel. Can we use the Linux kernel memory mode= l to understand complex concurrent code better?
=
In this talk, we will go over:
- SRCU internals overview and why it works
- = in detail, all the 8 or so memory barriers in SRCU and why they are needed.=
- comparable access patterns to each barrier (LB, M= P etc)
- Linux kernel memory model (LKMM) experiment= s on studying effects of each memory barrier, along with execution candidat= e graphs generated by herd7.
- possible formal metho= ds / models.
- discuss both correctness and forward = progress issues tackled by these memory barriers
--00000000000073ebf305f1fb5ae6--