Pure lasagna:
trait AppLogic {
fn run(&mut self, actions: Vec<(Id, Box<dyn Any>)>) -> Mutation;
}A callback based approach to the actions:
Raph Levien raphlinus
raphlinus
/ pyo3_mut_atomic.rs
Last active
September 17, 2020 15:43
A sketch of safely(?) passing a mutable reference into Python
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Fifth attempt at safe wrapper, this time using atomics to avoid race | |
| // when dropped without holding GIL. | |
| // User code is same as pyo3_mut_rc | |
| mod safe_wrapper { | |
| use pyo3::Python; | |
| use std::sync::atomic::{AtomicPtr, Ordering}; | |
| pub struct SafeWrapper<T>(*mut AtomicPtr<T>); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| extern crate proc_macro; | |
| use proc_macro::TokenStream; | |
| #[proc_macro_attribute] | |
| pub fn widget(attr: TokenStream, item: TokenStream) -> TokenStream { | |
| r#" | |
| #[track_caller] | |
| fn answer() -> u32 { | |
| println!("{:?}", std::panic::Location::caller()); | |
| 42 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| use xi_unicode::LineBreakIterator; | |
| use skribo::{AdvanceWidth, FontCollection, LayoutSession}; | |
| pub struct LayoutBuilder { | |
| text: String, | |
| default_font: FontCollection, | |
| default_size: f64, | |
| max_width: f64, | |
| } |
raphlinus
/ into_refs.rs
Created
November 25, 2020 01:10
A sketch of how to iterate over a list of references
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| pub trait IntoRefs<'a, T: 'a> { | |
| type Iterator: Iterator<Item = &'a T>; | |
| fn into_refs(self) -> Self::Iterator; | |
| } | |
| impl<'a, T> IntoRefs<'a, T> for &'a [T] { | |
| type Iterator = std::slice::Iter<'a, T>; | |
| fn into_refs(self) -> Self::Iterator { | |
| self.into_iter() |
raphlinus
/ k4_clip
Created
April 28, 2021 15:41
Adreno 640 piet-gpu kernel4 disassembly listings, see https://github.com/linebender/piet-gpu/issues/83
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| :1:0257:0257[20554002x_00000001x] mov.s32s32 r0.z, 1 | |
| :0:0258:0258[00000500x_00000000x] (rpt5)nop | |
| :6:0259:0264[c0260202x_02618001x] ldib.untyped.1d.u32.1.imm r0.z, r0.z, 1 | |
| :2:0260:0265[52b400f8x_20000002x] (sy)cmps.s.eq p0.x, r0.z, 0 | |
| :1:0261:0266[20044906x_000000cfx] (rpt1)mov.f32f32 r1.z, (r)r51.w | |
| :0:0262:0268[00000300x_00000000x] (rpt3)nop | |
| :0:0263:0272[00900000x_0000057cx] br !p0.x, #1404 | |
| :1:0264:0273[20554002x_00000002x] mov.s32s32 r0.z, 2 | |
| :1:0265:0274[20554003x_00000000x] mov.s32s32 r0.w, 0 | |
| :0:0266:0275[00000200x_00000000x] (rpt2)nop |
raphlinus
/ pathseg.md
Created
November 26, 2021 19:10
Draft of path segment encoding description, will go into next PR
The new (November 2021) element processing pipeline has a particularly clever approach to path segment encoding, and this document explains that.
By way of motivation, in the old scene encoding, all elements take a fixed amount of space, currently 36 bytes, but that's at risk of expanding if a new element type requires even more space. The new design is based on stream compaction. The input is separated into multiple streams, so in particular path segment data gets its own stream. Further, that stream can be packed.
As explained in [#119], the path stream is separated into one stream for tag bytes, and another stream for the path segment data.
raphlinus
/ nonatomic_corr.test
Created
January 15, 2022 18:18
Non-atomic CoRR litmus test for Vulkan memory model
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| NEWWG | |
| NEWSG | |
| NEWTHREAD | |
| st.atom.scopedev.sc0 x = 1 | |
| NEWWG | |
| NEWSG | |
| NEWTHREAD | |
| ld.atom.scopedev.sc0 x = 1 | |
| ld.scopedev.sc0 x | |
| NOSOLUTION consistent[X] && #X.dr=0 |
raphlinus
/ inconsistent_corr.test
Created
January 17, 2022 17:57
An inconsistent execution exists for this litmus test
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| NEWWG | |
| NEWSG | |
| NEWTHREAD | |
| st.atom.scopedev.sc0 x = 2 | |
| NEWWG | |
| NEWSG | |
| NEWTHREAD | |
| st.atom.scopedev.sc0 x = 1 | |
| NEWWG | |
| NEWSG |
raphlinus
/ iterhash.swift
Last active
May 28, 2022 05:03
SwiftUI code for comparing virtual scrolling performance
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Copyright 2022 Google LLC. | |
| // SPDX-License-Identifier: Apache-2.0 | |
| // Scrolling test case by Raph Levien | |
| import SwiftUI | |
| import CryptoKit | |
| struct ContentView: View { | |
| var body: some View { |