资 源 简 介
Biju is a simulation framework that students can use to explore concurrency in the context of classical synchronization problems. The simulator features a thread scheduler that enforces an ordered execution of concurrent threads. The simulator can collect meaningful statistical data, which are used to generate an equivalent Markov model of the simulation. Students can use the steady state probabilistic model as a validation method of how well the synchornized implementation behaves compared to the theoretical Markov model.