Dispatcher.Invoke后UI线程资源访问控制失效问题求助

问题根源 #

你遇到的核心问题不是多线程并发访问，而是UI线程的消息队列调度特性：当你取消订阅CollectionChanged事件并将mTrackHistory设为null时，可能已经有该事件的消息被调度到UI队列中等待执行。此时事件处理器执行时，mTrackHistory已经是null，而你之前用的Semaphore/Lock等同步原语在单线程的UI环境下无法阻止这种滞后的事件执行。

解决方案 #

方案1：事件处理器绑定特定实例（推荐）

通过闭包捕获当前的TrackHistoryInfo实例，让事件处理器始终操作触发事件的那个实例，而非依赖全局成员变量：

修改DependencyObject值变更事件处理器：

try
{
    if (mTrackHistory != null)
    {
        mTrackHistory.PositionData.CollectionChanged -= PositionData_CollectionChanged;
    }

    var newTrackHistory = e.NewValue as TrackHistoryInfo;
    mTrackHistory = newTrackHistory;

    if (newTrackHistory != null)
    {
        // 创建初始图表逻辑
        // 订阅事件时捕获当前实例，避免依赖全局变量
        newTrackHistory.PositionData.CollectionChanged += (sender, eArgs) => 
        {
            if (mDispatcher != Dispatcher.CurrentDispatcher)
            {
                mDispatcher.Invoke(() => HandleCollectionChanged(newTrackHistory, sender, eArgs));
            }
            else
            {
                HandleCollectionChanged(newTrackHistory, sender, eArgs);
            }
        };
    }
}
// 此处无需Semaphore，UI线程单线程执行，不存在并发抢占

新增事件处理方法：

private void HandleCollectionChanged(TrackHistoryInfo targetTrack, object sender, NotifyCollectionChangedEventArgs e)
{
    if (e.Action != System.Collections.Specialized.NotifyCollectionChangedAction.Add)
        return;

    foreach (var item in e.NewItems)
    {
        var newInfo = ((ECEF Position, DateTime Time))item;
        // 直接使用捕获的targetTrack，不会出现null引用
        TimeSpan ts = newInfo.Time - targetTrack.StandupTime;
        string stamp = $"{ts.Hours:D2}:{ts.Minutes:D2}:{ts.Seconds:D2}";
        // 更新图表逻辑
    }
}

方案2：执行前验证实例有效性

如果无法修改事件订阅方式，可以在CollectionChanged事件处理器中先获取mTrackHistory的本地副本，并验证其是否为触发事件的实例：

修改CollectionChanged事件处理器：

if (mDispatcher != Dispatcher.CurrentDispatcher)
{
    mDispatcher.Invoke(() => PositionData_CollectionChanged(sender, e));
}
else
{
    // 获取本地副本，避免后续mTrackHistory被修改
    var currentTrack = mTrackHistory;
    // 验证：实例存在，且是触发当前事件的PositionData所属的TrackHistory
    var positionData = sender as ObservableCollection<(ECEF Position, DateTime Time)>;
    if (currentTrack == null || currentTrack.PositionData != positionData)
    {
        return; // 实例已失效，直接跳过
    }

    if (e.Action == System.Collections.Specialized.NotifyCollectionChangedAction.Add)
    {
        foreach (var item in e.NewItems)
        {
            var newInfo = ((ECEF Position, DateTime Time))item;
            TimeSpan ts = newInfo.Time - currentTrack.StandupTime;
            string stamp = $"{ts.Hours:D2}:{ts.Minutes:D2}:{ts.Seconds:D2}";
            // 更新图表逻辑
        }
    }
}

方案3：标记实例有效性（需修改TrackHistoryInfo类）

给TrackHistoryInfo添加一个IsActive标记，在取消选择时将旧实例标记为失效：

1. 修改TrackHistoryInfo类：

public class TrackHistoryInfo
{
    // 其他原有属性
    public bool IsActive { get; set; } = true;
    public ObservableCollection<(ECEF Position, DateTime Time)> PositionData { get; set; }
}

2. 修改值变更事件处理器：

try
{
    if (mTrackHistory != null)
    {
        mTrackHistory.IsActive = false;
        mTrackHistory.PositionData.CollectionChanged -= PositionData_CollectionChanged;
    }

    mTrackHistory = e.NewValue as TrackHistoryInfo;
    if (mTrackHistory != null)
    {
        mTrackHistory.IsActive = true;
        // 创建初始图表逻辑
    }
}

3. 修改CollectionChanged事件处理器：

else
{
    var currentTrack = mTrackHistory;
    var positionData = sender as ObservableCollection<(ECEF Position, DateTime Time)>;
    if (currentTrack == null || !currentTrack.IsActive || currentTrack.PositionData != positionData)
    {
        return;
    }

    if (e.Action == System.Collections.Specialized.NotifyCollectionChangedAction.Add)
    {
        foreach (var item in e.NewItems)
        {
            var newInfo = ((ECEF Position, DateTime Time))item;
            TimeSpan ts = newInfo.Time - currentTrack.StandupTime;
            string stamp = $"{ts.Hours:D2}:{ts.Minutes:D2}:{ts.Seconds:D2}";
            // 更新图表逻辑
        }
    }
}

关键说明 #

UI线程是单线程模型，所有通过Dispatcher.Invoke调度的操作都是串行执行的，因此传统的跨线程同步原语（如SemaphoreSlim、Lock）无法解决事件消息滞后的问题。解决这类问题的核心是让事件处理器与触发它的实例强绑定，或在执行前验证实例的有效性，避免依赖可能被修改的全局成员变量。

内容的提问来源于stack exchange，提问作者cheasterDeveloper