AUTOSARを、すべての産業標準の基礎を目指していることという仮説に基づき、その根拠を記録する。
輸送機械、工作機械、土木建築機械、農業機械、
などの分野では、それぞれの物理量があり、慣性の法則があり、時定数がある。
そのため、抽象的な設計ではなく、物理的な設計により、
論理的にはありえても物理的にはありえないことは考慮しなくてもよいかもしれない。
論理回路の物理層では、同時に入力があると不定になるように、
物理的に考えると、論理的には考えなくてもいいかもしれないことを検討しなくてはならないことがある。
どちらかが簡単でどちらかが難しい問題かどうかはよく知らない。
それぞれの領域の固有の現象を、他の領域とどう対応づけるかが大事だろう。
論理的に起こり得ることも、物理的にはばらつき、雑音、熱現象などによって到達しないこともあるかもしれない。
模型(Model)記述に基づく設計
模擬試験による設計確認
課題
実時間設計(OSEK/VDX)
模型(model)設計の課題は実時間設計、実時間測定である。
設計どおりに実際の時間処理が間に合うのかどうか。
割り込みの分類整理(OSEK/VDX)
ISO OSEK/VDX OSでは、割り込みを分類している。
Category 1 割り込み(OSEK/VDX)
OSの機能を利用しない割り込み。
OSの処理よりも早く処理したい場合に利用するとよい。
critical section
Critical Section Objects
Parallel Programming: Understanding the impact of Critical Sections
Mutex Lock Code Examples
https://docs.oracle.com/cd/E19683-01/806-6867/sync-12/index.html
Semaphores
https://docs.oracle.com/cd/E19683-01/806-6867/sync-27385/index.html
Synchronization — Letting Accelerator/Parallel Developers Run Free
Locks, Semaphores, Critical Sections, and other Synchronization Constructs Used to Prevent Crashes and Bugs
Resource sharing synchronization
There are quite a few synchronization constructs that protect access to resources, and I will not be able to give code examples for all of them. So to allow you to dive in a little more, I’ll list a few and what they are generally used for:
critical section — allows only one thread to run code protected by the critical section at once.
lock/mutex — protects a code section by asking each thread to explicitly request access via a lock before running some code. This is different from a critical section as there are cases where multiple threads may access a shared resource simultaneously (e.g., a reader/writer paradigm to be discussed below).
semaphores — given a predefined number N; this allows only N users to run their code simultaneously.
Note that synchronization, if used inappropriately, can result in incorrect results and issues where threads fail to make progress or hang.
Concurrent Programming: Algorithms, Principles, and Foundations.
https://team.inria.fr/wide/files/2021/04/Springer-Book-1.pdf
RESEARCH PAPER ON SOFTWARE SOLUTION OF CRITICAL SECTION PROBLEM
https://www.researchgate.net/publication/268031056_RESEARCH_PAPER_ON_SOFTWARE_SOLUTION_OF_CRITICAL_SECTION_PROBLEM
Accelerating Critical Section Execution with Asymmetric Multi-Core Architectures
未確認
Synchronization, coherence, and event ordering in multiprocessors
Critical Lock Analysis: Diagnosing Critical Section Bottlenecks in Multithreaded Applications
GNU/Linux Application Programming