Designing multithreaded software based on concurrency in the problem domain

• Autorzy: Sanden Bo I.

Identyfikatory

DOI

10.34808/tq2021/25.2/c

• Języki publikacji: EN

Abstrakty

EN

Event-sequence modeling is a thread-architectural style for event-driven software. It bases the set of threads in a multithreaded program on an event-sequence model of the problem domain. Each event sequence is a time-ordered set of event occurrences in the domain. (It is often defined by a state machine.) An event-sequence model is a set of event sequences that together cover all relevant event occurrences in the domain. Occurrences in one event sequence are generally concurrent with those in other sequences. The event-sequence modeling approach leads to architectures consisting of threads, each based on an event sequence, and shared objects. The threads can run concurrently on different cores/processors except when they must have exclusive access to some shared object. This paper defines these concepts and illustrates them with examples.

Słowa kluczowe

EN

concurrency; event-driven software; event sequence; reactive software; thread architecture; threading

PL

konkurencja; oprogramowanie sterowane zdarzeniami; sekwencja zdarzeń; oprogramowanie reaktywne; architektura; nawlekanie

• Wydawca: Politechnika Gdańska
• Czasopismo: TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk
• Rocznik: 2021
• Tom: Vol. 25, No 2
• Strony: 183--201
• Opis fizyczny: Bibliogr. 19 poz., rys.

Twórcy

autor

Sanden Bo I.

• Colorado Technical University, 4435 N Chestnut St, Colorado Springs, CO 80907, USA

Bibliografia

• [1] Sandén B I 2018 Designing multitask control software in a multiprocessor world, Ada User Journal, 39 (3) 203
• [2] Burns A, Fleming T and Baruah S 2015 Cyclic executives, multi-core platforms and mixed criticality applications, 27th Euromicro Conference on Real-Time systems, 7-10th July,
• [3] Ernst R 2018 Automated driving: The cyber-physical perspective, IEEE Computer, 51 (9) 76
• [4] L Sha, M Klein and J B Goodenough 1991 Rate monotonic analysis for real-time systems, Software Engineering Institute, Pittsburgh, PA, Tech. Rep. CMU/SEI-91-TR-6
• [5] Saez S, Real J and Crespo A 2012 An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications, Springer, In: Brorsson, M., Pinho, L. M. (eds.) Ada-Europe 2012. LNCS, Heidelberg, 7308 18
• [6] W Stallings 2015 Operating systems: Internals and design principles, 8 th Ed., Pearson
• [7] Gomaa H 2000 Designing Concurrent, Distributed, and Real-Time Applications with UML, Addison-Wesley
• [8] Gomaa H 2016 Real-Time Software Design for Embedded Systems, Cambridge University Press
• [9] Sandén B I 2011 Design of multithreaded software: The Entity-life modeling approach, Hoboken, NJ: Wiley
• [10] Friesen J 2015 Java Threads and the Concurrency Utilities, Apress
• [11] Sandén B I 2004 Coping with Java threads, IEEE Computer, 37 (4) 20 doi: doi.ieeecomputersociety.org/10.1109/MC.2004.1297297
• [12] Schmidt D C, Stal M, Rohnert H, Buschmann F 2000 Pattern-oriented software architecture: Patterns for concurrent and networked objects, Hoboken, NJ: Wiley, 4
• [13] Rajsbaum S and Raynal M 2020 60 years of mastering concurrent computing through sequential thinking, SIGACT News, 51 (2) 59 doi: https://doi.org/10.1145/3406678.3406690
• [14] Sandén B I 1989 An entity-life modeling approach to the design of concurrent software, CACM, 32 (3) 330
• [15] Sandén B I 1994 Software Systems Construction with Examples in Ada, Prentice-Hall
• [16] Sandén B I 2003 Entity-life Modeling: Modeling a thread architecture on the problem environment, IEEE Software, 20 (4) 70 doi: doi.ieeecomputersociety.org/10.1109/MS.2003.1207459
• [17] Sandén B I and Zalewski J 2006 Designing state-based systems with entity-life modeling, Journal of Systems and Software, 79 (1) 69
• [18] Lamport B 1978 Time, clocks and the ordering of events in a distributed system, CACM, 21 (7) 558
• [19] Jackson M A 1983 System Development, Prentice-Hall International

Uwagi

PL

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2021).