Async/Await | Writing an OS in Rust
この記事は翻訳されたものです： この記事はAsync/Awaitをコミュニティの手により翻訳したものです。そのため、翻訳が完全・最新でなかったり、原文にない誤りを含んでいる可能性があります。問題があればこのissue上で報告してください！ 翻訳者： @kahirokunn, @garasubo, @sozysozbot 及び @swnakamura. With contributions from @asami-kawasaki 及び @Foo-x. この記事では、Rustの協調的マルチタスクとasync/await機能について説明します。Rustのasync/await機能については、Future trait の設計、ステートマシンの変換、 pinning などを含めて詳しく説明します。そして、非同期キーボードタスクと基本的なexecutorを作成することで、カーネルにasync/awa
SyncStitch - PRINCIPIA Limited
Overview SyncStitch is a model checker based on the process algebra CSP (Communicating Sequential Processes). By using SyncStitch, you can check six types of properties of the system you are developping: Deadlocks Divergences (also known as livelocks) Refinement relation on traces semantics (safety) Refinement relation on stable failures semantics (safety and liveness) LTL (Linear-Time Logic) with
ステートマシン図の設計品質の向上の一手法の紹介
著者：早水公二 (株式会社フォーマルテック)、高井利憲 (チェンジビジョン) みなさんは、astah*で書いたステートマシン図をどのように活用していますか？システムの取り得る状態を把握したり、システムの振る舞いに関する理解を共有したり、不正な状態遷移がないかレビューしたりしていると思います。今回は、モデル検査という技術を応用することにより、ステートマシン図を自動検証する手法をご紹介します。 ■モデル検査の概要 モデル検査とは、システムの網羅的な検査ができる技術です。 網羅的とはどういうことでしょうか。例えば、実機や実際の実行コードを用いる試験やソフトウェアテストでは、特定の環境条件や入力値を設定することによって、検査対象のシステムやソフトウェアの振る舞いを観察します。ただし、一回あたりの試験の実行には、無視できない時間やコストが係るため、限られた環境条件や入力値しか確かめられないのが普通で
Graphvizの使い方を例題で覚える - write ahead log
Graphvizとは GraphvizはDot言語という記法で書かれたテキストファイルをグラフ図に変換するツールです. とりあえずwikipediaを. AT&Tが開発し,公開しています. 環境作成 コマンドラインからがお好みの方は # mac $brew install graphviz # ubuntu $sudo aptitude install graphviz 私は面倒なのでChrome拡張を作って使っています. Dot Lang Viewer 会社支給はWindowsなのでコマンドラインとはいささか相性が悪いのです.(msys2入れてますけどね) ためす さて,早速試してみましょう. お好みのテキストファイルを開いて以下を記述してください. ファイル名はsample.txtとしましょう. graph sample { ジャンプ -- 友情; ジャンプ -- 努力; ジャンプ -
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Flame Graphs
GitHub - uw-unsat/hyperkernel
Automatic Device Driver Synthesis | TS | Data61
