Author:
Yuan Chuhong,Du Dong,Chen Haibo
Publisher
Springer International Publishing
Reference29 articles.
1. Code of include/linux/workqueue.h in linux 5.3. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/inclu de/linux/workqueue.h?h=v5.3
2. Code of kernel/workqueue.c in linux 5.3. https://git.kernel.org/pub/scm/linux/ker nel/git/torvalds/linux.git/tree/kernel/workqueue.c?h=v5.3
3. Bai, J., Liu, H., Wang, Y., Hu, S.: Runtime checking for paired functions in device drivers. In: 2014 21st Asia-Pacific Software Engineering Conference, vol. 1, pp. 407–414, December 2014. https://doi.org/10.1109/APSEC.2014.66
4. Bai, J., Wang, Y., Liu, H., Hu, S.: Automated resource release in device drivers. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 172–182, November 2015. https://doi.org/10.1109/ISSRE.2015.7381811
5. Bai, J.J., Lawall, J., Tan, W., Hu, S.M.: DCNS: automated detection of conservative non-sleep defects in the Linux kernel. In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, New York, NY, USA, pp. 287–299. ACM (2019). https://doi.org/10.1145/3297858.3304065. http://doi.acm.org/10.1145/3297858.3304065