tcardlab tcardlab

HVM3's Optimal Atomic Linker (with Polarization)

Atomic linking is at the heart of HVM's implementation: it is what allows threads to collaborate towards massive parallelism. All major HVM versions started with a better atomic linker. From slow, buggy locks (HVM1), to AtomicCAS (HVM1.5), to AtomicSwap (HVM2), the algorithm became simpler and faster over the years.

On the initial HVM3 implementation, I noticed that one of the cases on the atomic linker never happened. After some reasoning, I now understand why, and

Learning Rust

Getting Started + Installation | Cheat Sheet

Hyperv Linux Guest GPU PV

Create VM

$isopath = <iso location>
$vhdpath = <vhdx location>
$vmpath = <vm path>
$vmname = "Arch-dxgkrnl"
New-VM -Name $vmname -MemoryStartupBytes 8GB -BootDevice VHD -NewVHDPath $vhdpath -Path $vmpath -NewVHDSizeBytes 20GB -Generation 2 -Switch "Default Switch"

Based on Evan You's methodology: https://github.com/yyx990803/vue-svelte-size-analysis

Table

	Vue	Vue (SSR)	Svelte	Svelte (SSR)	Solid	Solid (SSR)
Source	3.93kb	-	3.31kb	-	4.98kb	-
Compiled w/o imports (min)	2.73kb	-	5.01kb (183.52%)	6.59kb (241.39%)	3.68kb (134.805)	3.96kb (145.05%)
Compiled w/o imports (min+gz)	1.25kb	-	2.13kb (170.40%)	2.68kb (214.40%)	1.46kb (116.80%)	1.57kb (125.60%)
Compiled w/o imports (min+brotli)	1.10kb	-	1.88kb (170.91%)	2.33kb (211.82%)	1.26kb (114.55%)	1.32kb (120.00%)

Electron is tricky to get set up on Windows Subsystem for Linux, but it can work!

Four things needed overall:

you need WSL2, not WSL1
you need node, of course, and that part isn't so bad
you need to apt install several dependencies
you need an X Server so it can display the electron GUI over in Windows-land

Setup instructions, in order:


	╭────────────────────────────────────────────╮
	│ ✻ Welcome to Claude Code research preview! │
	│ │
	│ /help for help │
	│ │
	│ cwd: /Users/v/vic/dev/IC │
	╰────────────────────────────────────────────╯

	! cat InteractionCalculus.md

	I'm going to share my research insights with you. The info below MIT-licensed.

	First, some background information and context.

	# The Interaction Calculus - An Introduction

	The Interaction Calculus is very similar to the Lambda Calculus, except:

	1. All variables are Affine (meaning they can't be occur more than once).

	MIT License

	Copyright (c) 2022-present, cayter

	Permission is hereby granted, free of charge, to any person obtaining a copy
	of this software and associated documentation files (the "Software"), to deal
	in the Software without restriction, including without limitation the rights
	to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
	copies of the Software, and to permit persons to whom the Software is
	furnished to do so, subject to the following conditions:

	import { and, type DBQueryConfig, eq, type SQLWrapper } from "drizzle-orm";
	import { drizzle } from "drizzle-orm/postgres-js";
	import postgres, { type Sql } from "postgres";

	import { type AnyArgs } from "@/common";

	import {
	type DbClient,
	type DbTable,
	type DeleteArgs,

	// Generates the SAPISIDHASH token Google uses in the Authorization header of some API requests
	async function getSApiSidHash(SAPISID, origin) {
	function sha1(str) {
	return window.crypto.subtle.digest("SHA-1", new TextEncoder("utf-8").encode(str)).then(buf => {
	return Array.prototype.map.call(new Uint8Array(buf), x=>(('00'+x.toString(16)).slice(-2))).join('');
	});
	}

	const TIMESTAMP_MS = Date.now();
	const digest = await sha1(`${TIMESTAMP_MS} ${SAPISID} ${origin}`);

tcardlab tcardlab

HVM3's Optimal Atomic Linker (with Polarization)

Learning Rust

Table of Contents

Hyperv Linux Guest GPU PV

Table