HackMD「你所不知道的 C 語言」講座的許願池
請協助列入您想知道的 C 語言程式設計議題，儘量描述並強調工程上的考量，最好附上參考資料 (超連結、論文，和參考書目等等)。我們將會斟酌安排對應的講座。 – jserv
許願池
C11 AtomicsC11 Thread support library詳見 並行和多執行緒程式設計 系列講座
Bitwise operation (從數值系統分離)已於 bitwise 操作 探討
- memory leak & 透過工具來分析偵測
- 數值運算: Fast Logarithm Estimation
- C 語言常見誤解
- Felix (dryman)
- 如何運用 autotools 撰寫 C library
- 使用 IACA 來分析高性能程式
Linker 的功用，還有可以調整的參數。（我只知道 stack 起始位置和大小是從 linker 設定的- C 如何實作 python 等更高階語言的各種巫術
- Yoga
- 自訂 linker script
Macro 的奇技淫巧，例如 kernel 中的container_of和 list_for_each_entry等等。以及 macro 和 static inline 的差別與使用時機。已於 linked list 和非連續記憶體 探討
struct 結構中的對齊問題，如何才能讓所佔空間最小。已於 記憶體管理、對齊及硬體特性 探討
- Vim 針對Ｃ語言環境的配置。
- gnitnaw
Multithreading programming: 如何避免 race condition詳見 並行和多執行緒程式設計 系列講座
- wheatdog
- 對於 singer header file library (例如比較知名的 stb) 的想法：效能上
- 對於 Data-Oriented Programming 的想法
- 正確的軟體自來源碼建構與安裝的概念
拋磚引玉：循序漸進於 Ubuntu 16.04 上建構 Poedit
- Roman
Docker 是如何在 Linux user space 中建立虛擬化容器映像的預計在 Linux 核心設計講座探討 Docker 依賴的 namespace 機制
- Char, String, 多國語言處理
- 嵌入式 C 語言的測試 (針對硬體相關的 driver)
參考資訊: How we implemented TDD in Embedded C & C++
- ahbei
coroutine 架構在真實世界的實作技巧、真實應用。例如在 C 語言下的泛型、多型實踐，如何用來實作一個有限狀態機，處理 I/O 通訊時如何維持真 - coroutine 的實踐 …。參考資訊：jserv 的部落格已於 goto 和流程控制篇 探討 coroutine，未來會在 並行和多執行緒程式設計 系列講座中強化
- CMake 介紹
- C 語言常用 debug 工具介紹 (e.g., gdb, valgrind…)
- C 語言 coding 安全性 (e.g., resource leak …)
- SMT solver 在 compiler, interpreter 的應用
- Z3 Theorem Prover
- llvm: Verifying Optimizations using SMT
Solvers - LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
- Programming Z3
- ESBMC-Solidity: An SMT-Based Model Checker for
Solidity Smart Contracts
應用: Solidity 是乙太坊(Ethereum) 基金會推出的語言，利用 z3 等 SMT-Based Model Checker 來檢查合約
- Linux kernel 中的 VMs 們, 會不會利用類似的機制來對 bytecode 做安全性檢查?
- GNU toolchain 等是否有類似機制在 compile time 做安全性檢查
- lambert wu
希望探討函式呼叫篇提到的安全篇,以及指標篇(下)談到的多國語言篇 - Ca Chen
- hashtable 能有效找查資料，而在 C++ 裡也增加了 unordered_set & unordered_map。想知道 C 語言中如何在大量資料裡進行快速查表？或 C 語言偏好使用者自己動作做？
Leetcode 增加 hthash 讓 C 語言使用者能直接使用 hthash 因此好奇上面的問題。
- khienh
- 希望探討Ｃ語言怎麼實作GUI
- idoleat
- 希望可以探討 C ABI 以及 FFI，他們是如何成為廣泛使用的 interoperate 界面的
