Version of the xDEVS simulator for Rust projects. It allows you to build and simulate computational models following the DEVS formalism. Its API is easy to use for DEVS practitioners. Currently, their main features are speed and parallelism.
The Rust version of xDEVS is one of the fastests APIs currently available. We will shortly publish some preliminary results to illustrate this.
We all love purely safe Rust crates. However, it is extremely difficult to provide a safe AND
fast implementation of DEVS event propagations. Thus, we decided to use unsafe Rust to model
DEVS ports and message propagation. In this way, we can provide the fastest DEVS implementation
we could think of. But don't worry! We have carefully studied the DEVS simulation algorithm
to come up with all the invariants that make our implementation safe even with unsafe code.
All the unsafe methods of ports come with proper documentation to let you know when it is safe
to use these unsafe methods!
Spoiler alert: if you don't try to hack the DEVS simulation workflow, then you will always fufill the invariants to safely build your models.
We rely on the rayon crate to provide parallelism for your simulations.
By default, all the simulation process is done sequentially. However, you can activate different features to
select where you want to take advantage of parallelism:
par_start: it runs in parallel the start methods of your model before starting to simulate.par_collection: it executes the lambdas of your models in parallel.par_eoc: it propagates the EOCs in parallel (we DO NOT recommend this feature, it is likely to be removed).par_xic: it propagates the EICs and ICs in parallel (we DO NOT recommend this feature, it is likely to be removed).par_transition: it executes the deltas of your models in parallel (we DO recommend this feature).par_stop: it runs in parallel the stop methods of your model after the simulation.
We provide additional features to select handy combinations of features:
par_xxc: alias forpar_eocandpar_xic(we DO NOT recommend this feature, it is likely to be removed).par_sim_no_xxc: alias forpar_collectionandpar_transition.par_sim: alias forpar_xxcandpar_sim_no_xxc(we DO NOT recommend this feature, it is likely to be removed).par_all_no_xxc: alias forpar_start,par_sim_no_xxc, andpar_stop(THIS IS OUR FAVOURITE).par_all: alias forpar_xxcandpar_all_no_xcc(we DO NOT recommend this feature, it is likely to be removed).
We are still working on this crate, and hope to add a plethora of cool features in the near future. Stay tuned! If you want to contribute, feel free to open an issue on GitHub, we will reply ASAP.