gterzian

----------------------- MODULE ImageCacheThree -----------------------
EXTENDS FiniteSets, Integers, Sequences
CONSTANT N
VARIABLES image_states, image_queue, keys_used, keys, keys_batch
-----------------------------------------------------------------------------

Image == 1..N
ImageState == {"None", "PendingKey", "HasKey", "Loaded"}

gterzian

------------------------- MODULE ImageCacheOne -------------------------
EXTENDS FiniteSets, Integers, Sequences
CONSTANT N
VARIABLES image_states, keys_used
-----------------------------------------------------------------------------
Image == 1..N
ImageState == {"None", "Loaded"}

TypeOk == /\ image_states \in [Image -> ImageState]
          /\ keys_used \in Int

gterzian

--------------------------- MODULE ImageCacheTwo ---------------------------
EXTENDS FiniteSets, Integers, Sequences
CONSTANT N
VARIABLES image_states, keys_used, keys
-----------------------------------------------------------------------------

Image == 1..N
ImageState == {"None", "PendingKey", "HasKey", "Loaded"}

gterzian

• Iframe navigation
  • which ties into broader navigation: see this diagram
  • Likely to be of interest to @jdm
• Updating the rendering of canvas
  • Likely to be of interest to @sagudev
• Fix IPC routing
  • Likely to be of interest to @mrobinson, and @nicoburns(re modularity).
• Clean Shutdown of Servo
  • Includes all kinds of actionable items:
• Ensure background-hang-monitor exits before constellation

gterzian

-------------------------- MODULE CanvasRendering --------------------------
EXTENDS FiniteSets, Integers, Sequences
VARIABLES images_updated, display_lists_applied, 
           compositor_messages, canvas_state,
           pending_display_list
CONSTANT N
----------------------------------------------------------------------------

Messages == {"DISPLAY_LIST", "UPDATE_IMAGE"}

gterzian

-------------------------- MODULE CanvasRenderingBlocking --------------------------
EXTENDS FiniteSets, Integers, Sequences
VARIABLES images_updated, display_lists_applied, compositor_messages, canvas_state
CONSTANT N
----------------------------------------------------------------------------

Messages == {"DISPLAY_LIST", "UPDATE_IMAGE"}

CanvasState == {"PENDING", "UPDATED"}

gterzian

-------------------------- MODULE CanvasRenderingBroken --------------------------
EXTENDS FiniteSets, Integers, Sequences
VARIABLES images_updated, display_lists_applied, compositor_messages
----------------------------------------------------------------------------

Messages == {"DISPLAY_LIST", "UPDATE_IMAGE"}

ReadyToApplyDisplayList == images_updated = display_lists_applied + 1
ImageUpdatedAndDisplayListApplied == images_updated = display_lists_applied

gterzian

How to work on a Web API

Part 1: Basic Setup of a Web API

1. Read-up on the relevant spec.
2. Add .webidl file(s) in this folder for each interface that you want to implement. If one already exists, you want to add the missing parts to it.
3. For each interface, this will generate a trait named {interface_name}Methods, accessible via use crate::dom::bindings::codegen::Bindings::{interface_name}Binding.
4. Use this trait by:
   • Adding a matching struct, using #[dom_struct]

• Adding methods with todo! bodies.

gterzian

How to work on a Web API with the assistance of Copilot

Part 1: Basic Setup of a Web API

1. Read-up on the relevant spec.
2. Add .webidl file(s) in this folder for each interface that you want to implement. If one already exists, you want to add the missing parts to it.
3. For each interface, this will generate a trait named {interface_name}Methods, accessible via use crate::dom::bindings::codegen::Bindings::{interface_name}Binding.
4. Use this trait by:
   • Adding a matching struct, using #[dom_struct]

• Adding methods with todo! bodies.

gterzian

ServiceWorker implementation items:

Interfaces

Client Context

• ServiceWorker
• ServiceWorkerRegistration
• ServiceWorkerContainer
• NavigationPreloadManager