rmem

Documentation

Overview

Package rmem implements rudimentary backend support for RMEM.

Presently, rmem is implemented as a herdtools-style backend, despite not being a herdtools project. This will likely change later on.

Index

• type Rmem
  • func (Rmem) LiftExe(context.Context, backend2.LiftJob, service.RunInfo, service.Runner) error
  • func (Rmem) LiftStandalone(ctx context.Context, j backend2.LiftJob, r service.RunInfo, x service.Runner, ...) error
  • func (Rmem) ParsePreTestLine(fields []string) (obs.Flag, error)
  • func (Rmem) ParseStateCount(fields []string) (uint64, bool, error)
  • func (Rmem) ParseStateLine(_ parser.TestType, fields []string) (*parser.StateLine, error)

Types

type Rmem

type Rmem struct{}

Rmem holds implementations of various backend responsiblities for Rmem.

func (Rmem) LiftExe

func (Rmem) LiftExe(context.Context, backend2.LiftJob, service.RunInfo, service.Runner) error

LiftExe doesn't work.

func (Rmem) LiftStandalone

func (Rmem) LiftStandalone(ctx context.Context, j backend2.LiftJob, r service.RunInfo, x service.Runner, w io.Writer) error

func (Rmem) ParsePreTestLine

func (Rmem) ParsePreTestLine(fields []string) (obs.Flag, error)

ParsePreTestLine checks the pre-Test line in fields to check whether it states this is a partial observation.

func (Rmem) ParseStateCount

func (Rmem) ParseStateCount(fields []string) (uint64, bool, error)

ParseStateCount parses the state count in fields according to Rmem's syntax.

func (Rmem) ParseStateLine

func (Rmem) ParseStateLine(_ parser.TestType, fields []string) (*parser.StateLine, error)