Skip to main content
Title is truncated in the sidebar; put my suggestion as part of the title
Link
Peter Cordes
  • 360.5k
  • 1
  • 45
  • 74

Change Reverse the [memory-barriers] [memory-order] synonym situation so questions about C++ std::memory_order can be tagged memory-order, not barriers

Remembered another relevant tag.
Source Link
Peter Cordes
  • 360.5k
  • 1
  • 45
  • 74
  • is about a separate concept: a thread-synchronization building block where threads that call barrier(foo) sleep until all threads have called barrier(foo), then they all wake up. This is unrelated to memory ordering and fences.

  • should maybe be a synonym of [tag:memory_order] or deleted. The default is std::memory_order_seq_cst, so any weaker order requires an explicit memory_order parameter. And almost any question about what std::memory_order to use is at least considering the possibility of using weaker orders.

    OTOH, the tag also includes things like language memory model rules, and some like Java don't allow memory orders weaker than sequential consistency. So use of that tag doesn't imply that it's about weaker orders. But I still think we don't need a tag about "relaxed" atomics. It only has 27 questions, 1 rust the rest c++. It can mean std::memory_order_relaxed (no ordering wrt. operations on other objects) or depending on who's using it, can mean any order weaker than seq_cst.

  • - For questions on memory ordering models at the programming language level (above the ISA or machine language level). This is about what the rules are for memory ordering, atomicity, thread-safety, and so on. Fairly related, but perhaps worthy of being a separate tag. questions about memory-ordering rules often use this tag, but there are plenty of questions without language-lawyer.

    Several uses of this tag are about hardware / ISA memory models; perhaps we should relax the description to allow those usages, or tag such questions ?

  • is about a separate concept: a thread-synchronization building block where threads that call barrier(foo) sleep until all threads have called barrier(foo), then they all wake up. This is unrelated to memory ordering and fences.

  • should maybe be a synonym of [tag:memory_order] or deleted. The default is std::memory_order_seq_cst, so any weaker order requires an explicit memory_order parameter. And almost any question about what std::memory_order to use is at least considering the possibility of using weaker orders.

    OTOH, the tag also includes things like language memory model rules, and some like Java don't allow memory orders weaker than sequential consistency. So use of that tag doesn't imply that it's about weaker orders. But I still think we don't need a tag about "relaxed" atomics. It only has 27 questions, 1 rust the rest c++. It can mean std::memory_order_relaxed (no ordering wrt. operations on other objects) or depending on who's using it, can mean any order weaker than seq_cst.

  • - For questions on memory ordering models at the programming language level (above the ISA or machine language level). This is about what the rules are for memory ordering, atomicity, thread-safety, and so on. Fairly related, but perhaps worthy of being a separate tag. questions about memory-ordering rules often use this tag, but there are plenty of questions without language-lawyer.

  • is about a separate concept: a thread-synchronization building block where threads that call barrier(foo) sleep until all threads have called barrier(foo), then they all wake up. This is unrelated to memory ordering and fences.

  • should maybe be a synonym of [tag:memory_order] or deleted. The default is std::memory_order_seq_cst, so any weaker order requires an explicit memory_order parameter. And almost any question about what std::memory_order to use is at least considering the possibility of using weaker orders.

    OTOH, the tag also includes things like language memory model rules, and some like Java don't allow memory orders weaker than sequential consistency. So use of that tag doesn't imply that it's about weaker orders. But I still think we don't need a tag about "relaxed" atomics. It only has 27 questions, 1 rust the rest c++. It can mean std::memory_order_relaxed (no ordering wrt. operations on other objects) or depending on who's using it, can mean any order weaker than seq_cst.

  • - For questions on memory ordering models at the programming language level (above the ISA or machine language level). This is about what the rules are for memory ordering, atomicity, thread-safety, and so on. Fairly related, but perhaps worthy of being a separate tag. questions about memory-ordering rules often use this tag, but there are plenty of questions without language-lawyer.

    Several uses of this tag are about hardware / ISA memory models; perhaps we should relax the description to allow those usages, or tag such questions ?

Remembered another relevant tag.
Source Link
Peter Cordes
  • 360.5k
  • 1
  • 45
  • 74
  • is about a separate concept: a thread-synchronization building block where threads that call barrier(foo) sleep until all threads have called barrier(foo), then they all wake up. This is unrelated to memory ordering and fences.

  • should maybe be a synonym of [tag:memory_order] or deleted. The default is std::memory_order_seq_cst, so any weaker order requires an explicit memory_order parameter. And almost any question about what std::memory_order to use is at least considering the possibility of using weaker orders.

    OTOH, the tag also includes things like language memory model rules, and some like Java don't allow memory orders weaker than sequential consistency. So use of that tag doesn't imply that it's about weaker orders. But I still think we don't need a tag about "relaxed" atomics. It only has 27 questions, 1 rust the rest c++. It can mean std::memory_order_relaxed (no ordering wrt. operations on other objects) or depending on who's using it, can mean any order weaker than seq_cst.

  • - For questions on memory ordering models at the programming language level (above the ISA or machine language level). This is about what the rules are for memory ordering, atomicity, thread-safety, and so on. Fairly related, but perhaps worthy of being a separate tag. questions about memory-ordering rules often use this tag, but there are plenty of questions without language-lawyer.

  • is about a separate concept: a thread-synchronization building block where threads that call barrier(foo) sleep until all threads have called barrier(foo), then they all wake up. This is unrelated to memory ordering and fences.

  • should maybe be a synonym of [tag:memory_order] or deleted. The default is std::memory_order_seq_cst, so any weaker order requires an explicit memory_order parameter. And almost any question about what std::memory_order to use is at least considering the possibility of using weaker orders.

    OTOH, the tag also includes things like language memory model rules, and some like Java don't allow memory orders weaker than sequential consistency. So use of that tag doesn't imply that it's about weaker orders. But I still think we don't need a tag about "relaxed" atomics. It only has 27 questions, 1 rust the rest c++. It can mean std::memory_order_relaxed (no ordering wrt. operations on other objects) or depending on who's using it, can mean any order weaker than seq_cst.

  • is about a separate concept: a thread-synchronization building block where threads that call barrier(foo) sleep until all threads have called barrier(foo), then they all wake up. This is unrelated to memory ordering and fences.

  • should maybe be a synonym of [tag:memory_order] or deleted. The default is std::memory_order_seq_cst, so any weaker order requires an explicit memory_order parameter. And almost any question about what std::memory_order to use is at least considering the possibility of using weaker orders.

    OTOH, the tag also includes things like language memory model rules, and some like Java don't allow memory orders weaker than sequential consistency. So use of that tag doesn't imply that it's about weaker orders. But I still think we don't need a tag about "relaxed" atomics. It only has 27 questions, 1 rust the rest c++. It can mean std::memory_order_relaxed (no ordering wrt. operations on other objects) or depending on who's using it, can mean any order weaker than seq_cst.

  • - For questions on memory ordering models at the programming language level (above the ISA or machine language level). This is about what the rules are for memory ordering, atomicity, thread-safety, and so on. Fairly related, but perhaps worthy of being a separate tag. questions about memory-ordering rules often use this tag, but there are plenty of questions without language-lawyer.

Became Hot Meta Post
added 821 characters in body
Source Link
Peter Cordes
  • 360.5k
  • 1
  • 45
  • 74
Loading
Source Link
Peter Cordes
  • 360.5k
  • 1
  • 45
  • 74
Loading