Re: [PATCH] tools/memory-model: Document herd7 (internal) representation

From: Andrea Parri
Date: Fri May 24 2024 - 12:01:06 EST

Next message: Keith Busch: "Re: [PATCH] nvme: adjust multiples of NVME_CTRL_PAGE_SIZE in offset"
Previous message: kernel test robot: "Re: [PATCH 07/13] mm/memory-failure: remove unneeded hwpoison_filter() variant"
In reply to: Alan Stern: "Re: [PATCH] tools/memory-model: Document herd7 (internal) representation"
Next in thread: Hernan Ponce de Leon: "Re: [PATCH] tools/memory-model: Document herd7 (internal) representation"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> What's the difference between R and R*, or between W and W*?

AFAIU, herd7 uses such notation, "*", to denote a load or a store which
is also in RMW.

Andrea

Next message: Keith Busch: "Re: [PATCH] nvme: adjust multiples of NVME_CTRL_PAGE_SIZE in offset"
Previous message: kernel test robot: "Re: [PATCH 07/13] mm/memory-failure: remove unneeded hwpoison_filter() variant"
In reply to: Alan Stern: "Re: [PATCH] tools/memory-model: Document herd7 (internal) representation"
Next in thread: Hernan Ponce de Leon: "Re: [PATCH] tools/memory-model: Document herd7 (internal) representation"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]