事務処理に必須の「ファイル・ロッキング」
事務処理に必須の「ファイル・ロッキング」 事務処理に必須で、しかも、まとまった情報の少ない、 UNIX システムのファイ ル・ロッキングについて、その原理と手法を解説します。この解説は、この問題の すべてをカバーするわけではありませんが、現実に発生するすべての問題に対処す ることができます。 creat(), link(), open() 等のシステム・コールについては、 UNIX プログラミ ング・マニュアルの２章を併読するとわかります。POSIX 1003.1 のロック機構に ついては、規格書だけではわかりにくいと思いますので、詳述しました。 ファイル・ロッキングの必要性 「UNIX」は、マルチ・ユーザ／マルチ・タスクの OS ですから、もともと、複数の ユーザが協力して、同じ仕事をする形態の事務処理に適しているわけですが、UNIX 成功の基盤となった、 一貫したテキストファイルの採用
Alloy model of lock-free stack - osiire’s blog
唐突にlock-freeをAlloyで書いてみたくなったので書いた。 what is lock-free 冬のLock free祭り safe from Kumazaki Hiroki www.slideshare.net kumagiさんの資料によると、lock-free stackはリンクリストみたいなもので、先頭へのポインタをCAS(Compare and Swap)で切り替えるらしい。 素直にAlloy化するとこうなる。 sig Data {} // linked elements of stack. sig StackElem { data:Data , next:lone StackElem // edge dosen't have next element. } { no next & this // prevent self pointing. } sig HeadPoin
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - syarochan/Operating-Systems-Three-Easy-Pieces-in-japanese
