From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754475AbdIFXL2 (ORCPT ); Wed, 6 Sep 2017 19:11:28 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:54572 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1752351AbdIFXLW (ORCPT ); Wed, 6 Sep 2017 19:11:22 -0400 Date: Wed, 6 Sep 2017 16:11:17 -0700 From: "Paul E. McKenney" To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org Cc: j.alglave@ucl.ac.uk, luc.maranget@inria.fr, parri.andrea@gmail.com, stern@rowland.harvard.edu, will.deacon@arm.com, kstewart@linuxfoundation.org, dhaval.giani@gmail.com, rostedt@goodmis.org, josh@joshtriplett.org, longman@redhat.com, dave@stgolabs.net Subject: LPC Linux Kernel Memory Workshop next week! Reply-To: paulmck@linux.vnet.ibm.com MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 17090623-0052-0000-0000-0000025C36AD X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00007679; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000226; SDB=6.00913281; UDB=6.00458358; IPR=6.00693543; BA=6.00005574; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00017041; XFM=3.00000015; UTC=2017-09-06 23:11:19 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 17090623-0053-0000-0000-000051E90478 Message-Id: <20170906231117.GA21582@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2017-09-06_07:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 suspectscore=0 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1707230000 definitions=main-1709060328 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hello! Linux Plumbers Conference is coming up soon, and with it the Linux Kernel Memory Model Workshop. You will get the most out of this workshop if you install the memory-model tools ahead of time. Don't get me wrong, we are of course happy to help people with this installation, but we would be even more happy to help people use the tools and the memory model! Plus, if you install ahead of time, you have less need to worry about the condition of the Internet connection during the event. ;-) Here are the installation steps: Installing the memory model and related tools: 1. Install ocaml v4.01.0 or better: http://caml.inria.fr/download.en.html (Or, likely easier, install your distro's version) a. But if you choose to build it yourself, do yourself a favor and read -all- of Step 5 before starting, or you will miss the "make world.opt" shortcut b. In addition, recent versions of ocaml require opam (see "herd" README from next step) 2. Download and install "herd" tool: http://diy.inria.fr/sources/index.html 3. Download and install memory model itself: https://github.com/aparri/memory-model 4. (Optional) Download litmus tests: https://github.com/paulmckrcu/litmus Steps 1 and 2 are the most time-consuming, and thus the most beneficial to complete ahead of time. Hope to see you there! Thanx, Paul