Dataflow ngôn ngữ lập trình kiến nghị để cô lập một số hành vi địa phương trong cái gọi là " diễn viên ", mà có nghĩa vụ phải chạy song song và trao đổi dữ liệu thông qua các kênh truyền hình point-to-point. Không có khái niệm về bộ nhớ trung tâm (cho cả mã và dữ liệu) không giống như mô hình Von Neumann của máy tính .
Những tác nhân này sử dụng mã thông báo dữ liệu trên đầu vào của họ và tạo ra dữ liệu mới trên đầu ra của họ.
Định nghĩa này không áp đặt các phương tiện để chạy điều này trong thực tế. Tuy nhiên, việc sản xuất / tiêu thụ dữ liệu cần được phân tích cẩn thận: ví dụ: nếu tác nhân B không sử dụng cùng tốc độ với tác nhân A tạo ra dữ liệu, thì giữa chúng cần có một bộ nhớ không giới hạn tiềm năng (FIFO). . Nhiều vấn đề khác có thể phát sinh như bế tắc .
Trong nhiều trường hợp, phân tích này sẽ thất bại vì sự đan xen của các hành vi bên trong là khó thực hiện (vượt quá tầm của các phương pháp chính thức ngày nay).
Mặc dù vậy, các ngôn ngữ lập trình luồng dữ liệu vẫn hấp dẫn trong nhiều lĩnh vực :
- chẳng hạn để xác định các mô hình tham chiếu cho mã hóa video: một chương trình C thuần túy sẽ không thực hiện công việc vì nó đưa ra giả định rằng mọi thứ chạy như một chuỗi hoạt động, điều này không đúng trong máy tính (đường ống dẫn, VLIW, mutlicores và VLSI) . Có lẽ bạn có thể xem qua: luận án Tiến sĩ gần đây . Ngôn ngữ luồng dữ liệu CAL được đề xuất làm ngôn ngữ hợp nhất cho tham chiếu bộ mã hóa / giải mã video thế hệ tiếp theo.
- Nhiệm vụ quan trọng khi yêu cầu an toàn: nếu bạn thêm một số giả định mạnh mẽ về việc sản xuất / tiêu thụ dữ liệu, thì bạn sẽ có được một ngôn ngữ có tiềm năng mạnh mẽ về tạo mã, bằng chứng, v.v. (xem các ngôn ngữ đồng bộ )