| Anonymous | Login | Signup for a new account | 2013-05-26 08:13 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||
| 0004024 | OCaml | OCaml general | public | 2006-05-16 21:26 | 2007-02-21 16:19 | |||
| Reporter | mottl | |||||||
| Assigned To | xleroy | |||||||
| Priority | normal | Severity | feature | Reproducibility | always | |||
| Status | closed | Resolution | fixed | |||||
| Platform | OS | OS Version | ||||||
| Product Version | 3.09.2 | |||||||
| Target Version | Fixed in Version | 3.10+dev | ||||||
| Summary | 0004024: Memory-mapping of bigarrays with offsets missing | |||||||
| Description | It is currently impossible to memory-map file portions with a non-zero offset (64 bits would be required, too!) with the Bigarray module. This is quite unfortunate, because very large files that exceed the integer limits of OCaml on 32bit platforms are not fully accessible in a memory-mapped way then. The current seek position of the file descriptor could eventually be consulted for that in the current code without changing the API. This would be a fairly trivial change. | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
Notes |
|
|
(0003643) mottl (reporter) 2006-05-16 21:49 |
The mmap64 system call would have to be used if 64bit offsets should be supported. |
|
(0003646) berke (reporter) 2006-05-19 14:45 |
I second this. However Array*.sub can be used for small files. |
|
(0003670) xleroy (administrator) 2006-06-10 16:20 |
Tentative implementation in CVS trunk (Bigarray.*.map_subfile functions). Windows implementation is untested and probably wrong. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2006-05-16 21:26 | mottl | New Issue | |
| 2006-05-16 21:49 | mottl | Note Added: 0003643 | |
| 2006-05-19 14:45 | berke | Note Added: 0003646 | |
| 2006-06-10 16:20 | xleroy | Note Added: 0003670 | |
| 2006-06-10 16:20 | xleroy | Assigned To | => xleroy |
| 2006-06-10 16:20 | xleroy | Status | new => resolved |
| 2006-06-10 16:20 | xleroy | Resolution | open => fixed |
| 2006-06-10 16:29 | xleroy | Relationship added | child of 0003790 |
| 2007-02-21 16:19 | xleroy | Status | resolved => closed |
| 2007-02-21 16:19 | xleroy | Fixed in Version | => 3.10+dev |
| Copyright © 2000 - 2011 MantisBT Group |