Getting Started - Asynchronous Programming in Rust
Getting Started Welcome to Asynchronous Programming in Rust! If you're looking to start writing asynchronous Rust code, you've come to the right place. Whether you're building a web server, a database, or an operating system, this book will show you how to use Rust's asynchronous programming tools to get the most out of your hardware. What This Book Covers This book aims to be a comprehensive, up-
はじめに - Writing an OS in 1,000 Lines
本書では、小さなOSをゼロから少しずつ作っていきます。 OSと聞くと腰が引けるかもしれませんが、OS (特にカーネル) の基本機能は案外単純です。巨大なオープンソースソフトウェアとしてよく挙げられるLinuxでさえ、バージョン0.01はたった8413行でした。様々な要求に応えるために次第に肥大化していっただけで、当初は大変素朴な実装になっていました。 本書では素朴なコンテキストスイッチ、ページング、ユーザーモード、コマンドラインシェル、ディスクデバイスドライバ、ファイルの読み書きをC言語で実装します。これだけ様々な機能が詰め込まれているのに、コードは合計でたった1000行未満です。 「1000行なら1日でできそう」と思うかもしれませんが、初学者には少なくとも3日はかかるでしょう。OS自作のハマりポイントは「デバッグ」です。アプリケーション開発とは違うデバッグ手法・能力を習得する必要がありま
Zig の文書読んで所感を記す - Qiita
これは何？ Zig を学ぼうと 公式文書 (0.91時点) を読んでいるんだけど、読みながら思ったことを記していく。 続編は Zig の文書読んで所感を記す #2 へ。 その前に Zig への言及が最近多いなぁ、でもシンプルな言語だって言うしまあどうでもいいかなぁ、ぐらいの気持ちでいたんだけど、ZigはCMakeの代替となるか を読んで、俄然興味が湧いてきて、じゃあ読んでみるか、と思った。 数値 i32 とか u16 のような名前で型が提供されている。 整数は 128bit まである。そればかりか、 3bit とか 53bit のような中途半端な幅の整数も使える模様。面白い。 さらに。何に使うのかわかってないけど、 i0 u0 のようなゼロビットの整数もある。 ちなみに0ビット整数には 0 が代入できる。 u1 は、 0 または 1。 i1 は、 0 または -1 が代入可能。 浮動小数点
データベースについて知っておくべきこと
architecture notesより。 この記事は、「知っておくべきこと」というシリーズの最初の記事です。様々なテーマについて、基本原則からレベルアップするための入門書と考えて下さい。今日は、データベースについて説明します! BY マハディ・ユスフ データベースは、アプリケーションのほぼすべての状態を格納しているにもかかわらず、表面的にはどのように動作しているのかほとんど知られていないことに驚かされることがよくあります。しかし、これはほとんどのシステムで成功するための基礎となるものです。そこで今日は、RDBMSのインデックスとトランザクションを扱う上で最も重要な2つのテーマについて説明します。 データベース特有の癖に深く立ち入ることなく、RDBMSのインデックスについて理解すべきことを全て説明します。トランザクションと独立性レベルについても簡単に触れ、それらが特定のトランザクションに関
Ruby 3.1はここに注目！ 新しいJITとは？ デバッガ、エラーメッセージ、そして未来！ リリースマネージャーに聞いた ｜ハイクラス転職・求人情報サイト AMBI（アンビ）
Ruby 3.1はここに注目！ 新しいJITとは？ デバッガ、エラーメッセージ、そして未来！ リリースマネージャーに聞いた 2021年12月25日にリリースされたばかりのRuby 3.1では、どのような機能がどういった経緯で採用されているのでしょう。リリースマネージャーのnaruseさんと、フルタイムコミッターのmameさん、ko1さんに詳しくうかがいました。 プログラミング言語Rubyでは2013年の2.1.0以降、毎年クリスマス（12月25日）にメジャーバージョンアップが行われています。2021年も無事にバージョン3.1.0がリリースされました。 ▶ Ruby 3.1.0 リリース Ruby 3.1は、言語機能の面では全体的に穏やかなリリースにも見えますが、新しい方式のJIT（just in time）コンパイラ、標準の新デバッガー、事前アナウンスでも好評だったエラーメッセージの改善な
すｚのAVR研究: PIC32MX用ライブラリの検討(1)
FT232R ベースのライタは、デバッグ前まで来た。たぶんなんとかなるので、ライブラリについての検討を始めようと思う。 もう一度書くが、ベースとするのは、 『USBBOOTプログラム用ライブラリ』の記事の usbboot-wk19.tar.gz。 Ingenic の MIPS プロセッサ 用として作っていたのだが、放置中。ライブラリの名前は jzlib 。AVR-libc ようなものを目指していて MichroChip のライブラリと全然違うもの。PIC32 とか名前に入れずに jzlib の PIC32MX 対応版という位置づけにしようかと思う。 ライブラリ自体は、AVR-libc から取ってきたり、NetBSD から取ってきたりしてでっち上げている。mips16e には対応できていないが、mips32 なら コンパイルするだけで済む。課題は、 ・ スタートアップ ・ 割り込みエントリ
Alloy 6 の新機能 Mutable Field と線形時相論理
こんにちは、チェシャ猫です。 Alloy は関係論理を用いた形式手法ツールの一種です。本記事では、2021 年 11 月にリリースされた Alloy 6 の新機能、Mutable Field を用いた検査について解説します。この機能を使用することで、時間発展するタイプのシステムをよりシンプルに記述できるようになりました。 なお、本記事は従来の v5 以前の Alloy に触ったことがある読者を想定しています。したがって Alloy のツールとしての位置付けや基本的な文法・機能については説明しません。興味のある読者には『抽象によるソフトウェア設計ーAlloy ではじめる形式手法』（以下 Jackson 本）をお勧めします。 それでは早速、Alloy 6 をダウンロードして始めましょう。 TL;DR Mutable Field が導入され、時刻に従って変化するような関係が記述可能になった それ
機械語手書きから言語処理系をブートストラップする - Qiita
この記事は言語実装のカレンダー | Advent Calendar 2021 - Qiita https://qiita.com/advent-calendar/2021/lang_dev の4日目の記事です。 はじめに 昔、アセンブリ言語のみから出発し、GC・継続・オブジェクトシステムなどを持つ比較的高級な言語までブートストラップするということをやりました。いつか再挑戦してみたいと思っていて、正月休みにやりましたら思いのほか動くものになりましたが、死蔵させたまま1年経ってしまいました。勿体無いのでこの機会に紹介して供養します。 前回作ったAmberという処理系はこちら - リポジトリ: https://github.com/nineties/amber 今回はアセンブリ言語じゃなく ELFファイルの手書き から出発してみたいと思います。ただのお遊びで、そんなことしても役には立ちません。が
第690回 BCCでeBPFのコードを書いてみる | gihyo.jp
第688回の「eBPFのコンパイラーに対応したツールでさまざまな挙動を可視化する」ではBPF Compiler Collectionに付属の各種サンプルツールの使い方を紹介しました。今回はコンパイラーを活用して、自分でeBPF用コードを書くための基礎を学んでみましょう。 BCCのインストールとドキュメント 第688回も紹介したように、カーネル3.15で追加されその後拡充を続けている「eBPF」は任意の外部プログラムをカーネルの中で、より安全に実行できる仕組みです。カーネルモジュールを作る代わりに、独自のバイトコードをコンパイラーで生成し、それをカーネル内部にロード・実行することになります。これを使えばシステムコールの先のカーネルの状態を、プログラマブルに解析可能になります。 eBPF自体はカーネルの仕組みであり、ユーザーランドから使うためには、eBPF用のバイトコードにコンパイルする必要が
Rust初心者殺しの文法10選 - Qiita
概要 この記事ではRust初心者が驚いたり混乱させられたりするようなRustの文法を10項目集めてみました。 これらの項目は知らないと理解できなかったりコンパイルエラーに悩まされたりする一見厄介なものたちなのですが、そのような直感的でない挙動を敢えてさせているところには重要な意味が込められていることが多いです。 そのため、これらの項目を通してRustが目指しているものや実現したい機能の一部を垣間見ることができると思います。 1. デフォルトの代入がムーブ Rustの最大の特徴が所有権の概念であることは有名ですが、それでもなお初心者殺しになるのがムーブです。 以下のコードがコンパイルエラーになるメジャーな言語は現状Rustくらいしか無いでしょう。 let mut a = vec![1, 2, 3]; let mut b = a; // ここでaの持つベクタの所有権がbにムーブされ、aは無効に
gdbのDynamic Printfを使う - Qiita
はじめに gdbのDynamic pinrtf機能を使うことで動的にprintfを挿入できます。 breakすることなくプログラムの変数 / 実行パス を確認できます。 使い方 QEMU / gdb で Linux kernel の動きを確認するを例に説明します。 consoleAでQEMUを起動します。 TOP_LINUX=~/linux-3.13.0 TOP_BUSYBOX=~/busybox-1.26.2 qemu-system-x86_64 -s -nographic \ -kernel $TOP_LINUX/arch/x86/boot/bzImage \ -initrd $TOP_BUSYBOX/rootfs.img \ -append "root=/dev/ram rdinit=/sbin/init console=ttyS0"
富士通の実践知が詰まったデザイン思考のテキストブック公開
2021年12月3日に本テキストブックを題材に、デザイン経営の考え方や導入方法、テキストブックの制作秘話などについて語るオンラインイベントが開催されました。下記のリンク先からアーカイブ動画をご覧いただけます。 詳しくはこちら（外部サイト） > 富士通のこれまでの実践から得られたノウハウと、イタリアのミラノ工科大学デザインスクールPOLI.Designの研究成果やフィロソフィーを組み合わせた、デザイン思考のテキストブック「Transformation by Design デジタルトランスフォーメーションに挑戦するデザイン戦略とサービスプランニング」（日本語版・英語版）を公開いたします。このテキストブックはPDFで閲覧可能です。またテキストブック制作の背景や制作チームの想いなど、制作のディレクターを務めた宇多村志伸と高嶋大介に話を聞きましたので、ぜひダウンロードの際に併せてお読みください。
How a simple Linux kernel memory corruption bug can lead to complete system compromise
In this case, reallocating the object as one of those three types didn't seem to me like a nice way forward (although it should be possible to exploit this somehow with some effort, e.g. by using count.counter to corrupt the buf field of seq_file). Also, some systems might be using the slab_nomerge kernel command line flag, which disables this merging behavior. Another approach that I didn't look
ノア・スミス「脱成長論はろくでもないってみんなも気づきつつある」（2021年9月5日）
[Noah Smith, “People are realizing that degrowth is bad,” Noahpinion, September 5, 2021] 脱成長論者が提唱してる狂った構想は，地球を救う本物の対策からぼくらの気をそらしてしまう幻想だ． 「脱成長」を唱える人たちがいる――地球を救うために経済成長を停止する必要があるのだと，彼らは言う．今回は，これがすごくダメなアイディアである理由を解説する長文記事を書くつもりでいた．ところが，ぼくが書くまでもなく，すでにそういう文章を書いてる人たちやポッドキャストで語ってる人たちが他にいる．たとえば，ブランコ・ミラノビッチ，ケルゼイ・パイパー，エズラ・クラインといった人たちだ．そこで，かわりに今回は各種の脱成長論をカタログにまとめて，その要点をとらえることにしよう． ただ，その前にまずは，標準的な主張を見ておこう．そうす
コラム - グーグルのクラウドを支えるテクノロジー | 第20回 Googleのソースコード管理システム ― Piper/CitC｜CTC教育サービス 研修/トレーニング
[IT研修]注目キーワード Python UiPath(RPA) 最新技術動向 Microsoft Azure Docker Kubernetes 第20回 Googleのソースコード管理システム ― Piper/CitC (中井悦司) 2017年7月 はじめに 今回から2回に渡り、2016年に公開された学術記事「Why Google Stores Billions of Lines of Code in a Single Repository」をもとにして、Google社内で利用されているソースコード管理システムのPiperとCitCを紹介します。この記事では、Googleにおけるソースコード管理の仕組みやPiper/CitCの機能に加えて、そのメリット／デメリットが議論されています。 今回は、まずは、Googleにおけるソースコード管理の仕組みと、その考え方を紹介していきます。 ソース
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
public_study/symbolic/symbolic_survey.md at master · syarochan/public_study
GitHub - tkmru/linux-insides-ja: Japanese version of linux-insides book
eBPF - Introduction, Tutorials & Community Resources
PIC32MX_USBCDC - AVR etc
ちいさな Web ブラウザを作ってみよう
