feat: add lab-rv32i-freertos-integration card
This commit is contained in:
user
@@ -0,0 +1,51 @@
|
||||
# K16 — Integrated real-time application and evidence report
|
||||
|
||||
## Position
|
||||
|
||||
- Series: FreeRTOS C++
|
||||
- Lesson: L15, card K16
|
||||
- Duration: 30 minutes
|
||||
- Final integration card; no new wrapper primitive
|
||||
- Reproducible end-to-end evidence on Hazard3
|
||||
|
||||
## Outcome
|
||||
|
||||
The student composes ownership, storage, task priorities, startup coordination,
|
||||
ISR/timer boundaries, queue pressure and memory/stack diagnostics into one
|
||||
defensible real-time service graph.
|
||||
|
||||
## Lesson plan
|
||||
|
||||
| Time | Mode | Evidence |
|
||||
| --- | --- | --- |
|
||||
| 0–5 | inventory | static services delta 0; dynamic report queue 128 B |
|
||||
| 5–10 | startup | EventGroup barrier=0x7; task priorities and ownership |
|
||||
| 10–15 | inputs | real IRQ tick 1; timer ticks 5/10 |
|
||||
| 15–20 | pipeline | three samples, transform sum 120 |
|
||||
| 20–25 | pressure | peaks 2/2, sequence 4 dropped, end marker recovers |
|
||||
| 25–30 | report | latency 6, stack HWM, 24-event digest c474ac09 |
|
||||
|
||||
## Acceptance
|
||||
|
||||
- no new wrapper primitive is introduced;
|
||||
- producer, processor and reporter are StaticTask instances;
|
||||
- startup EventGroup remains at mask 0x7;
|
||||
- external IRQ wakes producer at tick 1 and requests exactly one yield;
|
||||
- periodic timer callbacks occur at ticks 5 and 10, then timer becomes inactive;
|
||||
- three samples are produced, processed and reported with sum 120;
|
||||
- input and report queues both reach depth 2;
|
||||
- sequence 4 is explicitly drop-newest and the end marker later succeeds;
|
||||
- static services have heap delta zero;
|
||||
- exactly one persistent dynamic Queue costs 128 B;
|
||||
- oversized fallible allocation returns null without changing free heap;
|
||||
- producer/processor/reporter stack HWM are positive and recorded;
|
||||
- end-to-end latency is 6 ticks and trace digest is c474ac09;
|
||||
- target exits with PASS.
|
||||
|
||||
## Main traps
|
||||
|
||||
1. Adding abstraction without a new invariant.
|
||||
2. Hiding an unbounded allocation or queue wait in the periodic path.
|
||||
3. Treating a pressure drop as success or failing to count it.
|
||||
4. Performing transformation in ISR/timer callback instead of a task.
|
||||
5. Reporting screenshots without source, timestamped trace and repeatable gate.
|
||||
@@ -0,0 +1,344 @@
|
||||
% Generated from json/card_source.json by tools/render_card.py.
|
||||
% Do not edit manually; update the JSON and regenerate.
|
||||
|
||||
\documentclass[12pt,a4paper]{article}
|
||||
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage{lmodern}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[polish]{babel}
|
||||
\usepackage{csquotes}
|
||||
\usepackage{amsmath}
|
||||
\usepackage{amssymb}
|
||||
\usepackage{xcolor}
|
||||
\usepackage[a4paper,left=2.15cm,right=2.15cm,top=0.5cm,bottom=0.5cm,headheight=24mm,headsep=3mm,includehead]{geometry}
|
||||
\usepackage{eso-pic}
|
||||
\usepackage{marginnote}
|
||||
\usepackage{array}
|
||||
\usepackage{tabularx}
|
||||
\usepackage{graphicx}
|
||||
\usepackage{pdflscape}
|
||||
\usepackage{float}
|
||||
\usepackage{silence}
|
||||
\WarningFilter{soulutf8}{This package is obsolete}
|
||||
\usepackage{pdfcomment}
|
||||
\usepackage{enumitem}
|
||||
\usepackage{needspace}
|
||||
\usepackage{fancyhdr}
|
||||
\usepackage{lastpage}
|
||||
\usepackage{microtype}
|
||||
\usepackage[most]{tcolorbox}
|
||||
\usepackage{qrcode}
|
||||
\IfFileExists{references.bib}{%
|
||||
\usepackage[backend=biber,style=numeric,sorting=none]{biblatex}%
|
||||
\addbibresource{references.bib}%
|
||||
}{}
|
||||
|
||||
\hypersetup{hidelinks}
|
||||
|
||||
\IfFileExists{build-meta.tex}{%
|
||||
\input{build-meta.tex}%
|
||||
}{%
|
||||
\newcommand{\BuildCommit}{lokalna}%
|
||||
}
|
||||
|
||||
\newcommand{\DocumentAuthor}{M. Pabiszczak}
|
||||
\newcommand{\DocumentYear}{2026}
|
||||
\newcommand{\CardSeries}{freertos-cpp}
|
||||
\newcommand{\CardNumber}{16}
|
||||
\newcommand{\CardCount}{16}
|
||||
\newcommand{\CardSlug}{integration}
|
||||
\newcommand{\CardVersion}{v00.01}
|
||||
\newcommand{\DocumentUUID}{05b4f486-a27c-455d-a315-f4e51a4c66b3}
|
||||
|
||||
\newcommand{\EmptyCheck}{\(\square\)}
|
||||
\newcommand{\EscAnswerLines}[1][3]{\par\noindent\dotfill\par\noindent\dotfill\par\noindent\dotfill}
|
||||
\newcommand{\EscWriteRow}[1][2.8em]{\rule{0pt}{#1}}
|
||||
\setlength{\parindent}{0pt}
|
||||
\setlength{\parskip}{0.45em}
|
||||
\setlength{\headheight}{24mm}
|
||||
\setlength{\headsep}{3mm}
|
||||
\setlength{\footskip}{8mm}
|
||||
\setlength{\marginparwidth}{1.5cm}
|
||||
\setlength{\marginparsep}{0.25cm}
|
||||
\renewcommand{\arraystretch}{1.22}
|
||||
% Margin separator lines disabled for layout trial.
|
||||
|
||||
\newcommand{\ESCPageResourceHeader}{%
|
||||
\begingroup%
|
||||
\setlength{\parskip}{0pt}%
|
||||
\setlength{\fboxsep}{0pt}%
|
||||
\setlength{\fboxrule}{0.35pt}%
|
||||
\setlength{\arrayrulewidth}{0.35pt}%
|
||||
\noindent\fbox{%
|
||||
\begin{minipage}[c][23.5mm][c]{\dimexpr\textwidth-2\fboxrule\relax}%
|
||||
\begin{minipage}[c][23mm][c]{\dimexpr\linewidth-24mm-0.35pt\relax}%
|
||||
\setlength{\tabcolsep}{0pt}%
|
||||
\renewcommand{\arraystretch}{0}%
|
||||
\begin{tabularx}{\linewidth}{@{}p{\dimexpr0.50000000\linewidth-\arrayrulewidth\relax}|p{\dimexpr0.15126050\linewidth-\arrayrulewidth\relax}|X@{}}%
|
||||
\parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{3.2}{3.4}\selectfont\ttfamily\bfseries TITLE}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{7.7}{7.9}\selectfont\ttfamily\bfseries Integrated Real-time Application and Evidence}\hspace{0.45mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{3.2}{3.4}\selectfont\ttfamily\bfseries VER.}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{6.6}{6.8}\selectfont\ttfamily\bfseries v00.01}\hspace{0.45mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{3.2}{3.4}\selectfont\ttfamily\bfseries DATETIME}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{6.4}{6.6}\selectfont\ttfamily\bfseries 2026-07-19T00:00:00+02:00}\hspace{0.45mm}}\par} \\%
|
||||
\end{tabularx}%
|
||||
\par\nointerlineskip%
|
||||
\hrule height0.35pt%
|
||||
\nointerlineskip%
|
||||
\begin{tabularx}{\linewidth}{@{}p{\dimexpr0.50000000\linewidth-\arrayrulewidth\relax}|p{\dimexpr0.25210084\linewidth-\arrayrulewidth\relax}|p{\dimexpr0.14285714\linewidth-\arrayrulewidth\relax}|X@{}}%
|
||||
\parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{3.2}{3.4}\selectfont\ttfamily\bfseries PROJECT}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{7.7}{7.9}\selectfont\ttfamily\bfseries Freestanding C++ nad FreeRTOS}\hspace{0.45mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{3.2}{3.4}\selectfont\ttfamily\bfseries SERIES}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{6.4}{6.6}\selectfont\ttfamily\bfseries FreeRTOS C++}\hspace{0.45mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{3.2}{3.4}\selectfont\ttfamily\bfseries CARD}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{6.4}{6.6}\selectfont\ttfamily\bfseries 16/16}\hspace{0.45mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{3.2}{3.4}\selectfont\ttfamily\bfseries SHEET}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{6.4}{6.6}\selectfont\ttfamily\bfseries \thepage/\pageref{LastPage}}\hspace{0.45mm}}\par} \\%
|
||||
\end{tabularx}%
|
||||
\par\nointerlineskip%
|
||||
\hrule height0.35pt%
|
||||
\nointerlineskip%
|
||||
\begin{tabularx}{\linewidth}{@{}p{\dimexpr0.05882353\linewidth-\arrayrulewidth\relax}|p{\dimexpr0.05042017\linewidth-\arrayrulewidth\relax}|p{\dimexpr0.14705882\linewidth-\arrayrulewidth\relax}|p{\dimexpr0.09243697\linewidth-\arrayrulewidth\relax}|p{\dimexpr0.07563025\linewidth-\arrayrulewidth\relax}|p{\dimexpr0.07563025\linewidth-\arrayrulewidth\relax}|X@{}}%
|
||||
\parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.15mm}{\fontsize{2.85}{3}\selectfont\ttfamily\bfseries SUBJ.}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{4.45}{4.65}\selectfont\ttfamily\bfseries Inf.}\hspace{0.15mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.15mm}{\fontsize{2.85}{3}\selectfont\ttfamily\bfseries PROG.}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{4.45}{4.65}\selectfont\ttfamily\bfseries —}\hspace{0.15mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.15mm}{\fontsize{2.85}{3}\selectfont\ttfamily\bfseries CORE}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{4.45}{4.65}\selectfont\ttfamily\bfseries —}\hspace{0.15mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.15mm}{\fontsize{2.85}{3}\selectfont\ttfamily\bfseries SCOPE}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{4.45}{4.65}\selectfont\ttfamily\bfseries —}\hspace{0.15mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.15mm}{\fontsize{2.85}{3}\selectfont\ttfamily\bfseries LEVEL}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{4.45}{4.65}\selectfont\ttfamily\bfseries —}\hspace{0.15mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hspace{0.15mm}{\fontsize{2.85}{3}\selectfont\ttfamily\bfseries POS.}\par\nointerlineskip\vspace{0.12mm}\noindent\makebox[\linewidth][r]{{\fontsize{4.45}{4.65}\selectfont\ttfamily\bfseries —}\hspace{0.15mm}}\par} & \parbox[c][5.19414mm][c]{\linewidth}{\hbox to\linewidth{\hspace{0.35mm}{\fontsize{3.4}{3.75}\selectfont\ttfamily\bfseries GITEA UUID}\hfill{\fontsize{3.4}{3.75}\selectfont\ttfamily 05b4f486-a27c-455d-a315-f4e51a4c66b3}\hspace{0.35mm}}\par\nointerlineskip\hbox to\linewidth{\hspace{0.35mm}{\fontsize{3.4}{3.75}\selectfont\ttfamily\bfseries CARD UUID} {\fontsize{3.4}{3.75}\selectfont\ttfamily 05b4f486-a27c-455d-a315-f4e51a4c66b3}\hfill{\fontsize{3.4}{3.75}\selectfont\ttfamily\bfseries AUTHOR M. Pabiszczak}\hspace{0.35mm}}} \\%
|
||||
\end{tabularx}%
|
||||
\par\nointerlineskip%
|
||||
\hrule height0.35pt%
|
||||
\nointerlineskip%
|
||||
\begin{tabularx}{\linewidth}{@{}X@{}}%
|
||||
\parbox[c][3.46276mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{4.5}{4.85}\selectfont\ttfamily\bfseries GITEA} {\fontsize{4.5}{4.85}\selectfont\ttfamily\href{https://zsl-gitea.mpabi.pl/edu-freertos-cpp/lab-rv32i-freertos-integration}{\nolinkurl{https://zsl-gitea.mpabi.pl/edu-freertos-cpp/lab-rv32i-freertos-integration}}}} \\%
|
||||
\end{tabularx}%
|
||||
\par\nointerlineskip%
|
||||
\hrule height0.35pt%
|
||||
\nointerlineskip%
|
||||
\begin{tabularx}{\linewidth}{@{}X@{}}%
|
||||
\parbox[c][3.46276mm][c]{\linewidth}{\hspace{0.45mm}{\fontsize{4.5}{4.85}\selectfont\ttfamily\bfseries HTML} {\fontsize{4.5}{4.85}\selectfont\ttfamily\href{}{\nolinkurl{}}}} \\%
|
||||
\end{tabularx}%
|
||||
\end{minipage}%
|
||||
\vrule width0.35pt%
|
||||
\begin{minipage}[c][23mm][c]{24mm}\centering%
|
||||
{\tiny QR wyłączony}%
|
||||
\end{minipage}%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\endgroup%
|
||||
}
|
||||
|
||||
\pagestyle{fancy}
|
||||
\fancyhf{}
|
||||
\fancyhead[C]{\ESCPageResourceHeader}
|
||||
\renewcommand{\headrulewidth}{0pt}
|
||||
\renewcommand{\footrulewidth}{0pt}
|
||||
|
||||
\newcommand{\ESCMarginTag}[4]{%
|
||||
\hspace*{#1}\textcolor{#2}{#3~#4}%
|
||||
}
|
||||
\newcommand{\ESCSectionBlockStart}{%
|
||||
\Needspace{8\baselineskip}%
|
||||
\par\vspace{0.35em}%
|
||||
\noindent\textcolor{black!28}{\rule{\textwidth}{0.35pt}}%
|
||||
\par\vspace{0.15em}%
|
||||
}
|
||||
\newcommand{\ESCSectionBlockEnd}{%
|
||||
\par\vspace{0.25em}%
|
||||
\noindent\textcolor{black!18}{\rule{\textwidth}{0.25pt}}%
|
||||
\par\vspace{0.45em}%
|
||||
}
|
||||
\newcommand{\ESCTinyStepSeparator}{%
|
||||
\par\vspace{0.10em}%
|
||||
\noindent{\color{black!18}\leaders\hbox{\rule{0.60em}{0.22pt}\hspace{0.38em}}\hfill\kern0pt}%
|
||||
\par\vspace{0.10em}%
|
||||
}
|
||||
\newtcolorbox{ESCTaskFrame}[1]{enhanced,breakable,arc=0pt,boxrule=0.35pt,colback=white,colframe=black,boxsep=0pt,left=1.4mm,right=1.4mm,top=0.8mm,bottom=0.8mm,colbacktitle=black!7,coltitle=black,title={\ttfamily\bfseries TASK\quad #1}}
|
||||
\newtcolorbox{ESCBlockFrame}[1]{enhanced,breakable,arc=0pt,boxrule=0.35pt,colback=white,colframe=black!55,boxsep=0pt,left=1.0mm,right=1.0mm,top=0.6mm,bottom=0.6mm,colbacktitle=black!4,coltitle=black,title={\ttfamily\bfseries BLOCK\quad #1}}
|
||||
\newtcolorbox{ESCStepFrame}[1]{enhanced,breakable,arc=0pt,boxrule=0.35pt,colback=white,colframe=black!28,boxsep=0pt,left=0.8mm,right=0.8mm,top=0.45mm,bottom=0.45mm,colbacktitle=black!2,coltitle=black,title={\ttfamily STEP\quad #1}}
|
||||
\newtcolorbox{ESCConclusionFrame}{enhanced,breakable,arc=0pt,boxrule=0.45pt,colback=blue!2,colframe=blue!45!black,boxsep=0pt,left=1.2mm,right=1.2mm,top=0.7mm,bottom=0.7mm,colbacktitle=blue!7,coltitle=black,title={\ttfamily\bfseries WNIOSEK}}
|
||||
|
||||
\newcommand{\ESCLearningTreeWidget}{%
|
||||
\reversemarginpar
|
||||
\marginnote[%
|
||||
\begin{minipage}{\marginparwidth}%
|
||||
\raggedright
|
||||
{\fontsize{3.55}{3.95}\selectfont\ttfamily
|
||||
\begin{minipage}[t]{\marginparwidth}%
|
||||
\raggedright
|
||||
{\bfseries\textcolor{black!65}{TECH}\par}%
|
||||
\vspace{0.08em}%
|
||||
\hspace*{0.00em}\textcolor{red}{WE~01}\textcolor{black!48}{}\par%
|
||||
\hspace*{0.28em}\textcolor{orange!85!black}{EK~LOCAL~DBG.E2E}\textcolor{black!48}{\pdftooltip[width=\textwidth]{.01}{Mierzy timestamped pipeline, queue peaks, heap/minimum, HWM i digest.}}\par%
|
||||
\hspace*{0.54em}\textcolor{blue!70!black}{KW~LOCAL~DBG.E2E}\textcolor{black!48}{\pdftooltip[width=\textwidth]{.01}{Odtwarza barrier/IRQ/timer/pressure/memory/stack report i PASS.}}\par%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\end{minipage}%
|
||||
]{}
|
||||
\normalmarginpar
|
||||
|
||||
\marginnote{%
|
||||
\begin{minipage}{\marginparwidth}%
|
||||
\raggedright
|
||||
{\fontsize{3.55}{3.95}\selectfont\ttfamily
|
||||
\hspace*{0.06cm}%
|
||||
\begin{minipage}[t]{\dimexpr\marginparwidth-0.06cm\relax}%
|
||||
\raggedright
|
||||
{\bfseries\textcolor{black!65}{OG}\par}%
|
||||
\vspace{0.08em}%
|
||||
\hspace*{0.00em}\textcolor{red}{WE~01}\textcolor{black!48}{}\par%
|
||||
\hspace*{0.28em}\textcolor{green!50!black}{EN~LOCAL~EN~RTOS.ARCH}\textcolor{black!48}{\pdftooltip[width=\textwidth]{.01}{Ewaluacja service graph, storage, priority, pressure i failure policy.}}\par%
|
||||
\hspace*{0.54em}\textcolor{blue!70!black}{KW~LOCAL~KW~RTOS.ARCH}\textcolor{black!48}{\pdftooltip[width=\textwidth]{.01}{Uzasadnia istniejące wrappery i nie dodaje warstwy bez nowego invariant.}}\par%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\end{minipage}%
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
\begin{document}
|
||||
\sloppy
|
||||
|
||||
\vspace{1.0em}
|
||||
\noindent{\Large\bfseries Cel karty}\par
|
||||
\vspace{0.35em}
|
||||
Uczeń składa istniejące wrappery w usługę end-to-end i przedstawia reprodukowalny raport trace, pressure, heap, stack HWM, ISR oraz timer.
|
||||
|
||||
\vspace{0.8em}
|
||||
\noindent\textcolor{black!25}{\rule{\textwidth}{0.35pt}}
|
||||
\vspace{0.7em}
|
||||
\noindent{\Large\bfseries Zakres karty}\par
|
||||
\vspace{0.35em}
|
||||
K16 nie dodaje nowego prymitywu. Każdy storage, priority, ownership, queue policy i failure path ma jawny invariant oraz mierzony dowód.
|
||||
|
||||
\vspace{0.8em}
|
||||
\noindent\textcolor{black!25}{\rule{\textwidth}{0.35pt}}
|
||||
|
||||
\clearpage
|
||||
|
||||
\ESCSectionBlockStart
|
||||
\section{Inventory, barrier i wejścia}
|
||||
\reversemarginpar
|
||||
\marginnote[%
|
||||
\begin{minipage}{\marginparwidth}%
|
||||
\raggedright
|
||||
{\fontsize{3.55}{3.95}\selectfont\ttfamily
|
||||
\begin{minipage}[t]{\marginparwidth}%
|
||||
\raggedright
|
||||
{\bfseries\textcolor{black!65}{TECH}\par}%
|
||||
\vspace{0.08em}%
|
||||
\hspace*{0.00em}\textcolor{red}{WE~01}\textcolor{black!48}{}\par%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\end{minipage}%
|
||||
]{}[-3.1em]
|
||||
\normalmarginpar
|
||||
|
||||
\marginnote{%
|
||||
\begin{minipage}{\marginparwidth}%
|
||||
\raggedright
|
||||
{\fontsize{3.55}{3.95}\selectfont\ttfamily
|
||||
\hspace*{0.06cm}%
|
||||
\begin{minipage}[t]{\dimexpr\marginparwidth-0.06cm\relax}%
|
||||
\raggedright
|
||||
{\bfseries\textcolor{black!65}{OG}\par}%
|
||||
\vspace{0.08em}%
|
||||
\hspace*{0.00em}\textcolor{red}{WE~01}\textcolor{black!48}{}\par%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\end{minipage}%
|
||||
}[-3.1em]
|
||||
|
||||
|
||||
\begingroup
|
||||
\scriptsize\ttfamily\color{black!60}\sloppy
|
||||
\noindent drzewka: \pdftooltip[width=\textwidth]{D1}{K16.WE01.TECH.LOCAL.DBG.E2E.01 | WE 01: Integration evidence. Kompozycja pełnej aplikacji\textCR czasu rzeczywistego i pakietu dowodów bez nowego wrappera. | EK LOCAL DBG.E2E.01: Mierzy\textCR timestamped pipeline, queue peaks, heap/minimum, HWM i digest. | KW LOCAL DBG.E2E.01:\textCR Odtwarza barrier/IRQ/timer/pressure/memory/stack report i PASS.}\par
|
||||
\vspace{0.10em}%
|
||||
\noindent K1: Pokaż static delta 0, dynamic queue 128 B i barrier 0x7.\quad D1\par
|
||||
\ESCTinyStepSeparator
|
||||
\noindent K2: Pokaż IRQ@1 oraz timer@5/10.\quad D1\par
|
||||
\par\vspace{0.18em}%
|
||||
\endgroup
|
||||
|
||||
Zinwentaryzuj static/dynamic storage, uruchom trzy StaticTask przez EventGroup barrier i zmierz realny IRQ oraz dwa timer callbacks.
|
||||
\ESCSectionBlockEnd
|
||||
|
||||
\ESCSectionBlockStart
|
||||
\section{Pipeline, pressure i recovery}
|
||||
\reversemarginpar
|
||||
\marginnote[%
|
||||
\begin{minipage}{\marginparwidth}%
|
||||
\raggedright
|
||||
{\fontsize{3.55}{3.95}\selectfont\ttfamily
|
||||
\begin{minipage}[t]{\marginparwidth}%
|
||||
\raggedright
|
||||
{\bfseries\textcolor{black!65}{TECH}\par}%
|
||||
\vspace{0.08em}%
|
||||
\hspace*{0.00em}\textcolor{red}{WE~01}\textcolor{black!48}{}\par%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\end{minipage}%
|
||||
]{}[-3.1em]
|
||||
\normalmarginpar
|
||||
|
||||
\marginnote{%
|
||||
\begin{minipage}{\marginparwidth}%
|
||||
\raggedright
|
||||
{\fontsize{3.55}{3.95}\selectfont\ttfamily
|
||||
\hspace*{0.06cm}%
|
||||
\begin{minipage}[t]{\dimexpr\marginparwidth-0.06cm\relax}%
|
||||
\raggedright
|
||||
{\bfseries\textcolor{black!65}{OG}\par}%
|
||||
\vspace{0.08em}%
|
||||
\hspace*{0.00em}\textcolor{red}{WE~01}\textcolor{black!48}{}\par%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\end{minipage}%
|
||||
}[-3.1em]
|
||||
|
||||
|
||||
\begingroup
|
||||
\scriptsize\ttfamily\color{black!60}\sloppy
|
||||
\noindent drzewka: \pdftooltip[width=\textwidth]{D1}{K16.WE01.TECH.LOCAL.DBG.E2E.01 | WE 01: Integration evidence. Kompozycja pełnej aplikacji\textCR czasu rzeczywistego i pakietu dowodów bez nowego wrappera. | EK LOCAL DBG.E2E.01: Mierzy\textCR timestamped pipeline, queue peaks, heap/minimum, HWM i digest. | KW LOCAL DBG.E2E.01:\textCR Odtwarza barrier/IRQ/timer/pressure/memory/stack report i PASS.}\par
|
||||
\vspace{0.10em}%
|
||||
\noindent K1: Udowodnij produced/processed/reported 3 i sum 120.\quad D1\par
|
||||
\ESCTinyStepSeparator
|
||||
\noindent K2: Udowodnij peaks 2/2, drop 4 i recovery.\quad D1\par
|
||||
\par\vspace{0.18em}%
|
||||
\endgroup
|
||||
|
||||
Przetwórz trzy sample do sumy 120, wypełnij obie queues do 2, odrzuć seq4 przez drop-newest i przepchnij end marker po zwolnieniu miejsca.
|
||||
\ESCSectionBlockEnd
|
||||
|
||||
\ESCSectionBlockStart
|
||||
\section{Failure, stack i reproducible report}
|
||||
\reversemarginpar
|
||||
\marginnote[%
|
||||
\begin{minipage}{\marginparwidth}%
|
||||
\raggedright
|
||||
{\fontsize{3.55}{3.95}\selectfont\ttfamily
|
||||
\begin{minipage}[t]{\marginparwidth}%
|
||||
\raggedright
|
||||
{\bfseries\textcolor{black!65}{TECH}\par}%
|
||||
\vspace{0.08em}%
|
||||
\hspace*{0.00em}\textcolor{red}{WE~01}\textcolor{black!48}{}\par%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\end{minipage}%
|
||||
]{}[-3.1em]
|
||||
\normalmarginpar
|
||||
|
||||
\marginnote{%
|
||||
\begin{minipage}{\marginparwidth}%
|
||||
\raggedright
|
||||
{\fontsize{3.55}{3.95}\selectfont\ttfamily
|
||||
\hspace*{0.06cm}%
|
||||
\begin{minipage}[t]{\dimexpr\marginparwidth-0.06cm\relax}%
|
||||
\raggedright
|
||||
{\bfseries\textcolor{black!65}{OG}\par}%
|
||||
\vspace{0.08em}%
|
||||
\hspace*{0.00em}\textcolor{red}{WE~01}\textcolor{black!48}{}\par%
|
||||
\end{minipage}%
|
||||
}%
|
||||
\end{minipage}%
|
||||
}[-3.1em]
|
||||
|
||||
|
||||
\begingroup
|
||||
\scriptsize\ttfamily\color{black!60}\sloppy
|
||||
\noindent drzewka: \pdftooltip[width=\textwidth]{D1}{K16.WE01.OG.LOCAL.RTOS.ARCH.01 | WE 01: Integration evidence. Kompozycja pełnej aplikacji\textCR czasu rzeczywistego i pakietu dowodów bez nowego wrappera. | EN LOCAL RTOS.ARCH.01:\textCR Ewaluacja service graph, storage, priority, pressure i failure policy. | KW LOCAL\textCR RTOS.ARCH.01: Uzasadnia istniejące wrappery i nie dodaje warstwy bez nowego invariant.}\par
|
||||
\vspace{0.10em}%
|
||||
\noindent K1: Pokaż failure recovery, HWM i memory minimum.\quad D1\par
|
||||
\ESCTinyStepSeparator
|
||||
\noindent K2: Odtwórz trace i uzasadnij architecture invariants.\quad D1\par
|
||||
\par\vspace{0.18em}%
|
||||
\endgroup
|
||||
|
||||
Wymuś fallible allocation failure bez zmiany heapu, zapisz HWM tasków, latency 6 i 24-event digest c474ac09; uzasadnij każdą granicę.
|
||||
\ESCSectionBlockEnd
|
||||
|
||||
\end{document}
|
||||
+198
@@ -0,0 +1,198 @@
|
||||
\documentclass[10pt]{article}
|
||||
\usepackage[T1]{fontenc}\usepackage[utf8]{inputenc}\usepackage[polish]{babel}
|
||||
\usepackage[a4paper,margin=1.55cm]{geometry}
|
||||
\usepackage{array,tabularx,booktabs,amsmath,amssymb,xcolor,listings,hyperref,fancyhdr,lastpage,enumitem}
|
||||
\definecolor{accent}{HTML}{16324A}\definecolor{accentlight}{HTML}{EEF3F7}\definecolor{rulegray}{HTML}{D7DEE5}
|
||||
\hypersetup{colorlinks=true,linkcolor=accent,urlcolor=blue}
|
||||
\IfFileExists{build-meta.tex}{\input{build-meta.tex}}{\newcommand{\BuildCommit}{local}}
|
||||
\newcommand{\PublisherDomain}{mpabi}
|
||||
\newcommand{\CardArea}{inf}
|
||||
\newcommand{\CardSeries}{freertos-cpp}
|
||||
\newcommand{\CardNumber}{16}
|
||||
\newcommand{\CardCount}{16}
|
||||
\newcommand{\CardSlug}{integration}
|
||||
\newcommand{\CardVersion}{v00.01}
|
||||
\newcommand{\DocumentUUID}{05b4f486-a27c-455d-a315-f4e51a4c66b3}
|
||||
\newcommand{\blank}[1]{\rule{#1}{.2pt}}
|
||||
\lstset{language=C++,basicstyle=\ttfamily\scriptsize,columns=fullflexible,keepspaces=true,frame=single,breaklines=true,showstringspaces=false,numbers=none,backgroundcolor=\color{accentlight},rulecolor=\color{rulegray}}
|
||||
\pagestyle{fancy}\fancyhf{}
|
||||
\lhead{\textbf{K16 · FreeRTOS C++ · Integration}}\rhead{\small L15 · evidence report}
|
||||
\lfoot{\scriptsize commit \BuildCommit}\cfoot{\scriptsize \thepage/\pageref{LastPage}}\rfoot{\scriptsize V11.3.0 / \CardVersion}
|
||||
\setlength{\headheight}{14pt}\setlength{\footskip}{19pt}
|
||||
\setlist[itemize]{nosep,leftmargin=1.45em}\setlist[enumerate]{nosep,leftmargin=1.65em}
|
||||
\begin{document}\sloppy
|
||||
\begin{center}
|
||||
{\LARGE\bfseries Integracja usług RTOS i raport dowodów}\par
|
||||
\vspace{.25em}{\large barrier, IRQ, timer, pipeline, pressure, heap i stack HWM}\par
|
||||
\end{center}
|
||||
\noindent\begin{tabularx}{\textwidth}{@{}p{1.65cm}Xp{1.75cm}X@{}}
|
||||
\toprule
|
||||
Karta & K16 / \CardCount & Czas & 30 minut \\
|
||||
Platforma & Hazard3 / RV32I & Trace & 24 events \\
|
||||
Dynamic & 1 queue / 128 B & Digest & \texttt{c474ac09} \\
|
||||
Wersja & \CardVersion & UUID karty & \texttt{05b4f486-...} \\
|
||||
\bottomrule
|
||||
\end{tabularx}
|
||||
|
||||
\section*{Kompozycja, bez nowego prymitywu}
|
||||
\begin{lstlisting}
|
||||
StaticTask producer, processor, reporter;
|
||||
StaticQueue<Sample, 2> input;
|
||||
Queue<Report> output{2}; // one measured dynamic service
|
||||
EventGroup<ServiceBit> startup;
|
||||
PeriodicTimer<TimerContext> sampler;
|
||||
\end{lstlisting}
|
||||
|
||||
\noindent\fcolorbox{accent}{accentlight}{\begin{minipage}{.94\textwidth}
|
||||
\textbf{Kontrakt K16.} ISR i timer tylko budzą task. Pipeline, transformacja,
|
||||
backpressure i raport są task-context work. Każdy storage, priority, queue
|
||||
policy, failure i pomiar ma jawne uzasadnienie.
|
||||
\end{minipage}}
|
||||
|
||||
\section*{Plan 30 minut}
|
||||
\noindent\begin{tabularx}{\textwidth}{@{}p{1.35cm}p{3.1cm}X@{}}
|
||||
\toprule Czas & Tryb & Dowód \\
|
||||
\midrule
|
||||
0--5 & inventory & static delta 0; dynamic queue 128 B \\
|
||||
5--10 & startup & barrier mask 0x7 \\
|
||||
10--15 & input & IRQ@1, timer@5/10 \\
|
||||
15--20 & pipeline & 3 reports, sum 120 \\
|
||||
20--25 & pressure & peaks 2/2, drop seq 4, recovery \\
|
||||
25--30 & report & latency 6, HWM, digest \\
|
||||
\bottomrule
|
||||
\end{tabularx}
|
||||
|
||||
\section*{Predykcja}
|
||||
Który element może być dynamiczny i dlaczego? \blank{5cm}.
|
||||
Co musi się stać po zapełnieniu queue? \blank{5cm}.
|
||||
|
||||
\newpage
|
||||
\section{Service graph i startup barrier}
|
||||
|
||||
\begin{center}
|
||||
\texttt{EventGroup: producer|processor|reporter = 0x7}\\
|
||||
$\downarrow$ \texttt{external IRQ@1 -- notify producer -- one yield}\\
|
||||
$\downarrow$ \texttt{timer@5,@10 -- producer -- input queue}\\
|
||||
$\downarrow$ \texttt{processor -- report queue -- reporter -- GPIO/report}
|
||||
\end{center}
|
||||
|
||||
\noindent\begin{tabularx}{\textwidth}{@{}p{5.1cm}p{3.2cm}X@{}}
|
||||
\toprule Pomiar & Predykcja & Odczyt \\
|
||||
\midrule
|
||||
startup barrier mask & \texttt{0x7} & \blank{2.5cm} \\
|
||||
ISR wake / yield calls & 1 / 1 & \blank{2.5cm} \\
|
||||
ISR kick / producer tick & 1 / 1 & \blank{2.5cm} \\
|
||||
reporter resume widzi kick & true & \blank{2.5cm} \\
|
||||
timer callback ticks & 5, 10 & \blank{2.5cm} \\
|
||||
timer active po stop & false & \blank{2.5cm} \\
|
||||
\bottomrule
|
||||
\end{tabularx}
|
||||
|
||||
\section*{Granice wykonania}
|
||||
\begin{itemize}
|
||||
\item external ISR: clear source, notification FromISR, one yield;
|
||||
\item timer daemon: bounded \texttt{xTaskNotifyGive(producer)};
|
||||
\item producer: tworzy sample i realizuje pressure policy;
|
||||
\item processor: transformuje value $\times 2$;
|
||||
\item reporter: agreguje pod \texttt{CriticalSection}, ustawia GPIO.
|
||||
\end{itemize}
|
||||
|
||||
Dlaczego transformacji nie wykonuje timer callback?\\[.4em]
|
||||
\blank{16cm}\\[.8em]\blank{16cm}
|
||||
|
||||
\section*{Timestamped trace}
|
||||
Pierwszy sample: tick \blank{1.5cm}. Ostatni report: tick \blank{1.5cm}.
|
||||
Latencja: \blank{1.5cm} ticków. Liczba eventów: \blank{1.5cm}.
|
||||
|
||||
\newpage
|
||||
\section{Pressure injection i recovery}
|
||||
|
||||
\noindent\begin{tabularx}{\textwidth}{@{}p{5.2cm}p{3.1cm}X@{}}
|
||||
\toprule Zdarzenie & Predykcja & Odczyt \\
|
||||
\midrule
|
||||
sample seq 1 / value 10 & accepted & \blank{2.5cm} \\
|
||||
burst seq 2 i 3 & accepted & \blank{2.5cm} \\
|
||||
seq 4 przy full input & drop-newest & \blank{2.5cm} \\
|
||||
input queue peak & 2 & \blank{2.5cm} \\
|
||||
report queue peak & 2 & \blank{2.5cm} \\
|
||||
end marker po zwolnieniu miejsca & accepted & \blank{2.5cm} \\
|
||||
\bottomrule
|
||||
\end{tabularx}
|
||||
|
||||
\section*{Wynik pipeline}
|
||||
\[
|
||||
10\cdot2 + 20\cdot2 + 30\cdot2 = \blank{2cm}
|
||||
\]
|
||||
Produced / processed / reported: \blank{1.5cm} / \blank{1.5cm} /
|
||||
\blank{1.5cm}. Dropped sequence: \blank{1.5cm}.
|
||||
|
||||
\section{Memory inventory}
|
||||
\noindent\begin{tabularx}{\textwidth}{@{}p{5.2cm}p{3.1cm}X@{}}
|
||||
\toprule Pomiar & Predykcja & Odczyt \\
|
||||
\midrule
|
||||
static services heap delta & 0 B & \blank{2.5cm} \\
|
||||
dynamic report queue cost & 128 B & \blank{2.5cm} \\
|
||||
oversized allocation result & null & \blank{2.5cm} \\
|
||||
free heap przed/po failure & equal & \blank{2.5cm} \\
|
||||
minimum-ever free & $\le$ current & \blank{2.5cm} \\
|
||||
\bottomrule
|
||||
\end{tabularx}
|
||||
|
||||
\section*{Stack report}
|
||||
\noindent\begin{tabularx}{\textwidth}{@{}p{5.2cm}p{3.1cm}X@{}}
|
||||
\toprule Task & HWM words & Interpretacja \\
|
||||
\midrule
|
||||
producer & 169 & \blank{5cm} \\
|
||||
processor & 183 & \blank{5cm} \\
|
||||
reporter & 189 & \blank{5cm} \\
|
||||
\bottomrule
|
||||
\end{tabularx}
|
||||
|
||||
Czy dodatni HWM sam dowodzi wystarczającego zapasu dla wszystkich wejść?
|
||||
\blank{4cm}. Dlaczego? \blank{8cm}.
|
||||
|
||||
\newpage
|
||||
\section{Hazard3/GDB i raport końcowy}
|
||||
\begin{lstlisting}[language=bash]
|
||||
make check
|
||||
riscv64-unknown-elf-gdb build/task01_integration/prog.elf
|
||||
b integration_debug_checkpoint
|
||||
\end{lstlisting}
|
||||
\begin{lstlisting}
|
||||
p/x g_barrier_mask
|
||||
p g_isr_wake_requested
|
||||
p g_timer_ticks
|
||||
p g_samples_produced
|
||||
p g_samples_processed
|
||||
p g_reports_received
|
||||
p g_input_queue_peak
|
||||
p g_report_queue_peak
|
||||
p g_pressure_dropped_sequence
|
||||
p g_dynamic_queue_heap_cost
|
||||
p g_allocation_failure_recovered
|
||||
p g_producer_hwm
|
||||
p g_processor_hwm
|
||||
p g_reporter_hwm
|
||||
p g_end_to_end_latency
|
||||
p/x g_trace_digest
|
||||
p g_integration_pass
|
||||
\end{lstlisting}
|
||||
|
||||
\section*{Zaliczenie}
|
||||
\begin{itemize}
|
||||
\item $\square$ uzasadniam graph, priorities, ownership i storage;
|
||||
\item $\square$ pokazuję barrier 0x7, IRQ@1 oraz timer@5/10;
|
||||
\item $\square$ trzy sample dają reports i sumę 120;
|
||||
\item $\square$ peaks 2/2, seq 4 drop i end-marker recovery;
|
||||
\item $\square$ static delta 0, dynamic queue 128 B, failure bez wycieku;
|
||||
\item $\square$ raportuję latency 6, HWM 169/183/189 i digest c474ac09.
|
||||
\end{itemize}
|
||||
|
||||
\section*{Wyjście}
|
||||
Który invariant uzasadnia każdy użyty wrapper?\\[.5em]\blank{16cm}\\[1em]
|
||||
Jak odtworzysz ten raport bez screenshotu?\\[.5em]\blank{16cm}
|
||||
|
||||
\vfill
|
||||
\noindent\textbf{Koniec bloku K02--K16:} dalszy projekt rozszerza aplikację,
|
||||
ale nie zmienia zaliczonych kontraktów storage, lifetime, ISR i evidence.
|
||||
\end{document}
|
||||
BIN
Binary file not shown.
Reference in New Issue
Block a user