Cargo.lock をバージョン管理するや否やcargo new --bin したパッケージに対して、たまたまデフォルで生成される .gitignore を用いずに https://gitignore.io/ で生成してものを用いていたのですが、 Cargo.lock ファイルの扱いが異なるように思われ、あれ？と思って見直してみました。
PEP 703 - 兼雑記
https://peps.python.org/pep-0703/ Python の GIL 外す話。これすごく楽しい読みものでした。参照カウントのところが一番人気だと思うのですが、他のところも色々良い。こういう、「んーこういうことするとこういう問題が起きない？」と思ったら次の章くらいでそれが説明される、みたいな読みものは大変好きです 参照カウント: オブジェクトっていうのは作ったスレッドが解放するというのがほとんどなんだから、その場合はロックをいらなくする、他に渡ったら普通の参照カウントぽくする、という話。 Swift に 2018 年に導入された 話らしい。他のスレッドに渡された後で DECREF すると他スレッド用の参照カウントが負になりうるのだけど、その時に queue に入れるということをして、ややこしいので、なんかこれ無しですむ方法はないのかなぁ……と Immortalize
Rust Atomics and Locks by Mara Bos
About this Book The Rust programming language is extremely well suited for concurrency, and its ecosystem has many libraries that include lots of concurrent data structures, locks, and more. But implementing those structures correctly can be difficult. Even in the most well-used libraries, memory ordering bugs are not uncommon. In this practical book, Mara Bos, team lead of the Rust library team,
事務処理に必須の「ファイル・ロッキング」
事務処理に必須の「ファイル・ロッキング」 事務処理に必須で、しかも、まとまった情報の少ない、 UNIX システムのファイ ル・ロッキングについて、その原理と手法を解説します。この解説は、この問題の すべてをカバーするわけではありませんが、現実に発生するすべての問題に対処す ることができます。 creat(), link(), open() 等のシステム・コールについては、 UNIX プログラミ ング・マニュアルの２章を併読するとわかります。POSIX 1003.1 のロック機構に ついては、規格書だけではわかりにくいと思いますので、詳述しました。 ファイル・ロッキングの必要性 「UNIX」は、マルチ・ユーザ／マルチ・タスクの OS ですから、もともと、複数の ユーザが協力して、同じ仕事をする形態の事務処理に適しているわけですが、UNIX 成功の基盤となった、 一貫したテキストファイルの採用
Alloy model of lock-free stack - osiire’s blog
唐突にlock-freeをAlloyで書いてみたくなったので書いた。 what is lock-free 冬のLock free祭り safe from Kumazaki Hiroki www.slideshare.net kumagiさんの資料によると、lock-free stackはリンクリストみたいなもので、先頭へのポインタをCAS(Compare and Swap)で切り替えるらしい。 素直にAlloy化するとこうなる。 sig Data {} // linked elements of stack. sig StackElem { data:Data , next:lone StackElem // edge dosen't have next element. } { no next & this // prevent self pointing. } sig HeadPoin
排他制御を行う GitHub Action を作った
弊社では GitHub のレポジトリ管理に Terraform GitHub provider を使用しています。 いちいち手元で terraform plan や terraform apply を叩くのは面倒なので、 GitHub Actions を利用することを考えました。 tf ファイルと現実のリソースとの不整合を避けるために、 これらのコマンドは排他的に実行する必要があります。 例えば terraform apply を実行している最中に terraform plan を実行することはできません。 ここで問題になってくるのが GitHub Actions のジョブ並列数です。 2020-12-30 現在、GitHub Actions は同時に 20 並列まで実行可能ですが、逆に並列数を制限できないという贅沢な悩みがあります。 一応 Matrix Build の並列数を制限するオプ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - mvdnes/spin-rs: Spin-based synchronization primitives
How to disable automatic screen lock under XFCE?
Configure lockscreen for i3 window manager.
EILck: Exclusive–Inclusive Linear Locks
GitHub - mephistopheles-8/atsatomic: Low level atomic API bindings for ATS2 and ATS Temptory
https://papers.freebsd.org/2002/jhb-locking_in_multithreaded_kernel.files/jhb-locking_in_multithreaded_kernel-paper.pdf
GitHub - ssvlab/esbmc-gpu: ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer safety, array bounds, arithmetic overflow, division by zero, and user-specified assertions
GitHub - syarochan/Operating-Systems-Three-Easy-Pieces-in-japanese