I didn't find Futex in WebGPU / WGSL (Re: Gemini, DeepSeek, OpenAI all know Dmitriy V'jukov)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic, comp.lang.prolog, sci.physics
Subject	I didn't find Futex in WebGPU / WGSL (Re: Gemini, DeepSeek, OpenAI all know Dmitriy V'jukov)
Date	2026-07-20 23:26 +0200
Message-ID	<113m3q9$5496$2@solani.org> (permalink)
References	<10seeh6$rsl4$2@solani.org> <113i6to$1r2p$2@solani.org> <113kfgk$3b4e$2@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

I didn't find Futex in WebGPU / WGSL.
The website WebGPU fundamentals is on
GitHub. I did a search here:

https://github.com/webgpu/webgpufundamentals

In Java I can use Doug Leas queue.
In WebGPU / WGSL I will mostlikely
adopt Dmitry Vyukov , for a first stab.

Who is Doug lea?

He wrote Concurrent Programming in
Java: Design Principles and Patterns
https://en.wikipedia.org/wiki/Doug_Lea

He is behind most of the concurrency promitives
in Java. Including the array backed queue that
I tested. Remember the results I had:

public class DmitryVyukov
8 ms
public class DougLea
10 ms

Bye

Mild Shock schrieb:
> Hi,
> 
> Its actually quite amazing. Gemini, DeepSeek,
> OpenAI all know Dmitriy V'jukov. I have asked
> the IntelliJ integrated Freeium AI to generate
> 
> some code for me, I guess their service uses
> by default OpenAI (Codex), and had it reviewed
> by Gemini and DeepSeek. These AIs started lecturing
> 
> me about lazySet() in Java. But I went with set():
> 
>      private static boolean enqueue(Queue q, Object data) {
>          int pos = q.enqueuePos.get();
>          for (; ; ) {
>              int index = pos & q.bufferMask;
>              int seq = q.sequences.get(index);
>              int dif = seq - pos;
>              if (dif == 0) {
>                  if (q.enqueuePos.compareAndSet(pos, pos + 1)) {
>                      q.data[index] = data;
>                      q.sequences.set(index, pos + 1);
>                      return true;
>                  }
>                  pos = q.enqueuePos.get();
>              } else if (dif < 0) {
>                  return false;
>              } else {
>                  pos = q.enqueuePos.get();
>              }
>          }
>      }
> 
> The above version seems to be more suitable
> for my purpose, since it allows polling, it
> basically implements offer(). While the
> 
> version posted on in the lock free group
> by Chris M. Thomasson implements a spin wait
> blocking put() already.
> 
> But I didn't port it yet to JavaScript or WGSL.
> Currently busy with realizing a Worker facade
> in JavaScript for a CPU backend that will run
> 
> in both the browser and node.js.
> 
> Bye
> 
> Chris M. Thomasson schrieb:
>> On 7/19/2026 2:04 PM, Chris M. Thomasson wrote:
>>> I am friends with Dmitry Vyukov from way back, 23+ years ago. 
>>> Actually, I helped him find some bugs in Relacy when it was in 
>>> pre-alpha way back on comp.programming.threads. Also, I created some 
>>> neat eventcount algos, read all:
>>>
>>> https://gist.github.com/mratsim/04a29bdd98d6295acda4d0677c4d0041
>>>
>>> For starters... ;^)
>>
>>
>> also, I made a neat alteration to one of Dmitry Vyukov MPMC queues, 
>> check it out:
>>
>> https://groups.google.com/g/lock-free/c/acjQ3-89abE/m/a6-Di0GZsyEJ
>>
>> can you get to the link? Thanks. Read all. 
> 
> 
> Mild Shock schrieb:
>> Hi,
>>
>> I'm a spinner, I'm a sinner
>> I spin on CAS loops for my dinner
>> Some call it busy-wait, I call it fate
>> When the queue is empty, I just rotate
>>
>> 2 Producer threads, 2 Consumer threads
>> Each Producer generating 8192 items
>> the single common channel between
>> them 128 elements large.
>>
>> public class DmitryVyukov
>> 8 ms
>> public class DougLea
>> 10 ms
>>
>> On the Ryzen AI 7 350 which has 8 physical
>> cores with hyperthreading, making it 16
>> logical cores.
>>
>> LoL
>>
>> Bye
>>
>> See also:
>>
>> Producer-Consumer Queues by Dmitry Vyukov
>> https://sites.google.com/site/1024cores/home/lock-free-algorithms/queues
>>
>> Steve Miller Band - The Joker (Official Music Video)
>> https://www.youtube.com/watch?v=dV3AziKTBUo
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Ok I was looking at this learning challenge,
>>> producing vector (y1,y2,y3,y4) from a vector
>>> (x1,x2,x3,x4), System R can do it via least square?
>>>
>>> | 0 0 0 1 |   | x1 |     | x4 |
>>> | 0 0 1 0 |   | x2 |  =  | x3 |
>>> | 0 1 0 0 |   | x3 |     | x2 |
>>> | 1 0 0 0 |   | x4 |     | x1 |
>>>
>>> How it started:
>>>
>>> "multiplicative RNNs arises naturally from a
>>> proof-theoretic interpretation of next-token
>>> prediction as nested intuitionistic implication"
>>> Paul Tarau - 2026
>>> https://arxiv.org/abs/2601.19915
>>>
>>> How its going:
>>>
>>> "Dave uses a PDP-11 to train a real Neural
>>> Network complete with Transformers and
>>> Attention so you can see them at their most basic."
>>> Mr. Taskmanager - 2026
>>> https://www.youtube.com/watch?v=OUE3FSIk46g
>>>
>>> We see Doctor Frankstein in action from
>>> the Bronze Age of Computing, producing
>>> a Humunkulus, the progenitor of todays
>>>
>>> Bulgakov Shuriks in the Hyperscale Age!
>>>
>>> Bye
>>>
>>> P.S.: My impression neither cut to the core, that
>>> this incredible transformer most likely
>>> produced this deterministic attention:
>>>
>>> | -1 | * | k | + | 5 | = | k' |
>>>
>>> Or differently expressed y_k = x_{5-k}.
>>>
>>> How did the transformer do it? It produced
>>> a neural network with 1216 parameters, but
>>> didn't use embeddings or polar encoding
>>>
>>> of positions. But if we strip the noise
>>> and denoise from the position encoding,
>>> the denoise is done via softmax. We somehow
>>>
>>> must get the above, right? I still need to
>>> verify my claim! BTW: The PDP-11 assembly
>>> from 1979 uses wider example not with n=4
>>>
>>> but with n=8.
>>
>

Thread

I'm a spinner, I'm a sinner [Dmitry Vyukov for pi-WAM] (Re: Paul Tarau versus Mr. Taskmanager, who would win? [A PDP-11 Humunkulus from 1979] Mild Shock <janburse@fastmail.fm> - 2026-07-19 11:55 +0200
  Gemini, DeepSeek, OpenAI all know Dmitriy V'jukov (Re: I'm a spinner, I'm a sinner [Dmitry Vyukov for pi-WAM]) Mild Shock <janburse@fastmail.fm> - 2026-07-20 08:33 +0200
    The Cache Identity Crisis by Micro Penis (Re: Gemini, DeepSeek, OpenAI all know Dmitriy V'jukov) Mild Shock <janburse@fastmail.fm> - 2026-07-20 13:54 +0200
      Just RTFM the RDNA 3.5 specs! [GPU Cache Lines] (Re: The Cache Identity Crisis by Micro Penis) Mild Shock <janburse@fastmail.fm> - 2026-07-20 14:10 +0200
        The large memory tax: ECC RAM (Re: Just RTFM the RDNA 3.5 specs! [GPU Cache Lines]) Mild Shock <janburse@fastmail.fm> - 2026-07-20 14:23 +0200
        Re: Just RTFM the RDNA 3.5 specs! [GPU Cache Lines] (Re: The Cache Identity Crisis by Micro Penis) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-20 12:26 -0700
          Re: Just RTFM the RDNA 3.5 specs! [GPU Cache Lines] (Re: The Cache Identity Crisis by Micro Penis) R Kym Horsell <kymhorsell@gmail.com> - 2026-07-20 22:20 +0000
            Friendly Reminder: GPU 10x more performant than CPU (Was: Just RTFM the RDNA 3.5 specs! [GPU Cache Lines]) Mild Shock <janburse@fastmail.fm> - 2026-07-21 00:39 +0200
              Breaking the CUDA edge in AI by WebGPU (Was: Friendly Reminder: GPU 10x more performant than CPU) Mild Shock <janburse@fastmail.fm> - 2026-07-21 00:56 +0200
                Like WebAssembly before it, WebGPU has "escaped" the browser. (Was: Breaking the CUDA edge in AI by WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-07-21 01:05 +0200
                If you are paranoid you can use Falco [Agentic AI] (Re: Like WebAssembly before it, WebGPU has "escaped" the browser.) Mild Shock <janburse@fastmail.fm> - 2026-07-21 22:57 +0200
                What would an EMACS guru say [Windows Recall] (Re: If you are paranoid you can use Falco [Agentic AI]) Mild Shock <janburse@fastmail.fm> - 2026-07-21 23:35 +0200
                Decide what you critique tiny winy penis (Re: What would an EMACS guru say [Windows Recall]) Mild Shock <janburse@fastmail.fm> - 2026-07-22 08:17 +0200
                How confused is tiny winy penis? (Was: Decide what you critique tiny winy penis) Mild Shock <janburse@fastmail.fm> - 2026-07-22 08:28 +0200
                Maybe change your hobby, become a dog owner? (Was: How confused is tiny winy penis?) Mild Shock <janburse@fastmail.fm> - 2026-07-22 09:37 +0200
                Even dogs know Switzerland != Germany [Syphilis Brain Micro Penis] (Re: Decide what you critique tiny winy penis ) Mild Shock <janburse@fastmail.fm> - 2026-07-22 11:19 +0200
                node.js has also Worker isolation , headless (Was: Even dogs know Switzerland != Germany [Syphilis Brain Micro Penis]) Mild Shock <janburse@fastmail.fm> - 2026-07-22 11:29 +0200
                Abyss hobby interpretation vs. professional understanding [Keep up with the Kardashians] (Re: node.js has also Worker isolation , headless) Mild Shock <janburse@fastmail.fm> - 2026-07-22 11:38 +0200
                Play stupid games, win classic Usenet prizes [CCCP Troll] (Re: Abyss hobby interpretation vs. professional understanding [Keep up with the Kardashians]) Mild Shock <janburse@fastmail.fm> - 2026-07-22 12:16 +0200
                Glue Sniffing 5-Year Old Moron [CCCP Troll] (Was: Play stupid games, win classic Usenet prizes [CCCP Troll]) Mild Shock <janburse@fastmail.fm> - 2026-07-22 14:29 +0200
                My Swift Go 16 AI has no IMEI, are you nuts? (Re: Even dogs know Switzerland != Germany [Syphilis Brain Micro Penis]) Mild Shock <janburse@fastmail.fm> - 2026-07-22 14:15 +0200
                Same nickname and email, could post faster [5 year old moron] (Re: My Swift Go 16 AI has no IMEI, are you nuts? ) Mild Shock <janburse@fastmail.fm> - 2026-07-22 14:25 +0200
                I have nothing to hide, you can find me in search.ch (Re: My Swift Go 16 AI has no IMEI, are you nuts?) Mild Shock <janburse@fastmail.fm> - 2026-07-22 14:41 +0200
                Where did I confirm German via .ch, you are more than nuts! (Re: I have nothing to hide, you can find me in search.ch) Mild Shock <janburse@fastmail.fm> - 2026-07-22 14:48 +0200
                Ask a Ukrainian Neighbour to do Detective [CCCP Troll] (Re: Where did I confirm German via .ch, you are more than nuts! ) Mild Shock <janburse@fastmail.fm> - 2026-07-22 14:51 +0200
          Re: Just RTFM the RDNA 3.5 specs! [GPU Cache Lines] (Re: The Cache Identity Crisis by Micro Penis) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-20 21:36 -0700
            rossy boy is going paranoid (Was: Just RTFM the RDNA 3.5 specs! [GPU Cache Lines]) Mild Shock <janburse@fastmail.fm> - 2026-07-21 09:01 +0200
              Re: rossy boy is going paranoid (Was: Just RTFM the RDNA 3.5 specs! [GPU Cache Lines]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-21 00:56 -0700
      L1,..,Ln caches are located on the CPU AND on the GPU (Was: The Cache Identity Crisis by Micro Penis( Mild Shock <janburse@fastmail.fm> - 2026-07-20 19:35 +0200
        GPU Cache Hierarchy: Understanding L1, L2, and VRAM (Was: L1,..,Ln caches are located on the CPU AND on the GPU) Mild Shock <janburse@fastmail.fm> - 2026-07-20 19:40 +0200
          Well thats good, co-location, onto the same processor die (Re: GPU Cache Hierarchy: Understanding L1, L2, and VRAM (Was: L1,..,Ln caches are located on the CPU AND on the GPU) Mild Shock <janburse@fastmail.fm> - 2026-07-20 22:02 +0200
            Where is micro penis mental error? (Re: Well thats good, co-location, onto the same processor die (Re: GPU Cache Hierarchy: Understanding L1, L2, and VRAM (Was: L1,..,Ln caches are located on the CPU AND on the GPU) Mild Shock <janburse@fastmail.fm> - 2026-07-20 22:07 +0200
    I didn't find Futex in WebGPU / WGSL (Re: Gemini, DeepSeek, OpenAI all know Dmitriy V'jukov) Mild Shock <janburse@fastmail.fm> - 2026-07-20 23:26 +0200
      There is no imageAtomicAdd in WGSL (Re: I didn't find Futex in WebGPU / WGSL) Mild Shock <janburse@fastmail.fm> - 2026-07-21 00:15 +0200
        OpenGL is dead. Apple said bye bye / Wayland Compositor (Re: There is no imageAtomicAdd in WGSL) Mild Shock <janburse@fastmail.fm> - 2026-07-21 00:26 +0200
        Flogging a Dead Horse, OpenGL is EOL (Re: There is no imageAtomicAdd in WGSL) Mild Shock <janburse@fastmail.fm> - 2026-07-21 01:39 +0200
          imageAtomicAdd trivial, Dmitry Vyukov requires capacity (Re: Flogging a Dead Horse, OpenGL is EOL) Mild Shock <janburse@fastmail.fm> - 2026-07-21 01:40 +0200
            capacity = 2^n for some n / systolic system (Re: imageAtomicAdd trivial, Dmitry Vyukov requires capacity) Mild Shock <janburse@fastmail.fm> - 2026-07-21 01:41 +0200
              Source of the benchmark for DmitryVyukov (Was: capacity = 2^n for some n / systolic system) Mild Shock <janburse@fastmail.fm> - 2026-07-21 01:44 +0200
        Re: There is no imageAtomicAdd in WGSL (Re: I didn't find Futex in WebGPU / WGSL) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-20 16:59 -0700
          I never used OpenGL Version 4.2 and later (Was: There is no imageAtomicAdd in WGSL) Mild Shock <janburse@fastmail.fm> - 2026-07-21 08:47 +0200
            Because of MIMD you have to reassess algorithms (Re: I never used OpenGL Version 4.2 and later) Mild Shock <janburse@fastmail.fm> - 2026-07-21 09:02 +0200
              Why MIMD is interesting for pi-WAM? Mild Shock <janburse@fastmail.fm> - 2026-07-21 09:18 +0200
              Re: Because of MIMD you have to reassess algorithms (Re: I never used OpenGL Version 4.2 and later) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-22 13:34 -0700
                Do you see the loops, in C code and in Java code? /** Looping **/ (Was: Because of MIMD you have to reassess algorithms) Mild Shock <janburse@fastmail.fm> - 2026-07-23 00:09 +0200
                Re: Do you see the loops, in C code and in Java code? /** Looping **/ (Was: Because of MIMD you have to reassess algorithms) Mild Shock <janburse@fastmail.fm> - 2026-07-23 00:53 +0200
                Re: Do you see the loops, in C code and in Java code? /** Looping **/ (Was: Because of MIMD you have to reassess algorithms) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-22 18:00 -0700
                Re: Do you see the loops, in C code and in Java code? /** Looping **/ (Was: Because of MIMD you have to reassess algorithms) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-22 18:20 -0700

csiph-web