# AOS Lecture Notes 2023 * [To NTUCOOL](https://cool.ntu.edu.tw/courses/23550) * [Course Related Other Notes: HackMD, NTUCOOL](/HxFlNLq_QhO3IZbnP8VRLA) * [Homework Forum 作業討論區](/hFDfXDetQ2m19IXgOCXu7g) ## Table of Contents [TOC] * Please add your notes in the following. --- ## 0602 * [Tim Jenkin](https://en.wikipedia.org/wiki/Tim_Jenkin) ## 0419 * [n 體問題](https://www.youtube.com/watch?v=YHqljeHafiE) ## 0315 * OS for 哆啦A/B夢 ## 0308 * Completion time test * [The rate monotonic scheduling algorithm: exact characterization and average case behavior](https://ieeexplore.ieee.org/document/63567) --- * [DEXON](https://www.bnext.com.tw/article/53487/cobinhood-founder-popo-announcement) * [Liu, C. L., & Layland, J. W. (1973). Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM (JACM), 20(1), 46-61.](https://www.cs.ru.nl/~hooman/DES/liu-layland.pdf) * [CAP theorem](https://www.ibm.com/topics/cap-theorem) * [FLP impossibility](https://www.the-paper-trail.org/post/2008-08-13-a-brief-tour-of-flp-impossibility/) ## 0301 * $10^{160}$ $10^{40}$ $10^{36}$ $10^{10}$ $10^8$ * Governance Token * [LXR](https://lxr.linux.no/) ## ~0222 * [人工智慧3次震驚世界，都由美國主導卻都和俄國人有關](https://www.techbang.com/posts/104085-chatgpt-ai-russians) * [Turing, 1950年，一個古怪的英國博士預言了『人工智能』並且找到了可以讓機器『覺醒』的方法 ...](https://youtu.be/1TwusN7cQ9w) ## Course Requests * Gouping with 1-3 members | Group | peer appraisal | project proposal | date to present | member 1 | member 2 | member 3 | notes | | ----- | --- |--------------------------------------------------------------------------- | --------------- | --------- |:---------:| --------- | ------------------------------------------------------------------------------------------------------------- | | 1 | 7A+ 6A A- B+ x | machine learning augmented scheduling | 5/24 | b08705008 | b08705051 | | [slide](https://docs.google.com/presentation/d/1BVIRgHiMuuBYDIOW3PBzjqFBziwQvsVDUnz7Pxvz1bE/edit?usp=sharing) | | 2 | | A Scalable and Efficient Framework for High-Performance Big Data Analytics with AI Applications | 5/24 | b08902025 | | | [slide](https://docs.google.com/presentation/d/1z-19tv8jv9c_GpdqLwEpA4gicrI6StsNu1vmOTsGj0U/edit?usp=sharing) | | 3 | 2A+ 5A 6A- 2B+ B| Smart contract for musical chair | 5/31 | d11944009 | | | [Final](https://docs.google.com/presentation/d/1SDWeoVtviUiaqL1D_6BmX3S5c12LCqpeY5WJ3WXjSJw/edit?usp=sharing) [Proposal](https://docs.google.com/presentation/d/1JCGojIoH_nOkdL2-eUeoi8mxHOyuWc-XIRdyQgCKev0/edit?usp=sharing) | | 4 |13A+ 2A A- | Blockchain based smart door lock | 5/31 | f08944030 | | |[slide](https://docs.google.com/presentation/d/1ngYw0cMlk8u9mwOAg24DdaR4bA7h2vQdqw_NhxKsxb8/edit?usp=sharing) | | 5 | A+ 8A 5A- B+ B | Real-Time Task Scheduling Performance Analyzer | 5/24 | r11922193 | | |[slide](https://docs.google.com/presentation/d/1VfhYkU9nl0Ix-euo5OKEfqVT3nH0q7nt9-JATX9t7SE/edit#slide=id.g226eca65276_7_77) | | 6 | 6A+ 8A A- B+ | multi screen device remote system | 5/31 | d10944007 | | | [Final](https://drive.google.com/file/d/15gD7r5Uuqwcowk4OQmCWRLx3A1UCNsfu/view?usp=drive_link) | | | | | b07902072 | | | | | 8 | A+ 5A 7A- 3B | D2D base Neighborhood social network | 5/24 | r11922188 | | | [slide](https://docs.google.com/presentation/d/12Des_Z6wF3jNsxhWRJQYwFaCSK1Rv3mhARlmDOegi7U/edit?usp=drivesdk) | | 9 | 4A+ 6A 4A- 2B+| OpenStack resource management optimize | 5/31 | M11115046 | M11102141 | M11115011 | [slide](https://docs.google.com/presentation/d/15JcTR9ftgxkvRfp6U9Nq5YQytYEAKggRkp0_atuPf60/edit?usp=sharing) | | 10 | 8A+ 6A 2B+ | Containerization Resource Monitoring and Optimization | 5/31 | F10921065 | | | [proposal](https://docs.google.com/presentation/d/149brxroqFwu3Zq4zDztlV5z-PxUHTdlB/edit?usp=sharing&ouid=106111352952802240581&rtpof=true&sd=true), [presentation](https://docs.google.com/presentation/d/15dGAlQ2QVWpbggalRbbeSWKiLeAyeP3V/edit?usp=sharing&ouid=106111352952802240581&rtpof=true&sd=true) | | | 11 | A+ 10A 4A- B+ | Memory Management in FreeRTOS | 5/24 | R11944017 | R11922127 | R11922156 | [slide](https://docs.google.com/presentation/d/1wruP2BGtd_n3zwxr8_zOdA46R1mBfg-G_ETrMshnt6I/edit?usp=sharing) | | 12 | 5A 8A- 3B+ | A Distributed System for Platoon-based Unsignalized Intersection Management | 5/17 | b09902133 | | |[proposal](https://drive.google.com/file/d/13h7gKkVmhh4czpYlpQtd_SYEiQgAUZSf/view?usp=drive_link) [slide](https://drive.google.com/file/d/1J8cF_QFViy4hdwQsjSNXqMPgMnMP1mH9/view?usp=sharing)| | 13 | 8A+ 5A A- B+ B | Thrashing in Distributed Shared Memory: Control and Mitigation Strategies | 5/31 | 40707242E | | |[slide](https://docs.google.com/presentation/d/1REL79mLnNtpo8raJGEWDXp5CgY99LDelI-GmGj1QJGY/edit?usp=sharing)| [:point_up: To My Courses](/4B8EfN00SrisMcrKis_m9g)
Last changed by  
 
薛智文
2191

Read more

Operating Systems

2020 Spring, CSIE 3310, On-Line, Office Hour: Wed 10:00-12:00 Instructor: 薛智文, cwhsueh+OS@csie.ntu.edu.tw :point_up:(up level),:point_left:(last year) Due to the COVID-19 and 250+ students, this course will be given on-line asynchronously as possible. Based on this website, we will try to use NTUCOOL, YouTube, On-Line Judge, HackMD, and google suite for the on-line lectures, homework(quizzes), projects, midterm, and final (wish it can be held in classroom then). Lecture powerpoint recordings will be on-line in NTUCOOL or Youtube in .mp4 by EverCAM few hours before the lecutre. Please leave your notes, comments, or questions in NTUCOOL or Lecture Notes. We will answer anytime and on-line every Wed 10:00-11:00. Make an appointment to let me know if you want to discuss in person in my office on Wed 11:00-12:00. Or phone call in the period above. Please follow the following announcement, ==request emails not following it will be ignored==.

1/10/2023
OurForum

OurForum is a Benevolence blockchain for online forum, created and operated now by [name=薛智文], cwhsueh@gmail.com. [time=Sat, Oct 31, 2020 2:13 PM] By studying blockchain, on exploring the mathematic model of hash mining, we construct the mathematic model of hash mining and universal random variables starting from wuji(無極), virtually anything from the ultimate universe, space and time. Now, ==everything (virtually or physically) can be mathematically modeled, not limited in blockchain==. [name=薛智文] [time=Sat, Oct 31, 2020 12:09 PM] :::info :bulb: Many things, including hash mining, can be mathematically modeled with controllable variance to any level, i.e. ==variance down to $\epsilon$==, ==deterministic==, and ==not stochastic==. Welcome to share the power of blockchain, it is free and licensed to anyone following the spirit of blockchain, autonomy then sharing, neutral (中) (not limited to dao, 道) considering humanity, actually benevolence(仁). :::

5/6/2022
資訊中數導論, Computing the Universe By Information Theories

:point_up: up layer :point_left: last related class 2021 Spring, CSIE 5300, Wed 18:00-20:40, at DT 107 德田, On-Line Office Hour 13:00-14:00 To add or audit, please come to the first lecture to know the course. We adopt NTUCOOL in class but no remote lectures. 緣起 Forum

1/9/2022
中數理論

:point_up: up layer 萬事萬物都是由前一種型態自然變化成目前這一種型態，反之，除非是不可逆的變化，目前的這種型態也可以還原成前一種型態，直到不可分割，也可直接跳回到最初的型態；而變化的方式本身也可以類似的方法來細分到過去與整合到未來。事物的型態也可細分成空間(型)與時間(態)的組合，以數（包含數字與文字）抽象地記錄這些時空事物的名象，數學發展這些數的運算方法，如果只是為了記錄並分析這些數所代表的事物，而不是真的要去還原到過去與變化成未來，本著中道的思考，不偏執於兩端，對許多事物的過去、現在與未來都能做更深入地瞭解其本質、變化、虛實與體用。甚至不求急著瞭解全宇宙，保留人類認知的有限性，本著中道數學，也許更能避免走入極端，更能客觀瞭解萬事萬物如其本來的自然真相。 中數理論是這幾年來我研究區塊鏈所領悟的解開宇宙奧秘的科學，主要包含資訊、數學、中文、統計、經論等學科，可以找出所有問題的根本來解決。資訊理論本來就能模擬並運轉宇宙萬象。宇宙從一開始，不論抽象或實體空間之中的單一事物其體(本體)用(作用)或其集合，皆稱為空，可以用各種個別數字(即隨機變數或資訊)來代表。數多且有分類，加上時間與變化之後形成各種聯合分布。因為時間與空間獨立，這些時空的聯合分布可以透過貝氏定理，找出先後的條件機率，並透過微積分找出體用的相對機率，即連續的 PDF 或不連續的PMF 以及其 CDF。如此一來，對分開時或空或對時空一起考慮其分布，分別微分到宇宙起源或積分到之後的任一時間點，就能暸解所有事物其體用與變化的規律，從而暸解宇宙的過去、現在與未來。加上對於沒有分布的單一事件則採個別考慮，我們可用數學來解釋並估計宇宙萬象，所有的風險(即變異數)都是可調控的也可預測的。這些萬象體現在前人創的文字智慧(六書)上，其中道理留傳於各種經論之中。中數理論與Monad (單子, by 畢達哥拉斯)、Tao Te Ching (道德經)、I Ching (易經), 中論(龍樹著)、數論(印度哲學)、 Philosophiæ Naturalis Principia Mathematica (自然哲學的數學原理, by 牛頓)與Monads (單子, by 萊布尼茲)等先哲的類似理論，主要不同在於除了可以文字解譯有序的宇宙，還能以數學來瞭解過去、精進現在、甚至策勵將來，並以資訊理論實作系統運轉。 利用中數理論，分清時空與體用，除了需要時間募資落地，我們解了區塊鏈所有理論與實際的問題(連無序的個別心魔都可以在其他有序的宇宙逐漸區塊鏈化下自然解決)，甚至發明了仁授權(軟體智財的永續運作基礎)、“差累分”(超越微積分的無誤差數學計算工具)、與時間的統計式運行來做為保守、積極等的行為模型等，讓區塊鏈除了提供所有系統信任的來源，甚至可以運行抽象的道德與心理等人性。所以區塊鏈除了可以用來當成人性實踐的工具，也可做成符合人性與道德之實體系統的執行平台。再加上對時間的瞭解，區塊鏈可以成為有心地用來瞭解並實踐過去、現在、與未來有序宇宙的各類系統或工具，甚至可以順道發明並實踐像累分這樣可解而未解的未來數學工具。所謂未來是因為尚未完成累分所有的證明，但是中數理論確實可以用來預測未來，甚至產生還不完全懂卻有用的發明！可惜最有效的實證是上述能實踐人性與道德的區塊鏈系統，但是實作的成本很高！另一個原本以為相對簡單的利用累分快速算出圓周率π到任意小數位數，現在發現可能比區塊鏈的實作還難！ 應用

11/5/2021
Read more from 薛智文
Published on HackMD