Changeset 93266c5 in git for Singular/page.h

Timestamp:

Dec 7, 1998, 9:48:27 AM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4bd32dfef92ec9f5ed8dceee82d14318ae147107')

Children:

a8213b0b8b3ace6b1fef40b50aac8147ab7b4381

Parents:

7f0e6fea6bba489a550307279a2809c1dd27d593

Message:

* hannes: added support for page.c (define PAGE_TEST)


git-svn-id: file:///usr/local/Singular/svn/trunk@2722 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/page.h (modified) (2 diffs)

Singular/page.h

@@ -1 +1 @@
 #ifndef PAGE_H
 #define PAGE_H
-#if defined(PAGE_TEST) || defined(PAGE_COUNT)
+#if defined(PAGE_TEST)
 #ifdef __cplusplus
 extern "C" {
@@ -12 +12 @@
 #include <sys/times.h>
 
-void * Page_Create(size_t size);
-void Page_AllowAccess(void * address, size_t size);
-void Page_DenyAccess(void * address, size_t size);
-size_t Page_Size(void);
-extern unsigned long page_tab[2048];
-extern char          use_tab [2048];
-extern int           page_tab_ind;
+void * mmPage_Create(size_t size);
+void mmPage_Delete(void * address);
+
+void mmPage_AllowAccess(void * address);
+void mmPage_DenyAccess(void * address);
+void mmWriteStat();
+void mmEndStat();
+#define MAX_PAGE_TAB 4096
+#define MM_STAT_FILE "mem_stat.txt"
+
+extern unsigned long mmPage_tab[MAX_PAGE_TAB];
+extern char          mmUse_tab [MAX_PAGE_TAB];
+extern int           mmPage_tab_ind;
+extern int           mmPage_tab_acc;
 #ifdef __cplusplus
 }