BankSim Simulator

Introduction

The BankSim example is a queue-based simulation designed to measure customer service time. It simulates the full process from customer arrival, waiting, service, and completion. The simulation is configured to analyze results based on various parameters such as the number of customers, service counters, and queue capacity.

Notably, it includes a what-if-question point where the number of models (generators) can be changed during simulation to explore different scenarios.

The simulation model consists of four core components: User Generator, Queue, Accountant, and Result. Customers are randomly generated by the generator, passed through a queue, and then processed by the accountant model. The simulation terminates once the target number of processed users is reached and outputs the result.

Scenario Explanation

• ``gen_num``: Number of user_generator models. Each generator randomly creates users and sends them to the queue.

• ``queue_size``: The size of the BankQueue. If the queue is full, newly generated users are dropped.

• ``proc_num``: Number of Accountant models. Service time differs for each user.

• ``max_user``: Total number of users to be processed by the Accountant.

• ``wiq_time``: The what-if-question time point. After this point, the number of generator models can be changed.

• ``wiq_gen_num``: The number of generator models after the what-if-question point.

Save and Restore Functionality

• The simulator allows saving the simulation state at any point using the snapshot feature of pyjevsim.

• Users can restore a saved state and adjust parameters such as generation speed, queue size, or number of processors to analyze the impact of changes.

• This example includes: - Model-level save/restore: banksim_model_snapshot.py, banksim_model_restore.py - Full simulation save/restore: banksim_snapshot.py, banksim_restore.py

Important Notes

• The what-if-question functionality in this simulation only modifies the number of generator models.

• The execution scripts (banksim_classic.py, banksim_model_snapshot.py, banksim_model_restore.py, banksim_snapshot.py, banksim_restore.py) require two command-line arguments: wiq_time and wiq_gen_num, in that order.

• The unified execution file banksim.py runs all related simulation files for a specified number of iterations and takes wiq_time as its argument.

References

Model

• Banksim User Generate Model
  • BankUser
    • BankUser.calc_wait_time()
    • BankUser.get_arrival_time()
    • BankUser.get_id()
    • BankUser.get_service_time()
    • BankUser.get_wait_time()
    • BankUser.set_arrival_time()
    • BankUser.set_drop_time()
  • BankUserGenerator
    • BankUserGenerator.ext_trans()
    • BankUserGenerator.get_user()
    • BankUserGenerator.int_trans()
    • BankUserGenerator.output()
    • BankUserGenerator.set_state_idle()
• Banksim Queue Model
  • BankQueue
    • BankQueue.ext_trans()
    • BankQueue.int_trans()
    • BankQueue.output()
    • BankQueue.set_proc_num()
    • BankQueue.set_queue_size()
• Banksim Accountant Model
  • BankAccountant
    • BankAccountant.ext_trans()
    • BankAccountant.int_trans()
    • BankAccountant.output()
• Banksim Result Model
  • BankResult
    • BankResult.ext_trans()
    • BankResult.get_result()
    • BankResult.int_trans()
    • BankResult.output()

Simultion

• Banksim Classic
• Banksim Model Snapshot
  • Banksim Model Snapshot
  • Banksim Model Snapshot Restore
• Banksim Simulation(Model and Model Relation) Snapshot
  • Banksim Simulation Snapshot
  • Banksim Simulation Snapshot Restore