pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.examples.simpleKeystone/SimpleKeystoneTransactionLibrary

SimpleKeystoneTransactionLibrary

onera.pmlanalyzer.pml.examples.simpleKeystone.SimpleKeystoneTransactionLibrary
trait SimpleKeystoneTransactionLibrary extends TransactionLibrary

This trait contains a library of all transactions that can occur on the platform One way to define a pml.model.configuration.TransactionLibrary.Transaction or a pml.model.configuration.TransactionLibrary.Scenario is to use the read/write operators specifying which pml.model.software.Data is used by which pml.model.software.Application. For instance

val app4_wr_input_d : Transaction = Transaction(app4 write input_d)

defines a read transaction called '''app4_wr_input_d''' between the initiator of app4 and the input_d data. The location of the application and the data are provided in the SimpleSoftwareAllocation trait.

If you want to define several paths representing a multi-transaction use the pml.model.configuration.TransactionLibrary.Scenario For instance

val app1_rd_wr_L1 : Scenario = Scenario(app1_rd_L1, app1_wr_L1)

defines a scenario named '''app1_rd_wr_L1''' where app1 is reading and writing L1 cache

Attributes

See also:

pml.operators.Use.Ops for read/write operator definitions

Note:

A transaction or a scenario is only '''declared''' here, it will be considered during the interference analysis if it is actually used. This is done in the SimpleKeystoneLibraryConfiguration files. A transaction should be a path from an initiator to a target, if several paths are possible a warning will be raised.

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type

Members list

Concise view

transaction_def

val t11_app1_rd_interrupt1: Transaction

t11: SimpleSoftwareAllocation.app1 begins by reading the interrupt code from SimpleKeystonePlatform.mpic

t11: SimpleSoftwareAllocation.app1 begins by reading the interrupt code from SimpleKeystonePlatform.mpic

Attributes

val t212_app21_wr_d1: Transaction

t212: SimpleSoftwareAllocation.app21 makes some input treatments on the message, and makes it available for SimpleSoftwareAllocation.app1 in SimpleKeystonePlatform.ddr

t212: SimpleSoftwareAllocation.app21 makes some input treatments on the message, and makes it available for SimpleSoftwareAllocation.app1 in SimpleKeystonePlatform.ddr

Attributes

val t41_app4_wr_input_d: Transaction

t41: Each time an SimpleKeystonePlatform.eth frame arrives, it transfers the payload of the frame to SimpleKeystonePlatform.MemorySubsystem.sram

t41: Each time an SimpleKeystonePlatform.eth frame arrives, it transfers the payload of the frame to SimpleKeystonePlatform.MemorySubsystem.sram

Attributes

utilFun

final def checkLibrary(tMap: Map[PhysicalTransactionId, Set[UserTransactionId]], sMap: Map[Set[PhysicalTransactionId], Set[UserScenarioId]]): Unit

Check the transaction and scenario libraries w.r.t. the transactions computed with the actual the ideal (but not requested situation) is one-to-one libraries definition of the platform

Check the transaction and scenario libraries w.r.t. the transactions computed with the actual the ideal (but not requested situation) is one-to-one libraries definition of the platform

Attributes

sMap

the scenario library to check

tMap

the transaction library to check

Inherited from:
TransactionLibrary

user_transaction_relation

final lazy val transactionByUserName: Map[UserTransactionId, PhysicalTransactionId]

Map from the user defined transaction to the physical transaction id this map does not contain user transactions with multi-path (contained in ...) WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the user defined transaction to the physical transaction id this map does not contain user transactions with multi-path (contained in ...) WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary
final lazy val transactionUserName: Map[PhysicalTransactionId, Set[UserTransactionId]]

Map from the physical transaction id to the user defined id(s) It is possible that a physical transaction is linked to several (or none) user defined transactions WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the physical transaction id to the user defined id(s) It is possible that a physical transaction is linked to several (or none) user defined transactions WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary

scenario_operation

final implicit class ScenarioOps(x: UserScenarioId)

Scenario extension method

Scenario extension method

Attributes

x

id of the user scenario

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any
final implicit def ScenarioOps(x: UserScenarioId): ScenarioOps

Scenario extension method

Scenario extension method

Attributes

x

id of the user scenario

Inherited from:
TransactionLibrary

transaction_class

final class Transaction extends ScenarioLike

Class encoding the used defined transactions (not already used)

Class encoding the used defined transactions (not already used)

Attributes

iniTgt

a by-name value providing the origin-destination service couples of the transaction (not evaluated during the object initialisation)

sw

the application that can use this transaction

userName

the name of the node

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
object Transaction extends PMLNodeBuilder[Transaction]

Builder of platform Transaction

Builder of platform Transaction

Attributes

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any
final class UsedTransaction extends PMLNode

Class encoding the user defined transactions used in the configuration

Class encoding the user defined transactions used in the configuration

Attributes

iniTgt

the origin-destination services couples

sw

the application that can use this transaction

userName

the name of the node

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
object UsedTransaction extends PMLNodeBuilder[UsedTransaction]

Builder of platform UsedTransaction

Builder of platform UsedTransaction

Attributes

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any

transaction_operation

final implicit class UserTransactionOps(x: UserTransactionId)

Transaction extension method

Transaction extension method

Attributes

x

id of the user transaction

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any
final implicit def UserTransactionOps(x: UserTransactionId): UserTransactionOps

Transaction extension method

Transaction extension method

Attributes

x

id of the user transaction

Inherited from:
TransactionLibrary

user_scenario_relation

final lazy val scenarioByUserName: Map[UserScenarioId, Set[PhysicalTransactionId]]

Map from the user defined scenario to the physical transaction id WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the user defined scenario to the physical transaction id WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary
final lazy val scenarioSW: Map[UserScenarioId, Set[Application]]

Map from the used scenario and the application involved in these scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the used scenario and the application involved in these scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary
final lazy val scenarioUserName: Map[Set[PhysicalTransactionId], Set[UserScenarioId]]

Map from the physical scenario id (set of transaction id) to the user defined scenario(s) It is possible that a scenario is linked to several (or none) user defined scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the physical scenario id (set of transaction id) to the user defined scenario(s) It is possible that a scenario is linked to several (or none) user defined scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

Inherited from:
TransactionLibrary

scenario_class

final class Scenario extends ScenarioLike

Class encoding the defined transactions (not already used)

Class encoding the defined transactions (not already used)

Attributes

iniTgt

a by-name value providing the origin-destination service couples of the scenario (not evaluated during the object initialisation)

sw

the application that can use this scenario

userName

the name of the node

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
object Scenario extends PMLNodeBuilder[Scenario]

Builder of platform Scenario

Builder of platform Scenario

Attributes

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any
sealed abstract class ScenarioLike(val name: Symbol) extends PMLNode

Encode node that are either transactions or scenarios

Encode node that are either transactions or scenarios

Attributes

name

the name of the transaction or scenario

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
Known subtypes
class Scenario
final class UsedScenario extends PMLNode

Class encoding the user defined scenarios used in the configuration

Class encoding the user defined scenarios used in the configuration

Attributes

iniTgt

the origin-destination services couples

sw

the application that can use this scenario

userName

the name of the node

Inherited from:
TransactionLibrary
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
object UsedScenario extends PMLNodeBuilder[UsedScenario]

Builder of platform UsedScenario

Builder of platform UsedScenario

Attributes

Inherited from:
TransactionLibrary
Graph
Supertypes
class Object
trait Matchable
class Any

scenario_def

Generated with