SSDAlloc - Hybrid SSD/RAM Allocation Made Easy
Hybrid SSD/RAM Memory Management Made Easy. A Nearly-Transparent Programming Model for High-Performance Flash in Virtual Memory. What Is It? Flash memory (mostly in the form of SSDs) is fast becoming an integral part of a wide range of systems, including cell phones, netbooks, laptops, desktops and servers. The integration is happening either in the form of an SSD based swap space or SSD based
TS | Data61 | home.pml
Trustworthy Systems @ Data61 We will change how software systems are designed, implemented and verified. Trustworthy Systems @ Data61: Formerly SSRG @ NICTA Why? To address the need for developing and deploying trustworthy software quickly and effectively. Where? From the embedded space to desktop and cloud systems. How? By applying rigorous techniques to achieve solid and practically meaningful g
Locks Aren't Slow; Lock Contention Is
Locks (also known as mutexes) have a history of being misjudged. Back in 1986, in a Usenet discussion on multithreading, Matthew Dillon wrote, “Most people have the misconception that locks are slow.” 25 years later, this misconception still seems to pop up once in a while. It’s true that locking is slow on some platforms, or when the lock is highly contended. And when you’re developing a multithr
Auto Commit Memory に関するメモ
Fusion IO が，Auto Commit Memory という新技術のプレスリリースをした．プレスリリースによると，数十億 IOPS という驚異的な性能が出るということだが，PCI Express の Bus を介して毎回 commit しているとすると，明らかに物理性能を超えており，ホントにデータの永続化が保証されているか気になったのでメモしておく．根拠は全て書いているが，ところどころに私の予想が入っているため，正しさは保証できないので注意されたし． まず，数十億 IOPS を達成するには，PCI Express の bus を介していたら間に合わない．しかし，特殊なハードウェアを使っているわけではなく，プレスリリースには HP ProLiant DL 370 + ioDrive2 Duos を使っていると記述されている． (プレスリリースから引用 http://www.fusio
大規模グラフアルゴリズムの最先端 - iwiwiの日記
昨日，PFI セミナーにて「大規模グラフアルゴリズムの最先端」というタイトルで発表をさせてもらいました．スライドは以下になります． 大規模グラフアルゴリズムの最先端 View more presentations from iwiwi 当日は Ustream もされており，録画された発表もご覧になれます． http://www.ustream.tv/recorded/19713623 内容の流れとしては，以下のようになっています． 導入 アルゴリズム界隈での話題 最新の研究動向 道路ネットワークでの最短路クエリ処理 基礎的な手法：双方向 Dijkstra，A*, ALT 最新の手法：Highway Dimension + Hub-Labeling Algorithm DB 界隈での話題 最新の研究動向 複雑ネットワークでの最短路クエリ処理 基礎的な手法：ランドマークを用いた最短距離推定 最
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
