Để truy cập biến dùng chung, bộ nhớ giao dịch phần mềm (STM ) là cách tiếp cận mới so với cơ chế đồng bộ dựa trên khóa (lock-based). STM hoạt động bằng việc tạo bản sao của các biến dùng chung, gọi là log, cho mỗi luồng và các luồng đọc, ghi trên các log riêng này. Khi các luồng trong một giao dịch kết thúc các bản sao này được so sánh với nhau và nếu không có mẫu thuẫn giữa các log thì các thay đổi được cập nhật vào bản gốc. Tuy nhiên việc tạo các bản sao dữ liệu này sẽ làm chương trình sử dụng nhiều tài nguyên hơn. Việc xác định tài nguyên sử dụng của các chương trình này là bài toán thiết thực theo cách tiếp cận này. Trong các nghiên cứu trướđã đưa ra một số hệ thống kiểu và hiệu ứng để tính biên tài nguyên cho ngôn ngữ lập trình đa luồng sử dụng giao dịch dựa trên Featherweight Java. Tuy nhiên tài nguyên ở các nghiên cứu này đang ở mức thô do chúng tôi đang đơn giản hóa chúng bằng số lượng các log. Ngôn ngữ ở các nghiên cứu này cũng bị hạn chế là không cho phép luồng con mở giao dịch mới khi đã hợp với luồng cha của nó. Bài toàn suy diễn kiểu (type inference) cũng chưa được giải quyết. Trong đ chúng tôi định hướng giải quyết các vấn đề nêu trên bằng cải tiến hệ thống kiểu và hiệu ứng sử dụng cấu trúc kiểu/hiệu ứng mạnh hơn. Bài toán suy diễn kiểu và cài đặt công cụ ước lượng bộ nhớ chương trình lúc này sẽ có tính ứng dụng cao hơn.