火星蚊的地球記事

Linux Process Exit Status

Posted on 2014-04-05 Edited on 2025-11-02

Process Termination

Linux 中 process 結束時系統會回收該 process 使用的大部分 resource，僅留下結束資訊供它的 parent 取得。parent 回收 child process、取得這些資訊後，剩餘的 resource 才會被釋放。如果 parent 沒有回收結束的 child process，child 會變殭屍（zombie），即執行結束了但沒有把 resource 釋放乾淨，會佔用 PID 及一些記憶體空間放 exit status。

parent process 透過 call wait() 回收 child process 並取得 child process 的 exit status。

process 結束分成正常結束（terminate normally）跟不正常結束（terminate abnormally or crash）。

以系統的角度來看，process call exit() 或從 main() return 算 terminate normally。（實際上從 main() return 後就會 call exit() 系列 function。）process crash、被 signal 結束或其他狀況算 terminate abnormally。

以程式或 programmer 的角度來看，exit() 的參數為非 0 通常代表有些檢查沒有通過，程式無法繼續完成工作才會在中間 call exit()。這個狀況是「程式正常結束，但沒有完成該有的運作」，屬於程式執行邏輯上的錯誤，跟 crash 不同。

Process Exit Status

Linux 中以 exit status code 表示 process 結束時的狀態（它怎麼結束的）。

System

系統 exit status code 的範圍為 0 至 255。若程式設置超過 255 的 code，會以 mod 256 作為 exit code。

有些 code 已保留給系統使用、有固定意義。一般不建議 programmer 再對這些 code 定義其他意義。系統已保留的 exit code 為：0、1、2、126 ~ 165、255。

C/C++ program

在 C/C++ program 中 exit() 的參數值是在 process 正常結束下，讓 programmer 得知「程式階層上」的 exit status，跟系統所使用的 exit status code 相關但不相等。

PHPUnit

Posted on 2014-04-04 Edited on 2025-11-02

PHP 的 Unit Test Framework。

Whenever you are tempted to type something into a print statement or a debugger expression, write it as a test instead.
~ Martin Fowler

test 要是 independent。一個 test 的 result 不能 depend 其他 test 的 result。

Install on Ubuntu 12.04

$ sudo apt-get remove phpunit    // 應該是前面有先用 apt-get install 裝了才需要
$ sudo pear upgrade pear         // pear 只要裝了 php 就有
$ sudo pear channel-discover pear.phpunit.de
$ sudo pear channel-discover pear.symfony-project.com
$ sudo pear channel-discover components.ez.no
$ sudo pear update-channels
$ sudo pear upgrade-all
$ sudo pear install -alldeps phpunit/PHPUnit
$ sudo pear uninstall phpunit/PHPUnit
$ sudo pear install phpunit/PHPUnit

最後兩個指令看起來很好笑，好像是 pear 的 script 有問題。用倒數第三行裝完之後，又會說找不到 PHP_CodeCoverage_Filter::getInstance()，後來做這兩行就動了。

失敗的安裝

不能直接用

1	$ sudo apt-get install phpunit

不然 run 的時候會該找不到 PHP Code Coverage。

Run test

run all tests

1 2	$ phpunit $ phpunit --stderr

PHPUnit 在一些系統上會有 header already sent 的錯誤，加 --stderr 可以避免 PHPUnit 把這視為測試錯誤。

執行單一測試，指定某測試檔做測試。

1	$ phpunit --stderr <test file path>

Basic conventions

class “Class” 的 test 放在 class “ClassTest”
ClassTest 要繼承 PHPUnit_Framework_TestCase
test 為 public method，method name 為 test*
在 test 中，用 assert*() function check value 是否符合預期

failure vs error

failure 是 assertion function fail（要測試的 function 的 output 不符合預期）。以 F 代表。

error 是出現 unexpected exception 或 PHP error。以 E 代表。

setUp() & tearDown()

為了讓測試是正確且獨立的，要保持執行 test 時環境是乾淨的。在每次執行一個 test method 前會 call setUp() 建立 test 所需要的 object、變數等等。run 完 test method 後會 call tearDown() 清東西。

通常只需 implement tearDown()，用來 close file、socket 等。

用 file system 組合 test suite

可以用 file system 的 directory structure 達到組合出一個 test suite 的目的。這也是最簡單的方式。:)

建立一 test dir 並建立跟 project dir 中一樣的 directory structure。把 test case source file（就是 test method 的 source code）以相應 project source file 的位置放進去。PHPUnit 會自動 traverse test dir 做 test。

舉例說明：

這是 project directory：

1 2	object/ MyStack.php

這是 test directory：

1 2	tests/ MyStackTest.php

PHPUnit 會在 test dir（上例的 tests/）底下找 *Test.php 來做測試。

執行 test suite

1	$ phpunit --stderr <test dir path>

寫 test 就是…

生一些 testcase（input 及預期的 output）
在 test method 裡 call 要測的 function，把 test case 的 input 當作 arg 丟進去。
用 asseert function 判斷 function 的 output 是否符合預期。

Ref

PHPUnit manual

Pthread Condition Variable

Posted on 2014-04-04 Edited on 2025-11-02

man page 對 condition variable 的說明：

A condition (short for ``condition variable’’) is a synchronization device that allows threads to suspend execution and relinquish the processors until some predicate on shared data is satisfied. The basic operations on conditions are: signal the condition (when the predicate becomes true), and wait for the condition, suspending the thread execution until another thread signals the condition.

讓某些 thread suspend 起來，等某個條件成立才繼續往下執行。而另外有些 thread 則會更動條件中變數的值，並在該條件成立時 “signal condition” 叫起在 wait 的 thread 來執行。

A condition variable must always be associated with a mutex, to avoid the race condition where a thread prepares to wait on a condition variable and another thread signals the condition just before the first thread actually waits on it.

condition variable 必須搭配 mutex，避免 race condition：thread A 在 thread B signal condition 後才 wait 這個 condition variable，這種狀況可能讓 thread A 永遠在 sleep（如果沒有人會再 signal 這個 condition variable）。

如果所有 thread 在 signal condition variable 之前都 lock mutex，就能保證 condition 不會在 thread lock mutex 跟 wait condition variable 之間被 signal。或者說是不會在 check 過 condition 到 call wait function 以前其他 thread 就 signal condition variable。

pthread_cond_signal() 會叫起一個正在 wait condition variable 的 thread 來 run。如果沒有 thread 正在 wait，什麼事都不會發生。

pthread_cond_wait() 會 atomically unlcok mutex 並讓 calling thread wait condition variable（suspend 此 thread，suspend 的 thread 不會使用任何 CPU time）。這兩個動作是 atomically 執行的，不會被打斷。

進入 pthread_cond_wait() 前必須先 lock mutex。而 pthread_cond_wait() 在 return（可以 return 是因為有人 signal condition variable）前，會重新 lock 住 mutex。

Pthread Mutex

Posted on 2014-04-04 Edited on 2025-11-02

mutex 用來保護多個 thread 共享（shared）的資料，避免 concurrent modification 造成問題。

lock mutex => modify shared data => unlock mutex

mutex 有三種 type：

fast
recursive
error check

操作 mutex 的 function 會依照 type 不同而可能有不同的操作方式。

Initialize Mutex

initial 時，可以用 pthread_mutex_init() 或直接 assign const 指定 mutex 的 type。

int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr);
  
// 直接 assign const
pthread_mutex_t fastmutex = PTHREAD_MUTEX_INITIALIZER;
pthread_mutex_t recmutex = PTHREAD_RECURSIVE_MUTEX_INITIALIZER_NP;
pthread_mutex_t errchkmutex = PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP;

Lock Mutex

1	pthread_mutex_lock()

如果 mutex 是 unlock 狀態，則 lock 該 mutex 且讓該 mutex 為 call phread_mutex_lock() 的 thread 擁有，做完這些後立刻 return。

如果 mutex 正被 lock 住，此 function 會依照不同 type 的 mutex 有不同動作：

fast

calling thread 會 suspend，直到 mutex unlock。沒寫好的話可能造成 deadlock。
recursive

成功並立刻 return。這種 mutex 會記錄它被 lock 幾次，也就是一個 thread 可以 lock 這種 mutex 很多次。要 unlock 這種 mutex 時，也必須 call 相應 lock 次數的 unlock function 才能真正 unlock。
error check

立刻 return，但 errno = EDEADLK。真是個會讓人誤會的 errno 名稱…

EDEADLK 在 man page 的解釋：

the mutex is already locked by the calling thread (``error checking’’ mutexes only).

Try Lock Mutex

1	pthread_mutex_trylock()

跟 pthread_mutex_lock() 差不多，差別是這個不會 block 住。

操作 fast mutex 時，trylock() 會立刻 return，而 errno 為 EBUSY。

Unlock Mutex

1	pthread_mutex_unlock()

進入此 function 前，mutex 應為 locked 且被 calling thread 擁有。

fast mutex 會直接被 unlock。recursive mutex 需 call 相同於 lock 次數的 unlock 才會真正 unlock。

error check 跟 recursive 的 mutex 會檢查兩個條件：此 mutex 是否為 locked 且被 calling thread 擁有。若有一條件不符合，則不會 unlock，會 return error code。fast mutex 不會做此檢查，所以非擁有此 mutex 的 thread 也可以 unlock 它（這當然不好）。

Ref

Linux pthread_mutex man page
- PS：Ubuntu 上要裝 glic-doc 才有 pthread 的 man page

C++ Virtual Destructor

Posted on 2014-04-04 Edited on 2025-11-02

為有「多型」性質（即有 virtual function）的 base class 宣告 virtual destructor。

C++ 沒有定義 base class 的 destructor 是 non-virtual 時以 base class pointer 刪除 derived class 的 object 的行為。常出現的結果是只有 base class 部分的 memory 會被釋放、derived class 部分的不會釋放，這會造成「局部銷毀」物件的問題，memory 當然就沒 free 乾淨。

用 virtual destructor 可以解決上述問題，因為 virtual function 的性質會 call 到 derived class 的 destructor。

不過不是把所有 base class 的 destructor 宣告成 virtual 就好，非必要（沒有 virtual function）時不需要這麼宣告。

Ref

《Effective C++》

C++ Type Casting

Posted on 2014-04-04 Edited on 2014-04-10

Old-style cast

C 風格的舊式轉型，在 C++ 裡不建議使用。

(T)expr

將 expr 轉成 type T。

C++-style cast

C++ 的新型轉型有四種：

1	const_cast<T>(expr)

將 const 轉成 non-const，只有這種轉型可以去掉 const。

1	dynamic_cast<T>(expr)

主要用來做 safe downcasting（將 base class pointer 轉成 derived class pointer），會在 runtime 判斷 object/expr 是否屬於 T 的繼承架構才進行轉型。轉型成功會傳回 address，失敗傳回 NULL。

因為要判斷 object 是否屬於繼承架構，dynamic_cast 是執行效率低、成本大的 casting。

1	reinterpret_cast<T>(expr)

少用。做低階轉型，例如將 int* 轉成 int。實際結果取決於 compiler，因此不可移植、無法跨平台。

1	static_cast<T>(expr)

強制轉型，就像舊式轉型，如將 non-const 轉為 const、int 轉為 double 等。也可以用來將 base class pointer 轉成 derived class pointer，但比較不安全。

Ref

《Effective C++》
http://openhome.cc/Gossip/CppGossip/dynamicCast.html

C++ Initialization

Posted on 2014-04-04 Edited on 2025-11-02

C++ 對內建 type（如 int）要手動做 initial。

class member 的初始化

以 constructor 的 member initialization list 做 member 的初始化，會直接將參數丟給該 member 相對應的 constructor，可避免先 run member 的 default constructor 後才再做 assign，效率較好。

member 初始化順序：

base class -> derived class
依宣告次序初始化（宣告次序與 member initialization list 的次序可能不同）

初始化 member 的原則：將所有 member 依照宣告順序列在 member initialization list 中。

non-local static object 的初始化

C++ 未定義在不同 translation unit((產生單一 object file 的 source code))中的 non-local static objects((不在 function 中的 static object，如 global object))的初始化相對次序。

這會造成一些問題，例如在 source code A 裡的 global object objA 的初始化會用到在 source code B 裡的 global object objB 時可能有問題，因為不知道 objA 是不是會比 objB 晚初始化。

解法：把 non-local static object 放到一 function 中，讓它不是 non-local，則可以知道初始化的順序。該 function return object 的 reference，要用這類 object 時就 call 相應 function。

Ref

《Effective C++》p.27~28, 31

Hello Octopress

Posted on 2014-03-16 Edited on 2014-05-20

不可免俗的，Octopress 第一篇文章是 say hello。

在 Windows 上玩 Octopress + Github。

Prepare

要先裝好 Git 跟 Ruby 環境。Git 是用 Git for Windows，Ruby 環境則從從 http://rubyinstaller.org/downloads 下載 RubyInstaller 1.9.3 跟 Development kit 來安裝。

Development kit 下載後先解壓縮，用以下指令安裝：

1
2
3

$ cd <DEVKIT_INSTALL_DIR>
$ ruby dk.rb init
$ ruby dk.rb install

安裝完 Ruby 要在環境變數 PATH 加入 Ruby 的 bin 資料夾路徑，如 C:\Ruby193\bin。

Install Octopress

我直接用 Git Bash 下指令。

$ git clone git://github.com/imathis/octopress.git octopress
$ gem update --system
$ gem install bundler
$ cd octopress
$ bundle install
$ rake install

Configuration

編輯 _config.yml 可修改 blog 的主要設定。