A Partial Order Reduction Technique for Event-driven Multi-threaded Programs

@article{Maiya2015APO,
  title={A Partial Order Reduction Technique for Event-driven Multi-threaded Programs},
  author={Pallavi Maiya and Rahul Gupta and Aditya Kanade and Rupak Majumdar},
  journal={ArXiv},
  year={2015},
  volume={abs/1511.03213}
}
Event-driven multi-threaded programming is fast becoming a preferred style of developing efficient and responsive applications. In this concurrency model, multiple threads execute concurrently, communicating through shared objects as well as by posting asynchronous events that are executed in their order of arrival. In this work, we consider partial order reduction (POR) for event-driven multi-threaded programs. The existing POR techniques treat event queues associated with threads as shared… CONTINUE READING

Citations

Publications citing this paper.