linux-kernel - LPC Linux Kernel Memory Workshop next week!

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [day] [month] [year] [list]

Date:   Wed, 6 Sep 2017 16:11:17 -0700
From:   "Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
To:     linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org
Cc:     j.alglave@....ac.uk, luc.maranget@...ia.fr, parri.andrea@...il.com,
        stern@...land.harvard.edu, will.deacon@....com,
        kstewart@...uxfoundation.org, dhaval.giani@...il.com,
        rostedt@...dmis.org, josh@...htriplett.org, longman@...hat.com,
        dave@...olabs.net
Subject: LPC Linux Kernel Memory Workshop next week!

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