#事件 #离散 # #计算 #嵌套 #DSL

dvcompute_gpss_branch

离散事件模拟库(支持嵌套模拟的类似GPSS的DSL语言)

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日

#9 in #离散

每月 36 次下载
2 个crate中使用(通过 dvcompute_results_branch

MPL-2.0 许可证

380KB
9K SLoC

dvcompute_gpss_branch

此crate是离散事件模拟框架DVCompute Simulator(俄罗斯专利局注册号2021660590)的一部分。该dvcompute_gpss_branch crate定义了一个类似GPSS的DSL用于嵌套模拟,但相同的代码库由旨在进行乐观分布式模拟的dvcompute_gpss_dist 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