{"schema_version":"1.0","canonical_url":"https://patentable.app/patents/US-9792161","patent":{"patent_number":"US-9792161","title":"Maximizing concurrency bug detection in multithreaded software programs","assignee":null,"inventors":[],"filing_date":"2014-11-25T00:00:00.000Z","publication_date":"2017-10-17T00:00:00.000Z","cpc_codes":["G06F","G06F","G06F"],"num_claims":21,"abstract":"Disclosed systems and methods incorporate a sound and maximal causal model with control flow information for maximum concurrency error detection in general multithreaded programs. The maximal causal model may be based on or integrated with the sequential consistency model, and form the basis for a formula including branch and order variables as first-order logical constraints solvable by an SMT solver for detection or prediction of concurrency errors. The disclosed systems and methods also relate to predictive trace analysis (PTA) for predicting generic concurrency properties using local traces (as opposed to a global trace) through the threads of a multithreaded program. By uniformly modeling violations of concurrency properties and the thread causality as constraints over events, and using an SMT solver, the systems and methods predict property violations allowed by the causal model."},"analysis":{"summary":null,"layman_explanation":null,"technical_analysis":null,"business_analysis":null,"faqs":null,"topics":[],"tech_cluster":null},"seo":{"title":"Maximizing concurrency bug detection in multithreaded software programs","description":"Disclosed systems and methods incorporate a sound and maximal causal model with control flow information for maximum concurrency error detection in general multithreaded programs. The maximal causal m","keywords":[]},"attribution":{"source":"Patentable","source_url":"https://patentable.app","canonical_url":"https://patentable.app/patents/US-9792161","license":"CC-BY-4.0-like","license_terms":"AI-generated analysis on this page (summary, layman_explanation, technical_analysis, business_analysis, faqs) may be reused with attribution and a visible link back to the canonical URL above. Patent abstracts, claims, and bibliographic data are USPTO public domain.","required_link":"https://patentable.app/patents/US-9792161","citation_suggestion":"Patentable. \"Maximizing concurrency bug detection in multithreaded software programs\" (US-9792161). https://patentable.app/patents/US-9792161","copyright_holder":"Nomic Interactive Technology LLC"},"links":{"html":"https://patentable.app/patents/US-9792161","json":"https://patentable.app/api/llm-context/US-9792161","site":"https://patentable.app","llms_txt":"https://patentable.app/llms.txt"},"generated_at":"2026-06-06T08:00:57.076Z"}