实现4个线程，其中两个线程每次对j增加1，另外两个线程对j每次减少1

以下是一个可能的实现方式：

import threading

j = 0
lock = threading.Lock()

def increase():
    global j
    for i in range(100000):
        with lock:
            j += 1

def decrease():
    global j
    for i in range(100000):
        with lock:
            j -= 1

threads = []
for i in range(2):
    t = threading.Thread(target=increase)
    threads.append(t)
for i in range(2):
    t = threading.Thread(target=decrease)
    threads.append(t)

for t in threads:
    t.start()
for t in threads:
    t.join()

print(j)

这个程序使用了一个全局变量 `j`，以及一个 `Lock` 对象 `lock` 来保证线程安全。其中 `increase` 函数和 `decrease` 函数是线程的主体，它们分别对 `j` 进行加一和减一操作。为了避免多个线程同时对 `j` 进行修改，我们使用了 `with lock:` 语句来获取锁，保证同一时间只有一个线程能够修改 `j` 的值。

程序首先创建了四个线程，两个线程调用 `increase`，另外两个线程调用 `decrease`。然后依次启动这些线程，等待它们全部运行完毕后，输出最终的 `j` 的值。

需要注意的是，上面的程序只是一种可能的实现方式，并不是唯一的正确答案。在实际编写多线程程序时，需要考虑线程安全、效率等多方面因素，选择合适的实现方式。