#events #discrete #block #computation #sequential #facility

dvcompute_gpss

离散事件模拟库(支持类似GPSS的顺序模拟领域特定语言)

4个稳定版本

2.0.0 2024年6月29日
1.3.5 2022年1月7日
1.3.4 2022年1月6日
1.3.3 2022年1月5日

#245 in 模拟

44 每月下载次数
2 个crate中使用(通过 dvcompute_results

MPL-2.0 许可证

365KB
8K SLoC

dvcompute_gpss

此crate是离散事件模拟框架DVCompute Simulator(Rospatent注册号2021660590)的一部分。该dvcompute_gpss crate定义了一个类似GPSS的领域特定语言(DSL)用于顺序模拟,但与用于保守分布式模拟的dvcompute_gpss_cons crate共享相同的代码库。

该DSL语言实现了以下块的类似物:PREEMPT、RETURN、ASSEMBLE、GATHER、SPLIT、TRANSFER和其他。SELECT块自然地表示为计算的组合。存在设施和存储实体的类似物。

以下是一些主要crate:dvcompute(顺序模拟)、dvcompute_dist(乐观分布式模拟)、dvcompute_cons(保守分布式模拟)和dvcompute_branch(嵌套模拟)。所有四个crate都非常接近。它们基于相同的方法。

模拟方法

以下是一个示例,其中每个学生的到达都被模拟为某个事务。这些事务由块计算处理

fn student_chain(line: Grc<Queue>, prof: Grc<Facility<f64>>) -> BlockBox<Transact<f64>, ()> {
    queue_block(line.clone(), 1)
        .and_then(seize_block(prof.clone()))
        .and_then(depart_block(line.clone(), 1))
        .and_then({
            advance_block(random_exponential_process_(1000.0))
        })
        .and_then(let_go_chain(line, prof))
        .into_boxed()
}

fn let_go_chain(_line: Grc<Queue>, prof: Grc<Facility<f64>>) -> BlockBox<Transact<f64>, ()> {
    release_block(prof)
        .and_then(terminate_block())
        .into_boxed()
}

这些计算在函数式编程中是箭头。它们通过组合进行组合。这些计算应在稍后运行以生效。

示例

您可以在作者的仓库中找到示例。

文档

参考文献

  • Sorokin David. DVCompute Simulator for discrete event simulation. Prikladnaya informatika=Journal of Applied Informatics, 2021, vol.16, no.3, pp.93-108 (in Russian). DOI: 10.37791/2687-0649-2021-16-3-93-108

许可证

版权所有 2020-2024 David Sorokin [email protected],俄罗斯尤什卡尔-奥拉

本软件受Mozilla公共许可证第2.0版条款的约束。如果本文件未附带MPL副本,您可以在http://mozilla.org/MPL/2.0/获取一份。

依赖关系

~0–590KB