320 lines
18 KiB
TeX
320 lines
18 KiB
TeX
% 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-c}
|
||
\newcommand{\CardNumber}{07}
|
||
\newcommand{\CardCount}{15}
|
||
\newcommand{\CardSlug}{isr-semaphore}
|
||
\newcommand{\CardVersion}{v00.01}
|
||
\newcommand{\DocumentUUID}{530724e2-6774-5b17-9912-b3f5c243c15d}
|
||
|
||
\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]{24mm}\centering%
|
||
\href{https://zsl-gitea.mpabi.pl/edu-freertos-c/lab-rv32i-freertos-c-isr-semaphore}{\qrcode[level=L,height=22mm]{https://zsl-gitea.mpabi.pl/edu-freertos-c/lab-rv32i-freertos-c-isr-semaphore}}%
|
||
\end{minipage}%
|
||
\vrule width0.35pt%
|
||
\begin{minipage}[c][23mm][c]{\dimexpr\linewidth-48mm-0.7pt\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 Przerwanie zewnętrzne i semaphore FromISR}\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 07/15}\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 530724e2-6774-5b17-9912-b3f5c243c15d}\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 a6da1075-8d1f-5615-b0e6-0fc33e59e1e3}\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-c/lab-rv32i-freertos-c-isr-semaphore}{\nolinkurl{https://zsl-gitea.mpabi.pl/edu-freertos-c/lab-rv32i-freertos-c-isr-semaphore}}}} \\%
|
||
\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{https://dce7fb9d-7b2f-5d49-96a2-3a30d3070b84.mpabi.pl/a6da1075-8d1f-5615-b0e6-0fc33e59e1e3}{\nolinkurl{https://dce7fb9d-7b2f-5d49-96a2-3a30d3070b84.mpabi.pl/a6da1075-8d1f-5615-b0e6-0fc33e59e1e3}}}} \\%
|
||
\end{tabularx}%
|
||
\end{minipage}%
|
||
\vrule width0.35pt%
|
||
\begin{minipage}[c][23mm][c]{24mm}\centering%
|
||
\href{https://dce7fb9d-7b2f-5d49-96a2-3a30d3070b84.mpabi.pl/a6da1075-8d1f-5615-b0e6-0fc33e59e1e3}{\qrcode[level=L,height=22mm]{https://dce7fb9d-7b2f-5d49-96a2-3a30d3070b84.mpabi.pl/a6da1075-8d1f-5615-b0e6-0fc33e59e1e3}}%
|
||
\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~RTOS}\textcolor{black!48}{\pdftooltip[width=\textwidth]{.07}{Uczeń odtwarza E01–E09 i wiąże mcause, source clear, xHPW, trzy SP oraz kolejność context\textCR restore.}}\par%
|
||
\hspace*{0.54em}\textcolor{blue!70!black}{KW~LOCAL~RTOS}\textcolor{black!48}{\pdftooltip[width=\textwidth]{.07}{Łączy kod, diagram i zweryfikowany dowód.}}\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}\textcolor{black!48}{\pdftooltip[width=\textwidth]{.07}{Uczeń rozdziela hardware source, trap port, xISRStack, FromISR API i task scheduling.}}\par%
|
||
\hspace*{0.54em}\textcolor{blue!70!black}{KW~LOCAL~KW~RTOS}\textcolor{black!48}{\pdftooltip[width=\textwidth]{.07}{Łączy kod, diagram i zweryfikowany dowód.}}\par%
|
||
\end{minipage}%
|
||
}%
|
||
\end{minipage}%
|
||
}
|
||
|
||
}
|
||
|
||
\begin{document}
|
||
\sloppy
|
||
|
||
\vspace{1.0em}
|
||
\noindent{\Large\bfseries Cel karty}\par
|
||
\vspace{0.35em}
|
||
Uczeń rozdziela task context od ISR context, używa API FromISR i dowodzi natychmiastowego przełączenia do wyższego taska.
|
||
|
||
\vspace{0.8em}
|
||
\noindent\textcolor{black!25}{\rule{\textwidth}{0.35pt}}
|
||
\vspace{0.7em}
|
||
\noindent{\Large\bfseries Zakres karty}\par
|
||
\vspace{0.35em}
|
||
Prawdziwe wejście IRQ5 testbencha wywołuje machine external interrupt. Port zapisuje pełny kontekst i przechodzi na \texttt{xISRStack}. ISR czyści źródło, daje binary semaphore i wywołuje \texttt{portYIELD\_FROM\_ISR}. Waiter priority 3 działa przed powrotem do stimulus priority 2.
|
||
\vspace{0.55em}
|
||
\small\begin{tabularx}{\textwidth}{@{}>{\ttfamily\raggedright\arraybackslash}p{0.85cm}>{\ttfamily\raggedright\arraybackslash}p{1.45cm}X>{\raggedright\arraybackslash}p{2.45cm}>{\raggedright\arraybackslash}p{1.75cm}>{\ttfamily\raggedright\arraybackslash}p{1.50cm}@{}}
|
||
\textbf{Lekcja} & \textbf{Task} & \textbf{Najważniejsza idea} & \textbf{Priorytet} & \textbf{Status} & \textbf{Version} \\ \hline
|
||
\hline
|
||
\multicolumn{1}{|l|}{\textbf{\texttt{FC07}}} & \multicolumn{1}{l|}{\textbf{\texttt{Task01}}} & \multicolumn{1}{l|}{\textbf{Hazard3 MEI, xISRStack, xSemaphoreGiveFromISR i yield}} & \multicolumn{1}{l|}{\textbf{główny}} & \multicolumn{1}{l|}{\textbf{opracowane}} & \multicolumn{1}{l|}{\textbf{\texttt{v00.01}}} \\ \hline
|
||
\end{tabularx}
|
||
\normalsize
|
||
|
||
|
||
\vspace{0.8em}
|
||
\noindent\textcolor{black!25}{\rule{\textwidth}{0.35pt}}
|
||
|
||
\clearpage
|
||
|
||
\begin{landscape}
|
||
\ESCSectionBlockStart
|
||
\noindent{\small\bfseries A1 — Context \hfill część 1/1 \textperiodcentered\ r1 c1}\par
|
||
\vspace{0.35em}
|
||
\begin{figure}[H]
|
||
\centering
|
||
\includegraphics[width=0.52979\linewidth,trim=0.000bp 0.000bp 0.000bp 0.000bp,clip]{\detokenize{../assets/a1-context.png}}
|
||
\caption{A1 CONTEXT — IRQ5 do high-priority waitera. — część 1/1 (r1 c1).}
|
||
\label{fig:a1-context}
|
||
\end{figure}
|
||
\ESCSectionBlockEnd
|
||
\end{landscape}
|
||
|
||
\clearpage
|
||
\begin{landscape}
|
||
\ESCSectionBlockStart
|
||
\noindent{\small\bfseries A3 — Dispatch \hfill część 1/1 \textperiodcentered\ r1 c1}\par
|
||
\vspace{0.35em}
|
||
\begin{figure}[H]
|
||
\centering
|
||
\includegraphics[width=0.36596\linewidth,trim=0.000bp 0.000bp 0.000bp 0.000bp,clip]{\detokenize{../assets/a3-dispatch.png}}
|
||
\caption{A3 DISPATCH — vector, trap, FromISR i restore. — część 1/1 (r1 c1).}
|
||
\label{fig:a3-dispatch}
|
||
\end{figure}
|
||
\ESCSectionBlockEnd
|
||
\end{landscape}
|
||
|
||
\clearpage
|
||
\begin{landscape}
|
||
\ESCSectionBlockStart
|
||
\noindent{\small\bfseries A5 — Flow \hfill część 1/1 \textperiodcentered\ r1 c1}\par
|
||
\vspace{0.35em}
|
||
\begin{figure}[H]
|
||
\centering
|
||
\includegraphics[width=0.96383\linewidth,trim=0.000bp 0.000bp 0.000bp 0.000bp,clip]{\detokenize{../assets/a5-flow.png}}
|
||
\caption{A5 FLOW — od Blocked przez ISR do natychmiastowego waitera. — część 1/1 (r1 c1).}
|
||
\label{fig:a5-flow}
|
||
\end{figure}
|
||
\ESCSectionBlockEnd
|
||
\end{landscape}
|
||
|
||
\clearpage
|
||
\ESCSectionBlockStart
|
||
\noindent{\small\bfseries A6 — State \hfill część 1/1 \textperiodcentered\ r1 c1}\par
|
||
\vspace{0.35em}
|
||
\begin{figure}[H]
|
||
\centering
|
||
\includegraphics[width=0.4197\linewidth,trim=0.000bp 0.000bp 0.000bp 0.000bp,clip]{\detokenize{../assets/a6-state.png}}
|
||
\caption{A6 STATE — empty, given, switch i taken. — część 1/1 (r1 c1).}
|
||
\label{fig:a6-state}
|
||
\end{figure}
|
||
\ESCSectionBlockEnd
|
||
|
||
\clearpage
|
||
\ESCSectionBlockStart
|
||
\noindent{\small\bfseries A7 — Runtime \hfill część 1/1 \textperiodcentered\ r1 c1}\par
|
||
\vspace{0.35em}
|
||
\begin{figure}[H]
|
||
\centering
|
||
\includegraphics[width=0.64697\linewidth,trim=0.000bp 0.000bp 0.000bp 0.000bp,clip]{\detokenize{../assets/a7-runtime.png}}
|
||
\caption{A7 RUNTIME — stimulus TCB, xISRStack i waiter TCB. — część 1/1 (r1 c1).}
|
||
\label{fig:a7-runtime}
|
||
\end{figure}
|
||
\ESCSectionBlockEnd
|
||
|
||
\clearpage
|
||
\ESCSectionBlockStart
|
||
\section{Task01 — ISR semaphore}
|
||
|
||
\begin{ESCTaskFrame}{TASK01 · External IRQ → FromISR semaphore → high-priority task}
|
||
{\scriptsize\ttfamily a6da1075-8d1f-5615-b0e6-0fc33e59e1e3}\par
|
||
\begin{ESCBlockFrame}{A — kontrakt przerwania}
|
||
Rozdziel source, vector, port, ISR i task.
|
||
\begin{ESCStepFrame}{order · Ustal kolejność ISR.}
|
||
Najpierw clear, potem give, na końcu yield.
|
||
\end{ESCStepFrame}
|
||
\begin{ESCStepFrame}{predict · Przewidź context restore.}
|
||
Wskaż, czy pierwszy wykona się waiter czy stimulus.
|
||
\end{ESCStepFrame}
|
||
\end{ESCBlockFrame}
|
||
\begin{ESCBlockFrame}{B — replay Hazard3}
|
||
Każdy RUN zaczyna się od czystej RAM i wyłączonego źródła.
|
||
\begin{ESCStepFrame}{trap · Zbadaj E03–E05.}
|
||
Zapisz \texttt{mcause}, \texttt{mepc}, \texttt{isr\_sp} i source state.
|
||
\end{ESCStepFrame}
|
||
\begin{ESCStepFrame}{handoff · Zbadaj E06–E08.}
|
||
Porównaj xHPW i kolejność tasków.
|
||
\end{ESCStepFrame}
|
||
\begin{ESCStepFrame}{pass · Zbadaj E09.}
|
||
Sprawdź trzy stosy, markers i digest.
|
||
\end{ESCStepFrame}
|
||
\end{ESCBlockFrame}
|
||
\begin{ESCBlockFrame}{Ćwiczenie · Ćwiczenie — brak yield request}
|
||
W kontrolowanym wariancie pomiń \texttt{portYIELD\_FROM\_ISR}, zachowując GiveFromISR. Zmierz, kiedy waiter zacznie działać i wskaż następny legalny scheduling point.
|
||
\par\textbf{Evidence:} Dwa timestampowane ślady E07/E08 z yield i bez yield oraz opis różnicy.
|
||
\par\textbf{Acceptance:} Uczeń nie myli odblokowania taska z natychmiastowym wykonaniem i przywraca poprawny yield w wersji finalnej.
|
||
\end{ESCBlockFrame}
|
||
\tcblower\textbf{Task acceptance:} PASS; mcause=MEI; source=0 przed give; xHPW=1; waiter E07 przed stimulus E08; trzy różne stosy; deterministyczny digest.
|
||
\end{ESCTaskFrame}
|
||
\begin{ESCConclusionFrame}
|
||
ISR działa na osobnym stacku i używa FromISR API. \texttt{xHigherPriorityTaskWoken} jest informacją dla portu; dopiero \texttt{portYIELD\_FROM\_ISR} powoduje restore kontekstu wyższego taska przed powrotem do przerwanego kodu.
|
||
\end{ESCConclusionFrame}
|
||
\ESCSectionBlockEnd
|
||
|
||
\end{document}
|