gcounter

package module

v0.0.0-...-0008579 Latest Latest Go to latest Published: Nov 15, 2024 License: Apache-2.0 Imports: 7 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/DistCompiler/pgo

Links

Open Source Insights

Documentation ¶

Index ¶

Variables
func Bench(t *testing.T, numNodes int, numRounds int)
func IncFinish(iface distsys.ArchetypeInterface) tla.Value
func IncStart(iface distsys.ArchetypeInterface) tla.Value
func MAX(iface distsys.ArchetypeInterface, a tla.Value, b tla.Value) tla.Value
func NODE_SET(iface distsys.ArchetypeInterface) tla.Value
func SUM(iface distsys.ArchetypeInterface, f tla.Value, d tla.Value) tla.Value

Constants ¶

This section is empty.

Variables ¶

View Source

var ANode = distsys.MPCalArchetype{
	Name:              "ANode",
	Label:             "ANode.update",
	RequiredRefParams: []string{"ANode.cntr", "ANode.c"},
	RequiredValParams: []string{},
	JumpTable:         jumpTable,
	ProcTable:         procTable,
	PreAmble: func(iface distsys.ArchetypeInterface) {
	},
}

View Source

var ANodeBench = distsys.MPCalArchetype{
	Name:              "ANodeBench",
	Label:             "ANodeBench.nodeBenchLoop",
	RequiredRefParams: []string{"ANodeBench.cntr", "ANodeBench.out"},
	RequiredValParams: []string{},
	JumpTable:         jumpTable,
	ProcTable:         procTable,
	PreAmble: func(iface distsys.ArchetypeInterface) {
		iface.EnsureArchetypeResourceLocal("ANodeBench.r", tla.MakeNumber(0))
	},
}

Functions ¶

func Bench ¶

func Bench(t *testing.T, numNodes int, numRounds int)

func IncFinish ¶

func IncFinish(iface distsys.ArchetypeInterface) tla.Value

func IncStart ¶

func IncStart(iface distsys.ArchetypeInterface) tla.Value

func MAX ¶

func MAX(iface distsys.ArchetypeInterface, a tla.Value, b tla.Value) tla.Value

func NODE_SET ¶

func NODE_SET(iface distsys.ArchetypeInterface) tla.Value

func SUM ¶

func SUM(iface distsys.ArchetypeInterface, f tla.Value, d tla.Value) tla.Value

Types ¶

This section is empty.

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL