はてなブックマーク

Coroutines for Go のメモ Coroutines for Go を読んでのメモ コルーチンとはなんぞや? 普通の関数コール(サブルーチン)を解説している。 サブルーチンとの比較でコルーチンを語るため。 以下は関数Fが関数Gを読んだという前提。 サブルーチンは、Gが全部終わってからFに戻り、Fの続きを実行するモデル、である。 1つのスタックのトップにある1つの関数のみが実行状態となる。 コルーチンでは、FとGが異なるスタックになるが、実行状態になるのはサブルーチンと同じく1つの関数である。 Gはすぐには実行状態にならず、Fにより明示的にresumeする必要がある。 GはいつでもFに譲る(yield)ことができ、Gはスタックを維持したまま一時停止する 再度FがGをresumeすることでGは実行を再開する。 Gが最後まで到達した後に、Fがresumeしたらそれは失敗になる必要があ

sqlite-vss 入門 本文章では、sqlite-vssの入門的な使い方と、関連した知識を解説します。 現在ドラフト相当の段階のため、後に記述が変更・追加になる場合があります。 https://github.com/asg017/sqlite-vss sqlite-vss とは sqlite-vss とは、SQLiteでFaiss(ベクトル検索ライブラリ)を使えるようにする、SQLiteの拡張モジュールです。 SQLiteは言わずとも知れた組込み用のRDBMSで、多くの言語にバインディング・ドライバーが存在するとてもメジャーなRDBMSの1つです。 もう一方のFaissはFacebookが開発・公開している、密なベクトルの効率的な類似性検索とクラスタリングのためのライブラリです。 平たく言うと、sqlite-vssはSQLiteに大規模なベクトルの検索機能を追加してくれる拡張モジュール

前提 自作キーボードにいろんな意味でハマっています。 自作キーボードには40%と呼ばれるキーの数が少ないものがあります。物理的にキーの数が少ないと入力できる文字種=キーコードが少なくなるので、キーに対応するキーコードをまとめて入れ替えるレイヤーという概念を導入し、さらに特定の操作でレイヤーを切り替えることで十分な数のキーコードを確保します。そうして必要な文字をどのレイヤーのどのキーに置くのか、さらにはレイヤー切り換え自体をどのような操作で行うかの設定をキーマップもしくは単にマッピングと言い、自作キーボードにおける1つの沼となっています。この記事はそんなレイヤー切り換え関係のお話です。 もっともシンプルなレイヤー操作は「あるキーを押している間だけ特定のレイヤーにシフトする」というものです。自作キーボード界隈の代表的なファームウェア(=キーボード自身に内蔵するソフトウェア)であるQMK Fir

日本の自作キーボードキットでよく使われるいわゆるPro Micro及びその互換機はバリエーションがとても豊富です。本記事ではPro Microにどのようなバリエーションがあるのか、なぜそのようなバリエーションがあるのかをできる限りで解説します。バリエーションの背後にある事情を把握することで、いざ自分が購入したPro Micro及び互換機がどのような特徴を持っているのか、一般的なモノとどのような差があるのか理解でき、何かしらのトラブルに遭遇した際に自身で解決できる可能性が高まります。 オリジナルPro Microとは そもそもPro Microとは狭義にはSparkfunのPro Micro - 5V/16MHzのことを指します。このオリジナルPro Microは回路図がオープンソースとして公開されており誰でも利用できるため、フットプリント≒ピン配置・内容が同じ互換機が多く作られるに至りまし

本記事はSqueezing the most out of AVR (AVRの性能を最大限に引き出す)の抄訳とちょっとした解説です。 QMKとPro Microを用いた自作キーボードにおいては、増大する機能に対してMCUであるAVR ATmega32U4の容量制限がわずか28KBとあまりに小さく、ファームウェアの容量が逼迫しがちです。上記の記事にはそんなファームウェアのサイズを小さくするためのTIPSが紹介されています。 本記事はそんな省サイズ化のTIPSを日本語で要約し補足説明するものです。各施策ごとにどのような内容なのか、それによりファームウェアサイズをどの程度削減できるのか、考えられるデメリットは…といったことを説明します。なお記載した削減サイズはあくまでも目安であり、必ずしもそこで示した分が削減できるとは限らないことに注意してください。 本記事の末尾には私のオススメ度ともに一覧表と

前提 分散ロックしたい 別のマシンで動いてる複数プロセス間で手軽にロック Redisで PostgreSQLとかSQSとかいろいろ考えたけど、Redisくらいがちょうどよい Redisでの分散ロックの実装方法 Redisでの分散ロックの実装にはRedlockっていうアルゴリズムがある Redisの1インスタンスに対する基本的なロックを束ねてRedlockが実装される 基本はSETNX(キーが存在しなかったら値を保存するコマンド)で、制限時間付きのキーを作ることでロックをする。値は乱数で確率的に一意な値になるようにする。 アンロックはEVAL(=Luaスクリプトを実行するコマンド)で、特定の値を持っていたら消す。間違ってアンロックするのを防いでる。 上記のロックアルゴリズムを複数のRedisマスターに投げて、n/2+1以上のロックが取れたらロック成立とする とれなかったら一旦全部アンロックし

TL;DR Go(のランタイム)は以下のタイミングで自動的にGCを実行する 前回のGC後に占有していたメモリと同量を新たに確保したとき 前回のGCから2分後 cgroupなどでメモリ制限しているときは、メモリ使用量が制限の50%以上になったらruntime.GC()を呼び手動でGCすべきである 前置き: GoとOOMのこれまで 以下はGo 1.16での調査結果です。Goのバージョンが異なった場合は事情が異なる可能性があります。 Goでプログラムを書く際に、使用メモリ量を気にしなければならないシーンはGCのおかげでそう多くはありません。実際それは間違いではないのですが、運用まで視野に入れるとそうは言ってられないことがあるのもまた現実です。昨今はコンテナの利用が当たり前になったことに伴い、OOMによりプロセスが強制的に終了させられることもあり、それを避けるために一定量以下のメモリで動くことが重

TL;DR SparkFunの純正Pro Microを分割自作キーボードに利用する際には注意が必要 分割自作キーボードの子機側のコントローラーとして使うのには適さない。親機側としては問題なく使えるどころか推奨できる。 SparkFun Pro Micro - 5V/16MHz (DEV-12640)はTRRSケーブル経由で供給された電力がUSBの電力線にそのまま出てしまう。結果VBUSによる親機判定が機能しない SparkFun Qwiic Pro Micro - USB-C (DEV-15795)はTRRSケーブル経由で電源を供給した際にUSBケーブルが繋がれていないとVBUSが不安定になり親機判定が安定しない Pro Micro互換機は電圧VCCに5V未満しか出力されないケースが見られる 手持ちの互換機はすべて該当した。 バスパワーのUSBハブおよび子機側に純正Pro Microを利用

まえおき 参考 前回の記事では「並行の間違った理解を正すため」に分かりやすさを優先し若干(相当)誇張を入れて「間違いとは言いきれないけれども必ずしも正しいとも言えない」形で並行計算と並列計算を定義しました。 特に並列計算については記事の本題ではなかったために相当に雑な定義となっていました。その件に関していくらか指摘もありましたので、ある種の責任を果たすために前回よりももう少し真面目にその差異を示しておこうと思います。 ただ読み始める前に、大前提として並行計算と並列計算という言葉は使う箇所、すなわち必要とされるシーンが異なっているために差異を考えるという行為それ事態にあまり意味がありません。見た目や一部の性質は似ていても必要とされるシーンは大きく異なる言葉なんだということを念頭に置いた上で以下を読んでください。 ちなみに私はちょっとハードウェアにも詳しいソフトウェアエンジニアという視点を持っ

Apple SiliconのM1が速いと話題だ。単に速いというだけでなくRosetta 2を用いてx86_64バイナリをARMに変換して実行した時にIntel CPUで直接実行した時より速くなる場合があるというのだから驚きだ。その要因を考察するにつれ一つの仮説に思い至ったのでここに記しておく。 その要因とはRISCとCISCの違いだ。殴り書きなので詳細は省くが、CISCのほうがやってることが複雑で単純な実行速度という意味ではRISCに敵わない。特にRISCの固定長命令という特徴がカギを握る。 CISCの代表がIntelのx86である。しかし2000年ごろにはCISCはもう駄目だ的なことが声高に叫ばれていたが、気が付けばx86はそのまま栄華を極め2020年にまで至ってしまった。そこまで持ちこたえた理由の1つがRISCとCISCの境目がなくなる　Pentium Proの逆襲に書かれているのだが

TL;DR 並行計算の理解を間違ってる人が多いので正したい 並行計算=同時に実行すること 並列計算≒同等のタスクを並行計算すること もうちょっとちゃんと書いたフォローアップ記事も合わせて、お時間が許すようであればお読みください。 状況 並列と並行 / 多言語からみるマルチコアの活かし方に見られるように並行(concurrent)とは「複数の処理を順番に実行すること」とする誤った記述を、この記事に限らずチラホラ目にします。 大事になことなので繰り返しますが、間違った記述を含んでいるのはこの記事だけに限りません。 そのような誤った記述を見かけるたびに「ああこの人も間違ってるのか」と諦観を抱くだけというのもあまりに非生産的なので、間違ってますよとポインタとして示せるように簡単な読み物にしたものがこの記事です。 事実 計算=computingの分野においては並行=concurrentと並列=par

Windows 10にコマンドプロンプトを置き換えるべく颯爽と登場したWindows Terminalの基本的な使い方、設定方法やキーバインドを紹介します。 注意: アドホックに執筆中なので不定期で思いついた時に書き足したり修正したりします。