AnyPS5/docs/dev/debt/libSceUlt.md

libSceUlt technical debt

Unknown function info

• Bound condition variables use the creation-time mutex, inferred from PPSA28061 callers of _sceUltConditionVariableCreate; the wait caller reloads only the condition argument. Error precedence, busy/state errors, FIFO signal selection and unsupported recursive waits have not been measured on PS5 hardware. Non-null options and waits at recursion depth above one throw. A live condition prevents destroying its bound mutex. Finalization follows the existing host mutex lifecycle: it invalidates conditions and wakes queued or reacquiring waiters with a state error. Scheduling priority and build-version validation are not implemented.

• libSceUlt ulthreads - _sceUltUlthreadRuntimeOptParamInitialize, _sceUltUlthreadRuntimeCreate and _sceUltUlthreadCreate are assumed to take the same arguments as the existing exports without the underscore, including the trailing build version. sceUltUlthreadTryJoin is assumed to return ULT_ERROR_BUSY while the ulthread runs, and sceUltUlthreadRuntimeDestroy to return ULT_ERROR_BUSY while an ulthread created on the runtime is not joined. Neither error has been confirmed on PS5 hardware

• libSceUlt queues - the added sceUltQueuePop, sceUltQueueTryPush, sceUltQueueDestroy and sceUltQueueDataResourcePoolDestroy signatures are inferred from the existing push/pop and object APIs. Queue destruction is assumed to reject blocked callers with ULT_ERROR_BUSY and otherwise discard queued data; pool exhaustion returns ULT_ERROR_AGAIN. These rules, alignment checks and shared slot limits have not been confirmed on PS5 hardware or a title.

• sceUltQueueCreate, sceUltQueueDataResourcePoolCreate - a non-null option parameter is accepted and ignored, as the other Ult create calls already do. OpenOrbis declares sceUltQueueOptParamInitialize and sceUltQueueDataResourcePoolOptParamInitialize without their structures; the PS Vita libult in RPCS3 defines both as a 16-byte reserved header followed by reserved fields, 128 bytes, with no settings, and fpPS4 keeps them as 128 opaque bytes. That the PS5 structures carry no settings either is assumed from these, not verified

• _sceUltWaitingQueueResourcePoolCreate, _sceUltSemaphoreCreate, _sceUltMutexOptParamInitialize, _sceUltMutexCreate, _sceUltQueueDataResourcePoolCreate and _sceUltQueueCreate (libSceUlt) forward to the exports without the underscore; that their argument lists match is inferred from the other underscore Ult exports, not measured

• sceUltConditionVariableSignalAll, sceUltGetConditionVariableInfo, sceUltGetMutexInfo, sceUltGetQueueDataResourcePoolInfo, sceUltGetQueueInfo, sceUltGetReaderWriterLockInfo, sceUltGetSemaphoreInfo, sceUltGetUlthreadInfo, sceUltGetUlthreadRuntimeInfo, sceUltGetWaitingQueueResourcePoolInfo, sceUltMutexTryLock, sceUltReaderWriterLockDestroy, sceUltReaderWriterLockLockRead, sceUltReaderWriterLockLockWrite, sceUltReaderWriterLockTryLockRead, sceUltReaderWriterLockTryLockWrite, sceUltReaderWriterLockUnlockRead, sceUltReaderWriterLockUnlockWrite, sceUltUlthreadExit, sceUltUlthreadGetSelf, sceUltUlthreadYield, sceUltAbstractThreadFactoryCreateThread, sceUltAbstractThreadFactoryGetNumMaxThreads, sceUltAbstractThreadFactoryJoinThread, sceUltKernelThreadFactoryFinalize, sceUltKernelThreadFactoryGetFactoryPointer, sceUltKernelThreadFactoryInitialize, sceUltModuleFinalize, sceUltModuleInitialize, sceUltUlthreadFactoryFinalize, sceUltUlthreadFactoryGetFactoryPointer, sceUltUlthreadFactoryGetWorkAreaSize, sceUltUlthreadFactoryInitialize, sceUltConditionVariableCreate, sceUltConditionVariableOptParamInitialize, sceUltQueueDataResourcePoolOptParamInitialize, sceUltQueueOptParamInitialize, sceUltReaderWriterLockCreate, sceUltReaderWriterLockOptParamInitialize, sceUltSemaphoreOptParamInitialize, sceUltUlthreadOptParamInitialize, sceUltWaitingQueueResourcePoolOptParamInitialize (libSceUlt) - throwing stubs declared without parameters from the firmware export database (aerolib.csv); their guest signatures are unverified on hardware

Functional

• libSceUlt queues use preallocated host storage instead of the supplied guest work area; its existing size formula and the 512-byte object layouts remain unverified. Waiting-queue pool thread limits and waiter priority ordering are not implemented. Finalization wakes blocked queue callers with ULT_ERROR_STATE.
• sceUltWaitingQueueResourcePoolDestroy refuses with ULT_ERROR_BUSY only when a thread is currently waiting on a pool-backed mutex, semaphore or queue, matching the PS5 libSceUlt disassembly (0x473a in or55417wcDk); bound but idle objects do not block pool destruction. Waiting-queue pool guest work area node accounting is not implemented.
• sceUltMutexDestroy returns ULT_ERROR_BUSY when the mutex is held or has waiting threads, tracked via owner and waiter counts in UltMutexState. Prosper (hle_ult.cpp) logs a destroy of a held mutex and returns ULT_OK; AnyPS5 returns ULT_ERROR_BUSY to prevent destroying active mutexes.