Skip to content

Instantly share code, notes, and snippets.

View sile's full-sized avatar

Takeru Ohta sile

380 followers · 8 following
  • Tokyo, Japan
View GitHub Profile
@sile
sile / ppg.md
Last active October 8, 2022 12:17
Plumtree/HyParView/ppgについて

これは何？

注意

  • 内容の質はメモ書きレベル
  • ほぼ思いつきで書いているので正しさの保証も無し
    • ここで紹介したアルゴリズムに興味を持った人は、オリジナルの論文を読むことを推奨
@sile
sile / rfc_2113.md
Last active August 1, 2022 13:13
Rustの『RFC 2113: dynトレイト構文』の要約メモ
@sile
sile / rfc.md
Last active June 2, 2022 15:19
Rustの『RFC 2033: 実験的なコルーチン』の要約メモ
@sile
sile / damps-04.md
Last active May 24, 2022 09:57
Distributed Algorithms for Message-Passing Systems: 第四章

第四章 リーダー選出アルゴリズム

抜粋

  • リーダー選出問題を扱った章
  • リーダー選出:
    • 分散システムを構成するプロセス群中から一つを選ぶ
    • 通常、選ばれたプロセスは、調整/制御を目的とし、特別な役割を果たすことが要求される
  • リーダー選出は分散システムの対称性を崩す
@sile
sile / stars.md
Created May 5, 2022 06:09
2022/05/05時点でのリポジトリのスター数

starzを使って集計:

前回: 2019/04/10

$ starz sile

Total: 2087

jsone                      ★  250
@sile
sile / rfc_1859.md
Last active July 9, 2021 09:20
Rustの『RFC 1859: Tryトレイト』の要約メモ
@sile
sile / pfds-ch1.md
Last active June 24, 2021 01:09
Purely Functional Data Structures: 第１章

序文

  • 筆者はもともとC/Pascal/Adaを書いていた
  • Standard MLを書くようになり、手続き型のデータ構造を(SMLに)変換してみた
    • 幾つかのデータ構造は、簡単に変換でき、より簡潔にもなった
    • ただし、必ずしも全てのデータ構造が簡単に変換できる訳ではなかった
      • 破壊的な更新が使いたい！ (けどStandard MLにはないのでどうすれば...)
      • 文献調査したけど、ほとんど情報が見つからなかった
  • 自分で研究を始めた
@sile
sile / damps-06.md
Last active January 20, 2021 22:33
Distributed Algorithms for Message-Passing Systems: 第六章

第二部 分散システムでの論理時間とグローバル状態

第二部は四章からなり、以下の内容を扱っている:

  • 分散計算の、イベント/ローカル状態/グローバル状態、の概念
  • それらに関連した論理時間について
  • => __信頼可能な__分散システム上での非同期分散計算の性質を考察する上で基礎となる概念

六章:

  • プロセスのイベント群の部分順序によって、分散計算を表現する方法
@sile
sile / basic-benchmark.sh
Last active September 24, 2020 00:58
kurobako blog: basic-benchmark.sh
# 1. Download kurobako binary.
$ curl -L https://github.com/sile/kurobako/releases/download/0.2.6/kurobako-0.2.6.linux-amd64 -o kurobako
$ chmod +x kurobako && sudo mv kurobako /usr/local/bin/
# 2. Download the data file for HPOBench (note that the file size is about 700MB).
$ curl -OL http://ml4aad.org/wp-content/uploads/2019/01/fcnet_tabular_benchmarks.tar.gz
$ tar xf fcnet_tabular_benchmarks.tar.gz && cd fcnet_tabular_benchmarks/
# 3. Specify problems used in this benchmark.
#
@sile
sile / damps-01.md
Last active May 1, 2020 19:36
Distributed Algorithms for Message-Passing Systems: 第一章

第一部 分散グラフアルゴリズム

第一部は分散グラフアルゴリズムを扱う:

  • 分散システムをグラフと見立てる
    • 頂点はプロセス(ノード)に対応
    • 辺は通信チャンネルに対応

五章構成:

  • 一章: 基礎定義とネットワーク探索