組み込みソフトウェアの設計&検証

組み込みソフトウェアの設計&検証―割り込み動作からRTOSを使った設計、ツールによる動作検証まで (TECH 1「Embedded Software」)

• RTOSのディスパッチャ。スタックに積んだPCを割り込みハンドラ内で入れ替える動作をする。これにより、見かけ上複数のmain関数が動作するように見せる。複数になったmain関数をタスクと呼ぶ。

• ハードウェアは劣化するがソフトウェアは劣化しない。これを利用してシステムのフェールセーフを行う。たとえば、ドメインの物理知識を活用。(センサーなどの)割り込みが早すぎる場合、最短割り込み間隔まで処理を遅延させる。逆に割り込みが遅い場合、実際には割り込みが発生していなくても、最長割り込み時間が経過した際に割り込み処理を実施する、等。

燃えよ剣

燃えよ剣（上） (新潮文庫)

南武線の地名が出てきた。
土方歳三がかっこよく書かれています。

新撰組の総長(隊長)は、清河八郎、芹沢鴨、近藤勇、伊藤甲子太郎、といった感じで推移。

電源入門講座

電源入門講座―これから学ぶひとのための基本理論から電源選択の決め手まで

これも類書の少ない本。電波新聞社えらい。
ただ、本当の初心者である身では入門しきれませんでした。

組込みシステムのハードウェア設計入門講座

組込みシステムのハードウェア設計入門講座―組込み技術のキーテク基礎を理解して応用力を付ける

実は類書の少ない組み込み向けハードウェアの良書。
アナログ回路が載っているところが貴重。

Webを支える技術

Webを支える技術 -HTTP、URI、HTML、そしてREST (WEB+DB PRESS plus)

こういうのちゃんとタイムリーに読まなきゃダメですね。

• メソッド GET, PUT, POST, DELETE
• PUTは、リソースを直接していして作成(201 Created)あるいは更新(200 OK)
• POSTは、ファクトリリソースを指定して作成(201 Created)。作成されたリソースのURIがResponseのLocationヘッダに入れられる。

<競合回避/排他制御の方法>

• GETしたときに、ETAGを返す。
• PUT, POSTにIF-MATCH系ヘッダをつけて実行。他人が更新すると、ETAGが違っているので、その場合はエラーを返す。

• RFC4627。Javascriptとの相性が良い計量データ表現。CSV, XML等と並列？
• JSONPは、Javascriptを使ってクロスドメイン(別サーバ)間でデータ交換すること。
• 別サイトのいわゆるWebサービスを呼び出す際は、別サイトのJSONリソースに、(A) 自サイトのコールバック関数, (B)ユーザ入力, 2種類のクエリパラメータをくっつけたURIにGETでアクセスしてresponseを受け取る、思えば良いかな。

風の谷のナウシカ

風の谷のナウシカ 豪華装幀本 (上巻)

宮崎駿監督のビジョン。先進性。
後半は消化不足。

アドフルに告ぐ

アドルフに告ぐ(1) (手塚治虫漫画全集)

手塚治虫の才能。