Device for managing data buffers in a memory space divided into a plurality of memory elements
US9086920B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Oct 20, 2009 |
| Grant date | Jul 21, 2015 |
| Priority date | — |
| Expiry date | Jan 29, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F13/1657
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
In a device for managing data buffers in a memory space distributed over a plurality of memory elements, the memory space is allocatable by memory pages, each buffer including one or more memory pages. The buffers are usable by at least one processing unit for the execution of an application, the application being executed by a plurality of processing units executing tasks in parallel. The memory elements are accessible in parallel by the processing units. The device includes means for allocating buffers to the tasks during the execution of the application and means for managing access rights to the buffers. The means for managing the access rights to the buffers include means for managing access rights to the pages in a given buffer, to verify that writing to a given page does not modify data currently being read from the page or that reading from a given page does not access data currently being written to the page, in such a way as to share the buffer between unsynchronized tasks.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.