6 Commits

Author SHA1 Message Date
John J. Camilleri
ac93f2dd10 Don't call msync in PgfDB::sync on macOS 2021-10-18 13:54:13 +02:00
John J. Camilleri
a2d843f8ed Skip JavaScript in CI 2021-10-18 08:48:50 +02:00
John J. Camilleri
61e95bcfeb Fix compilation errors of Python bindings on macOS 2021-10-18 08:27:19 +02:00
John J. Camilleri
c9b668a583 Fix compilation with macOS mmap/malloc workaround. Add Python (macOS) to CI. 2021-10-15 17:34:19 +02:00
John J. Camilleri
8cd0bb5ec1 Use malloc/realloc on macOS when fd < 0... but doesn't compile 2021-10-15 15:24:15 +02:00
John J. Camilleri
a5fb51ff3d Add some notes about uninstalling runtime 2021-10-14 22:23:39 +02:00
7 changed files with 126 additions and 28 deletions

View File

@@ -84,6 +84,7 @@ jobs:
name: JavaScript (Ubuntu) name: JavaScript (Ubuntu)
runs-on: ubuntu-20.04 runs-on: ubuntu-20.04
needs: ubuntu-runtime needs: ubuntu-runtime
if: false
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
@@ -160,3 +161,56 @@ jobs:
working-directory: ./src/runtime/haskell working-directory: ./src/runtime/haskell
run: | run: |
cabal test --extra-lib-dirs=/usr/local/lib cabal test --extra-lib-dirs=/usr/local/lib
macos-python:
name: Python (macOS)
runs-on: macOS-11
needs: macos-runtime
steps:
- uses: actions/checkout@v2
- name: Download artifact
uses: actions/download-artifact@master
with:
name: libpgf-macos
- run: |
sudo mv lib/* /usr/local/lib/
sudo mv include/* /usr/local/include/
- name: Install bindings
working-directory: ./src/runtime/python
run: |
python3 setup.py build
sudo python3 setup.py install
- name: Run testsuite
working-directory: ./src/runtime/python
run: |
pip3 install pytest
pytest
macos-javascript:
name: JavaScript (macOS)
runs-on: macOS-11
needs: macos-runtime
if: false
steps:
- uses: actions/checkout@v2
- name: Download artifact
uses: actions/download-artifact@master
with:
name: libpgf-macos
- run: |
sudo mv lib/* /usr/local/lib/
sudo mv include/* /usr/local/include/
- name: Install dependencies
working-directory: ./src/runtime/javascript
run: |
npm ci
- name: Run testsuite
working-directory: ./src/runtime/javascript
run: |
npm run test

View File

@@ -40,3 +40,24 @@ The shared libraries are installed in `/usr/local/lib`.
- Compiling GF with this runtime will require flag `--extra-lib-dirs=/usr/local/lib`. - Compiling GF with this runtime will require flag `--extra-lib-dirs=/usr/local/lib`.
- Running GF with this runtime will require environment variable `LD_LIBRARY_PATH=/usr/local/lib` - Running GF with this runtime will require environment variable `LD_LIBRARY_PATH=/usr/local/lib`
## Uninstalling
To remove the _old_ C runtime from your system, do:
```
rm /usr/local/lib/libpgf.*
rm /usr/local/lib/libgu.*
rm /usr/local/lib/libsg.*
rm -rf /usr/local/include/pgf
```
To remove _this_ version of the runtime from your system, do:
```
rm /usr/local/lib/libpgf.*
rm -rf /usr/local/include/pgf
```
To clean all generated build files from this directory, use:
```
git clean -Xdf
```

View File

@@ -1,3 +1,4 @@
#include <stdlib.h>
#include <string.h> #include <string.h>
#include <sys/mman.h> #include <sys/mman.h>
#include <unistd.h> #include <unistd.h>
@@ -323,10 +324,19 @@ PgfDB::PgfDB(const char* filepath, int flags, int mode) {
this->filepath = strdup(filepath); this->filepath = strdup(filepath);
} }
#ifndef MREMAP_MAYMOVE
if (fd >= 0) {
ms = (malloc_state*)
mmap(NULL, file_size, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
} else {
ms = (malloc_state*) ::malloc(file_size);
}
#else
int mflags = (fd < 0) ? (MAP_PRIVATE | MAP_ANONYMOUS) : MAP_SHARED; int mflags = (fd < 0) ? (MAP_PRIVATE | MAP_ANONYMOUS) : MAP_SHARED;
ms = (malloc_state*) ms = (malloc_state*)
mmap(NULL, file_size, PROT_READ | PROT_WRITE, mflags, fd, 0); mmap(NULL, file_size, PROT_READ | PROT_WRITE, mflags, fd, 0);
if (ms == MAP_FAILED) { #endif
if (ms == MAP_FAILED || ms == NULL) {
ms = NULL; // mark that ms is not created. ms = NULL; // mark that ms is not created.
::free((void *) this->filepath); ::free((void *) this->filepath);
int code = errno; int code = errno;
@@ -368,6 +378,11 @@ PgfDB::~PgfDB() {
size_t size = size_t size =
ms->top + chunksize(ptr(ms,ms->top)) + sizeof(size_t); ms->top + chunksize(ptr(ms,ms->top)) + sizeof(size_t);
#ifndef MREMAP_MAYMOVE
if (fd < 0) {
::free(ms);
} else
#endif
munmap(ms,size); munmap(ms,size);
} }
@@ -884,14 +899,19 @@ object PgfDB::malloc_internal(size_t bytes)
throw pgf_systemerror(errno, filepath); throw pgf_systemerror(errno, filepath);
} }
malloc_state* new_ms;
// OSX mman and mman-win32 do not implement mremap or MREMAP_MAYMOVE // OSX mman and mman-win32 do not implement mremap or MREMAP_MAYMOVE
#ifndef MREMAP_MAYMOVE #ifndef MREMAP_MAYMOVE
if (munmap(ms, old_size) == -1) if (fd >= 0) {
throw pgf_systemerror(errno); if (munmap(ms, old_size) == -1)
malloc_state* new_ms = throw pgf_systemerror(errno);
(malloc_state*) mmap(0, new_size, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0); new_ms =
(malloc_state*) mmap(0, new_size, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
} else {
new_ms = (malloc_state*) realloc(ms, new_size);
}
#else #else
malloc_state* new_ms = new_ms =
(malloc_state*) mremap(ms, old_size, new_size, MREMAP_MAYMOVE); (malloc_state*) mremap(ms, old_size, new_size, MREMAP_MAYMOVE);
#endif #endif
if (new_ms == MAP_FAILED) if (new_ms == MAP_FAILED)
@@ -1057,7 +1077,13 @@ void PgfDB::sync()
size_t size = size_t size =
ms->top + chunksize(ptr(ms,ms->top)) + sizeof(size_t); ms->top + chunksize(ptr(ms,ms->top)) + sizeof(size_t);
int res = msync((void *) ms, size, MS_SYNC | MS_INVALIDATE); int res;
#ifndef MREMAP_MAYMOVE
if (current_db->fd < 0) {
res = 0;
} else
#endif
res = msync((void *) ms, size, MS_SYNC | MS_INVALIDATE);
if (res != 0) if (res != 0)
throw pgf_systemerror(errno); throw pgf_systemerror(errno);
} }

View File

@@ -1,5 +1,9 @@
# Python bindings to C runtime # Python bindings to C runtime
## Compatibility
These bindings do not support Python 2. Python 3 is assumed in all these instructions.
## Pre-requisites ## Pre-requisites
1. You must have installed the PGF C runtime (see `../c/README.md`) 1. You must have installed the PGF C runtime (see `../c/README.md`)
@@ -26,10 +30,3 @@ pytest
``` ```
Requires: `pip install pytest` Requires: `pip install pytest`
## Debugging
valgrind --leak-check=full --show-leak-kinds=all pytest 2> valgrind.txt
valgrind --leak-check=full --show-leak-kinds=all -- python -c 'import pgf; s = pgf.readType("A -> B"); print(s)' 2> valgrind.txt

View File

@@ -13,7 +13,7 @@ typedef struct {
PyObject *exprs; // PyTupleObject of ExprObject PyObject *exprs; // PyTupleObject of ExprObject
} TypeObject; } TypeObject;
PyTypeObject pgf_TypeType; extern PyTypeObject pgf_TypeType;
// typedef struct { // typedef struct {
// PyObject_HEAD // PyObject_HEAD
@@ -72,14 +72,14 @@ typedef struct {
ExprObject *expr; ExprObject *expr;
} ExprImplArgObject; } ExprImplArgObject;
PyTypeObject pgf_ExprType; extern PyTypeObject pgf_ExprType;
PyTypeObject pgf_ExprAbsType; extern PyTypeObject pgf_ExprAbsType;
PyTypeObject pgf_ExprAppType; extern PyTypeObject pgf_ExprAppType;
PyTypeObject pgf_ExprLitType; extern PyTypeObject pgf_ExprLitType;
PyTypeObject pgf_ExprMetaType; extern PyTypeObject pgf_ExprMetaType;
PyTypeObject pgf_ExprFunType; extern PyTypeObject pgf_ExprFunType;
PyTypeObject pgf_ExprVarType; extern PyTypeObject pgf_ExprVarType;
PyTypeObject pgf_ExprTypedType; extern PyTypeObject pgf_ExprTypedType;
PyTypeObject pgf_ExprImplArgType; extern PyTypeObject pgf_ExprImplArgType;
#endif // PYPGF_EXPR_H_ #endif // PYPGF_EXPR_H_

View File

@@ -12,7 +12,7 @@ typedef struct {
PgfRevision revision; PgfRevision revision;
} PGFObject; } PGFObject;
PyObject *PGFError; extern PyObject *PGFError;
PgfExnType handleError(PgfExn err); PgfExnType handleError(PgfExn err);
PgfText *CString_AsPgfText(const char *s, size_t size); PgfText *CString_AsPgfText(const char *s, size_t size);
@@ -29,7 +29,7 @@ void FreePgfText(PgfText *txt);
void FreeHypos(PgfTypeHypo *hypos, Py_ssize_t n_hypos); void FreeHypos(PgfTypeHypo *hypos, Py_ssize_t n_hypos);
void FreePgfPrintContext(PgfPrintContext *ctxt); void FreePgfPrintContext(PgfPrintContext *ctxt);
PgfUnmarshaller unmarshaller; extern PgfUnmarshaller unmarshaller;
PgfMarshaller marshaller; extern PgfMarshaller marshaller;
#endif // PYPGF_FFI_H_ #endif // PYPGF_FFI_H_

View File

@@ -12,7 +12,7 @@ typedef struct {
PgfRevision revision; // transient branch PgfRevision revision; // transient branch
} TransactionObject; } TransactionObject;
PyTypeObject pgf_TransactionType; extern PyTypeObject pgf_TransactionType;
PyObject *PGF_checkoutBranch(PGFObject *self, PyObject *args); PyObject *PGF_checkoutBranch(PGFObject *self, PyObject *args);