---
title: Lab40: Scheduling (2015q1 Week #4)
toc: no
...

預期目標
------------
- 分析 `FreeRTOS</embedded/freertos>`_ 排程行為
- 學習 ARM Cortex-M3 架構並且理解 `SysTick<http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dai0179b/ar01s02s08.html>`_
- 設計出一個具體而微的 FreeRTOS 視覺化機制

Grasp
-------
.. image:: /embedded/Lab40/grasp-n-os.png
- Understanding and validating the timing behavior of real-time systems is not trivial.
- Many real-time operating systems and their development environments do not provide tracing support, and provide only limited visualization, measurements and analysis tools.
- `Grasp<http://www.win.tue.nl/san/grasp/>`_ is a tool for tracing, visualizing and measuring the behavior of real-time systems. It provides a simple plugin infrastructure for extending Grasp with custom visualization and measurement methods.

- mutex 視覺化輸出

.. image:: /embedded/Lab12/mutex.png

- RTOS scheduling 視覺化輸出

.. image:: /embedded/Lab12/hsf.png

Grasp 安裝
----------------
* 抓取預先編譯的程式碼 (x86/linux): 假設和 `Lab-39</embedded/Lab39>`_ 的工作目錄一樣是 ``workspace``

.. code-block:: prettyprint

    sudo apt-get install zip
    wget http://www.win.tue.nl/san/grasp/grasp_linux.zip
    unzip grasp_linux.zip

* 如果你的系統是 x86_64，需要額外安裝以下套件才能執行 Grasp

.. code-block:: prettyprint

    sudo apt-get install libxft2:i386 libxss1:i386

* 執行 Grasp、點選 ``examples`` 目錄並且挑選副檔名為 ``.grasp`` 的檔案，之後觀察視覺化輸出

.. image:: /embedded/Lab40/grasp.png

取得 Visualizer 並測試
------------------------------
* Visualizer 需要 GDB，所以需要事先準備好

.. code-block:: prettyprint

    sudo apt-get install gdb-arm-none-eabi

* 假設 `Lab-39</embedded/Lab39>`_ 的 ``freertos-basic`` 和 ``qemu_stm32`` 都放在 ``workspace`` 目錄
  - ``cd worksapce``

* 取得原始程式碼並且執行

.. code-block:: prettyprint

    git clone git://github.com:embedded2015/visualizer.git || git clone https://github.com/embedded2015/visualizer.git
    cd visualizer
    make qemuauto

*  可以見到 idle task 和相關圖例
* 運作原理
  - 讀取 `SysTick<http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dai0179b/ar01s02s08.html>`_ 中 current & reload 的數值，用來計算更精確的時間單位
  - 增加追蹤執行狀態的 break point，藉以了解程式目前運作的位置
    + 增加程式 context switch 的 Hook
    + 將程式在 idle 時的 function 也列入追蹤

參考作業要求
------------------
* 改寫 ``main.c`` 並且引入兩個週期性 Task，使其得以使用 CPU 資源，並且讓 grasp 予以視覺化
* 試著用程式碼自動計算出 context switch 的時間成本

挑戰題
----------
* 自動測試 `USART</embedded/USART>`_ 的中斷處理 (對應於 ``USART2_IRQHandler``)，並且透過 grasp 視覺化

繳交作業
------------
- 截止日期：
   * Mar 28, 2015 (含) 之前

- 更新開發過程到共筆網站: `Lab 40 / 作業共筆<https://embedded2015.hackpad.com/2015q3-Week-4-Lab40>`_，需要標注自己的 ID
    * 將符合作業提案的程式碼，提交到自行 fork 的 repository: https://github.com/embedded2015/visualizer
    * 注意: 要記得 fork `visualizer<https://github.com/embedded2015/visualizer>`_

參考資料
---------------
* `Grasp: Tracing, Visualizing and Measuring the Behavior of Real-Time Systems<http://www.win.tue.nl/~mholende/publications/Holenderski2010.pdf>`_
* `RTOS Visualization</embedded/Sol12>`_
* `RTOS context switch</embedded/Sol8>`_
* `Context switching time<https://www.segger.com/embos-context-switching-time.html>`_