{"id":515,"date":"2024-12-12T16:17:38","date_gmt":"2024-12-12T15:17:38","guid":{"rendered":"https:\/\/powered-up-games.com\/blog\/wordpress\/?p=515"},"modified":"2025-01-07T01:53:01","modified_gmt":"2025-01-07T00:53:01","slug":"schrodingers-bug","status":"publish","type":"post","link":"https:\/\/powered-up-games.com\/blog\/wordpress\/archives\/515","title":{"rendered":"Schr\u00f6dinger’s bug"},"content":{"rendered":"\n

Any programmer with sufficient experience has probably encountered a Heisenbug. That is, a bug that goes away when you try to debug it. The name is, of course, a pun on Heisenberg whose uncertainty principle describes a similar situation in the world of quantum physics. But its twin, the Schr\u00f6dinbug, is even more elusive.<\/p>\n\n\n\n

The Schr\u00f6dinbug is a bug that doesn’t happen until someone checks the code and realises that it shouldn’t ever have worked. And henceforth, earlier and previously tested versions of the code also no longer work. This one is a pun on Schr\u00f6dinger and his hypothetical cat.<\/p>\n\n\n\n

\n

“I can’t believe that!” said Alice.
“Can’t you?” the Queen said in a pitying tone.<\/p>\n\u2014 Lewis Carroll, Alice in Wonderland

<\/cite><\/blockquote>\n\n\n\n

A student asked how to implement a jump using Unity’s CharacterController <\/code><\/strong>component.<\/p>\n\n\n\n

The Unity documentation handily provides an example which does that. Not just that. It also applies horizontal movement. So what follows is the example code with the horizontal movement removed. That is, this code performs a jump, but no other movement.<\/p>\n\n\n\n

JavaScript<\/span><\/path><\/path><\/svg><\/span>
using<\/span> <\/span>UnityEngine<\/span>;<\/span><\/span>\n<\/span>\npublic<\/span> <\/span>class<\/span> <\/span>Example<\/span> : <\/span>MonoBehaviour<\/span><\/span>\n{<\/span><\/span>\n    <\/span>private<\/span> <\/span>CharacterController<\/span> controller<\/span>;<\/span><\/span>\n    <\/span>private<\/span> <\/span>Vector3<\/span> playerVelocity<\/span>;<\/span><\/span>\n    <\/span>private<\/span> <\/span>bool<\/span> groundedPlayer<\/span>;<\/span><\/span>\n    <\/span>private<\/span> <\/span>float<\/span> jumpHeight <\/span>=<\/span> 1<\/span>.<\/span>0<\/span>f<\/span>;<\/span><\/span>\n    <\/span>private<\/span> <\/span>float<\/span> gravityValue <\/span>=<\/span> <\/span>-<\/span>9<\/span>.<\/span>81<\/span>f<\/span>;<\/span><\/span>\n<\/span>\n    <\/span>private<\/span> <\/span>void<\/span> <\/span>Start<\/span>()<\/span><\/span>\n    <\/span>{<\/span><\/span>\n        <\/span>controller<\/span> <\/span>=<\/span> <\/span>gameObject<\/span>.<\/span>AddComponent<\/span><<\/span>CharacterController<\/span>><\/span>()<\/span>;<\/span><\/span>\n    <\/span>}<\/span><\/span>\n<\/span>\n    <\/span>void<\/span> <\/span>Update<\/span>()<\/span><\/span>\n    <\/span>{<\/span><\/span>\n        <\/span>groundedPlayer<\/span> <\/span>=<\/span> <\/span>controller<\/span>.<\/span>isGrounded<\/span>;<\/span><\/span>\n        <\/span>if<\/span> (<\/span>groundedPlayer<\/span> <\/span>&&<\/span> <\/span>playerVelocity<\/span>.<\/span>y<\/span> <\/span><<\/span> <\/span>0<\/span>)<\/span><\/span>\n        <\/span>{<\/span><\/span>\n            <\/span>playerVelocity<\/span>.<\/span>y<\/span> <\/span>=<\/span> 0<\/span>f<\/span>;<\/span><\/span>\n        <\/span>}<\/span><\/span>\n<\/span>\n        <\/span>\/\/ Makes the player jump<\/span><\/span>\n        <\/span>if<\/span> (<\/span>Input<\/span>.<\/span>GetButtonDown<\/span>(<\/span>"<\/span>Jump<\/span>"<\/span>) <\/span>&&<\/span> <\/span>groundedPlayer<\/span>)<\/span><\/span>\n        <\/span>{<\/span><\/span>\n            <\/span>playerVelocity<\/span>.<\/span>y<\/span> <\/span>+=<\/span> <\/span>Mathf<\/span>.<\/span>Sqrt<\/span>(<\/span>jumpHeight<\/span> <\/span>*<\/span> <\/span>-<\/span>2<\/span>.<\/span>0<\/span>f<\/span> <\/span>*<\/span> <\/span>gravityValue<\/span>)<\/span>;<\/span><\/span>\n        <\/span>}<\/span><\/span>\n<\/span>\n        <\/span>playerVelocity<\/span>.<\/span>y<\/span> <\/span>+=<\/span> <\/span>gravityValue<\/span> <\/span>*<\/span> <\/span>Time<\/span>.<\/span>deltaTime<\/span>;<\/span><\/span>\n        <\/span>controller<\/span>.<\/span>Move<\/span>(<\/span>playerVelocity<\/span> <\/span>*<\/span> <\/span>Time<\/span>.<\/span>deltaTime<\/span>)<\/span>;<\/span><\/span>\n    <\/span>}<\/span><\/span>\n}<\/span><\/span><\/code><\/pre><\/div>\n\n\n\n
Except it doesn’t. At least, it doesn’t jump reliably on my machine. Your mileage may vary because (as we will see) this bug depends on the machine that runs it. For me, nine times out of ten, pressing the jump button (which is assigned to the space bar by default) does nothing.<\/p>\n\n\n\n
The code looks fairly familiar. In particular, looking at the last two lines, it is using the Symplectic Euler Integration<\/a> method that I wrote about recently. And like that method, this code also suffers from falling short. However, that inaccuracy is not responsible for this bug.<\/p>\n\n\n\n
Adding a debug log line before testing the jump, we can see that the groundedPlayer<\/code><\/strong> flag is not consistently set when the player object is sitting on the ground. The ratio of True<\/code><\/strong> and False<\/code><\/strong> values over multiple frames defines the probability that pressing the jump button will result in a jump. In a sense, the code is making a dynamic measurement of its own runtime environment and changing its behaviour depending on the result.<\/p>\n\n\n\n
But why should the groundedPlayer<\/code><\/strong> flag ever be False<\/code><\/strong> while the player is on the ground? We can see from the code, that this is sampled from the controller.isGrounded<\/code><\/strong> property. And looking into the documentation for this property<\/a>, we get a clue for what might be happening. This clue is phrased in the form of a question.<\/p>\n\n\n\n
\n
Was the CharacterController touching the ground during the last move?<\/p>\n\u2014 Unity documentation<\/cite><\/blockquote>\n\n\n\n
Changing the code so that the Move<\/strong><\/code> call only happens when the CharacterController<\/strong><\/code> is falling or the player has pressed the jump key, this particular problem goes away. Although it introduces a new issue, where the CharacterController<\/strong><\/code> would effectively no longer react to changes in the environment. For example, if the surface that the CharacterController<\/strong><\/code> was standing on were a trap door, and it fell away, the CharacterController<\/strong><\/code> would be left hanging in the air. This would be the equivalent of putting an object to sleep in PhysX, but without its accompanying wake up call.<\/p>\n\n\n\n
However, the example code does <\/em>call Move<\/strong><\/code> every frame because the CharacterController<\/strong><\/code> is always experiencing a downward acceleration due to gravity. And yet still the isGrounded<\/strong><\/code> flag is not reliably getting set each frame that the CharacterController<\/strong><\/code> is on the ground. To analyse what is going on I got the example code to output both the time and y position of the CharacterController<\/strong><\/code> as a CSV file and put that into a graph:<\/p>\n\n\n\n
\"\"\/<\/figure>\n\n\n\n
Three things seem odd about this graph. The first is that it doesn’t rest at height 1, but rather 1.08. Secondly, the peak of the jump appears flattened. And finally, and perhaps most importantly, I expected to see it jitter while on the ground showing times when the isGrounded<\/strong><\/code> flag wasn’t set. But instead, it is perfectly flat. A look at the values in the CharacterController<\/strong><\/code> component generated by the example code explains some of these oddities.<\/p>\n\n\n\n
\"\"\/<\/figure>\n\n\n\n
The Skin Width value of 0.08 explains why the CharacterController<\/strong><\/code> rests at 1.08 rather than 1. It is adding this value to the collider to push the object above the surface. And the Min Move Distance value explains why the jump is flattened at the top where the movement per frame was reduced to a distance less than 0.001.<\/p>\n\n\n\n
A look at the documentation for this latter parameter<\/a> gives us a second clue:<\/p>\n\n\n\n
\n
If the character tries to move less than this distance, it will not move at all.<\/p>\n\u2014 Unity documentation<\/cite><\/blockquote>\n\n\n\n
Putting these two clues together: if the CharacterController<\/strong><\/code> moves less than the minMoveDistance<\/strong><\/code>, then it doesn’t move, and doesn’t collide with the ground, and sets the isGrounded<\/strong><\/code> flag to False<\/strong><\/code>. Assuming we start in a grounded state, the movement in the first frame should be:<\/p>\n\n\n\n
motion = playerVelocity_{y} \\times Time.deltaTime<\/pre><\/div>\n\n\n\n
And playerVelocity.y<\/strong><\/code> in turn should be:<\/p>\n\n\n\n
playerVelocity_{y} = gravityValue \\times Time.deltaTime<\/pre><\/div>\n\n\n\n
Therefore:<\/p>\n\n\n\n
motion = gravityValue \\times (Time.deltaTime)^2<\/pre><\/div>\n\n\n\n
Re-arrange this in terms of Time.deltaTime<\/strong><\/code> and we get:<\/p>\n\n\n\n
(Time.deltaTime)^2 = \\frac{motion}{gravityValue}\n<\/pre><\/div>\n\n\n\n
And:<\/p>\n\n\n\n
Time.deltaTime = \\sqrt{\\frac{motion}{gravityValue}}<\/pre><\/div>\n\n\n\n
So given:<\/p>\n\n\n\n
motion = minMoveDistance = 0.001 \\\\\ngravityValue = 9.81<\/pre><\/div>\n\n\n\n
The critical timestep is:<\/p>\n\n\n\n
\\sqrt{\\frac{0.001}{9.81}} \\approx 0.01<\/pre><\/div>\n\n\n\n
Or, 100 frames per second.<\/p>\n\n\n\n
So, at an evenly paced frame rate slightly lower than 100 frames per second, the minimum move distance will be reached each frame and the isGrounded<\/strong><\/code> flag will always be set. But with higher frame rates, or uneven frame pacing, the move distance will not be reached and the isGrounded<\/strong><\/code> flag will not be set.<\/p>\n\n\n\n
And now I think I see why this bug has hidden for so long. This bug can be traced back to as early as Unity 2019.<\/p>\n\n\n\n
Earlier versions still have the same code issues but the bug doesn’t show for two additional reasons. Firstly, the code uses GetButton<\/strong><\/code> rather than GetButtonDown<\/strong><\/code> to trigger the jump. This means that there might be a small lag between pressing the button and the jump triggering, but it is unlikely that the user input will be quick enough to miss a grounded frame. And secondly, the Unity Editor doesn’t run at an unlocked frame rate and so is locked to the vsync of your monitor. However, I think with a modern high refresh rate monitor and keyboard it might be possible to see this at least as far back as Unity 2017.<\/p>\n\n\n\n
So, have I finally uncovered a Schr\u00f6dinbug? I certainly discovered this only recently; it should never have worked; and now it can be seen to not work in versions reaching back 7 years.<\/p>\n\n\n\n
Five impossible things to go, then I can have breakfast!<\/p>\n","protected":false},"excerpt":{"rendered":"
Many believe that the Schr\u00f6dinbug is impossible. But believing that something is impossible isn’t always enough to prevent it happening… <\/p>\n","protected":false},"author":1,"featured_media":515,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7,6,5],"tags":[24,39,32,35],"class_list":["post-515","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-process","category-programming","category-video-games","tag-education","tag-programming","tag-unity","tag-video-games"],"_links":{"self":[{"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/posts\/515","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/comments?post=515"}],"version-history":[{"count":12,"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/posts\/515\/revisions"}],"predecessor-version":[{"id":560,"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/posts\/515\/revisions\/560"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/posts\/515"}],"wp:attachment":[{"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/media?parent=515"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/categories?post=515"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/powered-up-games.com\/blog\/wordpress\/wp-json\/wp\/v2\/tags?post=515"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}