МОДЕЛЮВАННЯ ТА ВІЗУАЛІЗАЦІЯ ВЗАЄМОДІЇ ПРОЦЕСІВ І ПОТОКІВ У СУЧАСНИХ ОПЕРАЦІЙНИХ СИСТЕМАХ
Saved in:
| Title: | МОДЕЛЮВАННЯ ТА ВІЗУАЛІЗАЦІЯ ВЗАЄМОДІЇ ПРОЦЕСІВ І ПОТОКІВ У СУЧАСНИХ ОПЕРАЦІЙНИХ СИСТЕМАХ |
|---|---|
| Alternate Title: | MODELING AND VISUALIZATION OF PROCESS AND THREAD INTERACTION IN MODERN OPERATING SYSTEMS. |
| Authors: | Гуменний, П. В.1 humannist22@gmail.com |
| Source: | Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì. 2026, Vol. 16 Issue 2, p294-304. 11p. |
| Subjects: | Petri nets, Computer operating systems, Synchronization, Real-time computing |
| Abstract: | The relevance of the study is driven by the growing complexity of modern operating systems, in which hundreds of processes and threads execute concurrently, requiring efficient synchronization mechanisms and inter-process communication. Improper organization of these mechanisms leads to deadlocks, resource overloading, and degraded system performance, while the absence of intuitive analysis tools makes it difficult to detect and resolve such issues during software development. This is particularly critical for real-time and embedded cyber-physical systems. Extended time Petri nets were used for the formal description of process interaction, providing a natural representation of concurrent processes. A reachability analysis algorithm and a Resource Allocation Graph with O(n + m) time complexity were applied for deadlock detection. The eBPF (extended Berkeley Packet Filter) mechanism was used for kernel-level tracing in Linux, and Event Tracing for Windows (ETW) was employed on the Windows platform. A mathematical model of process interaction based on extended time Petri nets (tuple PN = (P, T, F, W, M₀, τ)) was proposed, formally describing process states (READY, RUNNING, BLOCKED, WAITING) as well as mutex and semaphore operations. A software toolkit was developed comprising a tracing module, an event analyzer, a formal model generator, and a visualizer with four display modes: Timeline view, Resource graph, Petri net animation, and Statistics dashboard. The deadlock detection system achieved 100% accuracy on test scenarios with an analysis time of 127 ms for a system of 50 processes and 30 resources. A comparative study of three synchronization strategies (Mutex-based, Lock-free, Hybrid) demonstrated that the lock-free approach provides the highest throughput under high contention conditions (52,180 req/s with 16 threads), while the hybrid strategy offers the optimal balance between throughput and latency. [ABSTRACT FROM AUTHOR] |
| Copyright of Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì is the property of Odessa Polytechnic University and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 194964085 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: МОДЕЛЮВАННЯ ТА ВІЗУАЛІЗАЦІЯ ВЗАЄМОДІЇ ПРОЦЕСІВ І ПОТОКІВ У СУЧАСНИХ ОПЕРАЦІЙНИХ СИСТЕМАХ – Name: TitleAlt Label: Alternate Title Group: TiAlt Data: MODELING AND VISUALIZATION OF PROCESS AND THREAD INTERACTION IN MODERN OPERATING SYSTEMS. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Гуменний%2C+П%2E+В%2E%22">Гуменний, П. В.</searchLink><relatesTo>1</relatesTo><i> humannist22@gmail.com</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Informatics+%26+Mathematical+Methods+in+Simulation+%2F+Informatika+ta+Matematičnì+Metodi+v+Modelûvannì%22">Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì</searchLink>. 2026, Vol. 16 Issue 2, p294-304. 11p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Petri+nets%22">Petri nets</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+operating+systems%22">Computer operating systems</searchLink><br /><searchLink fieldCode="DE" term="%22Synchronization%22">Synchronization</searchLink><br /><searchLink fieldCode="DE" term="%22Real-time+computing%22">Real-time computing</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: The relevance of the study is driven by the growing complexity of modern operating systems, in which hundreds of processes and threads execute concurrently, requiring efficient synchronization mechanisms and inter-process communication. Improper organization of these mechanisms leads to deadlocks, resource overloading, and degraded system performance, while the absence of intuitive analysis tools makes it difficult to detect and resolve such issues during software development. This is particularly critical for real-time and embedded cyber-physical systems. Extended time Petri nets were used for the formal description of process interaction, providing a natural representation of concurrent processes. A reachability analysis algorithm and a Resource Allocation Graph with O(n + m) time complexity were applied for deadlock detection. The eBPF (extended Berkeley Packet Filter) mechanism was used for kernel-level tracing in Linux, and Event Tracing for Windows (ETW) was employed on the Windows platform. A mathematical model of process interaction based on extended time Petri nets (tuple PN = (P, T, F, W, M₀, τ)) was proposed, formally describing process states (READY, RUNNING, BLOCKED, WAITING) as well as mutex and semaphore operations. A software toolkit was developed comprising a tracing module, an event analyzer, a formal model generator, and a visualizer with four display modes: Timeline view, Resource graph, Petri net animation, and Statistics dashboard. The deadlock detection system achieved 100% accuracy on test scenarios with an analysis time of 127 ms for a system of 50 processes and 30 resources. A comparative study of three synchronization strategies (Mutex-based, Lock-free, Hybrid) demonstrated that the lock-free approach provides the highest throughput under high contention conditions (52,180 req/s with 16 threads), while the hybrid strategy offers the optimal balance between throughput and latency. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì is the property of Odessa Polytechnic University and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=194964085 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.15276/imms.v16.no2.294 Languages: – Code: ukr Text: Ukrainian PhysicalDescription: Pagination: PageCount: 11 StartPage: 294 Subjects: – SubjectFull: Petri nets Type: general – SubjectFull: Computer operating systems Type: general – SubjectFull: Synchronization Type: general – SubjectFull: Real-time computing Type: general Titles: – TitleFull: МОДЕЛЮВАННЯ ТА ВІЗУАЛІЗАЦІЯ ВЗАЄМОДІЇ ПРОЦЕСІВ І ПОТОКІВ У СУЧАСНИХ ОПЕРАЦІЙНИХ СИСТЕМАХ Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Гуменний, П. В. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 04 Text: 2026 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 22235744 Numbering: – Type: volume Value: 16 – Type: issue Value: 2 Titles: – TitleFull: Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì Type: main |
| ResultId | 1 |
