设计一个算法,在带头结点的非空单链表L中第一个最大值节点（最大值节点可能有多个）之前插入一个值为x的节点。

算法思路：

1. 遍历链表，找到第一个最大值节点max_node，并记录它的前驱节点pre_max_node。

2. 如果找到最大值节点，则在pre_max_node和max_node之间插入值为x的节点。

3. 如果链表中没有最大值节点，则在链表尾部插入值为x的节点。

代码实现：

def insert_node_before_max(L, x):
    # 遍历链表，找到第一个最大值节点
    max_node = L.next
    pre_max_node = L
    p = L.next
    while p is not None:
        if p.data > max_node.data:
            max_node = p
            pre_max_node = pre_p
        pre_p = p
        p = p.next
    # 如果找到最大值节点，则在pre_max_node和max_node之间插入值为x的节点
    if max_node != L:
        new_node = Node(x)
        pre_max_node.next = new_node
        new_node.next = max_node
    # 如果链表中没有最大值节点，则在链表尾部插入值为x的节点
    else:
        new_node = Node(x)
        max_node.next = new_node

该算法的时间复杂度为O(n)，其中n为链表的长度。