Data processing: software development – installation – and managem – Software program development tool – Programming language
Reexamination Certificate
2011-07-12
2011-07-12
Yigdall, Michael J (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Programming language
C717S104000, C717S108000, C717S116000, C717S126000, C717S149000, C719S315000
Reexamination Certificate
active
07979844
ABSTRACT:
This invention teaches a way of implementing formally verified massively parallel programs, which run efficiently in distributed and shared-memory multi-core chips. It allows programs to be developed from an initial abstract statement of interactions among parallel software components, called cells, and progressively refine them to their final implementation. At each stage of refinement a formal description of patterns of events in computations is derived automatically from implementations. This formal description is used for two purposes: One is to prove correctness, timings, progress, mutual exclusion, and freedom from deadlocks/livelocks, etc. The second is to automatically incorporate into each application a Self-Monitoring System (SMS) that constantly monitors the application in parallel, with no interference with its timings, to identify and report errors in performance, pending errors, and patterns of critical behavior. This invention also teaches a way of organizing shared-memory for multi-processors that minimizes memory interference, protects data and increases execution efficiency.
REFERENCES:
patent: 6289502 (2001-09-01), Garland et al.
patent: 7159211 (2007-01-01), Jalan et al.
patent: 7210145 (2007-04-01), Srinivasan
patent: 7779383 (2010-08-01), Bornhoevd et al.
patent: 2006/0156284 (2006-07-01), Srinivasan
patent: 2007/0277152 (2007-11-01), Srinivasan
patent: 2008/0270838 (2008-10-01), Dorai et al.
patent: 2009/0064115 (2009-03-01), Sheynin et al.
Von Eicken, Thorsten et al., “Active Messages: A Mechanism for Integrated Communication and Computation,” Proceedings of the 19th Annual International Symposium on Computer Architecture, 1992, pp. 256-266.
EDSS, Inc.
Yigdall Michael J
LandOfFree
TICC-paradigm to build formally verified parallel software... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with TICC-paradigm to build formally verified parallel software..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and TICC-paradigm to build formally verified parallel software... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2683911