swung0x48/MobileGL
1
0
Fork 0
mirror of https://github.com/MobileGL-Dev/MobileGL synced 2026-11-07 01:53:24 +09:00
Code Issues Packages Projects Releases Wiki Activity

[MG_Backend] (Disaggregated): P5e fb - the eager image-bind funnel stops reading the frontend binding

Browse Source 
- The strict lane named GetImageTextureBinding@BindImageTexture on thirteen entries:
  bind_shader_image is an unbarriered row (CONTRACT-P5E §2.2) whose backend entry point
  receives GL arguments and a GL NAME - MGPImageBind::Res stops at the sink - so this
  funnel had no way to resolve the twin and read the frontend binding instead.
- Under a transport it now records only the high-water mark and returns. Nothing is
  lost: the sweep at the next validate point re-binds every unit up to the mark from
  the applier's own MGPImageView array, and the sink bumps the texture shutter serial
  immediately after this call, which is one of the four values the sweep's gate is
  keyed on - so the sweep that follows a bind cannot be suppressed. An image unit has
  no reader but a shader, and no shader runs in between.
- The mark itself must still be raised here, because it is the "no draw in this context
  can be reading an image" early-out.
This commit is contained in:
swung0x48
2026-09-18 08:09:43 -04:00
parent f4675d1ac0
commit fcd7c5c87a
1 changed files with 38 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp
+38 -1
View File
@@ -2722,6 +2722,32 @@ namespace MobileGL::MG_Backend::DirectGLES {
// Almost every program (every Minecraft draw) leaves it at zero, which is what keeps the
// draw-path staleness check below at one integer test.
static Uint g_imageUnitHighWaterMark = 0;
#if MOBILEGL_PIPE_PUSH && MOBILEGL_BUILD_DISAGGREGATED
// P5e (fb): the eager glBindImageTexture funnel's HANDLE ARM, and it binds nothing.
//
// `bind_shader_image` is an unbarriered row (§2.2) whose backend entry point takes GL
// arguments and a GL NAME - the record's own MGPipeHandle (MGPImageBind::Res) stops at
// the sink - so there is no way to resolve the texture's twin from what arrives here,
// and the frontend binding this used to read is a BARRIER_PULLED row.
//
// Nothing is lost by deferring: SyncImageTextureBindings at the next validate point
// re-binds every unit up to the mark from the applier's own MGPImageView array, and the
// sink bumps the texture shutter serial immediately after this call
// (MGPipeApplierNoteTextureStateMoved), which is one of the four values the sweep's gate
// is keyed on - so the sweep that follows this bind cannot be suppressed. An image unit
// has no reader but a shader, and no shader runs between here and that validate point.
//
// WHAT MUST STILL HAPPEN HERE is the high-water mark: it is the "no draw in this context
// can be reading an image" early-out, so a unit that is given a texture without raising
// it would be skipped by every sweep afterwards.
static void NoteImageUnitBoundWithoutReadingTheFrontend(Uint unit, Bool holdsTexture) {
if (!holdsTexture) return;
if (unit + 1 > g_imageUnitHighWaterMark) {
g_imageUnitHighWaterMark = unit + 1;
}
}
#endif
// ---- P5e (fb, CONTRACT-P5E.md §5.4 / ruling 16 / ID-94): the image unit's bind ------
//
// P4a e3's ResolveShaderImageRecord IS GONE, identity test, I5 seam log and all. It
@@ -10590,12 +10616,23 @@ namespace MobileGL::MG_Backend::DirectGLES {
void BindImageTexture(GLuint unit, GLuint texture, GLint level, GLboolean layered, GLint layer, GLenum access,
GLenum format) {
(void)texture;
(void)level;
(void)layered;
(void)layer;
(void)access;
(void)format;
#if MOBILEGL_PIPE_PUSH && MOBILEGL_BUILD_DISAGGREGATED
// P5e (fb): see NoteImageUnitBoundWithoutReadingTheFrontend. Under a transport this
// entry point records the high-water mark and lets the next validate point's sweep do
// the bind from the record; reading the frontend image binding here is the
// GetImageTextureBinding row that rule F forbids, and `bind_shader_image` is not a
// barriered row.
if (MG_Config::Transport != MG_Config::TransportMode::Monolith) {
TextureImpl::NoteImageUnitBoundWithoutReadingTheFrontend(unit, texture != 0);
return;
}
#endif
(void)texture;
TextureImpl::SyncImageTextureBinding(unit);
}