Lock-Free definitions galore
We've talked before about the definition of Lock-Free, but there is a lot of confusion around its definition and the other definitions of Progress Conditions, so lets take a closer look at it. If you google a bit for the definition of Lock-Free, you'll see that there are several: Wikipedia: "An algorithm is lock-free if it satisfies that when the program threads are run sufficiently long at least
SQLのインデックスとそのチューニングについてのオンラインブック
開発者向けのSQLインデックス解説サイト、管理についての間違いない知識を提供します。 インデックスは開発時には忘れられがちである一方で、非常に効果的なSQLのチューニング方法です。Use The Index, Lukeでは、HibernateなどのORMツールの解説にとどまらず、SQLのインデックスについて基礎から説明します。 Use The Index, LukeはSQLパフォーマンス詳解のWeb上の無料版です。サイトを気に入って頂けたら、ぜひ書籍も購入してみて下さい。また、このサイトの運営をサポートする様々なグッズも販売しています。 MySQL、Oracle、SQL ServerなどにおけるSQLのインデックスUse The Index, Lukeでは、ベンダにとらわれないインデックスの説明を心がけています。製品特有の事柄については、以下のような表示をしています。 Db2 (LUW)U
エンケラドゥス、生命存在の可能性高まる。噴出した水溶性の有機化合物を発見
土星の衛星「エンケラドゥス」から宇宙空間へ噴出した氷粒に、これまで未確認だった有機化合物が含まれていたことがわかりました。NASAのジェット推進研究所（JPL）と欧州宇宙機関（ESA）から10月2日付で発表されています。 カッシーニが撮影した土星の衛星「エンケラドゥス」の疑似カラー画像（Credit: NASA/JPL/Space Science Institute）■アミノ酸につながる有機化合物の存在を確認見つかったのは、窒素を含むアミンや、酸素を含むカルボニル基を持った有機化合物です。これらの化合物は、地球ではアミノ酸の生成にも関与することが知られています。 今回見つかった有機化合物は、Nozair Khawaja氏らの研究チームによって、2017年にミッションを終えた土星探査機「カッシーニ」による土星の「E環」と呼ばれる環の観測データを解析することで発見されました。 E環は土星の環の
木星に浮かぶ巨大な「黒い円」発見、直径３５４０キロ ＮＡＳＡ
木星の表面に出現したなぞの「黒い円」、その正体は？/NASA/JPL-Caltech/SwRI/MSSS （ＣＮＮ） 米航空宇宙局（ＮＡＳＡ）の探査機ジュノーがこのほど、木星に浮かぶ巨大な黒い円を発見した。未確認現象かと思いきや、その正体は衛星の影だった。 この影は木星の衛星イオが太陽を覆ってできたもので、地球の月による日食に相当する。ＮＡＳＡによれば、円の直径は約３５４０キロ。これは米ニューヨーク市からネバダ州ラスベガスまでの距離に大体等しい。 木星は複数の衛星を持つが、その巨大さなどが原因で頻繁に日食が起きる。 今回の写真は９月１１日、ジュノーが２２度目となる木星周回中に撮影した。ジュノーは２０１１年から稼働しており、１６年７月４日に５３日周期の軌道で最初の周回を開始していた。
マイクロソフトが方針転換。Windows 7の2023年までの延長サポート、あらゆる企業が購入可能に
Windows 7のサポートは2020年1月14日に終了し、それ以降もセキュリティパッチの提供を受けるには、マイクロソフトとボリュームライセンス契約を結んだ企業のみが延長サポートを有償で購入できる、というのが、これまでのマイクロソフトの方針でした。 米マイクロソフトはこの方針を転換。ボリュームライセンス契約を結んでいるかどうかにかかわらず、あらゆる企業がWindows 7の延長サポートを購入できるようにすると発表しました。 「Announcing Paid Windows 7 Extended Security Updates」から引用します。 today we’re announcing the availability of paid Windows 7 Extended Security Updates (ESU) through January 2023 for businesse
MySQLのクエリの良し悪しはrows_examinedで判断する - かみぽわーる
仕事やらなんやらでMySQLのクエリの良し悪しを判断する必要があるとき、EXPLAINの内容だけだとどのぐらい良くなったり悪くなったのか分からないので SET long_query_time = 0; してrows_examined (そのクエリでrows_sent行の結果を返すために何行に触ったのか)も一緒に提示するようにしている(少なくともMySQL 5.7時点ではrows_examinedはslow_query_logでしか確認できないはずperformance_schemaが有効ならevents_statements_historyやその仲間たちで確認できるとのこと*1 MySQL :: MySQL 5.6 リファレンスマニュアル :: 22.9.6 パフォーマンススキーマステートメントイベントテーブル)。 例: 上の例のBeforeは、もともとDBAが書いた温かみのあるSQLでO
この法律が日本を｢生産性が低すぎる国｣にした
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕
ヤッホー茶漬けを体験せずして金沢の片町の夜はない。 - 温玉ブログ
この話の続き。焼き鳥屋を出て金沢の片町をふらつく。数年ぶりの片町。歩けば面白そうな店ばかり。どういうことだろうか。こんな素敵な街だったっけ。前に来た時はめくらだったのか。それか日曜日か何かだったのか。覚えてないので何ともいえない。めくらだった説が根強い。餃子の王将片町店に目を奪われていたのかも。 たとえばこことか、前を通りかかっただけだが実に興味深いお店だ。お腹に余裕さえあれば間違いなく入ってた。次こそはカレーを食べるのはやめておこうと思う。となりのジャンボ庵とかいう、そばとうどんと丼の店もなかなか良い雰囲気。 次は連泊とかして散策しまくりたいと思った。 そんな中、自分には目当ての店があって、それは通称「ヤッホー茶漬け」と言われる店。片町になんか面白い店でもないかなとスマホで適当に検索していたら、金沢の面白スポット１０選みたいなサイトがあって、そこに「奇人たちの店」として紹介されていたので
TCP socketではwriteの後すぐにcloseしてはいけない
TCP socketではwriteの後すぐにcloseしてはいけない。 相手側に全てのデータが届いてからcloseする必要がある。 shutdown で書き込み側だけハーフクローズするとよい。 相手側がcloseしてから、こちらをcloseする。相手側がcloseしたことは、readを呼んでブロックさせておくと、読み込みバイト数==0 つまりEOFになったことでわかる。
"simple"と"easy"はどう違う？ Simple Made Easyを解説 Part1
2019年7月29日、Opt Technologiesが主催するイベント「Fun Fun Functional (2) 関数型言語Lightning Talks!!」が開催されました。関数型プログラミングについて楽しく学び、知見を共有することを目的に開催されている本勉強会。今回は6名のエンジニアが、関数型プログラミング言語にまつわるユニークな発表を行いました。プレゼンテーション「"Simple Made Easy" Made Easy 」に登壇したのは、lagenorhynque氏。講演資料はこちら "Simple Made Easy" Made Easy lagenorhynque 氏（以下、lagenorhynque）：それではよろしくお願いします。 （会場拍手） 今日は見たところScalaの人とかOCamlの人とかHaskellの人とか静的関数型言語勢の人が多くて、LISPの人や、と
CUEを試して見る | フューチャー技術ブログ
前回のエントリー、一周回って、人間が読み書きする設定ファイルはJSONが良いと思ったの続きです。 設定ファイルをどうするか問題はいろいろ悩ましい問題であります。そんな中、設定ファイル用言語という触れ込みのCUEがリリースされました。 すでに、NSSOLの方が、Linterとして使うという紹介記事をすでに書かれています。これはユースケースの一部（これでも有用ですが）です。まだ使い込んだわけではなく、チュートリアルとドキュメントを一通り読みつつ軽く試した程度ですが、全体的な紹介をしようと思います。 yamlやJsonのチェック(Lint)ができるCUEの紹介 CUEによってできるようになること主な特徴としては次のような感じです。 人が書く設定ファイル(JSON/YAML/TOML/iniあたりがライバル)のための言語 スキーマ定義が書けて、バリデーションが可能 テンプレート機能で一部が違うデー
分子生物学の基本原理「セントラルドグマ」の理論的導出に成功 | 東京大学
分子生物学の基本原理「セントラルドグマ」の理論的導出に成功 - 情報と機能の分業を「対称性の自発的破れ」により解明 - 研究成果 生命の根本原理の1つは、ゲノムと触媒の区別、すなわち遺伝と触媒の分業である。現在知られている生物ではすべてDNAなどの核酸分子が遺伝情報を担い、そこから一方向に情報が流れ、タンパク質がつくられ、それが触媒としてDNAを含む細胞内の分子の合成を助けている。 その一方で原始生命においてはゲノムと触媒は未分化であったと考えられている。 ではこのような役割の分化はいかに生じたのであろうか。 ニュージーランド・オークランド大学上級講師および東京大学生物普遍性連携研究機構客員准教授の竹内信人、 そして、東京大学大学院総合文化研究科広域科学専攻および生物普遍性連携研究機構の金子邦彦教授は、 触媒機能を持ち複製する分子が集まった原始的細胞のモデルを考え、それが進化しながら複製し
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
他人のコードや設計を見て1番これはあり得ないだろと思う実装はありますか？