drm/amd/display: fix a bug to dereference already freed old current state memory
authorWenjing Liu <wenjing.liu@amd.com>
Mon, 4 Mar 2024 23:16:43 +0000 (18:16 -0500)
committerAlex Deucher <alexander.deucher@amd.com>
Fri, 22 Mar 2024 19:50:44 +0000 (15:50 -0400)
[why]
During minimal transition commit, the base state could be freed if it is current state.
This is because after committing minimal transition state, the current state will be
swapped to the minimal transition state and the old current state will be released.
the release could cause the old current state's memory to be freed. However dc
will derefernce this memory when release minimal transition state. Therefore, we
need to retain the old current state until we release minimal transition state.

Cc: Mario Limonciello <mario.limonciello@amd.com>
Cc: Alex Deucher <alexander.deucher@amd.com>
Cc: stable@vger.kernel.org
Reviewed-by: Josip Pavic <josip.pavic@amd.com>
Acked-by: Wayne Lin <wayne.lin@amd.com>
Signed-off-by: Wenjing Liu <wenjing.liu@amd.com>
Tested-by: Daniel Wheeler <daniel.wheeler@amd.com>
Signed-off-by: Alex Deucher <alexander.deucher@amd.com>
drivers/gpu/drm/amd/display/dc/core/dc.c

index 2c7c3a788ab3496cf20711de8b3297b431f4858e..7222917e48bb63ef6af97a22a26605f780861bbe 100644 (file)
@@ -4203,7 +4203,6 @@ static void release_minimal_transition_state(struct dc *dc,
 {
        restore_minimal_pipe_split_policy(dc, base_context, policy);
        dc_state_release(minimal_transition_context);
-       /* restore previous pipe split and odm policy */
 }
 
 static void force_vsync_flip_in_minimal_transition_context(struct dc_state *context)
@@ -4258,7 +4257,7 @@ static bool is_pipe_topology_transition_seamless_with_intermediate_step(
                                        intermediate_state, final_state);
 }
 
-static void swap_and_free_current_context(struct dc *dc,
+static void swap_and_release_current_context(struct dc *dc,
                struct dc_state *new_context, struct dc_stream_state *stream)
 {
 
@@ -4320,7 +4319,7 @@ static bool commit_minimal_transition_based_on_new_context(struct dc *dc,
                        commit_planes_for_stream(dc, srf_updates,
                                        surface_count, stream, NULL,
                                        UPDATE_TYPE_FULL, intermediate_context);
-                       swap_and_free_current_context(
+                       swap_and_release_current_context(
                                        dc, intermediate_context, stream);
                        dc_state_retain(dc->current_state);
                        success = true;
@@ -4337,6 +4336,7 @@ static bool commit_minimal_transition_based_on_current_context(struct dc *dc,
        bool success = false;
        struct pipe_split_policy_backup policy;
        struct dc_state *intermediate_context;
+       struct dc_state *old_current_state = dc->current_state;
        struct dc_surface_update srf_updates[MAX_SURFACE_NUM] = {0};
        int surface_count;
 
@@ -4352,8 +4352,10 @@ static bool commit_minimal_transition_based_on_current_context(struct dc *dc,
         * with the current state.
         */
        restore_planes_and_stream_state(&dc->scratch.current_state, stream);
+       dc_state_retain(old_current_state);
        intermediate_context = create_minimal_transition_state(dc,
-                       dc->current_state, &policy);
+                       old_current_state, &policy);
+
        if (intermediate_context) {
                if (is_pipe_topology_transition_seamless_with_intermediate_step(
                                dc,
@@ -4366,14 +4368,15 @@ static bool commit_minimal_transition_based_on_current_context(struct dc *dc,
                        commit_planes_for_stream(dc, srf_updates,
                                        surface_count, stream, NULL,
                                        UPDATE_TYPE_FULL, intermediate_context);
-                       swap_and_free_current_context(
+                       swap_and_release_current_context(
                                        dc, intermediate_context, stream);
                        dc_state_retain(dc->current_state);
                        success = true;
                }
                release_minimal_transition_state(dc, intermediate_context,
-                               dc->current_state, &policy);
+                               old_current_state, &policy);
        }
+       dc_state_release(old_current_state);
        /*
         * Restore stream and plane states back to the values associated with
         * new context.
@@ -4497,12 +4500,14 @@ static bool commit_minimal_transition_state(struct dc *dc,
                        dc->debug.pipe_split_policy != MPC_SPLIT_AVOID ? "MPC in Use" :
                        "Unknown");
 
+       dc_state_retain(transition_base_context);
        transition_context = create_minimal_transition_state(dc,
                        transition_base_context, &policy);
        if (transition_context) {
                ret = dc_commit_state_no_check(dc, transition_context);
                release_minimal_transition_state(dc, transition_context, transition_base_context, &policy);
        }
+       dc_state_release(transition_base_context);
 
        if (ret != DC_OK) {
                /* this should never happen */
@@ -4840,7 +4845,7 @@ static bool update_planes_and_stream_v2(struct dc *dc,
                                context);
        }
        if (dc->current_state != context)
-               swap_and_free_current_context(dc, context, stream);
+               swap_and_release_current_context(dc, context, stream);
        return true;
 }
 
@@ -4942,7 +4947,7 @@ static bool update_planes_and_stream_v3(struct dc *dc,
                commit_planes_and_stream_update_with_new_context(dc,
                                srf_updates, surface_count, stream,
                                stream_update, update_type, new_context);
-               swap_and_free_current_context(dc, new_context, stream);
+               swap_and_release_current_context(dc, new_context, stream);
        }
 
        return true;