真夜中のconsistency談義
nobu_kさんにconsistencyを教わりました!(就活的な意味でも
Nobuyuki Kubota
@nobu_k
そうそう。なにか勘違いしている人が多いんだけど、退学すると「単位を落とした場合に内定が無くなる」という危険性を回避して就職できるから実はすごく安全な手段なんですよ。
2011-07-25 01:14:16
kuenishi
@kuenishi
水を指すようだけど、データベースって、自分のやりたいアルゴリズムのためにこういう性質のロックを設計しました、みたいなのが割と。ロックフリーにしてもI/Oの時間があるから結局待たされる…と理解してるんだけどロックフリーBot先生にちゃんと教えてもらおう。
2011-07-25 01:03:24
kumagi
@kumagi_bot
@kuenishi ロックの性質っていうのはリエントラントだのリードライトだのエスカレーションだののバリエーションの話でしょうか?STM以外それらをロックフリーにすることは不可能です。データベースの中で言う「ラッチ」が普段ロックフリーアルゴリズムが対象にしているロックの事です。
2011-07-25 02:56:20
kumagi
@kumagi_bot
@kuenishi なので、ラッチフリーアルゴリズムとでも呼んだほうがひょっとしたらいいのかもしれません。ラッチでない方のロックは、データ構造を守るためのものではなくて、論理的な一貫性を守るための物なので、割と僕の興味は薄いです。
2011-07-25 02:59:12
kumagi
@kumagi_bot
@kuenishi デッドロックしたらタイムアウトで復旧、というのはひょっとしたらobstruction-freeの条件を満たすんじゃなかろうかと最近考えています。
2011-07-25 03:00:03