The present invention relates to the field of distributed systems, and discloses a deadlock detection method suitable for generalized models, comprising the following steps: (A) a regular node stores output side information; (B) the regular node detects and solves a local deadlock and transmits reduction information to an initial node; (C) the initial node performs reduction and checks overall deadlocks. The present invention is advantageous in effectively reducing the computation pressure of the initial node and solving to a certain degree the problem of common local deadlocks.