Keno Fischer Keno

Declared exceptions

The goal of this proposal is put forth a concrete proposal for having methods declare which exceptions are part of its API. This has been discussed in JuliaLang/julia#7026 and various other venues, but because the discussion there is extensive, I'm creating this as a clean document to put forward a concrete proposal.

Declared exceptions

I am debugging an issue attempting to manage multiple macs through a TESmart KVM switch and a PiKVM. Everything works beautifully if the PiKVM is hooked up directly to the mac. Unfortunately, with the TESmart switch in the middle, the mac display goes dark after 30s or so. AllRez (https://github.com/joevt/AllRez) output from both the direct attach and with the temsart in the middle are attached.

Of particular note (to me at least) is that the HDCP status differs. Without the TESmart switch in the middle, HDCP is disabled:

    68028h AUX_HDCP_BCAPS: BCAPS_HDCP_CAPABLE, BCAPS_REPEATER_PRESENT
 68029h AUX_HDCP_BSTATUS: BSTATUS_LINK_FAILURE

	### A Pluto.jl notebook ###
	# v0.19.25

	using Markdown
	using InteractiveUtils

	# ╔═╡ 3f8b71ed-d04c-4ce1-8c5d-663329993d6d
	Main.foo

	# ╔═╡ Cell order:

	abstract type AbstractLattice; end

	function widen; end

	"""
	struct JLTypeLattice

	A singleton type representing the lattice of Julia types, without any inference
	extensions.
	"""

	#include <stdio.h>
	#include <signal.h>
	#include <setjmp.h>
	#include <unistd.h>
	#include <stdlib.h>
	#include <string.h>
	#include <stdint.h>
	#include <pthread.h>
	#include <errno.h>
	#include <sys/mman.h>

	commit ec046ffc2b8b9ed6916e402ee580e18da6673709
	Author: Keno Fischer <[email protected]>
	Date: Sun Jul 3 01:53:53 2022 +0000

	WIP: AMD CPUID override

	Since e9ea1e7, we've had the ability to turn a userspace `cpuid`
	instruction into a SIGSEGV using the ARCH_(GET\|SET)_CPUID arch_prctl.
	However, this capability is limited to supported hardware, which
	currently means Intel CPUs. AMD CPUs do not have a documented facility

	/* -- Mode: C; tab-width: 8; c-basic-offset: 2; indent-tabs-mode: nil; -- */

	#include "util.h"

	pid_t main_thread_tid = 0;
	int fds[2];
	char zeros[8192];

	void sigproc_and_hang(void)
	{

	<!DOCTYPE html><html lang="en"><head><meta name="viewport" content="width=device-width"><meta charset="utf-8">
	<meta name="pluto-insertion-spot-meta">
	<meta name="theme-color" media="(prefers-color-scheme: light)" content="white"><meta name="theme-color" media="(prefers-color-scheme: dark)" content="#2a2928"><meta name="color-scheme" content="light dark"><link rel="icon" type="image/png" sizes="16x16" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/favicon-16x16.347d2855.png" integrity="sha384-3qsGeVLdddzV9oIkj3PhXXQX2CZCjOD/CiyrPQOX6InOWw3HAHClrsQhPfX9uRAj" crossorigin="anonymous"><link rel="icon" type="image/png" sizes="32x32" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/favicon-32x32.8789add4.png" integrity="sha384-cOe5vSoBIgKNgkUL27p9RpsGVY0uBg9PejLccDy+fR8ZD1Iv5dF1MGHjIZAIZwm6" crossorigin="anonymous"><link rel="icon" type="image/png" sizes="96x96" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/favicon-96x96.48689391.png" integrity="sh