mokomoking2501/lockwire/resource does not have a README file
pub struct Container {
// private fields
}pub struct PreemptiveResource {
// private fields
}fn PreemptiveResource::report(self : PreemptiveResource, scenario~ : String, seed~ : Int) -> PreemptiveResourceReportfn PreemptiveResource::request(self : PreemptiveResource, request : PriorityResourceRequest, at~ : VTime) -> PriorityResourceLease?pub(all) struct PreemptiveResourceEvent {
id : Int
kind : PreemptiveResourceEventKind
resource_name : String
owner_id : String
priority : Int
amount : Int
vtime : VTime
note : String
} derive(Eq, Debug)fn PreemptiveResourceEvent::to_trace_event(self : PreemptiveResourceEvent, seed~ : Int, backend? : BackendProfile, clock_domain? : String, node_id? : String, medium_id? : String) -> TraceEventpub(all) struct PreemptiveResourceReport {
scenario : String
seed : Int
resource_name : String
capacity : Int
grant_count : Int
queue_count : Int
preemption_count : Int
interrupt_count : Int
cancel_count : Int
deadline_overrun_count : Int
resource_exhaustion_count : Int
max_queue_length : Int
active_count : Int
trace : TraceLog
digest : SimDigest
real_os_scheduler : Bool
} derive(Debug)pub struct PriorityResource {
// private fields
}fn PriorityResource::report(self : PriorityResource, scenario~ : String, seed~ : Int) -> PreemptiveResourceReportfn PriorityResource::request(self : PriorityResource, request : PriorityResourceRequest, at~ : VTime) -> PriorityResourceLease?fn PriorityResourceRequest::make(owner_id~ : String, priority~ : Int, amount? : Int, deadline? : VTime, preemptible? : Bool) -> PriorityResourceRequestpub struct Resource {
// private fields
}fn ResourceSnapshot::to_trace_event(self : ResourceSnapshot, event_id~ : Int, vtime~ : VTime, clock_domain~ : String, node_id~ : String, medium_id~ : String, seed~ : Int, rng_step~ : Int, backend~ : BackendProfile) -> TraceEventpub struct Store[T] {
// private fields
}Deterministic run-test substrate for MoonBit
Dependencies