github.com/aclements/go-misc@v0.0.0-20240129233631-2f6ede80790c/memmodel/hbsc.go (about)

     1  // Copyright 2016 The Go Authors. All rights reserved.
     2  // Use of this source code is governed by a BSD-style
     3  // license that can be found in the LICENSE file.
     4  
     5  package main
     6  
     7  // HBSC is a HBGenerator that implements sequential consistency.
     8  type HBSC struct{}
     9  
    10  func (HBSC) HappensBefore(p *Prog, i, j PC) HBType {
    11  	return HBHappensBefore
    12  }
    13  
    14  func (HBSC) String() string {
    15  	return "SC"
    16  }