Static detection method for deadlock of operating system and related equipment

The embodiment of the invention discloses an operating system deadlock static detection method and related device.The operating system deadlock static detection method comprises the steps that lock set analysis based on the alias relation between variables is conducted on functions of an operating s...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	LI TUO, WANG YUEXING, LI YANG, BAI JIAJU, JIA NING
Format:	Patent
Sprache:	chi ; eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!